Fonksiyonel Analiz | Burak Demiröz

Fonksiyonel Analize Giriş

Fonksiyonel analiz, matematiğin sonsuz boyutlu vektör uzayları ve bu uzaylar arasındaki lineer dönüşümleri inceleyen dalıdır. Bu alan, diferensiyel denklemler, integral denklemler, optimizasyon teorisi ve kuantum mekaniği gibi birçok alanda temel oluşturur.

Temel Kavramlar

Fonksiyonel analiz aşağıdaki temel yapılar üzerine kuruludur:

• Metrik uzaylar: Mesafe kavramının genelleştirilmesi
• Norm uzaylar: Uzunluk kavramının soyutlaştırılması
• İç çarpım uzayları: Geometrik yapının korunması
• Lineer operatörler: Uzaylar arası dönüşümler

Tarihçe

Fonksiyonel analiz, 20. yüzyılın başlarında Volterra, Hilbert, Banach ve Fréchet gibi matematikçilerin çalışmaları ile gelişti. Özellikle kuantum mekaniğinin matematiksel temellerini sağlamada kritik rol oynadı.

Bu derste fonksiyonel analizin temel teoremlerini, uygulamalarını ve modern matematikte oynadığı rolü inceleyeceğiz. Başlangıç olarak metrik uzaylar ile başlayıp, Banach ve Hilbert uzaylarına doğru ilerleyeceğiz.

Metrik Uzaylar

Metrik uzaylar, fonksiyonel analizin temel yapı taşlarından biridir. Bir küme üzerinde "mesafe" kavramını matematiksel olarak tanımlamamıza olanak sağlar.

Metrik Uzayın Tanımı

X bir küme olsun. Bir d: X × X → ℝ fonksiyonuna metrik denir eğer:

1. d(x,y) ≥ 0, ∀x,y ∈ X
2. d(x,y) = 0 ⟺ x = y
3. d(x,y) = d(y,x), ∀x,y ∈ X
4. d(x,z) ≤ d(x,y) + d(y,z), ∀x,y,z ∈ X

(X,d) çiftine metrik uzay denir.

Örnekler

1. Öklid Metriği (ℝⁿ):

d(x,y) = √(Σᵢ₌₁ⁿ |xᵢ - yᵢ|²)

2. Manhattan Metriği:

d₁(x,y) = Σᵢ₌₁ⁿ |xᵢ - yᵢ|

3. Supremum Metriği:

d∞(x,y) = max₁≤ᵢ≤ₙ |xᵢ - yᵢ|

Önemli Kavramlar

Yakınsama: (xₙ) dizisi x'e yakınsar ⟺ d(xₙ,x) → 0
Cauchy Dizisi: ∀ε > 0, ∃N : m,n > N ⟹ d(xₘ,xₙ) < ε
Tamlık: Her Cauchy dizisi yakınsarsa uzay tamdır

Norm Uzaylar

Norm uzaylar, vektör uzaylarında "uzunluk" kavramını tanımlayan matematiksel yapılardır. Bu yapı, lineer cebirsel işlemleri metrik kavramlarla birleştirir.

Norm Tanımı

X bir vektör uzayı olsun. Bir ‖·‖ : X → ℝ fonksiyonuna norm denir eğer:

1. ‖x‖ ≥ 0, ∀x ∈ X
2. ‖x‖ = 0 ⟺ x = 0
3. ‖αx‖ = |α|‖x‖, ∀α ∈ ℝ, ∀x ∈ X
4. ‖x + y‖ ≤ ‖x‖ + ‖y‖, ∀x,y ∈ X

(X,‖·‖) çiftine norm uzay denir.

Teorem: Norm'dan Metrik

Her norm uzay doğal olarak bir metriktir:

d(x,y) = ‖x - y‖

Standart Normlar

p-norm (1 ≤ p < ∞):

‖x‖ₚ = (Σᵢ₌₁ⁿ |xᵢ|ᵖ)^(1/p)

