FORMALISME

3.1 ALJABAR LINIER

Tujuan bab ini adalah untuk mengembangkan formalisme terminologi mekanika

kuantum, notasi, dan latar belakang matematika yang menerangi struktur teori, memfasilitasi
perhitungan praktis, dan memotivasi perluasan mendasar dari interpretasi statistik. Saya
mulai dengan survei singkat tentang aljabar linier1. Abstrak ljabar linier dan
menggeneralisasikan aritmatika vektor biasa, seperti yang kita temui dalam fisika pada tahun
pertama. Generalisasi ada dalam dua arah: (1) Kami mengizinkan skalars menjadi kompleks,
dan (2) kita tidak membatasi diri kita pada tiga dimensi (memang, dalam Bagian 3.2 kita akan
bekerja dengan vektor yang hidup di ruang dimensi tak terbatas).

3.1.1 Vektor

Ruang vektor terdiri dari sekumpulan vektor ( ¿ α ⟩ ,∨ β ⟩ ,∨γ ⟩ , … ), bersama dengan

sekumpulan skalar ( a , b , c , … ),2 yang dikenai pada dua operasi – penjumlahan vektor dan
perkalian skalar:

Penjumlahan vektor. "Jumlah" dari dua vektor adalah vektor lain:

¿ α ⟩ +¿ β ⟩=¿ γ ⟩

Pejumlahan vektor bersifat komutatif

¿ α ⟩ +¿ β ⟩=¿ β ⟩ +¿ α ⟩

dan asosiatif

¿ α ⟩ + ( ¿ β ⟩ +¿ γ ⟩ ) =( ¿ α ⟩ +¿ β ⟩ ) +¿ γ ⟩

Ada vektor nol (atau kosong),3 dengan sifat itu:

1
Jika Anda sudah mempelajari aljabar linier, Anda harus dapat membaca sketsa bagian ini dengan cepat, tetapi
saya tidak akan melewatkannya sama sekali, karena beberapa notasi mungkin tidak dikenal. Jika, di sisi lain,
bahan ini baru bagi Anda, diperingatkan bahwa saya hanya meringkas (seringkali tanpa bukti) aspek-aspek teori
yang akan kita butuhkan nanti. Untuk detailnya, Anda harus merujuk kepada teks aljabar linier, seperti klasik
oleh P. Halmos: Ruang Vektor Dimensi Berhingga, edisi ke-2. (Princeton, NJ: van Nostrand, 1958).
2
Untuk tujuan kita, skalar akan menjadi bilangan kompleks biasa. Matematikawan dapat memberi tahu Anda
tentang ruang vektor pada bidang yang lebih eksotis, tetapi objek tersebut tidak berperan dalam mekanika
kuantum.
3
Merupakan kebiasaan, di mana tidak ada kebingungan dapat muncul, untuk menulis vektor kosong (null) tanpa
tanda kurung menghiasi: ¿ 0 ⟩ → 0.
3.2