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  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  ve 'yi alır ve  gerçel sayısını verir. Eğer  ve   Kartezyen koordinatlarda temsil edilirse, nokta çarpımı şu şekilde tanımlanır:
\begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} \cdot \begin{pmatrix} y_1 \\ y_2 \\ y_3 \end{pmatrix} = x_1 y_1 + x_2 y_2 + x_3 y_3 \,.

Nokta çarpımı şu özellikleri sağlar:
#  ve  için *simetri* (*bakışım*) özelliği vardır: .
# Birinci değişkene göre *doğrusaldır*: Bütün ,  gerçel sayıları ve bütün ,  ve  vektörleri için, 
# *Kesin pozitiftir*: tüm   için,  olur. 0'a eşitlik ise ancak ve ancak  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  ve  arasındaki açı olan  ile aşağıdaki gösterilen bir ilişki içinde olmasıdır: 
\mathbf{x}\cdot\mathbf{y} = \left\|\mathbf{x}\right\| \left\|\mathbf{y}\right\| \, \cos\theta \,.

Ö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.  'teki vektörler tarafından tanımlanmış bir seri,
\sum_{n=0}^\infty \mathbf{x}_n
eğer bu vektörlerin uzunluklarının toplamı olan
\sum_{k=0}^\infty \|\mathbf{x}_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 \to\infty \text{ iken } \Biggl\| \mathbf{L} - \sum_{k=0}^N \mathbf{x}_k \Biggr\| \to 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.  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:
|z|^2 = z\overline{z} \,.
Eğer *z* karmaşık sayısı gerçel ve sanal kısmını gösterecek şekilde  biçiminde yazılırsa, o zaman 
|z| = \sqrt{x^2 + y^2} \,
olur. İki karmaşık sayı  ve 'nin iç çarpımı 'nin 'nin karmaşık eşleniğiyle olan çarpımıdır:
\langle z, w\rangle = z\overline{w}\,.
Bu çarpım karmaşık değerlidir. 'nin gerçek kısmı, olağan iki boyutlu Öklid nokta çarpımını verir.

İkinci bir örnek, elemanları   karmaşık sayı çiftleri olan   uzayıdır. O zaman, 'nin  ile iç çarpımı 
\langle z, w\rangle = z_1\overline{w_1} + z_2\overline{w_2}\,
olur.

'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,  ve  yer değiştirince elde edilen iç çarpım ilk iç çarpımın karmaşık eşleniğidir:
\langle w, z\rangle = \overline{\langle z, w\rangle}\,.

### 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ı 'nin karmaşık bir iç çarpım uzayı olduğunu söylemek 
'nin  her x, y elemanına karşılık gelen bir karmaşık sayıyı veren bir iç çarpım fonksiyonu \langle x, y \rangle'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:  \langle y, x\rangle = \overline{\langle x, y\rangle}\,. Dahası, \langle x, x\rangle 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,  \langle ax_1 + bx_2, y\rangle = a\langle x_1, y\rangle + b\langle x_2, y\rangle\,.
# Bir elemanın kendisiyle iç çarpımı kesin pozitiftir.\begin{alignat}{4}
 \text{ eğer } x \neq 0 \text{ ise},& \quad  \langle x, x\rangle > 0 \\
 \text{ eğer } x = 0 \text{ ise},& \quad  \langle x, x\rangle = 0 .
\end{alignat}
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:
\langle x, ay_1 + by_2\rangle = \bar{a}\langle x, y_1\rangle + \bar{b}\langle x, y_2\rangle\,.
Gerçel bir iç çarpım uzayı aynı şekilde tanımlanır; ancak, bu durumda,  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, \langle \cdot, \cdot \rangle) bir eşiz (dual) sistem oluşturacaktır.

Norm, gerçel değerli bir fonksiyondur: \|x\| = \sqrt{\langle x, x \rangle}.
'de yer alan x, y elemenaları arasındaki *uzaklık*  norm üzerinden tanımlanır:
d(x, y) = \|x - y\| = \sqrt{\langle x - y, x - y \rangle}\,.

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,  üç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) \leq d(x, y) + d(y, z)\,.
:

Bu son özellik, Cauchy-Schwarz eşitsizliğinin bir sonucudur ve şunu ifade eder:
\left|\langle x, y\rangle\right| \leq \|x\| \|y\|.
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.

## Notlar

## Kaynakça
* .
* .
* .
* .
* .
*