Τοπολογικός χώρος: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Geilamir (συζήτηση | συνεισφορές)
μ -
Γραμμή 101:
 
== Τοπολογικές κατασκευές ==
Σε κάθε υποσύνολο ενός τοπολογικού χώρου μπορεί να δοθεί η [[υποχώρου τοπολογία]] στην οποία τα ανοιχτά σύνολα είναι τομές των ανοιχτών συνόλων του μεγαλύτερου χώρου με το υποσύνολο. Για οποιαδήποτε [[οικογένεια με δείκτες]] ενός τοπολογικού χώρου, στο προϊόν μπορεί να δοθεί η [[τοπολογία προϊόντος]], η οποία παράγεται από τις αντίστροφες εικόνες των ανοιχτών συνόλων των παραγόντων κάτω από τις αντιστοιχήσεις [[|προβολή|προβολών]]. Για παράδειγμα, στα πεπερασμένα προϊόντα, μία βάση για το προϊόν τοπολογίας αποτελείται από όλα τα προϊόντα των ανοιχτών συνόλων. Για τα πεπερασμένα προϊόντα, υπάρχει η πρόσθετη απαίτηση ότι σε ένα βασικό ανοιχτό σύνολο, όλα εκτός τελικά από πολλές προβολές τους είναι ολόκληρος ο χώρος.
 
Ένας [[χώρος πηλίκο]] ορίζεται ως εξής: αν ''Χ'' είναι ένας τοπολογικός χώρος και ''Υ'' είναι ένα συνολο, και αν ''f'' : ''X''→ ''Y'' είναι μία [[επιρριπτική]] [[συνάρτηση]], τότε η τοπολογία πηλίκο για το ''Y'' είναι μία συλλογή υποσυνόλων του ''Υ'' που έχει ανοιχτές [[αντίστροφες εικόνες]] κάτω από την ''f''. Με άλλα λόγια, η τοπολογία πηλίκο είναι η λεπτότερη τοπολογία για το ''Y'' για το οποίο η ''f'' είναι συνεχής. Ένα συνηθισμένο παράδειγμα μίας τοπολογίας πηλίκου είναι μία [[Σχέση ισοδυναμίας|σχέση ισοδυναμίας]] ορίζεται για τον τοπολογικό χώρο ''Χ''. Η αντιστοιχία ''f'' είναι η φυσική προβολή πάνω στο σύνολο των [[κλάση ισοδυναμίας|κλάσεων ισοδυναμίας]].