Metrik Uzaylar | Ders Notları

Metrik Uzay Tanımı

Metrik uzay, boş olmayan bir X kümesi ile bu küme üzerinde tanımlı d:X×X→ℝ metrik fonksiyonunun oluşturduğu (X,d) ikilisidir. Metrik fonksiyonu, küme elemanları arasındaki uzaklığı ölçer.

Metrik Aksiyomları:
M1: d(x,y) ≥ 0 ve d(x,y) = 0 ⟺ x = y (Pozitiflik)
M2: d(x,y) = d(y,x) (Simetri)
M3: d(x,z) ≤ d(x,y) + d(y,z) (Üçgen Eşitsizliği)

Örnekler

ℝⁿ Öklid Metriği: d(x,y) = √(Σ(xᵢ-yᵢ)²)
ℝⁿ Taksi Metriği: d(x,y) = Σ|xᵢ-yᵢ|
ℝⁿ Maksimum Metriği: d(x,y) = max|xᵢ-yᵢ|
Ayrık Metrik: d(x,y) = 0 if x=y, 1 if x≠y

Normlu Uzaylar

Normlu uzay, bir X vektör uzayı üzerinde tanımlı ‖·‖:X→ℝ norm fonksiyonuyla (X,‖·‖) şeklinde tanımlanır. Her norm bir metrik üretir: d(x,y) = ‖x-y‖

Norm Aksiyomları:
N1: ‖x‖ ≥ 0 ve ‖x‖ = 0 ⟺ x = 0
N2: ‖αx‖ = |α|‖x‖ (Homojenlik)
N3: ‖x+y‖ ≤ ‖x‖ + ‖y‖ (Üçgen Eşitsizliği)

Örnekler

ℝⁿ'de p-norm: ‖x‖ₚ = (Σ|xᵢ|ᵖ)^(1/p) için 1≤p<∞
Sonsuz norm: ‖x‖∞ = max|xᵢ|
Fonksiyon uzaylarında supremum normu: ‖f‖∞ = sup|f(x)|

Açık ve Kapalı Kümeler

Metrik uzaylarda kümelerin yapısal özellikleri açık ve kapalı küme kavramlarıyla belirlenir. Bir A kümesi açıktır eğer her x∈A noktası için, x merkezli bir açık küre tamamen A'da içeriliyorsa.

Açık Küre: B(x₀,r) = {x∈X : d(x,x₀) < r}, x₀ merkez, r>0 yarıçap
Kapalı Küre: B̄(x₀,r) = {x∈X : d(x,x₀) ≤ r}

Kapalı Küme: Bir A kümesi kapalıdır ⟺ A^c (tümleyeni) açıktır. Eşdeğer olarak, A tüm limit noktalarını içeriyorsa kapalıdır.

Özellikler

• Boş küme ve X hem açık hem kapalıdır
• Sonlu sayıda açık kümenin kesişimi açıktır
• Keyfi sayıda açık kümenin birleşimi açıktır
• Kapalı kümelerde kesişim ve birleşim özellikleri dualdir

Yığılma ve Kapanış Noktaları

Yığılma noktası (limit nokta): x₀∈X, A⊆X kümesinin yığılma noktasıdır ⟺ x₀'ın her komşuluğunda x₀'dan farklı en az bir A elemanı vardır.

İç Nokta: x₀, A'nın iç noktasıdır ⟺ ∃r>0: B(x₀,r)⊆A
Sınır Nokta: x₀, A'nın sınır noktasıdır ⟺ Her komşuluğunda hem A'dan hem A^c'den nokta vardır
Yalıtık Nokta: x₀∈A yalıtıktır ⟺ ∃r>0: B(x₀,r)∩A = {x₀}

