Metrik Uzaylar: Açık Toplardan Tamlığa Adım Adım Rehber

Bir uzaklık fonksiyonunun metrik sayılması için gereken üç koşul

Bir çift (X,d), d: X × X → ℝ fonksiyonu aşağıdaki koşulları sağladığında metrik uzaydır:

1. Pozitiflik ve ayırt edilebilirlik: d(x,y) ≥ 0 ve d(x,y)=0 ancak ve ancak x=y olduğunda.
2. Simetri: d(x,y)=d(y,x).
3. Üçgen eşitsizliği: d(x,z) ≤ d(x,y)+d(y,z).

İlk koşul iki işi birlikte yapar: uzaklığın negatif olmamasını ve farklı iki noktanın uzaklığının sıfır olamayacağını söyler. Bu nedenle yalnızca d(x,y) ≥ 0 yazmak yeterli değildir; d(x,y)=0 durumunun x=y ile eşdeğer olduğu da kontrol edilmelidir. Simetri, x'ten y'ye ve y'den x'e uzaklığın aynı olmasını ister. Üçgen eşitsizliği ise doğrudan x'ten z'ye gitmenin, y üzerinden gitmekten daha uzun olamayacağını ifade eder.

Örneğin reel sayılarda d(x,y)=|x-y| bir metriktir. Bir normlu uzayda ise d(x,y)=||x-y|| tanımı doğal bir metrik verir. Fakat her metrik bir normdan gelmez: norm için vektör toplaması ve skaler çarpma gibi ek yapı gerekir; metrik uzayda böyle bir vektör uzayı yapısı bulunmak zorunda değildir.

Ayrık metrik önemli bir örnektir: d(x,y)=0, x=y ise; d(x,y)=1, x≠y ise. Bu tanım herhangi bir kümede kullanılabilir ve üç aksiyomu sağlar. Bu metrikte iki farklı nokta arasındaki uzaklık, noktaların kendi kimliklerinden başka ayrıntıyı yansıtmaz.

Açık toplar bir kümenin içini ve sınırını nasıl belirler?

Bir x∈X noktası ve r>0 için merkezî x, yarıçapı r olan açık top şu şekilde tanımlanır:

B(x,r)={y∈X : d(x,y)<r}.

Açık top, metrikte x'e r'den daha yakın olan noktaların kümesidir. Bir A⊆X kümesi açık ise A'nın her x noktası için, B(x,r)⊆A olacak şekilde bir r>0 bulunur. Buradaki kritik nokta, yarıçapın noktaya göre değişebilmesidir; bütün A için tek bir r kullanılması gerekmez. Kapalı küme tanımı ise A'nın tümleyeninin açık olmasıdır.

Bu tanımlar reel sayılarda bilinen aralıklarla örtüşür. Mutlak değer metriğinde B(x,r)=(x-r,x+r) olur. Dolayısıyla (a,b) açık, [a,b] kapalıdır. Ancak 'kapalı' kelimesi yalnızca son noktaları içeren aralık anlamına gelmez. Kapalı olmanın genel ölçütü, kümenin tümleyeninin açık olması veya eşdeğer biçimde, A içindeki yakınsak her dizinin limitini yine A içinde bulundurmasıdır.

Bir noktanın A'nın iç noktası olması, o noktanın çevresinde tamamen A'nın içinde kalan bir açık top bulunması demektir. Sınır noktası ise her r>0 için B(x,r) topunun hem A ile hem de X\A ile kesişmesidir. Bu nedenle sınır noktası, kümeye ait olmak zorunda değildir. Örneğin reel sayılarda A=(0,1) için 0 ve 1 sınır noktalarıdır; fakat A'nın elemanı değildir. A'nın kapanışı, A ile tüm sınır noktalarının birleşimi olarak düşünülebilir.

Yakınsaklık, süreklilik ve Cauchy olma arasındaki mantık

Bir (x_n) dizisinin x noktasına yakınsaması, terimlerin sonunda x'e istenildiği kadar yaklaşmasıdır. Tanım şudur: Her ε>0 için bir N doğal sayısı vardır ve n>N olduğunda d(x_n,x)<ε olur. Burada ε hedeflenen hata payıdır; N ise tüm sonraki terimlerin bu hata payı içinde kalmasını sağlayan eşiktir.

