Hilbert Uzayı: Sonsuz Boyutlu Vektör Uzayının En Zarif Modeli

$\mathbb{R}^3$'ten "$\mathbb{R}^\infty$"a

Lise geometrisi 3-boyutlu vektörlerle çalışır: $(x, y, z)$. İç çarpım: $\mathbf{u} \cdot \mathbf{v} = u_1 v_1 + u_2 v_2 + u_3 v_3$. Uzunluk: $|\mathbf{u}| = \sqrt{\mathbf{u} \cdot \mathbf{u}}$.

Şimdi soru: bu yapıyı sonsuz boyuta nasıl taşırız?

• Her dizi $(x_1, x_2, x_3, \ldots)$ bir "vektör".
• İç çarpım: $\mathbf{u} \cdot \mathbf{v} = \sum_n u_n v_n$.
• Sorun: bu seri yakınsamak zorunda!

Bu sorunun çözümü: kareler toplamı sonlu olan diziler.

$\ell^2 = \left\{(x_n) : \sum_n |x_n|^2 < \infty\right\}$

Bu Hilbert uzayıdır.

Tanım — daha titiz

Hilbert uzayı: bir vektör uzayı $H$ (genelde kompleks değerli) şu özelliklerle:

1. İç çarpım $\langle \cdot, \cdot \rangle$ tanımlı.
2. İç çarpım norm verir: $\|\mathbf{u}\| = \sqrt{\langle \mathbf{u}, \mathbf{u} \rangle}$.
3. Tam (complete): her Cauchy dizisi yakınsar.

Bu üç koşul, sonsuz boyutlu hesap için olmazsa olmaz.

Klasik örnekler

$\ell^2$: kareleri toplamlı diziler

$\ell^2 = \{(x_n) : \sum |x_n|^2 < \infty\}$.

İç çarpım: $\langle (x_n), (y_n) \rangle = \sum_n x_n \overline{y_n}$.

$L^2[a, b]$: kareleri integral alınabilir fonksiyonlar

$L^2[a, b] = \{f : [a, b] \to \mathbb{C} : \int_a^b |f(x)|^2 \, dx < \infty\}$.

İç çarpım: $\langle f, g \rangle = \int_a^b f(x) \overline{g(x)} \, dx$.

Sobolev uzayları $H^k$

Türevleri de $L^2$'de olan fonksiyonlar. Diferansiyel denklem teorisinin temeli.

Kuantum mekaniği — dalga fonksiyonları

Bir parçacığın olası durumları, $L^2(\mathbb{R}^3)$ uzayının vektörleri. Buradaki iç çarpım olasılık genliklerini hesaplar.

Önemli teoremler

Riesz temsil teoremi

Hilbert uzayında her sürekli lineer fonksiyonel $\phi$, bir vektör $\mathbf{v}_\phi$ ile eşsiz olarak temsil edilir:

$\phi(\mathbf{u}) = \langle \mathbf{u}, \mathbf{v}_\phi \rangle$

Bu, Hilbert uzayının kendi dualine eşit olduğunu gösterir. Modern fonksiyonel analizin lineer cebiri sonsuz boyuta taşımanın anahtarı.

Ortogonal ayrışım

Her vektör $\mathbf{u}$, kapalı alt uzay $V$ üzerinde ortogonal projeksiyonu + ortogonal tamamlayanı olarak yazılır:

$\mathbf{u} = \mathbf{u}_V + \mathbf{u}_V^\perp$

Bu yapı modern en küçük kareler, Fourier serisi, regression algoritmalarının temelidir.

Bessel eşitsizliği ve Parseval özdeşliği

Ortonormal baz $\{e_n\}$ ile her $\mathbf{u}$:

$\mathbf{u} = \sum_n \langle \mathbf{u}, e_n \rangle e_n$

ve

$\|\mathbf{u}\|^2 = \sum_n |\langle \mathbf{u}, e_n \rangle|^2$

(Parseval). Fourier analizi bunun klasik örneğidir.

Spektral teorem

Kendinin eşleniği (self-adjoint) operatörler için: her böyle operatör bir ortonormal bazında diyagonelleştirilebilir.

Bu, kuantum mekaniğinin temel teoremi. Gözlemlenebilir niceliklerin eigendeğerleri ölçümlerden gelir.

Kuantum mekaniği — bağlantı

Kuantum mekaniğinin matematik dili Hilbert uzayıdır:

• Kuantum durum = Hilbert uzayında bir vektör (norm 1).
• Gözlemlenebilir = self-adjoint operatör.
• Ölçüm sonucu = operatörün bir eigendeğeri.
• Ölçüm olasılığı = iç çarpım modülünün karesi.

