Keadaan suatu sistem fisis mikroskopik dalam mekanika kuantum diwakili oleh vektor keadaan (state vector) dalam ruang Hilbert H.
Apa yang dimaksud dengan ruang Hilbert H?
Ruang H adalah ruang vektor kompleks yang memenuhi sifat - sifat berikut :
A. H adalah ruang vektor linier.
B. H dibekali dengan hasilkali skalar (scalar product)
C. H separabel
D. H adalah ruang vektor yang komplit.
A. Ruang vektor linier(1)
Andaikan H adalah sebarang himpunan yang terdiri atas himpunan vektor dan himpunan skalar . H disebut ruang vektor linier jika dalam H didefinisikan operasi penjumlahan vektor dan perkalian skalar sedemikian rupa sehingga dipenuhi sifat - sifat berikut :
a. dan maka . Bentuk seperti ini biasa disebut sifat abelian, tertutup, atau bisa juga disebut klosur.
b. Berlaku sifat komutatif. Untuk dipenuhi
c. Berlaku sifat asosiatif. Untuk dipenuhi sifat
d. Terdapat vektor nol sedemikian sehingga berlaku
e. Terdapat invers (lawan) terdapat sedemikian sehingga.
f. dan maka juga merupakan anggota ruang Hilbert.
g. Berlaku sifat distributif, dan dipenuhi . Juga, untuk dipenuhi
h. Berlaku sifat asosiatif, dan dipenuhi
i. Terdapat unsur satuan (unitary) sedemikian sehingga berlaku
j. Terdapat unsur nol sedemikian sehingga untuk dipenuhi .
B.Produk (hasil kali) skalar antara dua buah vektor(2)
Produk (hasil kali) skalar atau hasil kali titik sebuah vektor didefinisikan oleh :
Sifat - sifat produk skalar :
1. untuk .
Bukti :
2. Linier terhadap yang kedua dan antilinier terhadap yang pertama.
Misal,
maka
Dan jika
maka
dengan adalah konjugat kompleks dari dan .
3. Produk skalar dengan dirinya sendiri adalah bilangan real positif.
.
C.Ruang Hilbert bersifat separabel
Terdapat barisan Cauchy(3) sedemikian sehingga dan terdapat minimal satu unsur sehingga dipenuhi .
D. H bersifat komplit
Setiap barisan Cauchy kovergen menuju salah satu unsur H.
Catatan :
(1) Jika bilangan skalarnya kompleks disebut ruang vektor kompleks. Adapun ruang yang hanya mempunyai sifat pertama ini saja disebut ruang Pra-Hilbert.
(2) Kadang - kadang ditulis . Dirac menggunakan notasi lain untuk mendeskripsikan operasi ini, yakni . Notasi ini disebut bra-ket. Keterangan lebih lanjut di bagian 3.
(3) Untuk mudahnya, barisan Cauchy adalah barisan yang divergen ( semakin kecil dan mendekati nilai tertentu).