Hilbert uzayı

Vikipedi, özgür ansiklopedi
Atla: kullan, ara
Bir sicim titreşimi bir Hilbert uzayında bir nokta olarak modellenebilir.titreşimin içinde bir titreşimli ana-ton'larına ayrışması uzayda koordinat eksenleri üzerinde noktanın projeksiyon ile verilir

Hilbert uzayı, Öklid uzayını nicem mekaniğiyle uyumlu biçime dönüştüren soyut vektör uzayı'dır. Pozitif skaler çarpıma sahiptir. Matematik, fizik ve mühendislikte sıkça kullanılmaktadır. Adını David Hilbert'ten almaktadır. Hilbert uzayı matematiksel bir kavramdır,Öklid uzayı kavramının genelleştirilmesidir. iki-boyutlu Öklid düzlem ve üç boyutlu uzaydan Bu boyutların herhangi bir sonlu veya sonsuz sayıda uzayları için vektör cebri yöntemlerini uzatır. Bir Hilbert uzayı ölçülebilir uzunluk ve açı sağlayan bir iç çarpım yapısına sahip soyut bir vektör alanıdır. Ayrıca uzayın içinde yeterli sınırları varlığını öngören bir özelliğin kullanılabilir tekniklerine izin vermek için Hilbert uzayı tam olmalıdır.Hilbert uzayları genellikle sonsuz boyutlu fonksiyon uzayları gibi,matematik,fizik,ve mühendislikte doğal olarak ve sık sık ortaya çıkar. Erken Hilbert uzayları David Hilbert,Erhard Schmidt ve Frigyes Riesz tarafından 20. yüzyılın ilk on yılında bu bakış açısından incelenmiştir.Bunlar kısmi diferansiyel denklemler,kuantum mekaniği,Fourier analizi (uygulamalar ve ısı transferi sinyal işleme içeren) ve termodinamik'in matematiksel temeli oluşturan ergodik teori'si,teorileri içinde vazgeçilmez araçlardır.John von Neumann,bu çok farklı uygulamaların altında yatan soyut bir kavram için Hilbert uzayı terimi icat etmiştir.Hilbert uzayı yöntemlerinin başarısı fonksiyonel analiz için çok verimli bir dönem başlatmıştır . bunun yanı sıra klasik Öklid alanlarından,integrallenebilir-kare fonksiyonların uzaylarının içerdiği Hilbert uzayı,dizi uzayıları genelleştirilmiş fonksiyonların Sobolev uzayı'ndan ve holomorfik fonksiyonlar'ın Hardy uzayı'ndan oluşan örnekler. Geometrik sezgi Hilbert uzayı teorisinde birçok açıdan önemli bir rol oynar.bir Hilbert uzayıyla örtüşen Pisagor teoremi ve paralelkenar kurallarının tüm analogları.Daha derin bir düzeyde bir alt uzay üzerinde dik projeksiyon ( Bir üçgenin "irtifa bırakarak " analogu ) de optimizasyon problemleri ve teorinin diğer yönleri içinde önemli bir rol oynar. Bir Hilbert uzayının bir elemanı benzersiz düzlemde kartezyen koordinat ile benzer şekilde koordinat eksenleri (bir ortonormal taban),bir dizi ile ilgili kendi koordinatları belirtilebilir . Hilbert uzayı da yararlı toplanabilir-kare olan sonsuz diziler açısından düşünülebilir ki bu eksen sayılabilir sonsuz bir dizi,anlamına gelir. Bir Hilbert uzayında lineer operatörleri aynı şekilde oldukça somut nesnelerdir:tam anlamıyla karşılıklı dik yönlerde farklı faktörler tarafından alan germe dönüşümleri vardır.

Tanımı ve fotoğrafı[değiştir | kaynağı değiştir]

Alıştırma örnekleri: Öklid uzayı[değiştir | kaynağı değiştir]

bir Hilbert uzayının en iyakın örneklerinden biri üç-boyutlu vektör'lerden oluşan Öklid uzayı'dır,R3 ile ifadesi,ve nokta çarpım ile donanımıdır,nokta çarpımda iki vektör alınır x ve y, ve bir gerçel sayı üretilir x·y. eğer x ve y Kartezyen koordinatlar içinde gösterilir, ise nokta çarpım

(x_1,x_2,x_3)\cdot (y_1,y_2,y_3) = x_1y_1+x_2y_2+x_3y_3.

nokta çarpım tarafından tanımlanan özellikleri tatmin edicidir:

  1. Bu x ve y içinde simetriktir: x · y = y · x.
  2. Bu ilk değişken içinde doğrusal'dır : (ax1 + bx2) · y = ax1 · y + bx2 · y için herhangi skaler a, b, ve vektörler x1, x2, ve y.
  3. Bu pozitif tanım: bütün vektörler için x, x · x ≥ 0, ie eşitlik ancak ve ancak x = 0.

vektörlerin çifti bir işlemci olarak-nokta-çarpım gibi- burada uygun üç özellik (gerçel) iç-çarpım olarak bilinir. Bir vektör uzayı donanımı ile bu tür bir iç-çarpım bir (gerçel) iç çarpım uzayı olarak bilinir. Her sonlu-boyutlu iç-çarpım uzayı yine bir Hilbert uzayıdır.Öklid geometrisi ile bağlantılı nokta çarpımın temel özelliği bu uzunluk her ikisi ile ilişkili olduğu bir vektör veya,||x|| (norm)'u ile ifade edilir,ve iki vektör arası x ve y θ açısı formül yardımıyla

\mathbf{x}\cdot\mathbf{y} = \|\mathbf{x}\|\,\|\mathbf{y}\|\,\cos\theta.
Dosya:Completeness in Hilbert space.png
Tamlık bir parçacık kırık yol boyunca hareket ederse (mavi) bir sonlu toplam mesafe seyahat anlamına gelir, ise iyi-tanımlanmış net yer değiştirme(portakal rengi) parçacık var.

Çok değişkenli hesabı Öklid uzayı sınırları'nı hesaplayabilme yeteneğine dayanır ve bu sınırlar sonuç için yararlı kriterlere sahiptir ve bir matematiksel serisi

\sum_{n=0}^\infty \mathbf{x}_n

R3 içinde vektörlerin oluşumu mutlak yakınsak'tır, yakınsar uzunlukların sağlanan toplamı olarak bir gerçel sayıların düzgün serisi:[1]

\sum_{k=0}^\infty \|\mathbf{x}_k\| < \infty.

Sadece skalerlerin bir serisi olarak, mutlak olarak yakınsar vektörlerinin bir serisi anlamında,Öklid uzayında da bazı sınır vektör L 'ye yakınsar.

\left\|\mathbf{L}-\sum_{k=0}^N\mathbf{x}_k\right\|\to 0\quad\text{as }N\to\infty.

Bu özellik Öklid uzayı tamlığını ifade etmektedir: mutlak yakınsak bir dizi yalın anlamıyla yakınsar.

Tanım[değiştir | kaynağı değiştir]

Bir Hilbert uzayı H bir gerçel veya karmaşık iç-çarpım uzayı'dır buda bir tam metrik uzayı ile sırasıyla uzunluk fonksiyonu iç-çarpımı tarafından uyarılır.[2] Denebilirki H karmaşık bir iç çarpım uzayı anlamına gelir.H bir iç çarpımın var olan bir karmaşık vektör uzayıdır.\langle x,y\rangle elemanlarının her bir çifti için bir karmaşık sayı ilişkilendirilerek H ın aşağıdaki özellikleri karşılayan x,y için bu :

  • Ögelerin bir çiftinin iç-çarpımı takas elemanlarının bir iç-çarpımının karmaşık eşleniğine eşittir :
\langle y,x\rangle = \overline{\langle x, y\rangle}.
  • [3] a ve b bütün karmaşık sayıları iç-çarpımın doğrusal ilk bileşeni içindedir.
\langle ax_1+bx_2, y\rangle = a\langle x_1, y\rangle + b\langle x_2, y\rangle.
\langle x,x\rangle \ge 0
eşitlik durumunun tam tuttuğu(örtüştüğü) yer x = 0 sırasındadır.

Aşağıdaki şu iki özellik ikincil bileşen içindeki karşıt-doğrusal 1 ve 2'nin bir karmaşık iç-çarpımıdır,anlamı şudur

\langle x, ay_1+by_2\rangle = \bar{a}\langle x, y_1\rangle + \bar{b}\langle x, y_2\rangle.

Gerçek bir iç çarpım uzay aynı şekilde tanımlanır,H dışında gerçek bir vektör uzayı ve iç çarpım gerçek değerleri alır.Böyle bir iç bir çarpımı doğrusal olacak:her bileşen içinde doğrusaldır.Bu norm gerçel-değerli fonksiyondur

\|x\| = \sqrt{\langle x,x \rangle},