Heisenberg belirsizlik ilkesi, Schrödinger denklemi, dolanıklık — hepsi Hilbert uzayı çerçevesinde formüle edilir.

Tarihsel olarak: John von Neumann 1930'larda kuantum mekaniğinin rigorous matematik formülasyonunu Hilbert uzayı dilinde verdi. Bu, modern teorik fiziğin omurgası.

Fourier analizi

Fourier serisi: $L^2[0, 2\pi]$ uzayında trigonometrik fonksiyonlar ortonormal baz oluşturur.

$f(x) = \sum_n c_n e^{inx}, \quad c_n = \frac{1}{2\pi} \int_0^{2\pi} f(x) e^{-inx} \, dx$

Parseval: $\|f\|^2 = \sum |c_n|^2$.

Modern sinyal işleme, ses sıkıştırma (MP3), görüntü sıkıştırma (JPEG) — hepsi Hilbert uzayı yapılarına dayalı.

Makine öğrenmesi

Kernel yöntemleri

SVM (Support Vector Machines) ve diğer kernel algoritmaları, veriyi infinite-boyutlu Hilbert uzayına kernel ile gömerek doğrusal sınıflandırma yapar.

Reproducing Kernel Hilbert Space (RKHS): makine öğrenmesinin modern teorik çerçevesi.

Sinir ağlarının teorisi

Neural Tangent Kernel (NTK): geniş sinir ağlarının davranışı bir Hilbert uzayında doğrusal regresyon ile yaklaşılır.

Sinyal/görüntü işleme

L2 normu, MSE optimizasyon kayıp fonksiyonu — makine öğrenmesinin standart araçları.

Hilbert uzayının sınırları

Sonsuz boyutta bazı sürprizler:

Kompaktlık

Birim küre (norm 1 vektörlerin kümesi) kompakt değildir (sonlu boyutta kompakttı). Bu, sonsuz boyutun temel zorluğudur.

Spectrum yapısı

Operatörlerin spectrumu sürekli olabilir (sonlu boyutta sadece nokta spektrumu).

Yakınsama tipleri

Norm yakınsaması ≠ zayıf yakınsama ≠ noktasal yakınsama. Sonsuz boyutta bu farkları yönetmek gerekir.

Tarihsel köken

• David Hilbert (1900-1906): integral denklemleri çalışırken Hilbert uzayı yapısını sezdi.
• Erhard Schmidt (1908): ortonormal baz teorisi.
• John von Neumann (1930): Hilbert uzayının modern aksiyomatik tanımı, kuantum mekaniği bağlantısı.
• Frigyes Riesz, Banach (1920'ler): Banach uzayları (Hilbert'in genişletmesi).

İlginç: Hilbert kendisi "Hilbert uzayı" terimini hiç kullanmadı. Bu isim 1930'larda von Neumann ve Schmidt tarafından popülerleştirildi.

Banach uzayı ile fark

Banach uzayı: tam normlu vektör uzayı. İç çarpım gerekmez.

Hilbert uzayı: tam iç çarpımlı vektör uzayı. Daha kısıtlı.

Hilbert uzayı özel Banach uzayıdır. Geometrik yapı daha zengin (ortogonallik, projeksiyon). Bu yüzden daha lineer cebir benzeri.

Sonuç

Hilbert uzayı:

• Sonsuz boyutlu lineer cebir'in en zarif modeli.
• İç çarpım + tamlık = ortogonal projeksiyon + Fourier analizi + spektral teori.
• Kuantum mekaniği, sinyal işleme, makine öğrenmesi temeli.
• Modern fonksiyonel analizin başlangıç noktası.

Bir kavram, üç alana yayılıyor: matematik soyutluğu, fizik gerçekliği, mühendislik pratiği. Hilbert uzayı modern matematik felsefesinin "her şey bağlantılı" iddiasının somut örneği.

David Hilbert 1900'lerin başında bir integral denklemi çözmek için doğal olarak yapı sezdi. 120 yıl sonra, kuantum bilgisayarlarımızda, derin öğrenme algoritmalarımızda, MRI taramalarımızda — Hilbert'in sezgisi yaşamaya devam ediyor.

"Sonsuz boyutlu vektör uzayı." Eğer ilk başta korkutucu görünüyorsa — düşünün: $\mathbb{R}^3$'ün sadece kontrollü, zarif sonsuz versiyonu. İç çarpım her şeyi anlaşılır kılıyor.