∞-norm:

‖x‖∞ = max₁≤ᵢ≤ₙ |xᵢ|

Dikkat: Her metrik bir normdan gelmez! Norm uzaylar daha özel yapılardır çünkü vektör uzayı yapısını da korurlar.

Banach Uzayları

Banach uzayları, tam olan norm uzaylardır. Stefan Banach'ın çalışmaları ile adlandırılan bu yapılar, fonksiyonel analizin omurgasını oluşturur.

Banach Uzayı

Bir norm uzay (X,‖·‖) Banach uzayı denir eğer indüklenen metrikte tamdır, yani her Cauchy dizisi X'te yakınsar.

Klasik Banach Uzayları

1. ℓᵖ uzayları (1 ≤ p ≤ ∞):

ℓᵖ = {(xₙ) : Σₙ₌₁∞ |xₙ|ᵖ < ∞}

2. Lᵖ uzayları:

Lᵖ[a,b] = {f : ∫ₐᵇ |f(x)|ᵖ dx < ∞}

3. Sürekli fonksiyonlar uzayı C[a,b]:

‖f‖∞ = max_{x∈[a,b]} |f(x)|

Baire Kategori Teoremi

X bir Banach uzayı olsun. X'te sayılabilir sayıda kapalı, içi boş kümenin birleşimi X'in tamamı olamaz.

X ≠ ⋃ₙ₌₁∞ Fₙ (Fₙ kapalı, int(Fₙ) = ∅)

Önemli Sonuç

Baire kategorisi teoremi, Banach uzaylarının "büyük" olduğunu gösterir ve birçok fonksiyonel analiz teoreminin temelini oluşturur.

Hilbert Uzayları

Hilbert uzayları, geometrik sezginin sonsuz boyutlara genişletilmesi olarak düşünülebilir. İç çarpım yapısı sayesinde açı, ortogonallik ve projeksiyon kavramlarını tanımlayabiliriz.

İç Çarpım Uzayı

X bir vektör uzayı olsun. Bir ⟨·,·⟩ : X × X → ℂ fonksiyonuna iç çarpım denir eğer:

1. ⟨x,x⟩ ≥ 0, ⟨x,x⟩ = 0 ⟺ x = 0
2. ⟨x,y⟩ = ⟨y,x⟩*
3. ⟨αx + βy, z⟩ = α⟨x,z⟩ + β⟨y,z⟩

Tam olan iç çarpım uzayına Hilbert uzayı denir.

Cauchy-Schwarz Eşitsizliği

|⟨x,y⟩| ≤ ‖x‖ ‖y‖

Eşitlik ancak x ve y lineer bağımlıysa geçerlidir.

Projeksiyon Teoremi

H bir Hilbert uzayı, M ⊆ H kapalı alt uzay olsun. Her x ∈ H için tek bir Pₘ x ∈ M vardır öyle ki:

‖x - Pₘ x‖ = inf{‖x - y‖ : y ∈ M}

Pₘ: H → M ortogonal projeksiyon operatörüdür.

Klasik Hilbert Uzayları

1. ℓ² uzayı:

ℓ² = {(xₙ) : Σₙ₌₁∞ |xₙ|² < ∞}
⟨x,y⟩ = Σₙ₌₁∞ xₙ ȳₙ

2. L² uzayı:

L²[a,b] = {f : ∫ₐᵇ |f(x)|² dx < ∞}
⟨f,g⟩ = ∫ₐᵇ f(x) g(x)* dx

Lineer Operatörler

Lineer operatörler, fonksiyonel analizde uzaylar arası dönüşümleri inceleyen temel araçlardır. Özellikle sınırlı lineer operatörler önem taşır.

Sınırlı Lineer Operatör

X, Y norm uzayları olsun. T: X → Y lineer operatörü sınırlı dır eğer:

‖T‖ = sup{‖Tx‖ : ‖x‖ ≤ 1} < ∞

‖T‖ değerine T'nin operator normu denir.

