Metrik Uzaylar: Uzaklık, Açık Toplar ve Yakınsaklık

Metrik ve metrik uzay tanımı

Bir X kümesi üzerinde tanımlı d: X × X → [0, ∞) fonksiyonuna metrik, (X, d) ikilisine ise metrik uzay denir. d(x, y) değeri, x ile y arasındaki uzaklık olarak yorumlanır; ancak bu uzaklığın fiziksel bir uzunluk olması gerekmez. Örneğin X, belirli uzunluktaki karakter dizilerinden oluşuyorsa iki dizi arasındaki farklı konumlardaki karakterlerin sayısı da bir uzaklık fikri verebilir.

Metrik uzayın çalışma mantığı şudur: Önce her iki nokta çifti için bir uzaklık değeri atanır, ardından bu değerlerin temel uzaklık sezgisiyle uyumlu olduğu aksiyomlarla güvence altına alınır. Böylece bir noktanın çevresi, iki noktanın birbirine yaklaşması ve bir kümenin sınırı gibi kavramlar yalnızca d fonksiyonu kullanılarak tanımlanabilir. Gerçek sayılar kümesinde d(x, y) = |x - y| seçimi en bilinen örnektir. Bu durumda 2 ile 5 arasındaki uzaklık |2 - 5| = 3 olur; aynı fikir düzlemde Öklid uzaklığına da genişletilebilir.

Aynı küme üzerinde farklı metrikler seçmek mümkündür. Örneğin Dünya üzerindeki iki nokta arasındaki uzaklık, yüzey boyunca en kısa yol veya noktalar arasındaki doğrusal uzaklık olarak farklı biçimlerde ölçülebilir. Aksiyomlar korunduğu sürece bu farklı seçimlerin her biri ayrı bir metrik uzay oluşturabilir.

Metrik aksiyomları ve metrik örnekleri

Bir d fonksiyonunun metrik olabilmesi için her x, y, z ∈ X için şu dört koşulu sağlaması gerekir:

1. Pozitiflik: d(x, y) ≥ 0 olmalıdır.
2. Özdeşlik: d(x, y) = 0 ancak ve ancak x = y olduğunda gerçekleşmelidir.
3. Simetri: d(x, y) = d(y, x) olmalıdır.
4. Üçgen eşitsizliği: d(x, z) ≤ d(x, y) + d(y, z) olmalıdır.

Pozitiflik, uzaklığın negatif olmasını engeller. Özdeşlik, birbirinden farklı iki noktanın sıfır uzaklıkta olamayacağını söyler. Simetri, x’ten y’ye gitmenin uzaklığıyla y’den x’e gitmenin uzaklığını eşit kabul eder. Üçgen eşitsizliği ise iki nokta arasındaki doğrudan uzaklığın, araya üçüncü bir nokta koyarak gidilen toplam yoldan büyük olamayacağını ifade eder. Bir fonksiyonun metrik olup olmadığını kontrol ederken bu dört koşulun her biri ayrı ayrı incelenmelidir; tek bir koşulun başarısız olması yeterlidir.

Gerçek sayılarda d(x, y) = |x - y| standart bir metriktir; mutlak değerin özellikleri dört aksiyomu sağlar. Bir kümede iki farklı nokta arasındaki uzaklığı 1, aynı noktanın kendisine uzaklığını 0 yapan ayrık metrik de metriktir: d(x, y) = 0, x = y ise; d(x, y) = 1, x ≠ y ise. Karakter dizilerinde farklı konumlardaki karakterlerin sayısını ölçen Hamming uzaklığı da metrik örneği olarak kullanılabilir.

Örneğin d(x, y) = |x - y| için pozitiflik ve özdeşlik mutlak değerden, simetri |x - y| = |y - x| eşitliğinden gelir. Üçgen eşitsizliği de |x - z| ≤ |x - y| + |y - z| biçimindedir. Buna karşılık d(x, y) = x - y fonksiyonu genel olarak metrik değildir; çünkü negatif değer alabilir ve simetri koşulunu sağlamaz.

Açık toplar ve metrik uzayın temel topolojisi

Bir metrik uzayda x merkezli ve r > 0 yarıçaplı açık top, x’e uzaklığı r’den küçük olan noktaların kümesidir: B(x, r) = {y ∈ X : d(x, y) < r}. Açık top, bir noktanın çevresini uzaklıkla ifade eder. Gerçek sayılarda d(x, y) = |x - y| olduğunda B(x, r) = (x - r, x + r) aralığı elde edilir; örneğin B(2, 0,5), 1,5 ile 2,5 arasındaki gerçek sayılardan oluşur.