Kapanış (Closure): Ā = A ∪ A' (A ile limit noktalarının birleşimi)
İç (Interior): A° = {x∈A : x, A'nın iç noktası}
Sınır: ∂A = Ā \ A°

Diziler ve Yakınsaklık

Metrik uzaylarda dizi yakınsaklığı, (xₙ) dizisinin x∈X noktasına yakınsadığı: ∀ε>0, ∃N∈ℕ: n≥N ⟹ d(xₙ,x)<ε ile tanımlanır. Gösterim: xₙ→x veya lim xₙ = x

Cauchy Dizisi: (xₙ) Cauchy dizisidir ⟺ ∀ε>0, ∃N∈ℕ: m,n≥N ⟹ d(xₘ,xₙ)<ε
Her yakınsak dizi Cauchy dizisidir, fakat tersi her metrik uzayda doğru değildir.

Dizi Özellikleri

• Bir dizinin limiti varsa tektir (Hausdorff özelliği)
• Alt dizilerin limiti ana dizinin limitine eşittir
• A kapalıdır ⟺ A'daki her yakınsak dizinin limiti A'dadır
• x, A'nın limit noktasıdır ⟺ A'da x'e yakınsayan bir dizi vardır

Alt Metrik ve Alt Normlu Uzaylar

(X,d) metrik uzayının boş olmayan bir A⊆X alt kümesi için, alt metrik uzay (A,d|ₐ) şeklinde tanımlanır; burada d|ₐ, d metriğinin A'ya kısıtlanmasıdır.

Alt Uzay Özellikleri:
• d|ₐ(x,y) = d(x,y) tüm x,y∈A için
• Alt uzay metriği de metrik aksiyomlarını sağlar
• Alt uzayın açık kümeleri göreceli açık kümelerdir

Normlu Uzaylarda Alt Uzay

(X,‖·‖) normlu uzayının bir Y⊆X alt vektör uzayı için, (Y,‖·‖|ʏ) bir alt normlu uzaydır. Y üzerindeki norm aynı özellikleri korur ve d(x,y) = ‖x-y‖|ʏ metriğini üretir.

Süreklilik ve Düzgün Süreklilik

(X,dₓ) ve (Y,dʏ) metrik uzayları arasında f:X→Y fonksiyonu verilsin. f, x₀∈X noktasında süreklidir ⟺ ∀ε>0, ∃δ>0: dₓ(x,x₀)<δ ⟹ dʏ(f(x),f(x₀))<ε

Dizi Karakterizasyonu: f, x₀'da süreklidir ⟺ Her xₙ→x₀ dizisi için f(xₙ)→f(x₀)
Açık Küme Karakterizasyonu: f süreklidir ⟺ Her açık V⊆Y için f⁻¹(V)⊆X açıktır

Düzgün Süreklilik: f düzgün süreklidir ⟺ ∀ε>0, ∃δ>0: ∀x,y∈X, dₓ(x,y)<δ ⟹ dʏ(f(x),f(y))<ε
Burada δ sadece ε'a bağlıdır, noktaya değil. Her düzgün sürekli fonksiyon süreklidir, tersi genelde doğru değil.

Denk Metrikler

X kümesi üzerinde tanımlı d₁ ve d₂ metrikleri denktir ⟺ Her dizi için: xₙ→x (d₁'e göre) ⟺ xₙ→x (d₂'ye göre)

Lipschitz Denk Metrikler: ∃α,β>0: αd₁(x,y) ≤ d₂(x,y) ≤ βd₁(x,y) tüm x,y∈X için
Lipschitz denk metrikler her zaman denktir. Aynı topolojiyi üretirler.

Örnekler

ℝⁿ üzerindeki ‖·‖₁, ‖·‖₂, ‖·‖∞ normlarının ürettiği metrikler denktir. Bu nedenle ℝⁿ'de yakınsaklık hangi norm kullanılırsa kullanılsın aynı sonucu verir.

Tam Metrik Uzaylar

Bir (X,d) metrik uzayı tamdır ⟺ X'teki her Cauchy dizisi X'te yakınsar. Tamlık özelliği, uzayda "boşluk" olmadığını garantiler.

Tam Uzay Örnekleri:
• ℝ ve ℂ standart metrikle tamdır
• ℝⁿ herhangi bir normla tamdır
• Sınırlı fonksiyonların supremum metrikli uzayı tamdır
• ℚ (rasyonel sayılar) tam değildir

Banach Uzayı: Tam normlu uzaylara Banach uzayı denir. Her sonlu boyutlu normlu uzay Banach uzayıdır.

Banach Sabit Nokta Teoremi

(X,d) tam metrik uzay ve f:X→X daralma dönüşümü ise (∃k<1: d(f(x),f(y))≤k·d(x,y)), f'nin tek bir sabit noktası vardır ve her x₀ için xₙ₊₁=f(xₙ) dizisi bu noktaya yakınsar.

Metrik Uzayların Tamlayanları

(X,d) tam olmayan bir metrik uzayı için, tamlayan (X̂,d̂) tam bir metrik uzaydır öyle ki X, X̂'nin yoğun bir alt uzayıdır ve d̂|ₓ = d.

Tamlayan Teoremi: Her metrik uzayın izometrik izomorfizma denkliği altında tek bir tamlayanı vardır. Bu tamlayan, X'teki Cauchy dizilerinin denklik sınıfları kullanılarak inşa edilir.

Klasik Örnek

ℚ rasyonel sayılar kümesinin tamlayanı ℝ reel sayılardır. Her reel sayı, rasyonel sayıların bir Cauchy dizisinin limiti olarak düşünülebilir.

Topolojik Uzaylar

Topolojik uzay, bir X kümesi ile bu küme üzerinde tanımlı τ topolojisinin oluşturduğu (X,τ) ikilisidir. τ, X'in alt kümelerinin bir koleksiyonudur ve topoloji aksiyomlarını sağlar.

Topoloji Aksiyomları:
T1: ∅,X ∈ τ
T2: {Uᵢ}ᵢ∈I⊆τ ⟹ ⋃ᵢUᵢ ∈ τ (keyfi birleşim)
T3: U₁,U₂∈τ ⟹ U₁∩U₂ ∈ τ (sonlu kesişim)

Metrikten Topoloji: Her metrik uzay (X,d) doğal bir topolojik uzay (X,τ_d)'dir; burada τ_d açık kürelerden üretilen tüm açık kümelerin koleksiyonudur.

Topoloji Örnekleri

Ayrık Topoloji: τ = P(X) (tüm alt kümeler açık)
Gayri Ayrık Topoloji: τ = {∅,X}
Kosonlu Topoloji: U açık ⟺ U=∅ veya U^c sonlu

Topolojik Uzaylarda Açık ve Kapalı Kümeler

Topolojik uzaylarda açık küme τ koleksiyonunun bir elemanıdır. Kapalı küme, tümleyeni açık olan kümedir.

Komşuluk: x∈X için U⊆X bir komşuluktur ⟺ ∃V∈τ: x∈V⊆U
Bir küme açıktır ⟺ her elemanının bir komşuluğudur

Dikkat: Bir küme hem açık hem kapalı olabilir (clopen), veya hiçbiri olmayabilir. Bu metrik uzaylardan farklı bir özelliktir.

Taban ve Alt Taban

Taban: β⊆τ bir tabandır ⟺ her U∈τ, β elemanlarının birleşimi olarak yazılabilir
Alt Taban: S⊆τ bir alt tabandır ⟺ S'nin sonlu kesişimlerinden oluşan koleksiyon bir taban oluşturur

Topolojik Uzaylarda Yığılma ve Kapanış

Topolojik uzaylarda yığılma noktası ve kapanış kavramları metrik uzaylardakine benzer şekilde, ancak metriksiz tanımlanır.

Yığılma Noktası: x₀, A⊆X'in yığılma noktasıdır ⟺ x₀'ın her komşuluğunda x₀'dan farklı en az bir A elemanı vardır
Kapanış: Ā = A ∪ A' (A ve limit noktalarının birleşimi)

Kapalı Küme Karakterizasyonu: A kapalıdır ⟺ A = Ā ⟺ A tüm yığılma noktalarını içerir

Kapanış Özellikleri

• Ā en küçük A'yı içeren kapalı kümedir
• A⊆B ⟹ Ā⊆B̄
• A∪B̄ = Ā∪B̄
• A∩B̄ ⊆ Ā∩B̄ (eşitlik genelde sağlanmaz)

Özet ve Çalışma Rehberi

Metrik uzaylar teorisi, modern matematiğin temel yapı taşlarından biridir. Analizden topolojiye, fonksiyonel analizden diferansiyel geometriye birçok alanda kullanılır.

Temel Kavramlar Hiyerarşisi:
Metrik Uzay → Normlu Uzay → İç Çarpım Uzayı
Topolojik Uzay (en genel) ← Metriklenebilir Uzay ← Metrik Uzay

Çalışma Stratejisi

1. Tanımları Ezberleyin: Metrik aksiyomları, norm özellikleri, açık küme tanımı kritiktir
2. Örnekleri İnceleyin: ℝⁿ'deki farklı metrikler, fonksiyon uzayları
3. Teoremleri Kavrayın: Tamlık, Banach sabit nokta teoremi
4. İlişkileri Anlayın: Açık-kapalı, süreklilik-yakınsaklık bağlantıları
5. Problemler Çözün: Metrik doğrulama, yakınsaklık ispat problemleri

Sık Yapılan Hatalar:
• Üçgen eşitsizliğini ters uygulama
• Açık ve kapalı kavramlarını karıştırma
• Süreklilik ile düzgün sürekliliği karıştırma
• Cauchy olma ile yakınsama arasındaki farkı görmeme

İleri Çalışma Konuları:
• Kompaktlık ve dizili kompaktlık
• Bağlantılılık ve yol bağlantılılığı
• Ayrılabilirlik ve sayılabilirlik aksiyomları
• Urysohn metrikleme teoremi
• Hilbert uzayları ve spektral teori

Metrik Uzaylar Yolculuğu

Matematiksel Düşünce

Metrik uzaylar, "uzaklık" kavramını soyutlayarak matematiğe yeni bir boyut kazandırmıştır. Öklid geometrisinden çok daha genel bir çerçeve sunar ve modern matematiğin dilini oluşturur.

d(x,z) ≤ d(x,y) + d(y,z)

Her uzaklık, bir hikaye anlatır!