Yakınsaklık, dizinin hangi noktaya yaklaştığını gösterir. Cauchy koşulu ise limit belirtmeden dizinin kendi terimlerinin birbirine yaklaşıp yaklaşmadığını ölçer: Her ε>0 için bir N vardır; m,n>N olduğunda d(x_n,x_m)<ε. Her yakınsak dizi Cauchy'dir; bunun kanıtında üçgen eşitsizliği kullanılır. Ancak Cauchy olma, limitin mutlaka X içinde bulunacağını tek başına garanti etmez. Bu ters yönün geçerli olması için uzayın tam olması gerekir.

Bir metrik uzay, her Cauchy dizisi X içinde bir noktaya yakınsıyorsa tamdır. Örneğin mevcut bilgiler içinde reel sayılar tam bir uzay olarak kullanılırken, rasyonel sayılar üzerinde reel sayı metriğiyle tanımlanan bazı Cauchy dizileri rasyonel olmayan bir limite yaklaşabileceğinden tamlık sorunu ortaya çıkar. Bu örnek, 'dizinin limitinin var olması' ile 'limitinin incelenen uzaya ait olması' arasındaki farkı gösterir.

Metrik uzaylar arasında f:X→Y fonksiyonu x noktasında sürekli ise her ε>0 için, yalnızca x'e bağlı olabilen bir δ>0 bulunur ve d_X(x,y)<δ olduğunda d_Y(f(x),f(y))<ε olur. δ'nın tüm x noktaları için aynı seçilebildiği daha güçlü duruma düzgün (uniform) süreklilik denir. Kompakt metrik uzaydan başka bir metrik uzaya giden sürekli fonksiyonun düzgün sürekli olması, kompaktlığın önemli sonuçlarından biridir.

Çözümlü örnekler: aksiyom ve açık top kontrolü

Örnek 1 — Ayrık metriğin kontrolü

Verilenler: X herhangi bir küme olsun. d(x,y)=0, x=y için; d(x,y)=1, x≠y için tanımlansın.

Çözüm adımları:

1. Pozitiflik: d yalnızca 0 veya 1 değerini aldığı için d(x,y)≥0'dır. Ayrıca d(x,y)=0 olması, tanım gereği x=y anlamına gelir.
2. Simetri: x=y ve x≠y durumları, x ile y'nin yerleri değiştirildiğinde değişmez. Bu yüzden d(x,y)=d(y,x)'tir.
3. Üçgen eşitsizliği: Eğer x=z ise d(x,z)=0 olduğundan eşitsizlik açıktır. Eğer x≠z ise d(x,z)=1'dir. Bu durumda y, x veya z'den farklı olduğunda sağ taraf en az 1 olur; y=x ya da y=z olduğunda da sağ taraf 1'dir. Dolayısıyla d(x,z)≤d(x,y)+d(y,z).

Sonuç: Bu d bir metriktir. Ayrıca 0<r≤1 için B(x,r)={x}; çünkü başka bir y için uzaklık 1 olur ve 1<r sağlanmaz. r>1 olduğunda ise B(x,r)=X olur. Bu nedenle ayrık metrikte yeterince küçük açık toplar tek noktalı kümelerdir.

Örnek 2 — Reel sayılarda açık top ve kapanış

Verilenler: X=ℝ, d(x,y)=|x-y| ve A=(0,1) olsun. x=1/2 merkezli r=1/4 açık topu ve A'nın sınırını belirleyelim.

Çözüm adımları:

1. Açık top tanımına göre B(1/2,1/4)={y:|y-1/2|<1/4}.
2. Mutlak değer eşitsizliği 1/4<y-1/2<1/4 biçiminde çözülür.
3. Buradan 1/4<y<3/4 elde edilir; yani B(1/2,1/4)=(1/4,3/4).
4. A=(0,1) kümesinin 0 ve 1 noktalarının her çevresinde A'ya ait ve A'ya ait olmayan reel sayılar vardır. Bu nedenle ikisi sınır noktasıdır.
5. A'nın içi A'nın kendisidir; kapanışı ise [0,1]'dir.

