Ομοιομορφισμός

[μικρογραφία|δεξιά|Η συνεχής παραμόρφωση μεταξύ μιας κούπας καφέ και μιας σπείρας ντόνατ δείχνει ότι είναι ομοιομορφικοί χώροι. Δεν χρειάζεται να υπάρχει [Ομοτοπία|συνεχής παραμόρφωση δύο χώρων για να είναι ομοιομορφικοί, αρκεί μια συνεχής απεικόνιση και αντιστροφή.]]
Στον μαθηματικό κλάδο της τοπολογίας, **ομοιομορφισμός** ή **τοπολογικός ισομορφισμός** ή **αμφισυνεχής συνάρτηση** είναι μια συνεχής συνάρτηση μεταξύ τοπολογικών χώρων που έχει μια συνεχής αντίστροφη συνάρτηση. Οι ομοιομορφισμοί είναι ισομορφισμοί στην κατηγορία των τοπολογικών χώρων, δηλαδή, είναι οι αντιστοιχίσεις που διατηρούν όλες τις τοπολογικές ιδιότητες ενός δεδομένου χώρου. Δύο χώροι με ομοιομορφισμό μεταξύ τους ονομάζονται **ομοιομορφικοί χώροι**, καθώς και από τοπολογική άποψη είναι ίδιοι.

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

Η τοπολογία μελετά αυτές τις ιδιοτήτες των αντικειμένων οι οποίες δεν αλλάζουν όταν εφαρμόζονται ομοιομορφισμοί.

## Ορισμός
Μια συνάρτηση *f*&nbsp;:&nbsp;*X*&nbsp;→&nbsp;*Y* μεταξύ δύο τοπολογικών χώρων (*X*, *T<sub>X</sub>*) και (*Y*, *T<sub>Y</sub>*) ονομάζεται **ομοιομορφισμός** όταν έχει τι παρακάτω ιδιότητες:

* Η *f* είναι αμφιμονοσήμαντη (ένα-προς-ένα και επί).
* Η *f* είναι συνεχής.
* Η αντίστροφη συνάρτηση *f*&nbsp;&minus;1 είναι συνεχής.

Μια συνάρτηση με αυτές τις τρεις ιδιότητες συχνά ονομάζεται και **δις - συνεχής συνάρτηση**. Αν υπάρχει μια τέτοια συνάρτηση, τότε λέμε ότι οι *X* και *Y* είναι **ομοιομορφικοί χώροι**. Ένας **αυτο-ομοιομορφισμός** είναι ένας ομοιομορφισμός του τοπολογικού χώρου με τον εαυτό του. Οι ομοιομορφισμοί σχηματίζουν μια σχέση ισοδυναμίας στην κλάση όλων των τοπολογικών χώρων. Οι προκύπτουσες κλάσεις ισοδυναμίας ονομάζονται **κλάσεις ομοιομορφισμού**.

## Ιδιότητες
* Δύο ομοιομορφικοί χώροι μοιράζονται τις ίδιες τοπολογικές ιδιότητες. Για παράδειγμα:
:: α) εάν ένας από αυτούς είναι συμπαγής, τότε είναι και ο άλλος
:: β) εάν ένας από αυτούς έχει συνεκτικότητα, τότε έχει και ο άλλος
:: γ) εάν ένας από αυτούς είναι διαχωρισμένος, τότε είναι και ο άλλος
:: δ) η ομάδα ομοτοπίας και η ομάδα ομολογίας τους, θα συμπίπτουν
: Ωστόσο, σημειώστε ότι δεν επεκτείνονται στις ιδιότητες που ορίζονται μέσω κάποιας μετρικής, καθώς υπάρχουν μετρικοί χώροι οι οποίοι είναι ομοιομορφικοί ακόμη και όταν ένας από αυτούς είναι πλήρης και ο άλλος δεν είναι.
* Ο ομοιομορφισμός είναι ταυτόχρονα ανοικτή και κλειστή χαρτογράφηση, δηλαδή, χαρτογραφεί ανοιχτά σύνολα σε ανοιχτά σύνολα και κλειστά σύνολα σε κλειστά σύνολα.
* Κάθε αυτο-ομοιομορφισμός στο *S<sup>1</sup>* μπορεί να επεκταθεί σε έναν αυτο-ομοιομορφισμό ολόκληρου του δίσκου *D<sup>2</sup>*.

## Παραπομπές


## Εξωτερικοί σύνδεσμοι
* 
* 

Κατηγορία:Τοπολογικοί χώροι
Κατηγορία:Χαρτογραφία
Κατηγορία:Μορφισμοί