Metrik Topoloji

Metrik topoloji, $ X $ kümesi üzerinde tanımlı bir $ d $ metriğinin belirlediği açık toplardan oluşan bir taban tarafından üretilen topolojidir. Başka bir ifadeyle, bir uzaydaki açıklık kavramı doğrudan uzaklık kavramından elde edilir. Bu topolojiye $ d $ metriğinin indüklediği topoloji adı verilir.

Bir metrik uzayda $ (X,d) $, $ d $ fonksiyonu $ X $ kümesindeki noktalar arasındaki uzaklığı ölçer. Bu uzaklık yardımıyla açık kümeler tanımlanabilir ve böylece uzayın topolojik yapısı ortaya çıkar.

Bunun temel yapı taşı açık top kavramıdır.

$ x \in X $ merkezli ve yarıçapı $ \varepsilon > 0 $ olan bir açık top, $ x $ noktasına uzaklığı $ \varepsilon $'den küçük olan tüm noktaların oluşturduğu kümedir:

$$ B_d(x, \varepsilon) = \{y \in X \mid d(x, y) < \varepsilon\}. $$

Metrik topolojide açık kümeler, bu açık topların birleşimleri olarak elde edilir.

Daha kesin bir ifadeyle, $ U \subset X $ kümesi ancak ve ancak $ U $ içindeki her $ y $ noktası için, tamamı $ U $ içinde kalan bir $ B_d(y,\delta) $ açık topu bulunabiliyorsa açıktır.

Pratik Bir Örnek
Metrik Topolojide Açık Kümeler
Metrik Türleri
Ek Notlar

Pratik Bir Örnek

Kavramı somutlaştırmak için tek boyutlu Öklid uzayı olan $\mathbb{R}$'i ele alalım. Bu uzay, gerçel sayı doğrusudur.

$\mathbb{R}$ üzerindeki standart uzaklık şu şekilde tanımlanır:

$$ d(x, y) = |x - y| $$

Burada $|x-y|$, iki sayı arasındaki mutlak farkı ifade eder.

Bu fonksiyon bir metriğin tüm koşullarını sağlar ve $\mathbb{R}$'in doğal geometrisini belirler.

Şimdi $x=3$ ve $\varepsilon=1$ seçelim.

Bu durumda elde edilen açık top:

$$ B_d(3, 1) = \{y \in \mathbb{R} \mid d(3, y) < 1\} = \{y \in \mathbb{R} \mid |3 - y| < 1\} $$

$|3-y| < 1$ eşitsizliğini çözersek:

$$ -1 < 3-y < 1 $$

$$ -4 < -y < -2 $$

$$ 2 < y < 4 $$

sonucunu elde ederiz. Dolayısıyla:

$$ B_d(3, 1) = (2,4) $$

Yani merkezi 3 olan ve yarıçapı 1 olan açık top, sayı doğrusundaki $(2,4)$ açık aralığına karşılık gelir.

gerçel sayı doğrusunda açık top örneği

Benzer şekilde $(2,4)$, $(5,7)$ veya genel olarak $(a,b)$ biçimindeki her açık aralık, $d(x,y)=|x-y|$ metriğine göre bir açık top ya da açık topların birleşimi olarak düşünülebilir.

açık kümeler örneği

Bu nedenle açık aralıklar, $\mathbb{R}$'in metrik topolojisi için bir taban oluşturur.

Not. $(0,5)$ kümesinin neden açık olduğunu anlamak kolaydır. Bu aralık içindeki herhangi bir noktayı seçtiğinizde, o noktanın etrafında yine tamamen $(0,5)$ içinde kalan küçük bir açık aralık bulabilirsiniz. İşte bu özellik kümeyi açık yapar.

Sonuç olarak, $\mathbb{R}$ üzerinde $d(x,y)=|x-y|$ metriğinden elde edilen metrik topoloji, analiz ve temel matematikte kullanılan standart topolojinin kendisidir.

Metrik Topolojide Açık Kümeler

Bir metrik uzayda $ U \subset X $ alt kümesine, $ U $ içindeki her nokta için bütünüyle $ U $ içinde kalan bir açık top bulunabiliyorsa açık küme denir.