Temel Eşdeğerlik

T lineer operatör için aşağıdakiler denktir:

1. T sınırlı
2. T sürekli
3. T x = 0'da sürekli

Örnekler

1. Integral Operatörü:

(Tf)(x) = ∫ₐˣ f(t) dt

2. Çarpım Operatörü:

(Mₐf)(x) = a(x)f(x)

3. Kaydırma Operatörü (ℓ²):

S(x₁, x₂, x₃, ...) = (0, x₁, x₂, x₃, ...)

Operator Normu Hesaplama

‖T‖ = sup{‖Tx‖ : ‖x‖ = 1} = sup{‖Tx‖/‖x‖ : x ≠ 0}
Bu eşitlik operator normunu hesaplamada kullanılır.

Hahn–Banach Teoremi

Lineer Fonksiyonel Uzatma

(X,‖·‖) normlu bir uzay, M ⊆ X bir alt uzay ve f: M → ℝ (veya ℂ) sınırlı lineer fonksiyonel olsun. O halde f, normu korunarak tüm X'e uzatılabilir.

Hahn–Banach (Normlu Hâl)

M ⊆ X, f ∈ M* ve ‖f‖ = 1 ise, ∃F ∈ X* öyle ki F|M = f ve ‖F‖ = 1.

$$\|F\| = \sup_{\|x\|\le 1} |F(x)| = \|f\|$$

Sonuç

Her x ∈ X ve kapalı altuzay M için, x ∉ M ise, M ile x'i ayıran bir sınırlı lineer fonksiyonel vardır (ayrılma ilkesi).

Açık/ Kapalı Harita Teoremleri

Açık Harita Teoremi

T: X → Y sürekli lineer ve sürjektif (X,Y Banach) ise, T açık bir haritadır (açık kümeleri açığa götürür).

Kapalı Grafik Teoremi

X, Y Banach ve T: X → Y lineer. T'nin grafiği G(T) kapalı ise, T sürelidir.

Uygulama

Doğrusal denklemler sisteminde çözümlerin sürekliliğini garanti etmek için, operatör grafiğinin kapalı olması yeterlidir.

Zayıf Topoloji

Zayıf Yakınsama

X normlu uzayda {xₙ} dizisi x'e zayıf yakınsar, xₙ ⇀ x, eğer her f ∈ X* için f(xₙ) → f(x).

Banach–Alaoğlu

X bir normlu uzay ise, X*'ın kapalı birim küresi zayıf-* topolojide kompakttır.

İpucu

Zayıf yakınsamada normlar genelde yarı-sürekli davranır: liminf ‖xₙ‖ ≥ ‖x‖.

Kompakt Operatörler

Tanım

T: X → Y sınırlı lineer operatör. T, birim kürenin görüntüsünü nispi kompakt bir kümeye götürüyorsa kompakt denir.

Özellik

Hilbert uzayında sınırlı dereceli (finite-rank) operatörler kompaktır ve kompaktların norm kapanışı yaklaşım operatörlerini verir.

Örnek

$(Tf)(x) = \int_a^b k(x,t)f(t)\,dt$ ve k ∈ C([a,b]×[a,b]) ise, T: L²[a,b] → L²[a,b] kompakttır (Hilbert–Schmidt tipi).

Spektrum Teorisi

Spektrum

Banach uzayında T ∈ B(X) için, $\sigma(T) = \{\lambda \in \mathbb{C}:\; T-\lambda I \text{ tersinir değil}\}$.

Gelfand Formülü

$$r(T) = \lim_{n\to\infty} \|T^n\|^{1/n} = \inf_{n\ge 1} \|T^n\|^{1/n}$$

r(T) spektral yarıçaptır ve daima $r(T) \le \|T\|$.

Kompakt Operatörlerde Spektrum

Sonsuz boyutlu uzaylarda kompakt T için 0 her zaman spektrumda ve 0 dışındaki spektrum yalıtık özdeğerlere karşılık gelir.