Metrik Uzaylarda Metriklenebilirlik ve Homeomorfizmler
Bir \( X \) topolojik uzayı metriklenebilir olsun. Eğer \( Y \), \( X \) ile homeomorfik ise, \( Y \) de metriklenebilirdir.
Metrik uzaylar ve topolojik uzaylar arasındaki ilişkiyi incelerken karşımıza çıkan en önemli sonuçlardan biri budur. Metriklenebilirlik, homeomorfizmler altında korunan bir özelliktir.
Başka bir ifadeyle, bir uzayın topolojisi bir metrik yardımıyla tanımlanabiliyorsa, ona homeomorfik olan herhangi bir uzayın topolojisi de bir metrik aracılığıyla tanımlanabilir.
Bu özellik son derece kullanışlıdır. Çünkü bir uzayın metriklenebilir olduğunu kanıtladıktan sonra, ona homeomorfik olan diğer uzaylar için yeniden bir metrik inşa etmek zorunda kalmayız. Homeomorfik olduklarını göstermek yeterlidir.
Neden Doğrudur?
Bir topolojik uzayın metriklenebilir olması, o uzayın topolojisini indükleyen bir metrik bulunduğu anlamına gelir. Başka bir deyişle, açık kümeler, yakınlık kavramı ve süreklilik gibi topolojik özellikler bir uzaklık fonksiyonu kullanılarak tanımlanabilir.
Öte yandan homeomorfizm, iki topolojik uzay arasında kurulan en güçlü eşdeğerlik ilişkilerinden biridir. Homeomorfik iki uzay, şekil olarak farklı görünseler bile aynı topolojik yapıya sahiptir.
Bir homeomorfizm, topolojik yapıyı eksiksiz biçimde koruduğu için, metriklenebilirlik gibi yalnızca topolojiye bağlı özellikler de korunur.
Dolayısıyla \( X \) uzayının topolojisini oluşturan bir metrik varsa ve \( Y \), \( X \) ile homeomorfik ise, \( Y \) üzerinde de aynı topolojik yapıyı üreten uygun bir metrik tanımlanabilir.
Pratik Bir Örnek
Gerçek sayılar doğrusu \( \mathbb{R} \) ile açık aralık \( (-1,1) \) arasındaki ilişki bu sonucu anlamak için güzel bir örnektir.
\( \mathbb{R} \), standart Öklid metriği sayesinde metriklenebilir bir uzaydır.
Şimdi aşağıdaki fonksiyonu ele alalım:
\[ f(x)=\frac{x}{\sqrt{1+x^2}} \]
Bu fonksiyon her gerçek sayıyı \( (-1,1) \) aralığındaki bir değere dönüştürür. Ayrıca birebirdir, örtendir ve hem kendisi hem de ters fonksiyonu süreklidir.
Bu nedenle \( f \), \( \mathbb{R} \) ile \( (-1,1) \) arasında bir homeomorfizm oluşturur.
Homeomorfizmler topolojik yapıyı koruduğundan, \( \mathbb{R} \)'nin metriklenebilir olması doğrudan \( (-1,1) \)'in de metriklenebilir olduğunu gösterir.
Nitekim \( (-1,1) \) aralığı üzerinde Öklid metriği tanımlanabilir ve bu metrik aralığın standart topolojisini üretir.
Sonuç
Metriklenebilirlik, belirli bir metrik seçimine değil, uzayın topolojik yapısına bağlı bir özelliktir. Bu nedenle homeomorfik uzaylar arasında korunur.
Bir uzayın metriklenebilir olduğunu biliyorsanız ve onun başka bir uzaya homeomorfik olduğunu gösterebiliyorsanız, ikinci uzayın da metriklenebilir olduğu sonucuna doğrudan ulaşabilirsiniz. Bu özellik, topolojide birçok metriklenebilirlik problemini önemli ölçüde kolaylaştırır.
