# Hilbert uzayı
Matematikte Hilbert uzayı, sonlu boyutlu Öklit uzayında uygulanabilen lineer cebir yöntemlerinin genelleştirilebildiği ve sonsuz boyutlu da olabilen bir vektör uzayıdır. Daha kesin olarak, bir Hilbert uzayı, uzayın tam metrik uzay olmasını sağlayan bir uzaklık fonksiyonu üreten bir iç çarpımla donatılmış bir vektör uzayıdır. Bir Hilbert uzayı, bir Banach uzayının özel bir durumudur. Matematik, fizik ve mühendislikte sıkça kullanılmaktadır. Kuantum mekaniğiyle uyumludur. Adını David Hilbert'ten almaktadır.
Matematiksel olarak, bir Hilbert uzayı iç çarpım aracılığıyla üstünde norm tanımlanabilen tam normlu vektör uzaydır. En eski Hilbert uzayları, 20. yüzyılın ilk on yılında David Hilbert, Erhard Schmidt ve Frigyes Riesz tarafından incelenmiştir. Kısmi diferansiyel denklemler, kuantum mekaniği, Fourier analizi (sinyal işleme ve ısı transferi uygulamalarını içerir) ve ergodik teori (termodinamiğin matematiksel temelini oluşturur) teorilerinde vazgeçilmez araçlardır. Bu çeşitli uygulamaların çoğunun altında yatan soyut kavram için "Hilbert uzayı" terimini ortaya atan John von Neumann olmuştur. Hilbert uzayı yöntemlerinin başarısı, fonksiyonel analiz için çok verimli bir dönemin habercisi oldu. Klasik Öklit vektör uzaylarının yanı sıra, Hilbert uzaylarına örnek olarak kare integrallenebilir fonksiyon uzayları, dizi uzayları, genelleştirilmiş fonksiyonlardan oluşan Sobolev uzayları ve holomorf fonksiyonların Hardy uzayları verilebilir.
Geometrik sezgi, Hilbert uzay teorisinin birçok yönünde önemli bir rol oynar. Pisagor teoreminin ve paralelkenar yasasının tam analogları bir Hilbert uzayında geçerlidir. Doğrusal bir alt uzaya dik izdüşüm, optimizasyon problemlerinde ve teorinin diğer yönlerinde önemli bir rol oynar. Bir Hilbert uzayının bir elemanı, klasik geometrideki Kartezyen koordinatlara benzer şekilde, bir dik tabana göre koordinatları tarafından biricik bir şekilde belirtilebilir. Bu taban sayılabilir derecede sonsuz olduğunda, Hilbert uzayının kare-toplanabilir sonsuz dizilerin uzayıyla özdeşleştirilmesine izin verir. Eski literatürde esas "Hilbert uzayı" bu ikinci uzay olarak bilinir.


## Tanımı.
### Giriş.
Hilbert uzayının en bilinen örneklerinden biri #YÖNLENDİRME ile gösterilen ve nokta çarpımı ile donatılmış üç boyutlu vektörlerden oluşan Öklid vektör uzayıdır. Nokta çarpımı iki vektör #YÖNLENDİRME ve #YÖNLENDİRME 'yi alır ve #YÖNLENDİRME gerçel sayısını verir. Eğer #YÖNLENDİRME ve #YÖNLENDİRME Kartezyen koordinatlarda temsil edilirse, nokta çarpımı şu şekilde tanımlanır:
[ x_1; x_2; x_3 ] ·[ y_1; y_2; y_3 ] = x_1 y_1 + x_2 y_2 + x_3 y_3 .
Nokta çarpımı şu özellikleri sağlar:
   - YÖNLENDİRME ve  YÖNLENDİRME için "simetri" ("bakışım") özelliği vardır:  YÖNLENDİRME .
  - Birinci değişkene göre "doğrusaldır": Bütün a, b gerçel sayıları ve bütün  YÖNLENDİRME ,  YÖNLENDİRME ve  YÖNLENDİRME vektörleri için,  YÖNLENDİRME 
  - "Kesin pozitiftir": tüm  YÖNLENDİRME için,  YÖNLENDİRME olur. 0'a eşitlik ise ancak ve ancak  YÖNLENDİRME olursa vardır.
