Διάστημα

[Καραδήμας]

Ένα περιέχει κάποιο διάστημα και επιπλέον, αν τότε . Τότε, το είναι διάστημα.

[s.kap]

Υποθέτουμε πως το δεν είναι διάστημα και πως το είναι το ευρύτερο διάστημα που περιέχεται στο , τότε θα υπάρχουν και ώστε ή υπάρχουν και ώστε .
Χωρίς βλάβη της γενικότητας υποθέτουμε ότι ισχύει το πρώτο ενδεχόμενο και ονομάζουμε το supremum των , που έχουν την παραπάνω ιδιότητα. Τότε στο διάστημα δεν βρίσκεται στοιχείο του .
Έστω . Τότε αν πάρουμε στο με και , στο θα έχουμε , άτοπο.

[Καραδήμας]

Καλή προσπάθεια αλλά έχει κάποιες ασάφειες: (1) τι θα πει το ευρύτερο διάστημα που περιέχεται στο , (2) ποιά είναι η παραπάνω ιδιότητα: το είναι σταθερό? (3) αν το σύνολο των που έχουν την παραπάνω ιδιότητα είναι μονοσύνολο ή πεπερασμένο σύνολο πώς βρίσκουμε με ? Μάλλον επιλύονται όλα αυτά, αλλά έχω κάποιες απορίες.

[s.kap]

Καλή προσπάθεια αλλά έχει κάποιες ασάφειες: (1) τι θα πει το ευρύτερο διάστημα που περιέχεται στο , (2) ποιά είναι η παραπάνω ιδιότητα: το είναι σταθερό? (3) αν το σύνολο των που έχουν την παραπάνω ιδιότητα είναι μονοσύνολο ή πεπερασμένο σύνολο πώς βρίσκουμε με ? Μάλλον επιλύονται όλα αυτά, αλλά έχω κάποιες απορίες.

Ας κάνω μία απόπειρα να γίνω αναλυτικότερος: Το ευρύτερο διάστημα προκύπτει από την ένωση όλων των διαστημάτων που ανά δύο έχουν κοινά σημεία και περιέχονται στο . Για τις περιπτώσεις που αναφέρεις του πεπερασμένου συνόλου, έχεις δίκιο, πρέπει να μελετηθούν, αλλά εύκολα προκύπτει πως σε αυτές δεν ισχύει το . Ζητώ συγνώμη για το επιγραμματικό των επιχειρημάτων, αλλά θέλω την κατανόηση σας, γιατί στο tex, που τώρα μαθαίνω, γράφω πολύ δύσκολα.
Φιλικά

[Καραδήμας]

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

[nsmavrogiannis]

Η γνώμη μου είναι ότι η πρόσέγγιση του Σπύρου είναι εντάξει. Αν πάρουμε την συνεκτική συνιστώσα του Α που περιέχει το συγκεκριμένο διάστημα που αναφέρεται στην υπόθεση αυτη θα είναι διάστημα. Ας πούμε, με τον συμβολισμό του Σπύρου ότι τα άκρα του είναι (δεν είναι αναγκαίο να είναι ανοικτό). Με να είναι όπως το όρισε ο Σπύρος είναι . Η βασική ιδέα της απόδειξης του Σπύρου είναι ότι μπορούμε να βρούμε κατάλληλο και μεταξύ των ώστε
(1)
(2) Τα , είναι τέτοια ώστε το μέσο του είναι στο άρα εκτός .
Μαυρογιάννης

[s.kap]

Χρωστάω μια πιο συγκροτημμένη απάντηση και νομίζω πως την έχω στο συνημμένο
ΥΓ Νίκο συγνώμη που δεν πρόλαβα να κοιτάξω τι γράφεις αλλά γράφω στα διαλείμματα, εσύ με καταλάβαίνεις. Με την πρώτη ευκαιρεία θα το κοιτάξω αναλυτικά.
Φιλικά

[s.kap]

Έτσι είναι Νίκο, πολύ καλά το γράφεις. Στο συνημμένο αυτό κάνω:παίρνω την συνεκτική συνιστώσα του δοθέντος διαστήματος.
Ευχαριστὠ
Φιλικά

[Καραδήμας]

Η γνώμη μου είναι ότι η πρόσέγγιση του Σπύρου είναι εντάξει. Αν πάρουμε την συνεκτική συνιστώσα του Α που περιέχει το συγκεκριμένο διάστημα που αναφέρεται στην υπόθεση αυτη θα είναι διάστημα. Ας πούμε, με τον συμβολισμό του Σπύρου ότι τα άκρα του είναι (δεν είναι αναγκαίο να είναι ανοικτό). Με να είναι όπως το όρισε ο Σπύρος είναι . Η βασική ιδέα της απόδειξης του Σπύρου είναι ότι μπορούμε να βρούμε κατάλληλο και μεταξύ των ώστε
(1)
(2) Τα , είναι τέτοια ώστε το μέσο του είναι στο άρα εκτός .
Μαυρογιάννης

