Metriğin İndüklediği Topolojide Baz Teoremi
Bir \((X,d)\) metrik uzayında, $$ \mathcal{B} = \{B_d(x, \varepsilon) \mid x \in X, \varepsilon > 0\} $$ açık küreler ailesi, \(X\) üzerinde tanımlanan bir topolojinin bazını oluşturur.
Topolojide bir baz, bir uzayın tüm açık kümelerini oluşturmak için kullanılan temel yapı taşlarından oluşan bir koleksiyondur. Bir \(\mathcal{B}\) açık kümeler ailesi, topolojideki her açık küme bazdaki kümelerin birleşimi olarak yazılabiliyorsa, \(\mathcal{B}\) o topolojinin bazı olarak kabul edilir.
Bir açık kümeler ailesinin baz olabilmesi için aşağıdaki iki koşulu sağlaması gerekir:
- Her \(x \in X\) noktası için, \(x \in B\) olacak şekilde en az bir \(B \in \mathcal{B}\) kümesi bulunmalıdır. (Örtme koşulu)
- \(B_1, B_2 \in \mathcal{B}\) ve \(x \in B_1 \cap B_2\) ise, \(x \in B_3 \subseteq B_1 \cap B_2\) koşulunu sağlayan bir \(B_3 \in \mathcal{B}\) kümesi bulunmalıdır. (Kesişim koşulu)
Baz teoremi, bir metrik uzaydaki tüm açık kürelerin bu iki koşulu sağladığını söyler. Bu nedenle açık küreler, metriğin indüklediği topolojiyi tanımlamak için kullanılabilir.
Açık küre, herhangi bir pozitif \(\varepsilon\) sayısı için, \(x\) noktasına olan uzaklığı \(\varepsilon\)'den küçük olan tüm \(y \in X\) noktalarının oluşturduğu kümedir: $$ B_d(x, \varepsilon) = \{y \in X \mid d(x,y) < \varepsilon\}. $$
Başka bir deyişle, bu teorem bir metrik uzayın topolojik yapısının tamamen açık küreler yardımıyla açıklanabileceğini gösterir.
Bir Örnek
Kavramı daha somut hale getirmek için \(\mathbb{R}^2\) düzleminde tanımlanan aşağıdaki açık kümeyi ele alalım:
$$ A = \{(x_1, x_2) \in \mathbb{R}^2 \mid 1 < x_1^2 + x_2^2 < 4 \} $$
Geometrik olarak bu küme, iç yarıçapı 1 ve dış yarıçapı 2 olan halkasal bir bölgeyi temsil eder.
Yarıçapları 1 ve 2 olan çemberlerin sınır noktaları kümenin içinde yer almadığından \(A\) açık bir kümedir.
Peki, \(A\) kümesi açık kürelerin birleşimi olarak nasıl yazılabilir?
Baz teoremine göre her açık küme gibi \(A\) da açık kürelerin birleşimi biçiminde ifade edilebilir.
Bunun için halkasal bölgenin içinde bulunan çeşitli noktalarda merkezlenen ve yarıçapları bölgenin dışına taşmayacak kadar küçük seçilen açık küreler alabiliriz.
Örneğin, merkezi \(p_1=(1.5,0)\) noktası olan ve yarıçapı \(\varepsilon_1=0.3\) olan açık küreyi ele alalım:
$$ B1_d((1.5, 0), 0.3) = \{(x_1, x_2) \in \mathbb{R}^2 \mid d((1.5,0),(x_1,x_2)) < 0.3\} $$
Bu açık küre tamamen \(A\) kümesinin içinde yer alır.
Şimdi de merkezi \(p_2=(-1.5,0)\) olan ve yarıçapı \(\varepsilon_2=0.4\) olan açık küreyi inceleyelim:
$$ B2_d((-1.5, 0), 0.4) = \{(x_1, x_2) \in \mathbb{R}^2 \mid d((-1.5,0),(x_1,x_2)) < 0.4\} $$
Bu açık küre de bütünüyle \(A\) kümesinin içinde kalır.
Aynı işlemi farklı noktalar için tekrarlayarak çok sayıda açık küre oluşturabiliriz. Her biri \(A\)'nın içinde kalacak şekilde seçildiğinde, bu açık kürelerin birleşimi halkasal bölgenin tamamını örter.
Önemli olan nokta, açık kürelerin birlikte düşünüldüğünde kümenin hiçbir bölümünü dışarıda bırakmamasıdır.
Bu durumu matematiksel olarak şöyle ifade ederiz:
$$ A = \bigcup_{i} B_d(x_i,\varepsilon_i) $$
Burada \(x_i\) açık kürelerin merkezlerini, \(\varepsilon_i\) ise yarıçaplarını göstermektedir.
Her \(B_d(x_i,\varepsilon_i)\), merkezi \(x_i\) olan ve tamamı \(A\) kümesinin içinde kalan bir açık küredir.
Bu örnek, \(\mathbb{R}^2\)'deki herhangi bir açık kümenin açık kürelerin birleşimi olarak ifade edilebileceğini açıkça göstermektedir.
Dolayısıyla açık küreler, metriğin indüklediği topolojide açık kümelerin yapısını oluşturan temel bileşenlerdir.
İspat
Şimdi, metrik uzaydaki açık küreler ailesinin gerçekten bir topoloji bazı oluşturduğunu gösterelim.
Bunun için baz tanımındaki iki koşulun sağlandığını doğrulamamız yeterlidir.
1] Her nokta en az bir açık kürenin içinde bulunur
Herhangi bir \(x \in X\) noktası alalım. Merkezi \(x\) olan ve yarıçapı \(\varepsilon > 0\) olan \(B_d(x,\varepsilon)\) açık küresini düşünelim.
Tanım gereği, \(x\) noktası bu kürenin içindedir.
Bu durum her nokta için geçerli olduğundan, uzaydaki her nokta en az bir açık küre tarafından kapsanır.
Dolayısıyla birinci koşul sağlanmaktadır.
2] İki baz elemanının kesişimi içinde yine bir baz elemanı bulunur
Şimdi \(B_1\) ve \(B_2\) olmak üzere iki açık küre alalım ve \(x \in B_1 \cap B_2\) olduğunu varsayalım.
Amacımız, merkezi \(x\) olan ve bütünüyle \(B_1 \cap B_2\) içinde kalan daha küçük bir açık küre bulmaktır.
\(x\) noktası \(B_1\)'in içinde olduğundan, merkezi \(x\) olan ve tamamı \(B_1\)'in içinde kalan bir açık küre vardır.
Benzer şekilde, \(x\) noktası \(B_2\)'nin içinde olduğundan, merkezi \(x\) olan ve tamamı \(B_2\)'nin içinde kalan başka bir açık küre de vardır.
- \(B_d(x,\delta_1) \subseteq B_1\)
- \(B_d(x,\delta_2) \subseteq B_2\)
Bu iki yarıçaptan küçük olanını seçelim:
$$ \delta = \min\{\delta_1,\delta_2\} $$
Böylece merkezi \(x\) olan ve yarıçapı \(\delta\) olan açık küreyi elde ederiz.
Bu küre hem \(B_1\)'in hem de \(B_2\)'nin içinde kalacağından:
$$ B_d(x,\delta) \subseteq B_1 \cap B_2 $$
olur.
Böylece ikinci koşulun da sağlandığını görmüş oluruz.
Sonuç olarak, açık küreler ailesi baz olmak için gerekli olan her iki koşulu da yerine getirmektedir.
Bu nedenle metrik uzaydaki tüm açık kürelerin oluşturduğu aile, \(X\) üzerinde bir topolojinin bazını oluşturur.
Bu topolojiye metriğin indüklediği topoloji adı verilir.
Böylece baz teoremi ispatlanmış olur.