Açık toplar metrik uzayın topolojik yapısını oluşturur. Bir A ⊆ X kümesi, her x ∈ A noktası için x’i içeren ve bütünüyle A içinde kalan bir açık top bulunabiliyorsa açıktır. Başka bir deyişle her x ∈ A için bir r > 0 vardır ve B(x, r) ⊆ A olur. Bu koşul, A’nın her noktasının küme dışına taşmadan küçük bir çevreye sahip olduğunu anlatır.

Örneğin A = (0, 1) gerçek sayılar kümesi açıktır. A içindeki x noktası uçlara ne kadar yakın olursa olsun, 0 < r < min{x, 1 - x} seçilerek B(x, r) tamamen A içinde tutulabilir. Buna karşılık [0, 1] kümesinin 0 noktasında bu özellik gerçek sayılar üzerindeki standart metrikte sağlanmaz; 0 merkezli her açık top, negatif sayıları da içerir.

Açık toplar yalnızca gerçek sayılardaki aralıkları değil, herhangi bir metrik uzaydaki komşulukları tanımlar. Bu nedenle açık kümeler, komşuluklar ve süreklilik gibi topolojik kavramlar metrikten türetilebilir. Metrik uzaylarda tamamlık ve Banach uzayları, kompaktlık, bağlantılılık ve metriklerin eşdeğerliği gibi daha ileri başlıklar ayrıca incelenir.

Açık, kapalı ve sınır noktalarının metrik tanımları

Bir A ⊆ X kümesi, her x ∈ A için B(x, r) ⊆ A olacak şekilde bir r > 0 bulunuyorsa açıktır. Bir küme, tümleyeni X \ A açık olduğunda kapalıdır. Metrik dille kapalı olmanın eşdeğer bir ifadesi, A’nın içerdiği her yakınsak dizinin limitini de içermesidir; temel düzeyde bu, kümenin limit noktalarını dışarıda bırakmaması olarak düşünülebilir.

Bir x noktasının A’nın iç noktası olması, x’i içeren bir açık topun bütünüyle A içinde bulunması demektir. x, A’nın kapanışında ise x’in her r > 0 için B(x, r) ∩ A ≠ ∅ koşulunu sağlaması gerekir; yani x’in her metriğe göre çevresi A’dan en az bir nokta içerir. Sınır noktası, hem A’ya hem de A’nın tümleyenine her ölçekte yaklaşılabilen noktadır. Bu nedenle sınır şu şekilde yazılır: ∂A = cl(A) ∩ cl(X \ A). Gerçek sayılarda A = (0, 1) için iç A’nın kendisi, kapanış [0, 1] ve sınır {0, 1} kümesidir.

Metrik uzaylarda yakınsaklık ve sürekliliğin temel bağlantısı

Bir (x_n) dizisinin x ∈ X noktasına yakınsaması, terimlerin x’e uzaklığının istenildiği kadar küçülebilmesi anlamına gelir. Biçimsel olarak x_n → x demek, her ε > 0 için öyle bir N doğal sayısı bulunmasıdır ki n ≥ N olduğunda d(x_n, x) < ε olsun. Gerçek sayılarda bu tanım, |x_n - x| değerlerinin sıfıra yaklaşmasıyla aynıdır. Örneğin x_n = 1/n dizisi 0’a yakınsar; çünkü yeterince büyük n’lerde 1/n her pozitif ε’den küçük olur.

Metrik uzaylarda limit, uzaklık koşuluyla belirlenir ve limit tektir. Bir f: X → Y fonksiyonu x ∈ X noktasında sürekli ise, x’e yakınsayan her (x_n) dizisinin görüntü dizisi f(x_n) de f(x)’e yakınsar. Sürekliliğin ε-δ biçiminde ifadesi ise her ε > 0 için öyle bir δ > 0 bulunmasıdır ki d_X(x, y) < δ olduğunda d_Y(f(x), f(y)) < ε olsun. Burada kaynak ve hedef uzayların metrikleri ayrı ayrı kullanılır: ilki girdilerin yakınlığını, ikincisi çıktıların yakınlığını ölçer.

Örneğin f(x) = 2x fonksiyonu gerçek sayılarda süreklidir; x ve y birbirine yakınsa |f(x) - f(y)| = 2|x - y| de kontrol edilebilir bir büyüklükte kalır. Cauchy dizisi ise terimlerin belirli bir limite sahip olduğu söylenmeden, dizinin ilerleyen terimlerinin birbirine keyfi ölçüde yaklaşmasıyla tanımlanan bir dizidir. Metrik uzaylarda tamamlık ve Banach uzayları bu tür dizilerin limitleriyle ilgilenir.