Καλησπέρα, δεν είχα καταφέρει να διαβάσω τις προηγούμενες μέρες. Γιατί είναι ? Το ίδιο στο συνημμενο: γιατί είναι ? Λεπτομέρειες, απλώς για να σας ευχαριστήσω που ασχοληθήκατε με την ερώτηση.

[Καραδήμας]

Για την ακρίβεια, με απλή επαγωγή βλέπει κανείς ότι αν , , τότε και γενικά για κάθε με , δηλαδή ένα πυκνό υποσύνολο του περιέχεται στο . Οπότε, .

[s.kap]

Κάνω στην απόδειξη που έδωσα μία μικρή παράμβαση-διόρθωση (συνημμένο)

[Καραδήμας]

Καλησπέρα, συγγνώμη για τις απορίες. Κατ' αρχήν, ισχύει (μπορώ να το εξηγήσω περισσότερο αν χρειάζεται). Στο συνημμένο, στην περίπτωση Γ2(β) υπάρχει μια εκκρεμότητα: το μπορεί να ανήκει στο .

[nsmavrogiannis]

Γιατί είναι ?

Πράγματι είναι (Απολογούμαι. Δικαιολογία: ήταν απάντηση από το σχολείο). Αυτό δεν αλλάζει τα πράγματα και η ιδέα (όπως την κατάλαβα εγώ) του Σπύρου εξακολουθεί να δουλεύει: Αν και το είναι μεμονωμένο σημείο των στοιχείων του που είναι κάτω από το διάστημα μας έχουμε ένα προφανές άτοπο ενώ αν είναι σημείο συσσώρευσης εφαρμόζεται το επιχείρημα του Σπύρου.
Μαυρογιάννης

[Καραδήμας]

Όμως, με το συμβολισμό κλπ, μπορεί το να ανήκει στο (έχει αναφερθεί αυτό). Κάτι πρέπει να γίνει και γι' αυτή την περίπτωση. Ή έχει γίνει?

[nsmavrogiannis]

Ας πάρουμε τα πράγματα από την αρχή:
το σύνολο μας
αυτό έχει την ιδιότητα να περιέχει το μέσο του διαστήματος με άκρα δύο οποιαδήποτε σημεία του και ακόμη να περιέχει κάποιο διάστημα. Αυτό το διάστημα περιέχεται σε κάποια συνεκτική συνιστώσα του έστω . Αυτή είναι κάποιο διάστημα. Ας υποθέσουμε ότι είναι φραγμένο (οι 3 περιπτώσεις που είναι μη φραγμένο είναι απλούστερες: η μία τετριμμένη και οι άλλες η μισή δουλειά). Ας υποθέσουμε ότι τα άκρα αυτής της περί ής ο λόγος συνεκτικής συνιστώσας είναι . H ιδέα του Σπύρου είναι να αποκλείσουμε το ενδεχόμενο να υπάρχουν σημεία του κάτω από το και πάνω από το . Ας πούμε ότι υπάρχουν σημεία του κάτω από το . Το σύνολο τους είναι φραγμένο άνω. Ας ονομάσουμε το supremum του. Είναι .
Aν το ή το είναι σημείο συσσώρευσης του το άτοπο πορκύπτει μεν την διαδικασία που πρότεινε ο Σπύρος.
Aν το και το είναι μεμονωμένο σημείο του τότε έχουμε πάλι άτοπο με παρόμοιο τρόπο.
Μαυρογιάννης

[Καραδήμας]

Δεν βλέπω την περίπτωση (που είναι και η μοναδική), σημείο συσσώρευσης του και . Μια ματιά στο συνημμένο δείχνει ότι δεν έχει καλυφτεί.

[nsmavrogiannis]

Αν το είναι σημείο συσσώρευσης του τότε μπορούμε να πάρουμε κατάλληλο κοντά στο ώστε το ομοιόθτεο του διαστήματος με άκρα με κέντρο και λόγο να περιέχει το ως εσωτερικό σημείο. Το παύει να είναι συνεκτική συνιστώσα.

interval.jpg (7.88 KiB) Προβλήθηκε 1911 φορές

Παραλείπω τους υπολογισμούς αφού τους έχει καλύψει ο Σπύρος
Μαυρογιάννης

[Καραδήμας]

Αυτή είναι και η μοναδική περίπτωση: αν υπάρχει κάποιο κάτω από το τότε υπάρχουν και κάτω από το οσοδήποτε κοντά στο (τα σημεία του είναι πυκνά στο ). Μετά, το τελευταίο επιχείρημα είναι πειστικό (δεν είχε ξαναεμφανιστεί), ευχαριστώ.