Metrikid-metric-space Uzay

Metrik uzay nedir?

Bir metrik uzay, \( X \) bir küme ve \( d \) ise \( X \) üzerindeki her \( x, y \in X \) nokta çifti için negatif olmayan bir reel sayı atayan bir fonksiyon olmak üzere tanımlanan \( (X, d) \) ikilisidir. Buradaki \( d(x, y) \), \( x \) ve \( y \) noktaları arasındaki uzaklığı gösterir. Bu yapı genellikle $$ (X,d) $$ şeklinde ifade edilir.

Bir fonksiyonun metrik olarak adlandırılabilmesi için aşağıdaki üç temel özelliği sağlaması gerekir:

1. Pozitiflik: Her \( x, y \in X \) için \( d(x, y) \geq 0 \) olmalıdır. Ayrıca \( d(x, y) = 0 \) ancak ve ancak \( x = y \) ise mümkündür. Yani bir noktanın kendisine olan uzaklığı sıfırdır ve farklı iki nokta arasındaki uzaklık daima pozitiftir.
2. Simetri: Her \( x, y \in X \) için \( d(x, y) = d(y, x) \) olmalıdır. Başka bir ifadeyle, \( x \) noktasından \( y \) noktasına olan uzaklık ile \( y \) noktasından \( x \) noktasına olan uzaklık aynıdır.
3. Üçgen eşitsizliği: Her \( x, y, z \in X \) için \( d(x, y) + d(y, z) \geq d(x, z) \) koşulu sağlanmalıdır. Bu özellik, iki nokta arasındaki en kısa yolun doğrudan bağlantı olduğunu ifade eder.

Metrik uzay kavramı, matematikte uzaklık fikrini soyut bir çerçevede ele almamızı sağlar. Bu sayede süreklilik, yakınsama, tamlık ve kompaktlık gibi temel kavramlar yalnızca geometride değil, fonksiyonlar, diziler ve daha genel matematiksel yapılar üzerinde de incelenebilir.

Kısacası, bir metrik uzay bir küme ile bu küme üzerinde tanımlı bir uzaklık fonksiyonundan oluşur.

Bu küme birkaç noktadan oluşan basit bir yapı olabileceği gibi, yüksek boyutlu veya sonsuz boyutlu bir vektör uzayı da olabilir.

Pratik bir örnek

Metrik uzayların en bilinen örneği, \( \mathbb{R}^n \) üzerinde tanımlanan Öklid uzayıdır. Bu uzay, günlük hayatta alışık olduğumuz geometrinin matematiksel modelidir.

Örneğin \( \mathbb{R}^2 \), yani Kartezyen düzlemi ele alalım.

\( p = (p_1, p_2) \) ve \( q = (q_1, q_2) \) noktaları arasındaki Öklid uzaklığı şu şekilde tanımlanır:

$$ d(p, q) = \sqrt{(p_1 - q_1)^2 + (p_2 - q_2)^2} $$

Bu formül, düzlemdeki iki nokta arasındaki doğrusal uzaklığı hesaplar ve bildiğimiz anlamdaki "mesafeyi" verir.

Bu uzaklık fonksiyonunun neden bir metrik olduğunu görelim:

1. Pozitiflik: Karelerin toplamı negatif olamayacağından uzaklık değeri her zaman sıfır veya pozitiftir. Uzaklığın sıfır olması ise yalnızca iki noktanın çakışması durumunda mümkündür.
2. Simetri: Noktaların yerini değiştirmek sonucu etkilemez. Bu nedenle \( d(p, q) = d(q, p) \) olur.
3. Üçgen eşitsizliği: İki nokta arasındaki doğrudan uzaklık, üçüncü bir noktadan geçerek elde edilen uzaklıkların toplamından büyük olamaz. Bu sonuç, Öklid geometrisinin temel özelliklerinden biridir.

Dolayısıyla \( d \) Öklid metriği olmak üzere \( (\mathbb{R}^2, d) \) yapısı bir metrik uzaydır.

Uzaklık fonksiyonu (metrik)

Uzaklık fonksiyonu nedir?

Uzaklık fonksiyonu ya da metrik, \( d(x_1, x_2) \) biçiminde tanımlanan ve aşağıdaki koşulları sağlayan bir fonksiyondur:

\( d(x_1, x_2) \geq 0 \)
\( d(x_1, x_2) = 0 \) ancak ve ancak \( x_1 = x_2 \) ise
\( d(x_1, x_2) = d(x_2, x_1) \)
\( d(x_1, x_2) \leq d(x_1, x_3) + d(x_3, x_2) \)

Bu koşullar, \( X \) kümesindeki tüm \( x_1, x_2 \) ve \( x_3 \) noktaları için geçerlidir.

Uzaklık türleri

Matematikte tek bir uzaklık tanımı yoktur. İncelenen probleme bağlı olarak farklı metrikler kullanılabilir.

Öklid uzaklığı

$$ d_2(x, y) := \sqrt{ \sum{(x_i - y_i)^2 } } $$

Bu, en yaygın kullanılan uzaklık türüdür ve klasik geometrinin temelini oluşturur.

Manhattan uzaklığı

Manhattan uzaklığı, taksi geometrisinde kullanılan temel metriktir. Adını, sokakları dik açılarla kesişen Manhattan'ın şehir planından alır. Böyle bir düzende bir noktadan diğerine giderken çapraz hareket etmek yerine yalnızca yatay ve düşey doğrultularda ilerlenebilir.

$$ d_1(x_1, x_2) := \sum{ |x_i - y_i| } $$

Bu nedenle Manhattan uzaklığı, koordinatlar arasındaki mutlak farkların toplamı olarak hesaplanır.

Ayrık metrik

Ayrık metrik, mümkün olan en basit uzaklık tanımlarından biridir. İki nokta aynıysa uzaklık 0, farklıysa 1 olarak kabul edilir.

$$ d(x, y) := \begin{cases} 0 \:\:\: if \: x = y \\ 1 \:\:\: if \: x \ne y \end{cases} $$

Bu metrik özellikle soyut matematikte ve küme teorisiyle ilişkili birçok çalışmada önemli bir rol oynar.

Normun İndüklediği Metrik

Bir norm, her zaman bir metrik tanımlar.

Bu şekilde elde edilen metriğe indüklenmiş metrik adı verilir.

$$ ||v|| := d(v, 0_V) $$

Bu eşitlik, bir vektörün normunun aslında o vektörün sıfır vektörüne olan uzaklığı olduğunu gösterir.

Dolayısıyla bir vektör uzayı üzerinde norm tanımlanabiliyorsa, bu uzay aynı zamanda bir metrik uzay olarak da ele alınabilir.

Not. Ancak bunun tersi her zaman doğru değildir. Her metrik, bir normdan türemiş olmak zorunda değildir.

İndüklenmiş metriğin temel özellikleri

Bir metriğin bir norm tarafından indüklendiği söylenebilmesi için aşağıdaki iki özelliği sağlaması gerekir:

\( d(v_1 + v_3, v_2 + v_3) = d(v_1, v_2) \)
\( d(k \cdot v_1, k \cdot v_2 ) = |k| \cdot d(v_1, v_2) \)

Burada \( v_1, v_2, v_3 \), \( V \) vektör uzayına ait vektörler; \( k \) ise \( K \) cismine ait bir skaler olup \( k \in K \)'dir.

İlk özellik, uzaklığın ötelemelerden etkilenmediğini ifade eder. İkinci özellik ise bütün vektörler aynı katsayıyla çarpıldığında uzaklığın da aynı oranda değiştiğini söyler.

Örnek

Şimdi Öklid normunun Öklid metriğini indüklediğini adım adım doğrulayalım.

Aşağıdaki üç vektörü ele alalım:

$$ v_1 = (6,8) \\ v_2 = (3,4) \\ v_3 = (3,0) $$

Bu vektörlerin Öklid normları şöyledir:

$$ ||v_1||_2 = \sqrt{6^2 + 8^2} = \sqrt{100} = 10 $$

$$ ||v_2||_2 = \sqrt{3^2 + 4^2} = \sqrt{25} = 5 $$

$$ ||v_3||_2 = \sqrt{3^2 + 0^2} = \sqrt{9} = 3 $$

Tanıma göre bu normlar aynı zamanda sıfır vektörüne olan uzaklıkları verir:

$$ ||v_1||_2 = d(v_1, 0_V) = 10 $$

$$ ||v_2||_2 = d(v_2, 0_V) = 5 $$

$$ ||v_3||_2 = d(v_3, 0_V) = 3 $$

İndüklenmiş metrik tanımına göre $$ ||v|| = d(v, 0_V) $$ eşitliğinin geçerli olabilmesi için şu iki koşulun doğrulanması gerekir:
1] \( d(v_1 + v_3, v_2 + v_3) = d(v_1, v_2) \)
2] \( d(k \cdot v_1, k \cdot v_2) = |k| \cdot d(v_1, v_2) \)

Bu koşulları sırayla inceleyelim.

Birinci koşul

Önce vektörlere aynı vektörü ekleyelim:

