Πυκνότητα των υπερβατικών

Συντονιστής: Demetres

Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4485
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Πυκνότητα των υπερβατικών

#1

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis »

Δείξτε ότι το σύνολο των πραγματικών υπερβατικών είναι πυκνό στο \mathbb{R}.
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Καραδήμας
Δημοσιεύσεις: 128
Εγγραφή: Πέμ Δεκ 24, 2009 1:57 pm

Re: Πυκνότητα των υπερβατικών

#2

Μη αναγνωσμένη δημοσίευση από Καραδήμας »

Το σύνολο των αλγεβρικών αριθμών είναι αριθμήσιμο και δε μπορεί να περιέχει διάστημα.
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4485
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Πυκνότητα των υπερβατικών

#3

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis »

Και μία που στηρίζεται στον ορισμό του υπερβατικού και στην πυκνότητα των ρητών: 'Εστω a υπερβατικός. Τότε για κάθε μη μηδενικό ρητό q και ο qa είναι υπερβατικός. Το σύνολο a\mathbb{Q}^{*} των μη μηδενικών ρητών πολλαπλασίων του a απαρτίζεται από υπερβατικούς αριθμούς και είναι πυκνό στο \mathbb{R} γιατί το \mathbb{Q} είναι.
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Καραδήμας
Δημοσιεύσεις: 128
Εγγραφή: Πέμ Δεκ 24, 2009 1:57 pm

Re: Πυκνότητα των υπερβατικών

#4

Μη αναγνωσμένη δημοσίευση από Καραδήμας »

Σωστό είναι κι αυτό. Αν γράψω q=t/s με t,s\in {\mathbb Z}\setminus \{ 0\} και αν b_k(qa)^k+\cdots +b_1(qa)+b_0=0 τότε (b_kt^k)a^k+\cdots +(b_1ts^{k-1})a+(b_0s^k)=0.

Στο ίδιο πνεύμα: οι αριθμοί Liouville είναι πυκνοί στο {\mathbb R}?
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18409
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Πυκνότητα των υπερβατικών

#5

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

nsmavrogiannis έγραψε:Και μία που στηρίζεται στον ορισμό του υπερβατικού και στην πυκνότητα των ρητών: 'Εστω a υπερβατικός. Τότε για κάθε μη μηδενικό ρητό q και ο qa είναι υπερβατικός. Το σύνολο a\mathbb{Q}^{*} των μη μηδενικών ρητών πολλαπλασίων του a απαρτίζεται από υπερβατικούς αριθμούς και είναι πυκνό στο \mathbb{R} γιατί το \mathbb{Q} είναι.
Μαυρογιάννης

Πολύ ενδιαφέρουσα λύση διότι
α) ξέρουμε ότι οι υπερβατικοί είναι πολλοί (πληθάριθμος του συνεχούς) οπότε είναι "αναμενόμενο" να είναι πυκνοί, πλην όμως
β) η παραπάνω λύση χρησιμοποίησε ουσιαστικά μόνο έναν υπερβατικό.

Με εξέπληξε.

Δίνω μία διαφορετική λύση, σε λίγο διαφορετικό μήκος κύματος.

Έστω ότι υπήρχε διάστημα Ι χωρίς υπερβατικό, δηλαδή αποτελείται μόνο από αλγεβρικούς. Παρατηρούμε ότι για δοθέντα πραγματικό αριθμό α υπάρχει μη μηδενικός ρητός q με qα στο Ι. Άρα ο qα και συνεπώς ο α είναι αλγεβρικός. Άτοπο γιατί ξέρουμε ότι υπάρχουν μη αλγεβρικοί πραγματικοί.

Φιλικά,

Μιχάλης Λάμπρου
Απάντηση

Επιστροφή στο “ΑΛΓΕΒΡΑ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες