Hilbert uzayı

Titreşen bir telin herhangi bir zamandaki durumu bir Hilbert uzayındaki nokta gibi modellenebilir.

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 Şablon:Math 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 Şablon:Math ve Şablon:Math'yi alır ve Şablon:Math gerçel sayısını verir. Eğer Şablon:Math ve Şablon:Math Kartezyen koordinatlarda temsil edilirse, nokta çarpımı şu şekilde tanımlanır: $$\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)\cdot \left(\begin{array}{c}{y}_1\\ y_2\\ y_3\end{array}\right)=x_1{y}_1+x_2{y}_2+x_3{y}_3.$$

Nokta çarpımı şu özellikleri sağlar:

1. Şablon:Math ve Şablon:Math için simetri (bakışım) özelliği vardır: Şablon:Math.
2. Birinci değişkene göre doğrusaldır: Bütün Şablon:Mvar, Şablon:Mvar gerçel sayıları ve bütün Şablon:Math, Şablon:Math ve Şablon:Math vektörleri için, Şablon:Math
3. Kesin pozitiftir: tüm Şablon:Math için, Şablon:Math olur. 0'a eşitlik ise ancak ve ancak Şablon:Math 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 Şablon:Math ve Şablon:Math arasındaki açı olan Şablon:Mvar ile aşağıdaki gösterilen bir ilişki içinde olmasıdır: $$𝐱\cdot 𝐲=\Vert 𝐱\Vert \Vert 𝐲\Vert \cos \theta .$$

Tamlık, bir paraçacığın kırık bir yol (mavi) boyunca sonlu bir toplam mesafe kat ederek hareket etmesi durumunda, parçacığın iyi tanımlanmış bir net yer değiştirmeye (turuncu) sahip olması anlamına gelir.

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

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

Şablon:Math'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, Şablon:Mvar ve Şablon:Mvar yer değiştirince elde edilen iç çarpım ilk iç çarpımın karmaşık eşleniğidir: $$⟨w,z⟩=\overline{⟨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ı Şablon:Math'nin karmaşık bir iç çarpım uzayı olduğunu söylemek Şablon:Math'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.

1. İç ç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⟩=\overline{⟨x,y⟩}.$$ Dahası, $⟨x,x⟩$ bir gerçel sayıdır.
2. İç çarpım ilk değişkende doğrusaldır: Herhangi bir $a$ ve $b$ karmaşık sayısı için, $$⟨a{x}_1+b{x}_2,y⟩=a⟨x_1,y⟩+b⟨x_2,y⟩.$$
3. Bir elemanın kendisiyle iç çarpımı kesin pozitiftir.$$\begin{array}{cc}\text{ eğer }x\ne 0\text{ ise},& ⟨x,x⟩>0\\ \text{ eğer }x=0\text{ ise},& ⟨x,x⟩=0.\end{array}$$

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,a{y}_1+b{y}_2⟩=\overline{a}⟨x,y_1⟩+\overline{b}⟨x,y_2⟩.$$ Gerçel bir iç çarpım uzayı aynı şekilde tanımlanır; ancak, bu durumda, Şablon:Math 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,⟨\cdot ,\cdot ⟩)$ bir eşiz (dual) sistem oluşturacaktır.Şablon:Sfn

Norm, gerçel değerli bir fonksiyondur: $$\Vert x\Vert =\sqrt{⟨x,x⟩}.$$ Şablon:Math'de yer alan $x,y$ elemenaları arasındaki uzaklık norm üzerinden tanımlanır: $$d(x,y)=\Vert x-y\Vert =\sqrt{⟨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 $y$arasındaki uzaklık pozitif olmalıdır. Son olarak, üçgen eşitsizliğinin geçerli olduğudur. Diğer deyişle, Şablon:Math üç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)\le d(x,y)+d(y,z).$$

Bu son özellik, Cauchy-Schwarz eşitsizliğinin bir sonucudur ve şunu ifade eder: $$|⟨x,y⟩|\le \Vert x\Vert \Vert y\Vert .$$ 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.

Kaynakça

• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kaynak.
• Şablon:Kitap kaynağı