Σελίδα 1 από 1

Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Πέμ Απρ 16, 2009 4:20 pm
από χρηστος ευαγγελινος
μηπως εχει κανεις υποψιν του καμια αποδειξη του θεωρηματος οτι καθε ακολουθιακα συμπαγης μετρικος χωρος ειναι συμπαγης? εχω δει μια αποδειξη που χρειαζεται πρωτα να δειξουμε οτι ο χωρος ειναι ολικα φραγμενος και πληρης αλλα ειναι μακροσκελης.

Re: συμοαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 12:02 pm
από Demetres
Κοίταζα χθες τις σημειώσεις μου και εγώ την ίδια απόδειξη είχα. Μια διαφορετική απόδειξη υπάρχει στις ασκήσεις του 2ου κεφαλαίου του Rudin (Principles of Mathematical Analysis). (Ίδιας περίπου δυσκολίας)

Πολυ περιληπτικά

- Χ ακολουθιακά συμπαγής ==> Χ ολικά φραγμένος
- Χ ολικά φραγμένος ==> Χ διαχωρίσιμος (=separable) έχει αριθμήσιμο πυκνό υποσύνολο
- Χ διαχωρίσιμος ==> Χ έχει αριθμήσιμη βάση
- Χ έχει αριθμήσιμη βάση ==> κάθε ανοικτή κάλυψη του Χ έχει αριθμήσιμη υποκάλυψη
- κάθε ανοικτή κάλυψη του Χ έχει αριθμήσιμη υποκάλυψη & Χ ακολουθιακά συμπαγής ==> Χ συμπαγής

Αν κάποιος γνωρίζει μια πιο σύντομη απόδειξη, ενδιαφέρομαι και εγώ να την μάθω.

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 12:17 pm
από nsmavrogiannis
Και εγώ κοίταξα χθες αρκετά από τα βιβλία μου και όλες οι αποδείξεις που βρήκα ήσαν μακροσκελείς. Ψάχνοντας, κατόπιν, στο διαδίκτυο έπεσα στην ιστοσελίδα της Katrin Wehrheim
http://math.mit.edu/~katrin/
όπου υπάρχει ένα σημείωμα (Συμπάγεια vs Ακολουθιακής Συμπάγειας) που παρουσιάζει μία ενδιαφέρουσα διάταξη στην απόδειξη πάλι, οποία σύμπτωση, από τον Rudin:
http://www-math.mit.edu/~katrin/teach/1 ... ness08.pdf
Μαυρογιάννης

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 12:19 pm
από Demetres
Ψάχνοντας στο internet βρήκα εδώ μια εξαιρετικά όμορφη και σύντομη απόδειξη. (Χρησιμοποιεί όμως αξίωμα επιλογής.)

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 1:25 pm
από χρηστος ευαγγελινος
επιτελους λοιπον μια ομορφη και γρηγορη αποδειξη.το AC που χρησιμοποιει το εφαρμοζει σε αλυσιδες συνολων η συγκεκριμενη αποδειξη οποτε δεν υπαρχει προβλημα

δημητρη οτν μιλας για βαση του μετρικου χωρου υποθετω οτι μιλας για βαση της τοπολογιας του ετσι?

προσπαθησα επισης να αποδειξω το θεωρημα μεσω της ιδιοτητας των πεπερασμενων τομων: ενας μετρικος χωρος Χ ειναι συμπαγης αν και μονο αν καθε οικογενεια κλειστων μη κενων υποσυνολων του Χ που εχει την ιδιοτητα των πεπερασμενων τομων (δηλαδη καθε πεπερασμενη υποοικογενεια της εχει μη κενη τομη) εχει μη κενη τομη.

αλλα δεν καταφερα και παρα πολλα.

ευχαριστω πολυ για τα links..

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 4:21 pm
από Mihalis_Lambrou
χρηστος ευαγγελινος έγραψε:το AC που χρησιμοποιει το εφαρμοζει σε αλυσιδες συνολων η συγκεκριμενη αποδειξη οποτε δεν υπαρχει προβλημα
Χρήστο, τι εννοείς ότι δεν υπάρχει πρόβλημα όταν εφαρμόζουμε το αξίωμα επιλογής (AC) σε αλυσίδες;
Θα έλεγα ότι είναι ισοδύναμο με την κλασική μορφή. Κάνω λάθος;

