Fonksiyonel Analiz
Fonksiyonel analiz, lineer cebiri sonsuz boyutlu uzaylara taşıyan ve kuantum mekaniğinin matematiğini üzerine kuran disiplindir; bu derste Hilbert uzayını, öz-eş operatörleri ve spektral teoremi sıfırdan işleyeceğiz. Amaç, önceki derslerin sezgisel dilini ("durum = vektör, ölçüm = operatör") sağlam zemine oturtmaktır. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; kübiti henüz görmediysen Kuantum Hesaplama 101 ile başla.
Fonksiyonel Analiz Nedir, Kuantuma Neden Gerekir?
Bir kuantum durumunu iki biçimde yazarsın: tek kübit için α|0⟩ + β|1⟩ gibi sonlu bir vektör ya da konum uzayında bir dalga fonksiyonu ψ(x). ψ tek bir sayı değil, her x için bir değer üreten fonksiyondur; "tüm olası ψ'ler" ise bir fonksiyon uzayıdır. Fonksiyonel analiz bu uzayı inceler: fonksiyonları vektör, integrali iç çarpım, işlemleri operatör olarak ele alır. Adı buradan gelir: fonksiyonel, bir fonksiyonu tek sayıya çeviren dönüşümdür (ψ ↦ ∫ψ(x)dx gibi).
Kuantum bu dili neden zorunlu kılar? Durumlar Hilbert uzayının vektörleri, gözlenebilirler operatörler, ölçüm olasılıkları iç çarpımlardır. Tek kübit için ℂ² yeterlidir; konum ve momentum gibi sürekli büyüklükler işe karışınca uzay sonsuz boyutlu hâle gelir ve sezgi bozulur: her yaklaşım limitle bitmez, her operatör her yerde tanımlı değildir. Fonksiyonel analiz bu tuzakları önceden görme dilidir.
İç Çarpım, Norm ve Tamamlık: Hilbert Uzayı
Sürekli sistemlerde sahne, kare integrallenebilir fonksiyonların uzayı L²(ℝ)'dir: üyeleri ∫|ψ(x)|²dx < ∞ koşulunu sağlar. İç çarpım ⟨φ|ψ⟩ = ∫φ*(x)ψ(x)dx ile tanımlanır (yıldız eşleniği gösterir); norm ‖ψ‖ = √⟨ψ|ψ⟩ biçimindedir. 101 dersindeki |α|² + |β|² = 1 kuralının özü budur: fiziksel durum, normu 1 olan vektördür; Dirac'ın ⟨φ|ψ⟩ yazımı bu iç çarpımın kısaltmasıdır.
Küçük bir denetim: kutu (sonsuz kuyu) içindeki parçacığın taban durumu ψ(x) = √(2/L)·sin(πx/L), 0 ≤ x ≤ L'dir. Normalize olduğunu adım adım görelim:
- Karesini al: |ψ|² = (2/L)·sin²(πx/L).
- sin²θ = (1 − cos 2θ)/2 özdeşliğini uygula: |ψ|² = (1/L)·(1 − cos(2πx/L)).
- İntegrele: ∫₀ᴸdx = L ve ∫₀ᴸcos(2πx/L)dx = 0 (tam periyot); sonuç (1/L)(L − 0) = 1. Aynı fonksiyon Hψ = Eψ denklemini de çözer: E₁ = π²ℏ²/(2mL²).
Tamamlık (completeness) en ince gereksinimdir: her Cauchy dizisinin limiti uzayda kalmalıdır. [a,b] üzerindeki sürekli fonksiyonlar L² normuyla tam değildir; tamamlanmaları tam olarak L²'yi verir. İç çarpımlı ama tam olmayan uzaya ön-Hilbert, tam olana Hilbert uzayı denir. Sonlu ve sonsuz boyut şu üç noktada ayrışır:
- Sonlu boyutta her lineer operatör sınırlıdır; sonsuz boyutta türev gibi operatörler sınırlı değildir ve her yerde tanımlı olamaz.
- Sonlu boyutta taban sonlu sayıda vektördür; L²'de sonsuz fonksiyondur ve açılımların yakınsaması sorgulanmalıdır.
- Limitin uzayın içinde kalması sonsuz boyutta ancak tamamlıkla güvenceye alınır.
Operatörler, Özdeğerler ve Spektral Teorem
Lineer operatör süperpozisyona saygı duyar: Â(αψ + βφ) = αÂψ + βÂφ. Gözlenebilir bir büyüklüğün (enerji, spin, konum) karşılığı öz-eş (Hermitian) operatördür; özdeğer denklemi Âψ = aψ biçimindedir. Spektral teorem, özdurumların ortonormal taban kurduğunu ve özdeğerlerin gerçek olduğunu söyler. Durumu tabana açarsın: ψ = Σ cₙψₙ, cₙ = ⟨ψₙ|ψ⟩; Born kuralı P(aₙ) = |cₙ|² der, beklenti değeri ⟨Â⟩ = Σ|cₙ|²aₙ olur. Toplam olasılık Σ|cₙ|² = ‖ψ‖² = 1'dir — normalizasyonun fiziksel anlamı budur.
İki boyutta tanıdık örnek: Spin Kübitler dersinden σₓ kapısı. σₓ = [[0,1],[1,0]] gerçektir ve σₓ† = σₓ, yani öz-eştir. σₓ(|0⟩+|1⟩)/√2 = (|1⟩+|0⟩)/√2 olduğundan |+⟩ = (|0⟩+|1⟩)/√2, özdeğeri +1 olan özdurumdur; |−⟩ = (|0⟩−|1⟩)/√2'nin özdeğeri −1'dir. ψ = α|0⟩+β|1⟩'de +1 okuma olasılığı |(α+β)/√2|²'dir.
Sonsuz boyutta işler incelir: x̂ψ(x) = x·ψ(x) ile p̂ψ(x) = −iℏ·dψ/dx sınırlı değildir; üstelik p̂ için ψ diferansiyellenebilir olmalı ve türev L²'de kalmalıdır — tanım kümeleri tüm uzay değildir. Sonsuz boyutta "Hermitian" ile "öz-eş" ayrımı önem taşır: öz-eşlik, eşlenikle aynı işlemi yapmak ve aynı tanım kümesine sahip olmak demektir. Ölçüm teorisi öz-eşliği şart koşar; sınırlı operatörlerde bu ayrım kaybolur.
Fourier Dönüşümü Bir Taban Değişimidir
L²(ℝ)'de sürekli tabanlar da kullanılır: |x⟩ konum, |p⟩ momentum tabanı; ikisini ⟨x|p⟩ = e^{ipx/ℏ}/√(2πℏ) çekirdeği bağlar. Temsiller birimsel Fourier dönüşümüyle çevrilir: φ̃(p) = ⟨p|ψ⟩ = (1/√(2πℏ))·∫e^{−ipx/ℏ}ψ(x)dx. "Birimsel" olması kritiktir: normu korur; aynı durumun iki koordinat gösterimiyle konuşuruz. Kuantum hesaplamadaki QFT bu fikrin 2ⁿ boyutlu, sonlu akrabasıdır; Δx·Δp ≥ ℏ/2 ilişkisinin de özü budur.
Bileşik sistemlerde iki kübitin uzayı H ⊗ H tensor çarpımıdır; |ψ⟩⊗|φ⟩ biçiminde yazılamayan vektörler dolanık durumlardır — ayrıntı: Dolanıklık Teorisi dersi. Açık sistemlerde ise operatörleri haritalayan kanallar ön plana çıkar; bu, Kuantum Kanal Kapasitesi dersinin matematiğidir.
Sık Yapılan Hatalar ve Yanılgılar
- √(2/L) katsayısını unutmak. sin(πx/L) tek başına normu 1 değildir; olasılıklar ancak normalize durumlarda anlam taşır.
- Hermitian = öz-eş sanmak. Sınırlı operatörlerde eşdeğerdir; sınırlı olmayanlarda tanım kümesi ayrımı belirleyicidir.
- Hilbert uzayı deyince yalnızca L² anlamak. Kübitlerin ℂ²'si ve ℓ² de Hilbert uzayıdır; yalnızca norm isteyen uzaylar Banach uzayıdır, normun iç çarpımdan gelmesi ‖u+v‖² + ‖u−v‖² = 2‖u‖² + 2‖v‖² yasasıyla sınanır.
- Her operatörün özvektör tabanı olduğunu varsaymak. x̂, p̂'nin "özfonksiyonları" δ ve düz dalga e^{ipx/ℏ}, L²'nin elemanı değildir; sürekli spektrumda genel spektral teorem gerekir.
- Yakınsamayı sonlu boyut sezgisiyle yönetmek. Açılım dizileri uzayın dışına taşabilir; tamamlık limitin içeride kalmasını güvenceye alır.
Bu zemin ünitenin kalanının çıkış noktasıdır: simetrileri birim temsillerle okuyan Temsil Teorisi, üreteçleri operatör cebiri yapan Lie Grupları ve Lie Cebirleri, durum vektörünü sıkıştıran Tensor Ağları bu dilin üstüne kurulur. Tüm dersler Konu Anlatımı içindekiler sayfasında.
Sık Sorulan Sorular
Fonksiyonel analiz nedir, kuantum hesaplamada ne işe yarar?
Sonsuz boyutlu vektör uzaylarını ve üzerindeki operatörleri inceleyen matematik dalıdır. Kübit durumlarının yaşadığı Hilbert uzayı, gözlenebilirlerin operatör karşılığı ve ölçüm olasılıkları bu dilin parçalarıdır; sürekli sistemlerde (konum, momentum) bu çerçeve zorunludur.
Hilbert uzayı ile Banach uzayı arasındaki fark nedir?
İkisinde de norm ve tamamlık vardır; fark iç çarpımdır. Hilbert uzayı, uzunluk ve açı tanımlayan iç çarpımla donatılmış tamamlanmış uzaydır; Banach uzayı yalnızca norm ister. Her Hilbert uzayı bir Banach uzayıdır, tersi doğru değildir; bir normun iç çarpımdan gelmesi paralelkenar yasasıyla sınanır.
Gözlenebilir bir büyüklüğün operatörü neden öz-eş olmak zorundadır?
Çünkü ölçüm sonuçları gerçek sayı olmalı ve toplam olasılık korunmalıdır. Öz-eş operatörün spektral teoremi gerçek özdeğerler ve özdurumlara ayrışma verir; P(aₙ) = |cₙ|² olasılık yorumu ancak bu ayrışmayla tutarlıdır. Sınırlı olmayan operatörlerde öz-eşlik, tanım kümesiyle birlikte tanımlanır.
Sonsuz boyutlu Hilbert uzayı, kübitlerin ℂ² uzayından neden farklı davranır?
ℂ²'de her lineer operatör sınırlıdır ve öz-eş operatörlerin özvektörleri uzayı kapsar; sonsuz boyutta bu güvenceler kaybolur. Konum operatörü x̂ ve momentum p̂ = −iℏ d/dx tanım kümesinin tamamında tanımlı değildir; özfonksiyonları bile (δ fonksiyonu, düz dalga) L²'nin elemanı olmayabilir.
Kaynaklar ve İleri Okuma
Fonksiyonel analiz — Vikipedi (Türkçe) — konunun tanımı ve temel teoremler için hızlı giriş.
Hilbert space — Wikipedia — kuantumun sahnesi olan Hilbert uzayının tanımı, örnekleri ve tamamlık.
Self-adjoint operator — Wikipedia — gözlenebilir–öz-eş ilişkisi ve tanım kümesi ayrıntısı.
Spectral theorem — Wikipedia — özdeğer açılımının sonlu ve sonsuz boyuttaki genel ifadesi.
IBM Quantum Learning — kuantum mekaniği ve hesaplama temelleri için resmî IBM ders platformu.