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).