Φιλικά,
Μιχάλης

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 4:39 pm
από Mihalis_Lambrou
Demetres έγραψε:Ψάχνοντας στο internet βρήκα εδώ μια εξαιρετικά όμορφη και σύντομη απόδειξη. (Χρησιμοποιεί όμως αξίωμα επιλογής.)
Κοιτώντας πρόχειρα την απόδειξη, κάτι δεν μου αρέσει. Γράφει

Theorem. A sequentially compact subset of a metric space is compact.

Proof. Suppose A \subset M (where M is a metric space) has an open cover with no finite subcover. Let this cover be given by C=\{O_i\}_{i\in I}, where I is an arbitrary indexing set (could be uncountable). Subcovers of C are partially ordered by inclusion,
and every chain of subcovers has a minimal element (given by the intersection of all of its elements).

Και ποιός μου λέει ότι η τομή αυτή δεν είναι κενή; Πρώτα από όλα η διάταξη που εννοεί είναι " Α < Β αν και μόνον αν A \supsetB " για να μιλάμε για minimal στοιχεία στην θέση των maximal.

Τώρα, αν π.χ. αν είχα κάλυψη (για κάθε σταθερό ξ) του R από τα σύνολα
G(ξ) = { (- \infty , nξ ) / n \in N}

και η αλυσίδα μου ήταν η G(ξ) \supset G(2ξ) \supset G(4ξ) \supset ... , δεν θα είχα κενή τομή; Κάνω λάθος;

Φιλικά,

Μιχάλης.

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 6:04 pm
από Demetres
χρηστος ευαγγελινος έγραψε: δημητρη οτν μιλας για βαση του μετρικου χωρου υποθετω οτι μιλας για βαση της τοπολογιας του ετσι?
Ακριβώς.
Mihalis_Lambrou έγραψε: Χρήστο, τι εννοείς ότι δεν υπάρχει πρόβλημα όταν εφαρμόζουμε το αξίωμα επιλογής (AC) σε αλυσίδες;
Θα έλεγα ότι είναι ισοδύναμο με την κλασική μορφή. Κάνω λάθος;
Και εγώ νομίζω πως είναι ισοδύναμα. Προσέξτε ότι χρησιμοποιούμε δύο φορές το αξίωμα επιλογής. Μια σαν Zorn, και μια σαν αξίωμα επιλογής. Ίσως ο Χρήστος να σκέφτεται πως η εφαρμογή του Zorn μπορεί να γίνει εφαρμογή Bourbaki-Witt που δεν θέλει επιλογή, αλλά δεν βλέπω πως (Έτσι κι'αλλιώς όπως παρατήρησε ο Μιχάλης είναι λάθος.)
Mihalis_Lambrou έγραψε: Κοιτώντας πρόχειρα την απόδειξη, κάτι δεν μου αρέσει.
Έχετε απόλυτο δίκιο. Δεν την κοίταξα αρκετά προσεκτικά.

Re: Συμπαγεις μετρικοι χωροι

Δημοσιεύτηκε: Παρ Απρ 17, 2009 6:39 pm
από χρηστος ευαγγελινος
ναι ειναι ισοδυναμα νομιζω.θα πρεπει να τη δουμε προσεκτικα την αποδειξη και να βγαλουμε ενα ασφαλες συμπερασμα για την ορθοτητα της.η προηγουμενη ενσταση ειναι βασιμη νομιζω.

οσο για το αξιωμα της επιλογης ειχα την εντυπωση οτι σε πολλους δεν αρεσει γενικοτερα η χρηση του.μπορει να εχω λαθος εντυπωση ομως. ομως παιζει βασικο ρολο σε πολλα θεωρηματα,π.χ στο θεωρημα hanh-banach στη συναρτησιακη αναλυση για την επεκταση των φραγμενων συναρτησοειδων.