Hilbert uzayı

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ı

Alıştırma örnekleri: Öklid uzayı

bir Hilbert uzayının en yakın örneklerinden biri üç-boyutlu vektör'lerden oluşan Öklid uzayı'dır,R³ 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

${\displaystyle (x_{1},x_{2},x_{3})\cdot (y_{1},y_{2},y_{3})=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{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 : (ax₁ + bx₂) · y = ax₁ · y + bx₂ · y için herhangi skaler a, b, ve vektörler x₁, x₂, 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

${\displaystyle \mathbf {x} \cdot \mathbf {y} =\|\mathbf {x} \|\,\|\mathbf {y} \|\,\cos \theta .}$

Ç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

${\displaystyle \sum _{n=0}^{\infty }\mathbf {x} _{n}}$

R³ 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]

${\displaystyle \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.

${\displaystyle \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

Bir Hilbert uzayı H bir gerçel veya karmaşık iç-çarpım uzayı'dır bu da 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.${\displaystyle \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 :

${\displaystyle \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.

${\displaystyle \langle ax_{1}+bx_{2},y\rangle =a\langle x_{1},y\rangle +b\langle x_{2},y\rangle .}$

• Bir elemanın kendisi ile iç çarpımı pozitif tanım'dır:

${\displaystyle \langle x,x\rangle \geq 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

${\displaystyle \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

${\displaystyle \|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

${\displaystyle 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:

${\displaystyle d(x,z)\leq d(x,y)+d(y,z).}$

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

${\displaystyle |\langle x,y\rangle |\leq \|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 ${\displaystyle \textstyle {\sum _{k=0}^{\infty }u_{k}}}$ mutlak yakınsak anlamı

${\displaystyle \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ı

bütün sonsuz dizi dizi uzayı ℓ² oluşturur,bu tür karmaşık sayılar serisi'nin z = (z₁,z₂,...)

${\displaystyle \sum _{n=1}^{\infty }|z_{n}|^{2}}$

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

${\displaystyle \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 ℓ² 'nin öğeleri bir dizi mutlak yakınsak (norm içinde), ise ℓ²'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

• Hilbert C*-modülü
• Hilbert cebri
• Hilbert manifold
• Rigged Hilbert uzayı
• Bir Hilbert uzayında işlemciler kümesinde topolojiler
• İşlemci teorisi
• Hadamard uzayı

Notlar

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

• Bachman, George; Narici, Lawrence; Beckenstein, Edward (2000), Fourier and wavelet analysis, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98899-3, MR 1729490 .
• Bers, Lipman; John, Fritz; Schechter, Martin (1981), Partial differential equations, American Mathematical Society, ISBN 0-8218-0049-3 .
• Bourbaki, Nicolas (1986), Spectral theories, Elements of mathematics, Berlin: Springer-Verlag, ISBN 0-201-00767-3 .
• Bourbaki, Nicolas (1987), Topological vector spaces, Elements of mathematics, Berlin: Springer-Verlag, ISBN 978-3-540-13627-9 .
• Boyer, Carl Benjamin; Merzbach, Uta C (1991), A History of Mathematics (2nd bas.), John Wiley & Sons, Inc., ISBN 0-471-54397-7 .
• Brenner, S.; Scott, R. L. (2005), The Mathematical Theory of Finite Element Methods (2nd bas.), Springer, ISBN 0-387-95451-1 .
• Buttazzo, Giuseppe; Giaquinta, Mariano; Hildebrandt, Stefan (1998), One-dimensional variational problems, Oxford Lecture Series in Mathematics and its Applications, 15, The Clarendon Press Oxford University Press, ISBN 978-0-19-850465-8, MR 1694383 .
• Clarkson, J. A. (1936), "Uniformly convex spaces", Trans. Amer. Math. Soc. 40 (3): 396–414, DOI:10.2307/1989630, JSTOR 1989630 .
• Courant, Richard; Hilbert, David (1953), Methods of Mathematical Physics, Vol. I, Interscience .
• Dieudonné, Jean (1960), Foundations of Modern Analysis, Academic Press .
• Dirac, P.A.M. (1930), Principles of Quantum Mechanics, Oxford: Clarendon Press .
• Dunford, N.; Schwartz, J.T. (1958), Linear operators, Parts I and II, Wiley-Interscience .
• Duren, P. (1970), Theory of H^p-Spaces, New York: Academic Press .
• Folland, Gerald B. (2009), Fourier analysis and its application (Reprint of Wadsworth and Brooks/Cole 1992 bas.), American Mathematical Society Bookstore, ISBN 0-8218-4790-2, http://books.google.com/books?as_isbn=0-8218-4790-2 .
• Folland, Gerald B. (1989), Harmonic analysis in phase space, Annals of Mathematics Studies, 122, Princeton University Press, ISBN 0-691-08527-7 .
• Fréchet, Maurice (1907), "Sur les ensembles de fonctions et les opérations linéaires", C. R. Acad. Sci. Paris 144: 1414–1416 .
• Fréchet, Maurice (1904–1907), Sur les opérations linéaires .
• Giusti, Enrico (2003), Direct Methods in the Calculus of Variations, World Scientific, ISBN 981-238-043-4 .
• Grattan-Guinness, Ivor (2000), The search for mathematical roots, 1870–1940, Princeton Paperbacks, Princeton University Press, ISBN 978-0-691-05858-0, MR 1807717 .
• Halmos, Paul (1957), Introduction to Hilbert Space and the Theory of Spectral Multiplicity, Chelsea Pub. Co 
• Halmos, Paul (1982), A Hilbert Space Problem Book, Springer-Verlag, ISBN 0-387-90685-1 .
• Hewitt, Edwin; Stromberg, Karl (1965), Real and Abstract Analysis, New York: Springer-Verlag .
• Hilbert, David; Nordheim, Lothar (Wolfgang); von Neumann, John (1927), "Über die Grundlagen der Quantenmechanik", Mathematische Annalen 98: 1–30, DOI:10.1007/BF01451579, http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D27779 .
• Kac, Mark (1966), "Can one hear the shape of a drum?", American Mathematical Monthly 73 (4, part 2): 1–23, DOI:10.2307/2313748, JSTOR 2313748 .
• Kadison, Richard V.; Ringrose, John R. (1997), Fundamentals of the theory of operator algebras. Vol. I, Graduate Studies in Mathematics, 15, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0819-1, MR 1468229 .
• Kakutani, Shizuo (1939), "Some characterizations of Euclidean space", Japanese Journal of Mathematics 16: 93–97, MR 0000895 .
• Kline, Morris (1972), Mathematical thought from ancient to modern times, Volume 3 (3rd bas.), Oxford University Press (yayın: 1990), ISBN 978-0-19-506137-6 .
• Kolmogorov, Andrey; Fomin, Sergei V. (1970), Introductory Real Analysis (Revised English edition, trans. by Richard A. Silverman (1975) bas.), Dover Press, ISBN 0-486-61226-0 .
• Krantz, Steven G. (2002), Function Theory of Several Complex Variables, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2724-6 .
• Lanczos, Cornelius (1988), Applied analysis (Reprint of 1956 Prentice-Hall bas.), Dover Publications, ISBN 0-486-65656-X, http://books.google.com/books?as_isbn=0-486-65656-X .
• Lindenstrauss, J.; Tzafriri, L. (1971), "On the complemented subspaces problem", Israel Journal of Mathematics 9 (2): 263–269, DOI:10.1007/BF02771592, ISSN 0021-2172, MR 0276734 .
• O'Connor, John J.; Robertson, Edmund F. (1996), "Abstract linear spaces", MacTutor History of Mathematics arşivi, http://www-history.mcs.st-andrews.ac.uk/HistTopics/Abstract_linear_spaces.html .
• Lebesgue, Henri (1904), Leçons sur l'intégration et la recherche des fonctions primitives, Gauthier-Villars, http://books.google.com/?id=VfUKAAAAYAAJ&dq=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1#v=onepage&q= .
• B.M. Levitan (2001), "Hilbert space", Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104, http://eom.springer.de/H/h047380.htm .
• Marsden, Jerrold E. (1974), Elementary classical analysis, W. H. Freeman and Co., MR 0357693 .
• Prugovečki, Eduard (1981), Quantum mechanics in Hilbert space (2nd bas.), Dover (yayın: 2006), ISBN 978-0-486-45327-9 .
• Reed, Michael; Simon, Barry (1980), Functional Analysis, Methods of Modern Mathematical Physics, Academic Press, ISBN 0-12-585050-6 .
• Reed, Michael; Simon, Barry (1975), Fourier Analysis, Self-Adjointness, Methods of Modern Mathematical Physics, Academic Press, ISBN 01258500026 . Şablon:Please check ISBN
• Riesz, Frigyes (1907), "Sur une espèce de Géométrie analytique des systèmes de fonctions sommables", C. R. Acad. Sci. Paris 144: 1409–1411 .
• Riesz, Frigyes (1934), "Zur Theorie des Hilbertschen Raumes", Acta Sci. Math. Szeged 7: 34–38 .
• Riesz, Frigyes; Sz.-Nagy, Béla (1990), Functional analysis, Dover, ISBN 0-486-66289-6 .
• Rudin, Walter (1973), Functional analysis, Tata MacGraw-Hill .
• Rudin, Walter (1987), Real and Complex Analysis, McGraw-Hill, ISBN 0-07-100276-6 .
• Saks, Stanisław (2005), Theory of the integral (2nd Dover bas.), Dover, ISBN 978-0-486-44648-6 ; originally published Monografje Matematyczne, vol. 7, Warszawa, 1937.
• Schmidt, Erhard (1908), "Über die Auflösung linearer Gleichungen mit unendlich vielen Unbekannten", Rend. Circ. Mat. Palermo 25: 63–77, DOI:10.1007/BF03029116 .
• Shubin, M. A. (1987), Pseudodifferential operators and spectral theory, Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-13621-7, MR 883081 .
• Sobrino, Luis (1996), Elements of non-relativistic quantum mechanics, River Edge, NJ: World Scientific Publishing Co. Inc., ISBN 978-981-02-2386-1, MR 1626401 .
• Stewart, James (2006), Calculus: Concepts and Contexts (3rd bas.), Thomson/Brooks/Cole .
• Stein, E (1970), Singular Integrals and Differentiability Properties of Functions,, Princeton Univ. Press, ISBN 0-691-08079-8 .
• Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, ISBN 978-0-691-08078-9 .
• Streater, Ray; Wightman, Arthur (1964), PCT, Spin and Statistics and All That, W. A. Benjamin, Inc .
• Titchmarsh, Edward Charles (1946), Eigenfunction expansions, part 1, Oxford University: Clarendon Press .
• Trèves, François (1967), Topological Vector Spaces, Distributions and Kernels, Academic Press .
• von Neumann, John (1929), "Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren", Mathematische Annalen 102: 49–131, DOI:10.1007/BF01782338 .
• von Neumann, John (1932), "Physical Applications of the Ergodic Hypothesis", Proc Natl Acad Sci USA 18 (3): 263–266, Bibcode 1932PNAS...18..263N, DOI:10.1073/pnas.18.3.263, JSTOR 86260, PMC 1076204, PMID 16587674 .
• von Neumann, John (1955), Mathematical foundations of quantum mechanics, Princeton Landmarks in Mathematics, Princeton University Press (yayın: 1996), ISBN 978-0-691-02893-4, MR 1435976 .
• Warner, Frank (1983), Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90894-6 .
• Weidmann, Joachim (1980), Linear operators in Hilbert spaces, Graduate Texts in Mathematics, 68, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90427-6, MR 566954 .
• Weyl, Hermann (1931), The Theory of Groups and Quantum Mechanics (English 1950 bas.), Dover Press, ISBN 0-486-60269-9 .
• Young, Nicholas (1988), An introduction to Hilbert space, Cambridge University Press, ISBN 0-521-33071-8, Zbl 0645.46024 .

Dış bağlantılar

Vikikitapta bu konu hakkında daha fazla bilgi var:

Functional Analysis/Hilbert spaces

• Hazewinkel, Michiel, ed. (2001), "Hilbert space", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104, http://eom.springer.de/p/h047380.htm 
• Hilbert space at Mathworld
• 245B, notes 5: Hilbert spaces by Terence Tao