Her Metrik Uzay Bir Hausdorff Uzayıdır
Her metrik uzay bir Hausdorff uzayıdır. Bu nedenle bir topolojik uzay Hausdorff koşulunu sağlamıyorsa, o uzayın herhangi bir metrikten elde edilmiş olması mümkün değildir.
Topolojide Hausdorff özelliği, farklı iki noktanın birbirinden ayrık açık komşuluklarla ayrılabilmesini ifade eder. Bu özellik, noktaların uzay içinde yeterince "ayırt edilebilir" olmasını sağlar ve modern topolojinin en temel ayrım aksiyomlarından biridir.
Daha sezgisel bir bakışla, bir metrik uzayda noktalar arasındaki uzaklık tanımlı olduğu için, farklı iki noktanın çevresinde birbirine değmeyen açık bölgeler oluşturmak her zaman mümkündür.
Not. Bir uzayın Hausdorff olması için bu koşulun yalnızca bazı nokta çiftleri için değil, uzaydaki tüm farklı nokta çiftleri için sağlanması gerekir.
Öklid Düzleminde Hausdorff Özelliği
Standart Öklid uzaklığı ile donatılmış \(\mathbb{R}^2\) düzlemini ele alalım. \(x=(x_1,x_2)\) ve \(y=(y_1,y_2)\) düzlemdeki iki nokta olmak üzere, aralarındaki uzaklık şu şekilde tanımlanır:
$$ d(x,y)=\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}. $$
Bu uzaklık fonksiyonu altında \(\mathbb{R}^2\) bir metrik uzaydır.
Şimdi düzlemde birbirinden farklı iki nokta seçelim:
$$ A=(x_1,y_1), \qquad B=(x_2,y_2), \qquad A\neq B $$
Noktalar farklı olduğundan aralarındaki uzaklık sıfırdan büyüktür:
$$ d(A,B)>0 $$
Bu uzaklığın yarısını yarıçap olarak alalım:
$$ r=\frac{d(A,B)}{2} $$
Ardından \(A\) ve \(B\) merkezli iki açık yuvar tanımlayalım:
- \(U=\{P\in\mathbb{R}^2:d(P,A)
- \(V=\{P\in\mathbb{R}^2:d(P,B)
Bu kümeler sırasıyla \(A\) ve \(B\) noktalarının çevresindeki açık komşuluklardır.
Önemli nokta şudur: Bu iki açık yuvar kesişmez.
$$ U\cap V=\varnothing $$
Bunun nedeni, herhangi bir noktanın aynı anda hem \(A\)'ya hem de \(B\)'ye uzaklığın yarısından daha yakın olamayacak olmasıdır. Böyle bir durum gerçekleşseydi, üçgen eşitsizliği \(A\) ile \(B\) arasındaki uzaklığın gerçekte olduğundan daha küçük olmasını gerektirirdi ve bu bir çelişki yaratırdı.
Bu argüman yalnızca seçtiğimiz iki nokta için değil, \(\mathbb{R}^2\)'deki her farklı nokta çifti için geçerlidir. Dolayısıyla Öklid düzlemi Hausdorff özelliğine sahiptir.
Sonuç olarak:
$$ \mathbb{R}^2 \text{ bir Hausdorff uzayıdır.} $$
Hausdorff Olmayan Bir Uzay Örneği
Şimdi reel sayılar kümesi \(\mathbb{R}\)'yi sonlu tümleyen topolojisi ile birlikte inceleyelim.
Bu topolojide bir \(U\subseteq\mathbb{R}\) kümesi şu durumda açıktır:
- \(U=\varnothing\), veya
- \(\mathbb{R}\setminus U\) sonlu bir kümedir.
Başka bir ifadeyle, açık bir küme reel sayıların yalnızca sonlu sayıda elemanını dışarıda bırakabilir.
Şimdi \(x\) ve \(y\) olmak üzere iki farklı reel sayı seçelim.
Bu noktaları ayrık açık kümelerle ayırmaya çalışalım.
\(x\) noktasını içeren herhangi bir açık küme, reel sayıların sonlu sayıda elemanı dışında tamamını içerir. Aynı durum \(y\) noktasını içeren herhangi bir açık küme için de geçerlidir.
Dolayısıyla bu iki açık kümenin ortak kısmının boş olması mümkün değildir. Çünkü her ikisi de reel sayıların neredeyse tamamını içerir.
Başka bir deyişle:
$$ U\cap V\neq\varnothing $$
Bu nedenle farklı iki noktayı birbirinden ayıran ayrık açık komşuluklar bulunamaz.
Örnek. \(x=1\) ve \(y=2\) noktalarını ele alalım.
- \(U=\mathbb{R}\setminus\{2\}\)
- \(V=\mathbb{R}\setminus\{1\}\)
Bu iki küme sonlu tümleyen topolojisinde açıktır. Ancak kesişimleri:
$$ U\cap V=\mathbb{R}\setminus\{1,2\} $$
olur ve açıkça boş değildir. Hatta sonsuz sayıda nokta içerir.
Dolayısıyla \(1\) ve \(2\) noktalarını ayrık açık kümelerle ayırmak mümkün değildir.
Bu gözlemden şu sonuca ulaşırız:
$$ (\mathbb{R},\text{sonlu tümleyen topolojisi}) $$
bir Hausdorff uzayı değildir.
Dolayısıyla bu topoloji herhangi bir metrik tarafından üretilemez. Başka bir deyişle, metriklenebilir değildir.
İspat
Şimdi her metrik uzayın neden Hausdorff olduğunu genel durumda gösterelim.
\((X,d)\) bir metrik uzay ve \(x,y\in X\) olmak üzere \(x\neq y\) olsun.
Noktalar farklı olduğundan aralarındaki uzaklık pozitiftir:
$$ \varepsilon=d(x,y)>0 $$
\(x\) ve \(y\) merkezli, yarıçapları \(\varepsilon/2\) olan iki açık yuvar tanımlayalım:
- \(U=B(x,\varepsilon/2)\),
- \(V=B(y,\varepsilon/2)\).
Bu kümeler sırasıyla \(x\) ve \(y\) noktalarının açık komşuluklarıdır.
Şimdi \(U\) ile \(V\)'nin kesişmediğini gösterelim.
Aksini varsayalım ve her iki kümeye de ait bir \(z\) noktası bulunduğunu kabul edelim.
Bu durumda:
$$ d(x,z)<\frac{\varepsilon}{2} $$
ve
$$ d(y,z)<\frac{\varepsilon}{2} $$
olur.
Üçgen eşitsizliğini uyguladığımızda:
$$ d(x,y)\le d(x,z)+d(z,y) $$
elde edilir. Yukarıdaki eşitsizlikleri yerine koyarsak:
$$ d(x,y)<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon $$
sonucuna ulaşırız.
Ancak \(\varepsilon=d(x,y)\) olarak tanımlanmıştı. Böylece:
$$ d(x,y)
gibi imkânsız bir sonuç ortaya çıkar.
Bu çelişki, \(U\) ve \(V\)'nin ortak bir noktaya sahip olamayacağını gösterir. Dolayısıyla:
$$ U\cap V=\varnothing $$
olmalıdır.
Böylece her farklı nokta çifti için ayrık açık komşuluklar bulunabildiğini göstermiş olduk.
Sonuç olarak her metrik uzay Hausdorff uzayıdır.