Sonuç: B(1/2,1/4) tamamen A'nın içindedir. Buna karşılık 0 veya 1 merkezli herhangi bir pozitif yarıçaplı açık top, A'nın dışından da noktalar içerir; bu noktalar sınır davranışını açıklar.

Sık yapılan hatalar ve sınır durumları

• 'Kapalı ve sınırlı her küme kompakttır' ifadesini her metrik uzaya taşımak: Bu sonuç reel sayılarda ve Öklid uzaylarında Heine–Borel teoremi bağlamında geçerlidir; genel metrik uzaylarda kapalı ve sınırlı olmak kompaktlığı tek başına garanti etmez. Metrik uzaylarda kompaktlık açık örtülerle tanımlanır; kompakt kümeler tam ve toplam sınırlı olma gibi sonuçlara sahiptir.

• Yakınsaklık ile Cauchy olmayı özdeş sanmak: Yakınsak dizi bir hedef noktaya yaklaşır ve Cauchy'dir. Cauchy tanımı ise yalnızca dizinin ilerleyen terimlerinin birbirine yaklaşmasını ister. Tersi, tam olmayan uzaylarda başarısız olabilir.

• Açık topu kapalı aralıkla karıştırmak: B(x,r) tanımında d(x,y)<r kullanılır. d(x,y)≤r olsaydı kapalı top elde edilirdi. Sınırın dahil olup olmadığı bu eşitsizlik işaretine bağlıdır.

• Üçgen eşitsizliğini yazmadan 'uzaklık' demek: Bir fonksiyonun negatif olmaması veya simetrik olması tek başına metrik olması için yeterli değildir; üçgen eşitsizliği de ayrıca doğrulanmalıdır.

• Süreklilik ile düzgün sürekliliği aynı kabul etmek: Noktasal süreklilikte δ, incelenen x noktasına bağlı olabilir. Düzgün süreklilikte tek bir δ seçimi bütün uzayda geçerlidir. Kompaktlık, sürekli fonksiyonlar için bu daha güçlü sonucu sağlayabilir.

• Norm ile metriği aynı yapı sanmak: Normlu uzaydan metrik üretilebilir; ancak bir metrik uzayın vektör uzayı olması gerekmez. Bu nedenle metrik kavramı norm kavramından daha geneldir.

Kompaktlık, bağlantılılık ve topolojik bakışın doğru sınırları

Metrik, kümelerin yalnızca uzaklıklarını değil, hangi kümelerin açık kabul edileceğini de belirler. Bu yolla metrik, X üzerinde bir topoloji oluşturur. Metrik uzaylar bu anlamda topolojik uzayların özel bir sınıfıdır; her topolojik uzayda uzaklığı sayısal olarak ölçen bir metrik bulunması gerekmez. Daha fazla çerçeve için topolojik uzaylar konusuna bakılabilir.

Kompaktlık, bir kümenin açık örtüsünden sonlu bir alt örtü seçilebilmesi özelliğidir. Genel metrik uzaylarda bunu yalnızca 'kapalı ve sınırlı' diyerek test etmek doğru değildir. Metrik kompaktlıkla ilişkili olarak tamlık ve toplam sınırlılık birlikte önemli rol oynar. Sürekli bir fonksiyonun kompakt bir küme üzerindeki görüntüsü, maksimum ve minimum gibi elde edilme sonuçlarının temelini oluşturur. Ayrıntılı bağlantı için kompaktlık sayfası kullanılabilir.

Bağlantılılık, uzayın iki ayrık, boş olmayan açık kümenin birleşimi olarak ayrılamamasıdır. Yol-bağlantılılıkta ise herhangi iki nokta arasında sürekli bir yol bulunur; bu, bağlantılılıktan daha güçlü bir koşuldur. Bu kavramlar metrikten türeyen topolojik yapı üzerinden incelenir ve bağlantılılık başlığında tamamlanır.

Metrik uzayın en önemli öğretim zinciri şöyledir: d metriği → açık toplar → açık kümeler ve topoloji → yakınsaklık/süreklilik → Cauchy dizileri → tamlık. Bir tanımın sonuçlarını bu sırada takip etmek, formülleri bağımsız ezberlemekten daha güvenilir bir yöntemdir.