Konsep matematika dari
Ruang Hilbert, dinamai David
Hilbert, menggeneralisasi gagasan
Ruang Euklides. Maka memperluas metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga.
Ruang Hilbert adalah
Ruang vektor yang dilengkapi dengan hasil kali dalam, sebuah operasi yang memungkinkan untuk menentukan panjang dan sudut. Lebih lanjut,
Ruang Hilbert adalah lengkap, yang berarti bahwa ada cukup limit di
Ruang untuk memungkinkan teknik kalkulus digunakan.
Ruang Hilbert muncul secara alami dan sering dalam matematika dan fisika, biasanya sebagai dimensi tak hingga
Ruang fungsi.
Ruang Hilbert paling awal dipelajari dari sudut pandang ini pada dekade pertama abad ke-20 oleh David
Hilbert, Erhard Schmidt, dan Frigyes Riesz. Mereka adalah alat yang sangat diperlukan dalam teori persamaan diferensial parsial s, mekanika kuantum, Analisis Fourier (yang mencakup aplikasi untuk pemrosesan sinyal dan perpindahan panas), dan teori ergodik (yang membentuk dasar matematika termodinamika). John von Neumann menciptakan istilah
Ruang Hilbert untuk konsep abstrak yang mendasari banyak aplikasi yang beragam ini. Keberhasilan metode
Ruang Hilbert mengantarkan era yang sangat bermanfaat bagi analisis fungsional. Terlepas dari
Ruang Euclidean klasik, contoh
Ruang Hilbert meliputi
Ruang fungsi terintegralkan persegi,
Ruang urutan,
Ruang Sobolev terdiri dari fungsi umum, dan
Ruang Hardy dari fungsi holomorfik.
Intuisi geometris memainkan peran penting dalam banyak aspek teori
Ruang Hilbert. Analog tepat dari Teorema Pythagoras dan hukum jajaran genjang berlaku di
Ruang Hilbert. Pada tingkat yang lebih dalam, proyeksi tegak lurus ke subruang (analog dari "menurunkan ketinggian" dari segitiga) memainkan peran penting dalam masalah pengoptimalan dan lainnya sebagai. Sebuah elemen
Ruang Hilbert dapat secara unik ditentukan oleh koordinatnya sehubungan dengan satu set sumbu koordinat (sebuah basis orthonormal), dalam analogi dengan koordinat Kartesius pada bidang. Ketika himpunan sumbu itu countably infinite,
Ruang Hilbert juga dapat dianggap berguna dalam hal
Ruang urutan tak hingga yang persegi summabel.
Ruang terakhir sering dalam literatur yang lebih tua disebut sebagai
Ruang Hilbert. Operator linear pada
Ruang Hilbert juga merupakan objek yang cukup konkret: dalam kasus yang baik, mereka hanyalah transformasi yang meregangkan
Ruang oleh faktor-faktor berbeda dalam arah yang saling tegak lurus dalam arti yang dibuat tepat oleh studi spektrum.
Definisi dan ilustrasi
= Contoh motivasi: Ruang vektor Euklides
=
Salah satu contoh paling umum dari
Ruang Hilbert adalah
Ruang vektor Euklides yang terdiri dari vektor tiga dimensi, dilambangkan dengan ℝ3, dan dilengkapi dengan dot product. Perkalian titik mengambil dua vektor x dan y, dan menghasilkan bilangan riil x · y. Jika x dan y direpresentasikan dalam koordinat kartesius, kemudian perkalian titik didefinisikan oleh
(
x
1
x
2
x
3
)
⋅
(
y
1
y
2
y
3
)
=
x
1
y
1
+
x
2
y
2
+
x
3
y
3
.
{\displaystyle {\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}\,.}
Produk titik memenuhi sifat:
Simetri dalam x dan y: x · y = y · x.
Linear dalam argumen pertamanya: (ax1 + bx2) · y = ax1 · y + bx2 · y untuk semua skalar a, b, dan vektor x1, x2, dan y.
Bentuk positif: untuk semua vektor x, x · x ≥ 0 , dengan kesetaraan jika dan hanya jika x = 0.
Operasi pada pasangan vektor yang, seperti perkalian titik, memenuhi ketiga sifat ini dikenal sebagai (riil) hasil kali dalam. Sebuah
Ruang vektor yang dilengkapi dengan hasil kali dalam seperti itu dikenal sebagai
Ruang hasil kali dalam. Setiap
Ruang hasilkali dalam berdimensi-hingga juga merupakan
Ruang Hilbert. Fitur dasar dari perkalian titik yang menghubungkannya dengan geometri Euclidean adalah bahwa ia terkait dengan panjang (atau norma) vektor, dilambangkan Templat:Norm, dan untuk sudut θ antara dua vektor x dan y melalui rumus
x
⋅
y
=
‖
x
‖
‖
y
‖
cos
θ
.
{\displaystyle \mathbf {x} \cdot \mathbf {y} =\|\mathbf {x} \|\,\|\mathbf {y} \|\,\cos \theta \,.}
Kalkulus multivariabel dalam
Ruang Euklides bergantung pada kemampuan untuk menghitung limit, dan memiliki kriteria yang berguna pada deret matematika
∑
n
=
0
∞
x
n
{\displaystyle \sum _{n=0}^{\infty }\mathbf {x} _{n}}
terdiri dari vektor dalam ℝ3 adalah konvergensi absolut asalkan jumlah panjangnya konvergen sebagai rangkaian bilangan riil biasa:
∑
k
=
0
∞
‖
x
k
‖
<
∞
.
{\displaystyle \sum _{k=0}^{\infty }\|\mathbf {x} _{k}\|<\infty \,.}
Sama seperti deret skalar, deret vektor yang bertemu secara mutlak juga konvergen ke beberapa vektor batas L di
Ruang Euklides, dalam arti bahwa
‖
L
−
∑
k
=
0
N
x
k
‖
→
0
as
N
→
∞
.
{\displaystyle \left\|\mathbf {L} -\sum _{k=0}^{N}\mathbf {x} _{k}\right\|\to \mathbf {0} \quad {\text{as }}N\to \infty \,.}
Properti ini mengungkapkan kelengkapan
Ruang Euclidean: bahwa rangkaian yang menyatu secara mutlak juga menyatu dalam pengertian biasa.
Spasi
Hilbert sering kali diambil alih dari bilangan kompleks. Bidang kompleks yang dilambangkan dengan ℂ dilengkapi dengan gagasan besaran, modulus kompleks |z| yang didefinisikan sebagai akar kuadrat dari hasil kali z dengan konjugasi kompleks:
|
z
|
2
=
z
z
¯
.
{\displaystyle |z|^{2}=z{\overline {z}}\,.}
Jika z = x + iy adalah dekomposisi dari z menjadi bagian nyata dan imajinernya, maka modulusnya adalah panjang dua dimensi Euklides yang biasa:
|
z
|
=
x
2
+
y
2
.
{\displaystyle |z|={\sqrt {x^{2}+y^{2}}}\,.}
Hasil kali dalam dari pasangan bilangan kompleks z dan w adalah hasil kali dari z dengan konjugasi kompleks dari w:
⟨
z
,
w
⟩
=
z
w
¯
.
{\displaystyle \langle z,w\rangle =z{\overline {w}}\,.}
Ini bernilai kompleks. Bagian riil dari ⟨z, w⟩ memberikan Euclidean dua dimensi biasa perkalian titik.
Contoh kedua adalah
Ruang ℂ2 yang elemennya adalah pasangan bilangan kompleks z = (z1, z2). Kemudian hasil kali dalam dari z dengan vektor lain w = (w1, w2) dirumuskan
⟨
z
,
w
⟩
=
z
1
w
1
¯
+
z
2
w
2
¯
.
{\displaystyle \langle z,w\rangle =z_{1}{\overline {w_{1}}}+z_{2}{\overline {w_{2}}}\,.}
Bagian riil dari ⟨z, w⟩ kemudian adalah perkalian titik Euclidean dua dimensi. Hasil kali dalam ini simetris Hermitian , yang berarti hasil pertukaran z dan w adalah konjugat kompleks:
⟨
w
,
z
⟩
=
⟨
z
,
w
⟩
¯
.
{\displaystyle \langle w,z\rangle ={\overline {\langle z,w\rangle }}\,.}
= Definisi
=
Ruang Hilbert H adalah riil atau kompleks hasil kali dalam yang juga merupakan ruang metrik lengkap sehubungan dengan fungsi jarak yang diinduksi oleh hasil kali dalam.
Mengatakan bahwa H adalah ruang hasil kali dalam kompleks H adalah ruang vektor kompleks yang di dalamnya terdapat bagian dalam produk ⟨x, y⟩ mengaitkan bilangan kompleks ke setiap pasangan elemen x , y dari H yang memenuhi properti berikut:
Hasil kali dalam adalah simetris konjugasi; yaitu, hasil kali dalam dari sepasang elemen sama dengan konjugasi kompleks dari produk dalam dari elemen yang ditukar:
⟨
y
,
x
⟩
=
⟨
x
,
y
⟩
¯
.
{\displaystyle \langle y,x\rangle ={\overline {\langle x,y\rangle }}\,.}
Hasil kali dalam adalah linier pada awalnya argumen. Untuk bilangan kompleks a dan b ,
⟨
a
x
1
+
b
x
2
,
y
⟩
=
a
⟨
x
1
,
y
⟩
+
b
⟨
x
2
,
y
⟩
.
{\displaystyle \langle ax_{1}+bx_{2},y\rangle =a\langle x_{1},y\rangle +b\langle x_{2},y\rangle \,.}
{
⟨
x
,
x
⟩
>
0
x
≠
0
⟨
x
,
x
⟩
=
0
x
=
0
.
{\displaystyle {\begin{cases}\langle x,x\rangle >0&x\neq 0\\\langle x,x\rangle =0&x=0\,.\end{cases}}}
Ini mengikuti dari properti 1 dan 2 bahwa produk dalam kompleks adalah antilinear, juga disebut konjugasi linear, dalam argumen keduanya, yang berarti bahwa
⟨
x
,
a
y
1
+
b
y
2
⟩
=
a
¯
⟨
x
,
y
1
⟩
+
b
¯
⟨
x
,
y
2
⟩
.
{\displaystyle \langle x,ay_{1}+by_{2}\rangle ={\bar {a}}\langle x,y_{1}\rangle +{\bar {b}}\langle x,y_{2}\rangle \,.}
Ruang perkalian dalam riil didefinisikan dengan cara yang sama, kecuali bahwa H adalah
Ruang vektor nyata dan hasil kali dalam mengambil bilangan riil. Produk dalam seperti itu adalah peta bilinear dan (H, H, ⟨ ⋅, ⋅⟩) akan membentuk sistem ganda.
norma adalah fungsi nilai riil
‖
x
‖
=
⟨
x
,
x
⟩
,
{\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}\,,}
dan jarak d antara dua titik x , y di H didefinisikan dalam istilah dari norma oleh
d
(
x
,
y
)
=
‖
x
−
y
‖
=
⟨
x
−
y
,
x
−
y
⟩
.
{\displaystyle d(x,y)=\|x-y\|={\sqrt {\langle x-y,x-y\rangle }}\,.}
Bahwa fungsi ini adalah fungsi jarak, pertama-tama fungsi ini simetris dalam x dan y , kedua jarak antara x dan itu sendiri nol, dan sebaliknya jarak antara x dan y harus positif, dan terakhir pertidaksamaan segitiga tahan, artinya panjang salah satu kaki segitiga xyz tidak boleh melebihi jumlah panjang kedua kaki lainnya:
d
(
x
,
z
)
≤
d
(
x
,
y
)
+
d
(
y
,
z
)
.
{\displaystyle d(x,z)\leq d(x,y)+d(y,z)\,.}
Properti terakhir ini pada akhirnya merupakan konsekuensi dari pertidaksamaan Cauchy–Schwarz yang lebih mendasar, yang menegaskan
|
⟨
x
,
y
⟩
|
≤
‖
x
‖
‖
y
‖
{\displaystyle {\bigl |}\langle x,y\rangle {\bigr |}\leq \|x\|\,\|y\|}
dengan persamaan jika dan hanya jika x dan y adalah dependen linear.
Dengan fungsi jarak yang ditentukan dengan cara ini, setiap hasil kali dalam adalah
Ruang metrik, dan terkadang dikenal sebagai
Ruang Hausdorff. Setiap
Ruang pra-
Hilbert yang juga merupakan
Ruang kompleks adalah
Ruang Hilbert.
kelengkapan dari H diekspresikan menggunakan bentuk Kriteria Cauchy untuk urutan dalam H :
Ruang pra-
Hilbert H selesai jika setiap urutan Cauchy menyatu sehubungan dengan norma ini ke elemen dalam
Ruang. Kelengkapan dapat dicirikan oleh kondisi ekivalen berikut: jika serangkaian vektor
∑
k
=
0
∞
u
k
{\displaystyle \sum _{k=0}^{\infty }u_{k}}
menyatu secara mutlak dalam arti itu
∑
k
=
0
∞
‖
u
k
‖
<
∞
,
{\displaystyle \sum _{k=0}^{\infty }\|u_{k}\|<\infty \,,}
kemudian deret tersebut menyatu di H , dalam arti bahwa jumlah parsial menyatu ke elemen H .
= Contoh kedua: Ruang urutan
=
Ruang urutan l 2 terdiri dari semua urutan tak hingga z = (z1, z2, …) dari bilangan kompleks sehingga deret
∑
n
=
1
∞
|
z
n
|
2
{\displaystyle \sum _{n=1}^{\infty }|z_{n}|^{2}}
menyatu. Produk bagian dalam aktif l2 didefinisikan oleh
⟨
z
,
w
⟩
=
∑
n
=
1
∞
z
n
w
n
¯
,
{\displaystyle \langle \mathbf {z} ,\mathbf {w} \rangle =\sum _{n=1}^{\infty }z_{n}{\overline {w_{n}}}\,,}
dengan seri terakhir berkumpul sebagai konsekuensi dari pertidaksamaan Cauchy–Schwarz.
Kelengkapan
Ruang yang dipegang asalkan sederet elemennya berasal l2 konvergen mutlak (dalam norma), lalu menyatu ke elemen l2. Buktinya adalah dasar dalam analisis matematis, dan memungkinkan deret matematika elemen
Ruang untuk dimanipulasi dengan kemudahan yang sama seperti deret bilangan kompleks (atau vektor hingga).
Sejarah
Sebelum pengembangan
Ruang Hilbert, generalisasi lain dari
Ruang Euklides diketahui matematikawan dan fisikawan. Secara khusus, gagasan tentang
Ruang linier abstrak (
Ruang vektor) telah mendapatkan daya tarik menjelang akhir abad ke-19: ini adalah
Ruang yang elemen-elemennya dapat dijumlahkan dan dikalikan dengan skalar (riil atau bilangan kompleks) tanpa perlu mengidentifikasi elemen-elemen ini dengan vektor "geometris", seperti vektor posisi dan momentum dalam sistem fisik. Objek lain yang dipelajari oleh ahli matematika pada pergantian abad ke-20, dalam
Ruang tertentu urutan (termasuk deret) dan
Ruang fungsi, secara alami dapat dianggap sebagai
Ruang linier. Fungsi, misalnya, dapat ditambahkan atau dikalikan dengan skalar konstan, dan operasi ini mematuhi hukum aljabar yang dipenuhi oleh penjumlahan dan perkalian skalar dari vektor spasial.
Pada dekade pertama abad ke-20, perkembangan paralel mengarah pada pengenalan
Ruang Hilbert. Yang pertama adalah pengamatan, yang muncul selama David
Hilbert dan Erhard Schmidt mempelajari persamaan integral, bahwa dua fungsi bernilai nyata square-integrable f dan g pada interval [a, b] memiliki produk dalam
⟨
f
,
g
⟩
=
∫
a
b
f
(
x
)
g
(
x
)
d
x
{\displaystyle \langle f,g\rangle =\int _{a}^{b}f(x)g(x)\,\mathrm {d} x}
yang memiliki banyak sifat familiar dari perkalian titik Euklides. Secara khusus, gagasan tentang keluarga fungsi ortogonal memiliki makna. Schmidt mengeksploitasi kemiripan hasil kali dalam ini dengan hasil kali titik biasa untuk membuktikan analog dari dekomposisi spektral untuk operator bentuk
f
(
x
)
↦
∫
a
b
K
(
x
,
y
)
f
(
y
)
d
y
{\displaystyle f(x)\mapsto \int _{a}^{b}K(x,y)f(y)\,\mathrm {d} y}
di mana K adalah fungsi kontinu yang simetris di x dan y. Perluasan fungsi eigen yang dihasilkan menyatakan fungsi K sebagai rangkaian bentuk
K
(
x
,
y
)
=
∑
n
λ
n
φ
n
(
x
)
φ
n
(
y
)
{\displaystyle K(x,y)=\sum _{n}\lambda _{n}\varphi _{n}(x)\varphi _{n}(y)}
dimana fungsi φn ortogonal dalam arti bahwa ⟨φnφm⟩ = 0 maka n ≠ m. Istilah individu dalam seri ini terkadang disebut sebagai solusi produk dasar. Namun, ada perluasan fungsi eigen yang gagal untuk menyatu dalam arti yang sesuai ke fungsi yang dapat diintegrasikan persegi: bahan yang hilang, yang memastikan konvergensi, adalah kelengkapan.
Perkembangan kedua adalah integral Lebesgue, alternatif dari integral Riemann yang diperkenalkan oleh Henri Lebesgue pada tahun 1904. Integral Lebesgue memungkinkan untuk mengintegrasikan kelas fungsi yang lebih luas. Pada tahun 1907, Frigyes Riesz dan Ernst Sigismund Fischer secara independen membuktikan bahwa
Ruang L2 of fungsi terintegralkan Lebesgue persegi adalah
Ruang metrik komplek. Sebagai konsekuensi dari interaksi antara geometri dan kelengkapan, hasil abad ke-19 Joseph Fourier, Friedrich Bessel dan Marc-Antoine Parseval pada deret trigonometri dengan mudah dibawa ke
Ruang yang lebih umum ini, menghasilkan aparatus geometris dan analitik yang sekarang biasanya dikenal sebagai teorema Riesz–Fischer.
Hasil dasar lebih lanjut dibuktikan pada awal abad ke-20. Misalnya, Teorema representasi Riesz secara independen ditetapkan oleh Maurice Fréchet dan Frigyes Riesz pada tahun 1907. John von Neumann menciptakan istilah
Ruang Hilbert abstrak dalam karyanya pada Operator Hermitian. Meskipun ahli matematika lain seperti Hermann Weyl dan Norbert Wiener telah mempelajari
Ruang Hilbert tertentu dengan sangat rinci, sering kali dari sudut pandang motivasi fisik, von Neumann memberikan perlakuan pertama yang lengkap dan aksiomatik terhadap mereka. Von Neumann kemudian menggunakannya dalam pekerjaan penting tentang dasar-dasar mekanika kuantum, dan terus bekerja dengan Eugene Wigner. Nama "
Ruang Hilbert" segera diadopsi oleh orang lain, misalnya oleh Hermann Weyl dalam bukunya tentang mekanika kuantum dan teori grup.
Signifikansi konsep
Ruang Hilbert digarisbawahi dengan kesadaran bahwa ia menawarkan salah satu formulasi matematis kuantitatif Singkatnya, status sistem mekanik kuantum adalah vektor di
Ruang Hilbert tertentu, yang dapat diamati adalah operator pertapa di
Ruang tersebut, kesimetrian dari sistem adalah operator kesatuan s, dan pengukuran adalah proyeksi ortogonal. Hubungan antara kesimetrian mekanika kuantum dan operator kesatuan memberikan dorongan untuk pengembangan kesatuan teori representasi dari grup dimulai pada tahun 1928 karya Hermann Weyl. Di sisi lain, pada awal tahun 1930-an menjadi jelas bahwa mekanika klasik dapat dijelaskan dalam istilah
Ruang Hilbert (Mekanika klasik Koopman-von Neumann) dan beberapa sifat klasik sistem dinamis dapat dianalisis menggunakan teknik
Ruang Hilbert dalam kerangka teori ergodik.
Aljabar teramati dalam mekanika kuantum secara alami adalah aljabar operator yang ditentukan pada
Ruang Hilbert, menurut formulasi mekanika matriks kuantum th Werner Heisenberg Von Neumann mulai menyelidiki operator aljabar pada tahun 1930-an, sebagai gelanggang operator di
Ruang Hilbert. Jenis aljabar yang dipelajari oleh von Neumann dan orang-orang sezamannya sekarang dikenal sebagai aljabar Von Neumann. Pada tahun 1940-an, Israel Gelfand, Mark Naimark dan Irving Segal memberikan definisi sejenis aljabar operator yang disebut C*-aljabar yang di satu sisi tidak referensi ke yang mendasari dan di sisi lain mengekstrapolasi banyak fitur berguna dari aljabar operator yang sebelumnya telah dipelajari. Teorema spektral untuk operator self-adjoint khususnya yang mendasari banyak teori
Ruang Hilbert yang ada digeneralisasikan menjadi C*-aljabar. Teknik-teknik ini sekarang menjadi dasar dalam analisis harmonik abstrak dan teori representasi.
Pelengkap dan proyeksi ortogonal
Jika S adalah himpunan bagian dari spasi
Hilbert H , himpunan vektor ortogonal ke S didefinisikan oleh
S
⊥
=
{
x
∈
H
:
⟨
x
,
s
⟩
=
0
∀
s
∈
S
}
.
{\displaystyle S^{\perp }=\left\{x\in H:\langle x,s\rangle =0\ \forall s\in S\right\}\,.}
S⊥ adalah subruang tertutup dari H (dapat dibuktikan dengan mudah menggunakan linearitas dan kontinuitas hasil kali dalam) sehingga membentuk
Ruang Hilbert sendiri. Jika V adalah subruang tertutup dari H , maka V⊥ disebut pelengkap ortogonal dari V . Faktanya, setiap x ∈ H kemudian dapat ditulis secara unik sebagai x = v + w, dengan v ∈ V dan w ∈ V⊥. Oleh karena itu, H adalah penjumlahan internal
Hilbert dari V dan V⊥.
Operator linear PV : H → H yang memetakan x ke v disebut proyeksi ortogonal ke V . Ada korespondensi satu-ke-satu natural antara himpunan semua subruang tertutup dari H dan himpunan semua operator adjoint mandiri yang dibatasi P dirumuskan P2 = P.
Maka hal ini memberikan interpretasi geometris dari PV(x): itu adalah perkiraan terbaik untuk x dengan elemen V .
Proyeksi PU dan PV disebut saling ortogonal jika PUPV = 0. Ini setara dengan U dan V ortogonal sebagai subruang dari H . Jumlah dari dua proyeksi PU dan PV adalah proyeksi hanya jika U dan V ortogonal satu sama lain, dan dalam hal itu PU + PV = PU+V. Komposit PUPV umumnya bukan proyeksi; pada kenyataannya, komposit adalah proyeksi jika dan hanya jika dua proyeksi tersebut berpindah-pindah, dan dalam kasus PUPV = PU∩V.
Dengan membatasi codomain ke
Ruang Hilbert V , proyeksi ortogonal PV memunculkan pemetaan proyeksi π : H → V; itu adalah ujung dari pemetaan inklusi
i
:
V
→
H
,
{\displaystyle i:V\to H\,,}
yang berarti bahwa
⟨
i
x
,
y
⟩
H
=
⟨
x
,
π
y
⟩
V
{\displaystyle \left\langle ix,y\right\rangle _{H}=\left\langle x,\pi y\right\rangle _{V}}
pada x ∈ V dan y ∈ H.
Norma operator dari proyeksi ortogonal PV ke subruang tertutup bukan nol V sama dengan 1:
‖
P
V
‖
=
sup
x
∈
H
,
x
≠
0
‖
P
V
x
‖
‖
x
‖
=
1
.
{\displaystyle \|P_{V}\|=\sup _{x\in H,x\not =0}{\frac {\|P_{V}x\|}{\|x\|}}=1\,.}
Oleh karena itu, setiap subruang tertutup V dari
Ruang Hilbert adalah citra operator P dari norma satu sehingga P2 = P. Properti memiliki operator proyeksi yang sesuai menjadi ciri
Ruang Hilbert:
Ruang Banach dengan dimensi lebih tinggi dari 2 adalah (secara isometrik)
Ruang Hilbert jika dan hanya jika, untuk setiap subruang tertutup V , terdapat operator PV dari norma satu yang citranya adalah V maka P2V = PV.
Sementara hasil ini mencirikan struktur metrik
Ruang Hilbert, struktur
Ruang Hilbert sebagai
Ruang vektor topologis itu sendiri dapat dicirikan dalam hal keberadaan komponen:
Spasi Banach X secara topologi dan linier isomorfik ke
Ruang Hilbert jika dan hanya jika, untuk setiap subruang tertutup V , ada subruang tertutup W sedemikian rupa sehingga X sama dengan jumlah langsung internal V ⊕ W.
Pelengkap ortogonal memenuhi beberapa hasil yang lebih mendasar. Ini adalah fungsi monoton dalam arti jika U ⊂ V, kemudian V⊥ ⊆ U⊥ dengan kepemilikan persamaan jika dan hanya jika V terdapat dalam penutupan dari U . Hasil ini adalah kasus khusus dari Teorema Hahn–Banach. Penutupan subruang dapat sepenuhnya dicirikan dalam istilah komplemen ortogonal: jika V adalah subruang dari H , maka penutupan dari V sama dengan V⊥⊥. Jadi, komplemen ortogonal adalah koneksi Galois pada urutan parsial dari subruang
Ruang Hilbert. Secara umum, komplemen ortogonal dari sejumlah subruang adalah perpotongan dari komplemen:
(
∑
i
V
i
)
⊥
=
⋂
i
V
i
⊥
.
{\displaystyle \left(\sum _{i}V_{i}\right)^{\perp }=\bigcap _{i}V_{i}^{\perp }\,.}
Jika Vi juga ditutup, maka
∑
i
V
i
⊥
¯
=
(
⋂
i
V
i
)
⊥
.
{\displaystyle {\overline {\sum _{i}V_{i}^{\perp }}}=\left(\bigcap _{i}V_{i}\right)^{\perp }\,.}
Teori spektral
Ada teori spektral yang dikembangkan dengan baik untuk operator self-adjoint di
Ruang Hilbert, yang secara kasar dapat dianalogikan dengan studi matriks simetris pada real atau matriks adjoint sendiri pada bilangan kompleks. Dalam pengertian yang sama, seseorang dapat memperoleh "diagonalisasi" dari operator adjoint sendiri sebagai jumlah yang sesuai (sebenarnya merupakan integral) dari operator proyeksi ortogonal.
Spektrum operator T , dilambangkan dengan σ(T), adalah himpunan bilangan kompleks λ sedemikian rupa sehingga T − λ tidak memiliki pembalikan terus menerus. Jika T dibatasi, maka spektrum selalu merupakan himpunan kompak dalam bidang kompleks, dan terletak di dalam cakram |z| ≤ Templat:Norm. Jika T adalah self-adjoint, maka spektrumnya nyata. Faktanya, itu terkandung dalam interval [m, M] dimana
m
=
inf
‖
x
‖
=
1
⟨
T
x
,
x
⟩
,
M
=
sup
‖
x
‖
=
1
⟨
T
x
,
x
⟩
.
{\displaystyle m=\inf _{\|x\|=1}\langle Tx,x\rangle \,,\quad M=\sup _{\|x\|=1}\langle Tx,x\rangle \,.}
Selain itu, m dan M keduanya sebenarnya berada dalam spektrum.
Eigenpaces dari operator T dirumuskan
H
λ
=
ker
(
T
−
λ
)
.
{\displaystyle H_{\lambda }=\ker(T-\lambda )\,.}
Tidak seperti matriks berhingga, tidak setiap elemen spektrum T harus berupa nilai eigen: operator linear T − λ mungkin hanya kekurangan invers karena tidak surjective. Elemen spektrum operator dalam pengertian umum dikenal sebagai nilai spektral . Karena nilai spektral tidak harus berupa nilai eigen, dekomposisi spektral sering kali lebih halus daripada dalam dimensi yang terbatas.
Namun, teorema spektral dari operator adjoint sendiri T mengambil bentuk yang sangat sederhana jika, sebagai tambahan, T diasumsikan jadilah operator kompak. teorema spektral untuk operator adjoint kompak menyatakan:
Operator adjoint mandiri yang ringkas T hanya memiliki banyak nilai spektral yang terhitung (atau tak terbatas). Spektrum T tidak memiliki titik batas dalam bidang kompleks kecuali mungkin nol. Eigenpaces dari T menguraikan H menjadi jumlah langsung ortogonal:
H
=
⨁
λ
∈
σ
(
T
)
H
λ
.
{\displaystyle H=\bigoplus _{\lambda \in \sigma (T)}H_{\lambda }\,.}
jika Eλ menunjukkan proyeksi ortogonal ke
Ruang eigen Hλ, then
T
=
∑
λ
∈
σ
(
T
)
λ
E
λ
,
{\displaystyle T=\sum _{\lambda \in \sigma (T)}\lambda E_{\lambda }\,,}
di mana jumlah tersebut menyatu sehubungan dengan norma di B(H).
Teorema ini memainkan peran fundamental dalam teori persamaan integral, karena banyak operator integral kompak, khususnya yang muncul dari operator
Hilbert–Schmidt.
Teorema spektral umum untuk operator self-adjoint melibatkan semacam operator bernilai integral Riemann–Stieltjes, daripada penjumlahan tak terbatas. Keluarga spektral yang terkait dengan T terkait dengan setiap bilangan riil λ sebuah operator Eλ, yang merupakan proyeksi ke
Ruang null operator (T − λ)+, dengan bagian positif dari operator adjoint ditentukan oleh
A
+
=
1
2
(
A
2
+
A
)
.
{\displaystyle A^{+}={\tfrac {1}{2}}\left({\sqrt {A^{2}}}+A\right)\,.}
Operator Eλ Apakah monoton meningkat relatif terhadap urutan parsial yang ditentukan pada operator adjoint sendiri; nilai eigen sama persis dengan diskontinuitas lompatan. Seseorang memiliki teorema spektral, yang menegaskan
T
=
∫
R
λ
d
E
λ
.
{\displaystyle T=\int _{\mathbb {R} }\lambda \,\mathrm {d} E_{\lambda }\,.}
Integral dipahami sebagai integral Riemann–Stieltjes, konvergen sehubungan dengan norma di B(H). Secara khusus, seseorang memiliki representasi integral nilai skalar biasa
⟨
T
x
,
y
⟩
=
∫
R
λ
d
⟨
E
λ
x
,
y
⟩
.
{\displaystyle \langle Tx,y\rangle =\int _{\mathbb {R} }\lambda \,\mathrm {d} \langle E_{\lambda }x,y\rangle \,.}
Dekomposisi spektral yang agak mirip berlaku untuk operator normal, meskipun karena spektrum sekarang mungkin berisi bilangan kompleks non-nyata, ukuran Stieltjes yang dihargai operator dEλ sebagai gantinya harus diganti dengan resolusi identitas.
Aplikasi utama dari metode spektral adalah teorema pemetaan spektral, yang memungkinkan seseorang untuk diterapkan ke operator adjoint mandiri T fungsi kompleks berkelanjutan apa pun f yang ditentukan pada spektrum T ' ' dengan membentuk integral
f
(
T
)
=
∫
σ
(
T
)
f
(
λ
)
d
E
λ
.
{\displaystyle f(T)=\int _{\sigma (T)}f(\lambda )\,\mathrm {d} E_{\lambda }\,.}
Kalkulus fungsional berkelanjutan yang dihasilkan memiliki aplikasi khususnya untuk operator pseudodiferensial.
Teori spektral operator self-adjoint tidak terbatas hanya sedikit lebih sulit daripada operator terikat. Spektrum operator tak terbatas didefinisikan dengan cara yang persis sama: λ adalah nilai spektral jika operator penyelesai
R
λ
=
(
T
−
λ
)
−
1
{\displaystyle R_{\lambda }=(T-\lambda )^{-1}}
gagal menjadi operator berkelanjutan yang terdefinisi dengan baik. Penyesuaian diri T masih menjamin bahwa spektrumnya riil. Dengan demikian, gagasan penting untuk bekerja dengan operator tak terbatas adalah untuk melihat resolvent Rλ dimana λ tidak nyata. Ini adalah operator normal terbatas , yang mengakui representasi spektral yang kemudian dapat ditransfer ke representasi spektral dari T . Strategi serupa digunakan, misalnya, untuk mempelajari spektrum operator Laplace: daripada menangani operator secara langsung, seseorang malah terlihat sebagai resolvent terkait.
Versi tepat dari teorema spektral dalam kasus ini adalah:
Diketahui operator adjoint mandiri yang didefinisikan secara padat T pada spasi
Hilbert H , terdapat kesamaan resolusi identitas E pada himpunan Borel
⟨
T
x
,
y
⟩
=
∫
R
λ
d
E
x
,
y
(
λ
)
{\displaystyle \langle Tx,y\rangle =\int _{\mathbb {R} }\lambda \,\mathrm {d} E_{x,y}(\lambda )}
pada x ∈ D(T) and y ∈ H. Ukuran spektral E terkonsentrasi pada spektrum T .
Ada juga versi teorema spektral yang berlaku untuk operator normal tak terbatas.
Dalam budaya populer
Thomas Pynchon memperkenalkan karakter fiksi, Sammy
Hilbert-Spaess (plesetan dari "
Ruang Hilbert"), dalam novel tahun 1973, Gravity's Rainbow.
Hilbert-Spaess pertama kali digambarkan sebagai "agen ganda di mana-mana" dan kemudian sebagai "setidaknya agen ganda". Novel tersebut sebelumnya telah mereferensikan karya sesama matematikawan Jerman Kurt Gödel Teorema Ketidaklengkapan, yang menunjukkan bahwa Program
Hilbert, rencana formal
Hilbert untuk menyatukan matematika menjadi satu set aksioma, tidak mungkin.
Lihat pula
Ruang Banach –
Ruang vektor dengan metrik yang memungkinkan penghitungan panjang vektor dan jarak antara vektor dan lengkap dalam arti bahwa urutan Cauchy vektor selalu konvergen ke batas yang didefinisikan dengan baik yang ada di dalam
Ruang
Teorema dasar
Ruang Hilbert – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Ruang Hadamard – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Aljabar
Hilbert – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Hilbert modul-C* – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
lipatan
Hilbert – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Produk L-semi-dalam – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Ruang vektor topologis konveks lokal – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Teori operator – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Topologi operator – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Rijet
Ruang Hilbert – metode aljabar vektor dan kalkulus dari dua dimensi bidang Euclidean dan
Ruang tiga dimensi ke
Ruang dengan berhingga atau tak hingga
Ruang vektor topologis – salah satu struktur dasar yang diteliti dalam analisis fungsional
Catatan
= Keterangan
=
= Kutipan
=
= Referensi
=
Pranala luar
Media tentang
Hilbert space di Wikimedia Commons
Hazewinkel, Michiel, ed. (2001) [1994], "
Hilbert space", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Hilbert space at Mathworld
245B, notes 5:
Hilbert spaces by Terence Tao
Templat:Analisis Fungsional
Templat:
Ruang Hilbert