ve uzunluk d ve x,y iki nokta arasında in H içinde tarafından norm açısından tanımlanmıştır

d(x,y)=\|x-y\| = \sqrt{\langle x-y,x-y \rangle}.

Burada bir uzunluk fonksiyonunun anlamı (1) şuki x ve yiçinde simetriktir, (2)x ve kendisi arası uzunluk sıfırdır,ve bunun dışında x ve y arası uzunluğu pozitif olmalıdır, ve (3) şuki üçgen eşitsizliği'ne uyar, anlamı şudur: xyz Diğer iki bacak uzunluklarının toplamından fazla olamaz:

d(x,z) \le d(x,y) + d(y,z).

300px

Bu son özellik sonuçta daha temel Cauchy-Schwarz eşitsizliği'nin bir eşdizisidir, öyleki

|\langle x, y\rangle| \le \|x\|\,\|y\|

eşitlik ancak ve ancak x ve y doğrusal bağımlılık iledir.

Bu şekilde tanımlanan bir mesafe fonksiyonuna göre, herhangi bir iç çarpım uzayı bir metrik uzay'dır, ve bazenön-Hilbert uzayı olarak bilinir.[4] Herhangi pre-Hilbert uzayı Buna ek olarak aynı zamanda bir tam bir uzay Hilbert uzayıdır. Cauchy kriterlerinin Bütünlüğü bir formumuz üzerinden H dizisi içinde ifade edilir.: bir pre-Hilbert uzayı H tamdır.Eğer her Cauchy dizisi uzay içindeki bir ögeye Bu norm ile ilgili yakınsak ise, Bütünlük aşağıdaki eşdeğer durumu ile karakterize edilebilir: Eğer vektörlerin serisi \textstyle{\sum_{k=0}^\infty u_k} mutlak yakınsak anlamı

\sum_{k=0}^\infty\|u_k\| < \infty,

ise Hiçinde yakınsak seri , Kısmi toplamlar H unsuru yakınsama anlamındadır.

Tam normlu uzayı olarak, Hilbert uzayı tanımı gereği de Banach uzayı'dır. Böylece bunlar topolojik vektor uzayıdır, ki topolojik gösterim altkümenin açıklık ve kapalılık gibi iyi-tanımlanmıştır.Bir Hilbert uzayının bir kapalı doğrusal alt-uzay'ının özel bir önemini taşımaktadır.Bu, kısıtlama ile oluşturulan iç çarpım,aynı zamanda tam(tam bir metrik uzayda kapalı bir küme olarak)ve bu nedenle kendi içinde bir Hilbert uzayıdır.

İkiincil örnek: dizi uzayı[değiştir | kaynağı değiştir]

bütün sonsuz dizi dizi uzayı 2 oluşturur,bu tür karmaşık sayılar serisi'nin z = (z1,z2,...)

\sum_{n=1}^\infty |z_n|^2

yakınsak. İççarpım olarak 2 ile tanımlanıyor

\langle \mathbf{z},\mathbf{w}\rangle = \sum_{n=1}^\infty z_n\overline{w_n},

Cauchy–Schwarz eşitsizliğinin bir eşdizisi olarak yakınsak ikinci serisi ile .

Uzay tamlığı sağlanan durum o zaman 2 'nin öğeleri bir dizi mutlak yakınsak (norm içinde), ise 2'nin bir ögeye yakınsamasıdır . Kanıtı matematiksel analiz içinde temeldir, ve Uzay elemanlarının matematiksel serisi sağlar karmaşık sayılar serisi ile aynı kolaylıkla işletilen olmaktadır(sonlu-boyutlu Öklid uzayında veya vektörleri).[5]

Ayrıca bakınız[değiştir | kaynağı değiştir]

Notlar[değiştir | kaynağı değiştir]

  1. ^ Marsden 1974, §2.8
  2. ^ bu bölüm içindeki matematiksel materyal fonksiyonel analiz üzerine herhangi bir iyi ders kitabında bulunabilir, mesela Dieudonné (1960), Hewitt & Stromberg (1965), Reed & Simon (1980) veya Rudin (1980).
  3. ^ In some conventions, inner products are linear in their second arguments instead.
  4. ^ Dieudonné 1960, §6.2
  5. ^ Dieudonné 1960

Kaynakça[değiştir | kaynağı değiştir]

Dış bağlantılar[değiştir | kaynağı değiştir]

Vikikitap
Vikikitapta bu konu hakkında daha fazla bilgi var: