In topologia, un omeomorfismo (dal greco ὅμοιος (hómoios) = simile, e μορφή (morphḗ) = forma) è una funzione biiettiva continua tra due spazi topologici che ha inversa continua. In altre parole, è una corrispondenza biunivoca che preserva la topologia, ovvero la "forma" di uno spazio. Due spazi topologici si dicono omeomorfi se esiste un omeomorfismo tra essi. Un omeomorfismo è anche chiamato applicazione topologica o trasformazione bicontinua.
In termini più intuitivi, due spazi sono omeomorfi se uno può essere trasformato nell'altro tramite piegamenti, stiramenti, torsioni e simili, senza incollare o tagliare. Ad esempio, una tazza da caffè con un manico è omeomorfa a una ciambella (toro).
Definizione formale:
Siano X e Y due spazi topologici. Una funzione f: X → Y è un omeomorfismo se:
Proprietà preservate dagli omeomorfismi (invarianti topologici):
Gli omeomorfismi preservano molte proprietà topologiche importanti, come:
Queste proprietà che vengono preservate dagli omeomorfismi sono chiamate invarianti topologici.
Esempi:
Non esempi:
Differenza tra omeomorfismo e diffeomorfismo:
Un diffeomorfismo è una funzione biiettiva differenziabile con inversa differenziabile. La differenziabilità è una condizione più forte della continuità. Quindi, un diffeomorfismo è anche un omeomorfismo, ma non vale il viceversa. Gli omeomorfismi preservano solo le proprietà topologiche, mentre i diffeomorfismi preservano anche le proprietà differenziabili. Ad esempio, una curva con un angolo (cioè, non differenziabile) può essere trasformata in una curva liscia tramite un omeomorfismo, ma non tramite un diffeomorfismo.
In sintesi, l'omeomorfismo è un concetto fondamentale in topologia che formalizza l'idea intuitiva di quando due spazi topologici hanno la stessa "forma" topologica.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page