Nokta çarpımı gibi bu üç özelliği sağlayan vektör çiftleri üzerindeki bir işlem (gerçel) iç çarpım olarak bilinir. Böyle bir iç çarpımla donatılmış bir vektör uzayı (gerçel) iç çarpım uzayı olarak bilinir. Her sonlu boyutlu iç çarpım uzayı aynı zamanda bir Hilbert uzayıdır. Nokta çarpımının onu Öklid geometrisine bağlayan temel özelliği, hem bir vektörün uzunluğu (veya normu) olan ||x||'e hem de iki vektör #YÖNLENDİRME ve #YÖNLENDİRME arasındaki açı olan θ ile aşağıdaki gösterilen bir ilişki içinde olmasıdır: 
𝐱·𝐲 = 𝐱 𝐲 cosθ .
Öklit uzayları üzerinde yapılan vektör hesabı limitleri hesaplayabilme tekniklerine veya bu limitlerin varlığını göstermek için kullanılan kriterlere ihtiyaç duyar. #YÖNLENDİRME 'teki vektörler tarafından tanımlanmış bir seri,
∑_n=0^∞𝐱_n
eğer bu vektörlerin uzunluklarının toplamı olan
∑_k=0^∞𝐱_k 
serisi bir gerçek sayı serisi olarak yakınsadığı takdirde kesinlikle yakınsaktır.
Tıpkı bir sayı dizisi gibi, mutlak olarak yakınsayan bir vektör dizisi de Öklid uzayında L limit vektörüne yakınsar, yani
 N →∞ iken 𝐋 - ∑_k=0^N 𝐱_k →0 .
Bu özellik, Öklit uzayının "tamlığını" ifade eder : mutlak olarak yakınsayan bir seri, aynı zamanda olağan anlamda da yakınsar.
Hilbert uzayları genellikle karmaşık sayılar üzerinde alınır. #YÖNLENDİRME ile gösterilen karmaşık düzlemde büyüklük, karmaşık sayıların mutlak değeri |"z"| ile tanımlanır. Burada bir karmaşık sayı ile eşleniğinin çarpımı mutlak değerin karesini vermektedir:
Eğer "z" karmaşık sayısı gerçel ve sanal kısmını gösterecek şekilde #YÖNLENDİRME biçiminde yazılırsa, o zaman 
olur. İki karmaşık sayı z ve w'nin iç çarpımı z'nin w'nin karmaşık eşleniğiyle olan çarpımıdır:
⟨z, w⟩= zw .
Bu çarpım karmaşık değerlidir. #YÖNLENDİRME 'nin gerçek kısmı, olağan iki boyutlu Öklid nokta çarpımını verir.
İkinci bir örnek, elemanları #YÖNLENDİRME karmaşık sayı çiftleri olan #YÖNLENDİRME uzayıdır. O zaman, z'nin #YÖNLENDİRME ile iç çarpımı 
⟨z, w⟩= z_1w_1 + z_2w_2 
olur.
 - YÖNLENDİRME 'nin gerçek kısmı o zaman iki boyutlu Öklit nokta çarpımıdır. Bu iç çarpım "Hermit bakışımlıdır (simetriktir)"  yani, z ve w yer değiştirince elde edilen iç çarpım ilk iç çarpımın karmaşık eşleniğidir:
⟨w, z⟩= ⟨z, w⟩ .