$$ d(v_1 + v_3, v_2 + v_3) = d(v_1, v_2) $$

$$ d(10 + 3, 5 + 3) = d(10, 5) $$

$$ d(13, 8) = d(10, 5) $$

Sol taraftaki uzaklık:

$$ d(13, 8) = \sqrt{(13 - 8)^2} = \sqrt{5^2} = \sqrt{25} = 5 $$

Sağ taraftaki uzaklık:

$$ d(10, 5) = \sqrt{(10 - 5)^2} = \sqrt{25} = 5 $$

Dolayısıyla

$$ d(13, 8) = d(10, 5) = 5 $$

Birinci koşul sağlanmaktadır. Yani her iki noktaya aynı vektör eklendiğinde aralarındaki uzaklık değişmemektedir.

İkinci koşul

Şimdi ölçekleme özelliğini kontrol edelim:

$$ d(k \cdot v_1, k \cdot v_2) = |k| \cdot d(v_1, v_2) $$

$$ d(k \cdot 10, k \cdot 5) = |k| \cdot d(10, 5) $$

\( k = 2 \) seçelim.

$$ d(2 \cdot 10, 2 \cdot 5) = |2| \cdot d(10, 5) $$

$$ d(20, 10) = |2| \cdot d(10, 5) $$

Sol tarafta:

$$ d(20, 10) = \sqrt{(20 - 10)^2} = \sqrt{100} = 10 $$

Sağ tarafta:

$$ |2| \cdot d(10, 5) = 2 \cdot \sqrt{(10 - 5)^2} = 2 \cdot 5 = 10 $$

Böylece

$$ d(k \cdot 10, k \cdot 5) = |k| \cdot d(10, 5) = 10 \qquad (k = 2) $$

eşitliği elde edilir.

İkinci koşul da sağlandığı için Öklid metriğinin gerçekten Öklid normundan türediği doğrulanmış olur.

Sonuç olarak, Öklid uzayında kullanılan metrik, Öklid normu tarafından indüklenmektedir.

Ek Notlar

Metrik uzaylarla ilgili bazı önemli kavramlar aşağıda özetlenmiştir.

• Metrik Uzayda Sınırlı Küme
  \( (X, d) \) bir metrik uzay olsun. Eğer \( A \subseteq X \) altkümesi için bir \( \mu > 0 \) sayısı ve bir \( x_0 \in X \) noktası bulunup $$ d(x, x_0) \leq \mu \quad \text{tüm } x \in A \text{ için} $$ koşulu sağlanıyorsa, \( A \) kümesine sınırlı küme denir. Başka bir ifadeyle, kümenin bütün noktaları sonlu yarıçaplı bir topun içinde kalıyorsa küme sınırlıdır.

  Sınırlılık kavramı, kümenin açık ya da kapalı olmasıyla ilgili değildir. Burada önemli olan yalnızca noktalar arasındaki uzaklıklardır.

• Sınırlı Metrik
  Eğer bir metrik uzayda tüm uzay sınırlıysa, o uzay üzerinde tanımlı metriğe sınırlı metrik adı verilir.
• Metrik Tarafından İndüklenen Topolojinin Taban Teoremi
  Bir metrik uzayda açık topların ailesi $$ \mathcal{B} = \{B_d(x, \varepsilon) \mid x \in X, \varepsilon > 0\} $$ üzerinde tanımlanan topolojinin bir tabanını oluşturur.
• Metrik Uzaylarda Süreklilik Teoremi
  \( f : X \to Y \) fonksiyonu, \( (X, d_X) \) ve \( (Y, d_Y) \) metrik uzayları arasında tanımlı olsun. Her \( \varepsilon > 0 \) için uygun bir \( \delta > 0 \) bulunabiliyor ve $$ d_X(x, x') < \delta $$ olduğunda $$ d_Y(f(x), f(x')) < \varepsilon $$ koşulu sağlanıyorsa, \( f \) fonksiyonu süreklidir.
• Metrik Uzaylar Hausdorff Uzaylarıdır
  Her metrik uzay bir Hausdorff uzayıdır. Buna karşılık, Hausdorff özelliğine sahip olmayan bir topolojik uzay herhangi bir metrik tarafından elde edilemez.

  Not: Bir topolojik uzayda herhangi iki farklı nokta ayrık açık komşuluklarla birbirinden ayrılabiliyorsa, bu uzaya Hausdorff uzayı denir.

Bu kavramlar ve sonuçlar, metrik uzay kuramının temel taşları arasında yer alır ve modern analiz ile topolojinin büyük bölümünün üzerine inşa edildiği çerçeveyi oluşturur.