Sezgisel olarak düşünürsek, açık bir kümenin herhangi bir noktasında durduğunuzda etrafınızda küçük bir hareket alanı vardır ve bu alan kümenin dışına taşmaz.

Topolojide açıklık kavramının özü tam olarak budur.

Aşağıdaki şekil, $ \mathbb{R}^2 $ düzleminde bir açık küme örneğini göstermektedir.

metrik topolojide açık küme örneği

Kapalı kümeler ise sınır noktalarını da içeren kümelerdir. Başka bir ifadeyle, bir kümenin kapanışı elde edildiğinde ortaya çıkan yapı kapalı bir kümedir.

kapalı küme örneği

Bu tanım sayesinde açıklık kavramı, her noktanın çevresinde bulunan komşuluklar aracılığıyla ifade edilir.

Metrik Türleri

Metrik topolojiler yalnızca Öklid metriğiyle sınırlı değildir. Aynı uzay üzerinde farklı metrikler tanımlanabilir ve bu metrikler farklı geometrik görünümlere sahip açık toplar oluşturabilir.

$ \mathbb{R}^2 $ düzleminde en yaygın kullanılan metriklerden bazıları şunlardır:

Standart metrik (Öklid metriği)
Bu metrikte açık toplar dairesel biçimdedir ve $\mathbb{R}^2$'nin alışılmış topolojisini oluşturur. $$ d(p, q) = \sqrt{(p_1 - q_1)^2 + (p_2 - q_2)^2} $$
Taksi metriği (Manhattan metriği)
Bu metrikte uzaklık, yatay ve dikey hareketlerin toplamı olarak ölçülür. Açık toplar eşkenar dörtgen şeklindedir. $$ d_T(p, q) = |p_1 - q_1| + |p_2 - q_2|. $$
Maksimum metrik
Bu metrikte iki nokta arasındaki uzaklık, koordinat farklarının en büyüğü olarak tanımlanır. Açık toplar kare biçimindedir.
$$ d_M(p, q) = \max\{|p_1 - q_1|, |p_2 - q_2|\} $$

Bu üç metrik farklı geometrik şekiller oluştursa da, $\mathbb{R}^2$ üzerinde aynı topolojiyi indükler. Bu durum, farklı uzaklık kavramlarının bazen aynı topolojik yapıyı üretebildiğini gösteren önemli bir örnektir.

Ek Notlar

Metrik topolojilerle ilgili bazı temel sonuçlar şunlardır:

Teorem: Metrik Topolojilerin Karşılaştırılması
$X$ kümesi üzerinde tanımlı $d$ ve $d'$ metriklerinin sırasıyla $\mathcal{T}$ ve $\mathcal{T}'$ topolojilerini indüklediğini varsayalım. $\mathcal{T}'$ topolojisi, $\mathcal{T}$'den daha ince ise ve ancak ise, her $x \in X$ ve her $\varepsilon > 0$ için $$ B_{d'}(x, \delta) \subseteq B_d(x, \varepsilon) $$ koşulunu sağlayan bir $\delta > 0$ vardır. Burada $B_d(x,\varepsilon)$ ve $B_{d'}(x,\delta)$, ilgili metriklere göre tanımlanan açık toplardır.
Başka bir ifadeyle, $d'$ metriği tarafından oluşturulan açık toplar, $d$ metriğinin açık toplarının içine yeterince küçük ölçeklerde yerleştirilebiliyorsa, $\mathcal{T}'$ topolojisi $\mathcal{T}$'den daha incedir.
Sınırlı Metrik Teoremi
Bir metrik uzayda $ (X,d) $ ve $\varepsilon > 0$ için $ d'(x,y)=\min(d(x,y),\varepsilon) $ biçiminde yeni bir sınırlı metrik tanımlanabilir. Bu yeni metrik, $d$ ile aynı topolojiyi indükler. Dolayısıyla $d$ ve $d'$ metriklerinin oluşturduğu açık kümeler tamamen aynıdır.

Bu sonuçlar, metrikler ile topolojik yapılar arasındaki yakın ilişkiyi anlamak açısından büyük önem taşır.