### Tanım.
Bir "Hilbert uzayı", bir iç çarpım fonksiyonu tarafından oluşturulan uzaklık fonksiyonuna göre tam bir metrik uzay olan gerçek veya karmaşık bir iç çarpım uzayıdır.
Karmaşık bir vektör uzayı #YÖNLENDİRME 'nin karmaşık bir iç çarpım uzayı olduğunu söylemek 
 - YÖNLENDİRME 'nin her x, y elemanına karşılık gelen bir karmaşık sayıyı veren bir iç çarpım fonksiyonu ⟨x, y ⟩'nin varlığı analamına gelir.
  - İç çarpım eşlenik simetriktir  yani, bir eleman çiftinin iç çarpımı, yer değiştiren elemanların iç çarpımının karmaşık eşlenik değerine eşittir: ⟨y, x⟩= ⟨x, y⟩ . Dahası, ⟨x, x⟩ bir gerçel sayıdır.
  - İç çarpım ilk değişkende doğrusaldır: Herhangi bir a ve b karmaşık sayısı için, ⟨ax_1 + bx_2, y⟩= a⟨x_1, y⟩+ b⟨x_2, y⟩ .
  - Bir elemanın kendisiyle iç çarpımı kesin pozitiftir.
 eğer x ≠0 ise, amp; ⟨x, x⟩ gt; 0 
 eğer x = 0 ise, amp; ⟨x, x⟩= 0 .
1 ve 2 numaralı özelliklerden, karmaşık bir iç çarpımın ikinci değişkende antilineer, yani eşlenik doğrusal olduğu sonucu çıkar; bu da şu anlama gelir:
⟨x, ay_1 + by_2⟩= a̅⟨x, y_1⟩+ b̅⟨x, y_2⟩ .
Gerçel bir iç çarpım uzayı aynı şekilde tanımlanır; ancak, bu durumda, #YÖNLENDİRME gerçel bir vektör uzayıdır ve iç çarpım gerçel değerler alır. Böyle bir iç çarpım çifte doğrusal gönderim olacaktır ve (H, H, ⟨·, ·⟩) bir eşiz (dual) sistem oluşturacaktır.#YÖNLENDİRME 
Norm, gerçel değerli bir fonksiyondur: x = √(⟨x, x ⟩).
 - YÖNLENDİRME 'de yer alan x, y elemenaları arasındaki "uzaklık" norm üzerinden tanımlanır:
d(x, y) = x - y = √(⟨x - y, x - y ⟩) .
Bu fonksiyonun bir uzaklık fonksiyonu olması, öncelikle x ve y,'ye göre simetrik olduğu anlamına gelir. İkincisi, x ile kendisi arasındaki uzaklık sıfırdır. Diğer durumda, x ve x'e eşit olmayan bir yarasındaki uzaklık 
pozitif olmalıdır. Son olarak, üçgen eşitsizliğinin geçerli olduğudur. Diğer deyişle, #YÖNLENDİRME üçgeninin bir kenarının uzunluğunun diğer iki kenarının uzunluklarının toplamını aşamayacağıdır:
d(x, z) ≤d(x, y) + d(y, z) .
Bu son özellik, Cauchy-Schwarz eşitsizliğinin bir sonucudur ve şunu ifade eder:
Burada eşitlik ancak ve ancak x ve y doğrusal bağımlı ise olur.
Bu şekilde tanımlanan bir uzaklık fonksiyonu ile herhangi bir iç çarpım uzayı bir metrik uzaydır. 
Tam normlu bir uzay olarak Hilbert uzayları, tanım gereği Banach uzaylarıdır. Bu nedenle, alt kümelerin açıklığı ve kapalılığı gibi topolojik kavramların iyi tanımlandığı topolojik vektör uzaylarıdır. Önemli kavramlardan birisi Hilbert uzayının kapalı doğrusal alt uzayı kavramıdır. Eğer bir Hilbert uzayının kapalı bir altuzayında iç çarpım büyük uzaydaki iç çarpım sınırlandırılarak alınırsa, bu altuzay da tam bir metrik uzayın kapalı altuzayı olarak tam olur. Bu yüzden, Hilbert uzaylarının kapalı alt uzayları da kendi başlarına Hilbert uzayı olurlar.