Homeomorfizma
Homeomorfizma veya topolojik eşyapı (topolojik izomorfizm), matematiksel alanda topolojinin incelediği temel konulardan biridir ve iki uzayın (mesela iki şeklin) parça koparmadan sürekli olarak birbirine dönüşümünü inceler. Kelime Yunanca homoios "benzer" ve morphē "şekil-şeklini bozmak" kelimelerinden türemiştir. Bu benzeşimler birçok değişken altyapı işlevleri ile açıklanabilir.
![](../I/Mug_and_Torus_morph.gif)
Aralarında homeomorfizma olan iki cisim homeomorfik olarak adlandırılır. Topolojik açıdan bunlar aynıdır. Örneğin bir üçgeni bir çembere, bir çay bardağını, çay tabağına ya da kulplu bardağı simide homeomorfik kılabiliriz. Bu örneklerde, bu nesnelerin içinde bulundukları uzaylar, nesnelerin hangi topolojiye sahip olduğunu belirlemektedir.
Kabaca, topolojik cisim geometrik bir nesne ise, homeomorfizma nesnenin yeni şeklini sürekli esneyerek kaplar. Bu suretle bir kare ve çember birbirlerinin homeomorfudurlar, fakat bir küre ve delinmiş küre değildirler. Topologlar arasında kulplu bardaklarından kahvelerini içerken ve simitlerini yerken çıkmış bir espri şudur: simidin kahve fincanı şekline esneyip onu kaplayarak dönüşmesini, kahve fincanının kulpunu tutarken açıklayamadıklarını söylerler.
İki şekil üzerinde homeomorfizmayı şu şekilde açıklayabiliriz; A şeklinden B şekline yırtmadan, parça koparmadan geçebilmek için A'dan B'ye sürekli fonksiyona ihtiyaç vardır. Ve aynı şekilde B'den A'ya geçmemiz gerekmektedir. Bunun için de fonksiyonumuz tersinir olmalı ve tersinin de sürekliği söz konusu olmalıdır.
Matematiksel Tanım
A ve B topolojik uzaylar olmak üzere, A 'dan B 'ye sürekli, birebir, örten ve tersi de sürekli bir gönderime homeomorfizma denir. Homeomorfizmalar, tüm topolojik uzaylar topluluğu üzerinde bir denklik bağıntısı tanımlar. Böylece oluşturulan denklik sınıflarının her birine homeomorfizma sınıfı denir.
Topolojide, verilen bir topolojik uzay topluluğu için homeomorfizma sınıflarını bulmak ve bu uzayları bu sınıflara göre sınıflandırmak temel problemlerden biridir. Örneğin, tüm 1 boyutlu çokkatlıların homeomorfizma sınıfları bilinmektedir: 1 boyutlu bağlantılı bir çokkatlı, ya (0,1) açık aralığına, ya [0,1] kapalı aralığına, ya (0,1] aralığına ya da çembere homeomorfiktir (eşyapılıdır).
İki boyutlu çokkatlılara yüzey denir. Tıkız, bağlantılı bir yüzeyin homeomorfizma sınıfı, Euler sayısı ve yön verilebilir olup olmadığıyla belirlenir.
Daha yüksek boyutlu çokkatlılar için homeomorfizma sınıfı problemi bu kadar basitçe yanıtlanamaz. Daha komplike fonksiyon ve işlev yapılanımları bir gereklilik unsuru taşır.