Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş · 3. Ünite: Kuantum Mekaniğinin Matematiksel Altyapısı
Operatörler ve Gözlemlenebilirler
Ünite 2'de konum, momentum ve enerjiye $x$, $-i\hbar\,\partial/\partial x$ ve $\hat{H}$ operatörlerini karşılık getirdik ve beklenen değerleri integrallerle hesapladık. Bu konuda bu reçetenin arkasındaki yapıyı kuruyoruz: her gözlemlenebilir Hilbert uzayında Hermityen bir operatördür; ölçümün olası sonuçları onun özdeğerleri, olasılıkları özvektörlere izdüşümlerdir ve ölçüm durumu bir özvektöre çökertir. Hermityen operatörlerin özdeğerlerinin gerçel, özvektörlerinin ortogonal olduğunu ispatlayacak, spektral ayrışımı kuracak ve genelleştirilmiş istatistik yorumu hem $2\times2$ spin matrislerine hem $\hat{x}$, $\hat{p}$ gibi sürekli spektrumlu operatörlere uygulayacağız. Sonunda bir matrisin gözlemlenebilir olup olmadığına karar verebilecek, özdeğer ve özvektörlerini bulup ölçüm olasılıklarını, beklenen değeri ve ölçüm sonrası durumu hesaplayabileceksin.
Öğrenme hedefleri
- Bir operatörün eşleniğini $\langle\phi|\hat{A}\psi\rangle = \langle\hat{A}^\dagger\phi|\psi\rangle$ tanımıyla bulur; matrislerde eşlenik devriği, $L^2$'de kısmi integrasyonu kullanarak $\hat{p}$'nin Hermityen, $d/dx$'in Hermityen olmadığını gösterir.
- Hermityen bir operatörün özdeğerlerinin gerçel olduğunu ve farklı özdeğerlere ait özvektörlerin ortogonal olduğunu ispatlar.
- $2\times2$ Hermityen bir matrisin özdeğer ve normalize özvektörlerini hesaplar ve spektral ayrışımı $\hat{A} = \sum_i\lambda_i|v_i\rangle\langle v_i|$ olarak yazıp doğrular.
- Ölçüm postülasını uygular: sonuç olasılıklarını $P(\lambda) = \langle\psi|\hat{P}_\lambda|\psi\rangle$, beklenen değeri $\langle\hat{A}\rangle = \langle\psi|\hat{A}|\psi\rangle = \sum\lambda P(\lambda)$ ve ölçüm sonrası (çökmüş) durumu hesaplar.
- Dejenere özdeğerlerde izdüşümün bir alt uzaya yapıldığını açıklar ve ölçüm sonrası durumu bu alt uzayda bulur.
- Sürekli spektrumlu $\hat{x}$ ve $\hat{p}$ için özketleri, olasılık yoğunluklarını ve aralık olasılıklarını genelleştirilmiş istatistik yorumla ifade eder.
Konu anlatımı
Bağlam: Ölçülen Nicelik Neden Bir Operatördür?
Lineer Operatörler ve Eşlenik (Adjoint)
Hermityen Operatörlerin Özdeğer Teoremleri
Spektral Ayrışım ve 2×2 Özdeğer Problemi
Genelleştirilmiş İstatistik Yorum: Ölçüm Postülası
Sürekli Spektrum: Konum ve Momentum Operatörleri
Çözümlü Örnekler
Sık Yapılan Hatalar ve Kavram Yanılgıları
Simülasyon ve Bağlantılar
Anahtar terimler
- Lineer operatör (linear operator)
- Ketleri ketlere götüren ve süperpozisyonu koruyan dönüşüm; çarpımları genelde değişmeli değildir.
- Eşlenik operatör (adjoint)
- $\langle\phi|\hat{A}\psi\rangle = \langle\hat{A}^\dagger\phi|\psi\rangle$ ile tanımlı $\hat{A}^\dagger$; matriste eşlenik devrik, $(\hat{A}\hat{B})^\dagger = \hat{B}^\dagger\hat{A}^\dagger$.
- Hermityen operatör (Hermitian)
- $\hat{A}^\dagger = \hat{A}$; özdeğerleri gerçel, farklı özdeğerlere ait özvektörleri ortogonaldir. Gözlemlenebilirler bu sınıftandır.
- Özdeğer ve özvektör (eigenvalue, eigenvector)
- $\hat{A}|v\rangle = \lambda|v\rangle$; ölçümün olası sonuçları özdeğerler, kesin sonuçlu durumlar özvektörlerdir.
- Spektral ayrışım (spectral decomposition)
- $\hat{A} = \sum_\lambda\lambda\hat{P}_\lambda$; özuzay izdüşümleriyle yazım. $f(\hat{A}) = \sum f(\lambda)\hat{P}_\lambda$ operatör fonksiyonlarını tanımlar.
- Ölçüm postülası (measurement postulate)
- Sonuç bir özdeğerdir; olasılığı $\langle\psi|\hat{P}_\lambda|\psi\rangle$; ölçümden sonra durum $\hat{P}_\lambda|\psi\rangle$'nin normalize hâline çöker.
- Beklenen değer (expectation value)
- $\langle\hat{A}\rangle = \langle\psi|\hat{A}|\psi\rangle = \sum\lambda P(\lambda)$: çok sayıda özdeş sistemde ölçüm sonuçlarının ortalaması; genelde bir özdeğer değildir.
- Dejenerelik (degeneracy)
- Bir özdeğere birden fazla bağımsız özvektörün karşılık gelmesi; ölçüm bu özdeğerin özuzayına izdüşüm yapar.
- Sürekli spektrum (continuous spectrum)
- $\hat{x}$ ve $\hat{p}$ gibi her gerçel değeri özdeğer olan operatörler; özketleri normalize edilemez ($\delta$ normalizasyonu), olasılık yoğunluk olarak verilir.
- Pauli matrisleri
- $\sigma_x, \sigma_y, \sigma_z$; $I$ ile birlikte $2\times2$ Hermityen matrislerin gerçel tabanı. $\hat{S}_i = (\hbar/2)\sigma_i$.
Örnek soru
Aşağıdaki matrislerden hangisi bir gözlemlenebiliri temsil edebilir (Hermityendir)?
- $\begin{pmatrix}2 & 1 - i\\ 1 + i & -1\end{pmatrix}$
- $\begin{pmatrix}2 & 1 - i\\ 1 - i & -1\end{pmatrix}$
- $\begin{pmatrix}2i & 1\\ 1 & 0\end{pmatrix}$
- $\begin{pmatrix}0 & i\\ i & 0\end{pmatrix}$
- $\begin{pmatrix}1 & 2\\ 3 & 1\end{pmatrix}$
Doğru cevap: A
Çözüm
1. Hermitlik koşulu $A_{ij} = A_{ji}^*$: köşegen gerçel, $A_{10} = A_{01}^*$.
2. A: köşegen $2, -1$ gerçel; $A_{10} = 1 + i = (1 - i)^*$. Hermityen.
3. B simetriktir ama $A_{10} = 1 - i \neq (1 - i)^*$; C'de köşegen sanal; D simetrik ama $A^\dagger = -A$ (anti-Hermityen, özdeğerleri $\pm i$); E'de $3 \neq 2^*$.
B en güçlü çeldiricidir: "simetrik = Hermityen" yalnızca gerçel matrisler için doğrudur.
Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş: tüm konular