包立矩陣

在數學和數學物理中，**包立矩陣**是一組三個 2×2 的么正厄米複矩陣，一般都以希臘字母 σ 來表示，但有時當他們在和同位旋的對稱性做連結時，會被寫成 τ。他們在包立表像（σz 表像）可以寫成：

　
: ${\begin{aligned}\sigma _{1}=\sigma _{x}&={\begin{bmatrix}0&1\\1&0\end{bmatrix}}\\\sigma _{2}=\sigma _{y}&={\begin{bmatrix}0&-i\\i&0\end{bmatrix}}\\\sigma _{3}=\sigma _{z}&={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}\end{aligned}}$

這些矩陣是以物理學家沃爾夫岡・包立命名的。在量子力學中，它們出現在包立方程式中描述磁場和自旋之間交互作用的一項。所有的包立矩陣都是厄米矩陣，它們和單位矩陣 I（有時候又被稱為為第零號包立矩陣 _σ_0），的線性張成為 2×2 厄米矩陣的向量空間。

從量子力學的角度來看，埃爾米特矩陣（算符）代表可觀測的物理量，因此，σk, _k_= 0,1,2,3 的線性張成代表所有作用在二維希爾伯特空間的物理量所形成的空間。從包立本人的的研究來看，σk , _k_=1,2,3 所代表的物理量是自旋在三維歐幾里得空間ℝ3 中第 _k_ 個座標軸的投影分量。

## 數學性質

三個包立矩陣可以共同用一種單一形式表達：

　
: $\sigma _{a}={\begin{bmatrix}\delta _{a3}&\delta _{a1}-i\delta _{a2}\\\delta _{a1}+i\delta _{a2}&-\delta _{a3}\end{bmatrix}}$

其中 _δab_ 是克羅內克 _δ_ 函數。當 _a_=_b_ 時，其值為 1；當 _a_≠_b_ 時，其值為 0。

### 本徵值和本徵向量

這些矩陣是對合的：

　
: $\sigma _{1}^{2}=\sigma _{2}^{2}=\sigma _{3}^{2}=-i\sigma _{1}\sigma _{2}\sigma _{3}={\begin{bmatrix}1&0\\0&1\end{bmatrix}}=I$

其中 _I_ 是單位矩陣。

此外，包立矩陣的行列式和它們的跡分別為：

　
: ${\begin{aligned}\det(\sigma _{i})&=-1\\\operatorname {tr} (\sigma _{i})&=0\end{aligned}}$

故從上述關係可以推得每個包立矩陣 _σ_i 的本徵值分別為 ±1。

每個包立矩陣有兩個本徵值，+1 和−1，其對應的歸一化本徵向量為：

　
: ${\begin{array}{lclc}\psi _{x+}=\displaystyle {\frac {1}{\sqrt {2}}}\!\!\!\!\!&{\begin{bmatrix}{1}\\{1}\end{bmatrix}}&\psi _{x-}=\displaystyle {\frac {1}{\sqrt {2}}}\!\!\!\!\!&{\begin{bmatrix}{1}\\{-1}\end{bmatrix}}\\\psi _{y+}=\displaystyle {\frac {1}{\sqrt {2}}}\!\!\!\!\!&{\begin{bmatrix}{-i}\\{1}\end{bmatrix}}&\psi _{y-}=\displaystyle {\frac {1}{\sqrt {2}}}\!\!\!\!\!&{\begin{bmatrix}{1}\\{-i}\end{bmatrix}}\\\psi _{z+}=&{\begin{bmatrix}{1}\\{0}\end{bmatrix}}&\psi _{z-}=&{\begin{bmatrix}{0}\\{1}\end{bmatrix}}\end{array}}$

### 包立向量

包立向量定義為：

　
: ${\vec {\sigma }}=\sigma _{1}{\hat {x}}+\sigma _{2}{\hat {y}}+\sigma _{3}{\hat {z}}\,$

這個定義提供了將一般向量基底對應到包立矩陣的基底的機制

　
: ${\begin{aligned}{\vec {a}}\cdot {\vec {\sigma }}&=(a_{i}{\hat {x}}_{i})\cdot (\sigma _{j}{\hat {x}}_{j})\\&=a_{i}\sigma _{j}{\hat {x}}_{i}\cdot {\hat {x}}_{j}\\&=a_{i}\sigma _{j}\delta _{ij}\\&=a_{i}\sigma _{i}\end{aligned}}$

相同的下標是使用了愛因斯坦求和約定。此外：

　
: $\det {\vec {a}}\cdot {\vec {\sigma }}=-{\vec {a}}\cdot {\vec {a}}=-|{\vec {a}}|^{2}$ 。

### 對易關係

包立矩陣有以下的對易關係：

　
: $[\sigma _{a},\sigma _{b}]=2i\varepsilon _{abc}\,\sigma _{c}\,,$

以及以下的反對易關係。

　
: $\{\sigma _{a},\sigma _{b}\}=2\delta _{ab}\,I$ 。

其中 _εabc_ 是列維 - 奇維塔符號，_δab_ 是克羅內克函數，是 _I_ 是 2 ×2 的單位矩陣。而一樣的，上面使用了愛因斯坦求和約定。

### 和內積、外積的關係

將包立矩陣的對易和反對易相加得：

　
: ${\begin{aligned}\left[\sigma _{a},\sigma _{b}\right]+\{\sigma _{a},\sigma _{b}\}&=(\sigma _{a}\sigma _{b}-\sigma _{b}\sigma _{a})+(\sigma _{a}\sigma _{b}+\sigma _{b}\sigma _{a})\\2i\sum _{c}\varepsilon _{abc}\,\sigma _{c}+2\delta _{ab}I&=2\sigma _{a}\sigma _{b}\end{aligned}}$

因此可得：

　
: $\sigma _{a}\sigma _{b}=i\sum _{c}\varepsilon _{abc}\,\sigma _{c}+\delta _{ab}I$

為了避免符號重複，將 _a_, _b_, _c_ 改成 _p_, _q_, _r_，然後把上式和三維向量 _ap_ 和 _bq_ 內積，可得：

　
: ${\begin{aligned}a_{p}b_{q}\sigma _{p}\sigma _{q}&=a_{p}b_{q}\left(i\sum _{r}\varepsilon _{pqr}\,\sigma _{r}+\delta _{pq}I\right)\\a_{p}\sigma _{p}b_{q}\sigma _{q}&=i\sum _{r}\varepsilon _{pqr}\,a_{p}b_{q}\sigma _{r}+a_{p}b_{q}\delta _{pq}I\end{aligned}}$

將它轉換成向量積的表達式：

　
: $({\vec {a}}\cdot {\vec {\sigma }})({\vec {b}}\cdot {\vec {\sigma }})=({\vec {a}}\cdot {\vec {b}})\,I+i({\vec {a}}\times {\vec {b}})\cdot {\vec {\sigma }}$

### 包立向量的指數

令 ${\vec {a}}=a{\hat {n}}$ ，而且 $|{\hat {n}}|=1$ 對於偶數 _n_ 可得：

　
: $({\hat {n}}\cdot {\vec {\sigma }})^{2n}=I\,$

另外加上之前求得在 _n_ = 1 的情況可在 _n_ 為奇數的情況：

　
: $({\hat {n}}\cdot {\vec {\sigma }})^{2n+1}={\hat {n}}\cdot {\vec {\sigma }}\,$

利用矩陣指數的概念，加上正弦和餘弦的泰勒級數展開式，可得：

　
: ${\begin{aligned}e^{ia({\hat {n}}\cdot {\vec {\sigma }})}&=\sum _{n=0}^{\infty }{\frac {i^{n}\left[a({\hat {n}}\cdot {\vec {\sigma }})\right]^{n}}{n!}}\\&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(a{\hat {n}}\cdot {\vec {\sigma }})^{2n}}{(2n)!}}+i\sum _{n=0}^{\infty }{\frac {(-1)^{n}(a{\hat {n}}\cdot {\vec {\sigma }})^{2n+1}}{(2n+1)!}}\\&=I\sum _{n=0}^{\infty }{\frac {(-1)^{n}a^{2n}}{(2n)!}}+i{\hat {n}}\cdot {\vec {\sigma }}\left(\sum _{n=0}^{\infty }{\frac {(-1)^{n}a^{2n+1}}{(2n+1)!}}\right)\\\end{aligned}}$

第一項的總和為 $\cos {a}$ ，第二項括號裡的總和是 $\sin {a}$ ，於是：

　
:

這可以看做是歐拉公式的類比。

### 完備性關係

另一個常用來區別包立矩陣的方法是用上標 i，用不同的 i 來代表不同的包立矩陣，而下標則代表不同的矩陣元素。因此第 i 個包立矩陣的第 α 行第 β 列的元素可表示為 _σ_ iαβ

利用這種表示方法，包立矩陣的完備性關係可寫作：

　
: ${\vec {\sigma }}_{\alpha \beta }\cdot {\vec {\sigma }}_{\gamma \delta }\equiv \sum _{i=1}^{3}\sigma _{\alpha \beta }^{i}\sigma _{\gamma \delta }^{i}=2\delta _{\alpha \delta }\delta _{\beta \gamma }-\delta _{\alpha \beta }\delta _{\gamma \delta }\ $

有時習慣上將 2×2 單位舉寫成 _σ_0，也就是，_σ_0αβ = _δ_αβ。如此一來完備性關係可以更為簡潔的表示成：

　
: $\sum _{i=0}^{3}\sigma _{\alpha \beta }^{i}\sigma _{\gamma \delta }^{i}=2\delta _{\alpha \delta }\delta _{\beta \gamma }\,$

### 和換位算符的關係

令算符 _Pij_ 為換位算符（或稱為置換算符）。對於兩個在張量積空間ℂ2 ⊗ ℂ2 中的自旋 _σ_i 和 _σ_j 該算符有：

　
: $P_{ij}|\sigma _{i}\sigma _{j}\rangle =|\sigma _{j}\sigma _{i}\rangle \,$

的關係。這個算符可以更進一步的用包立矩陣來表示：

　
: $P_{ij}={\tfrac {1}{2}}({\vec {\sigma }}_{i}\cdot {\vec {\sigma }}_{j}+1)\,$

該算符有兩個本徵值，分別 1 和 - 1，這個算符可以用於代表某些哈密頓量的交互作用項，產生對稱和反對稱的本徵態分裂的效果。

## SU (2)

### 四元數與包立矩陣

{_I_, _iσ_1, _iσ_2, _iσ_3}的實數張成與四元數ℍ的實代數同構，可透過下列映射得到對應關係（注意到包立矩陣的負號）：

　
: $1\mapsto I,\quad \mathbf {i} \mapsto -\sigma _{2}\sigma _{3}=-i\sigma _{1},\quad \mathbf {j} \mapsto -\sigma _{3}\sigma _{1}=-i\sigma _{2},\quad \mathbf {k} \mapsto -\sigma _{1}\sigma _{2}=-i\sigma _{3}.$

另外一種方式的映射為將包立矩陣的次序反轉

　
: $1\mapsto I,\quad \mathbf {i} \mapsto i\sigma _{3},\quad \mathbf {j} \mapsto i\sigma _{2},\quad \mathbf {k} \mapsto i\sigma _{1}.$

既然單位四元數與 SU(2) 為群同構，此亦代表包立矩陣也可用來描述 SU(2)。從 SU(2) 到 SO(3) 的 2 對 1 同態性，也可以用包立矩陣來表述。

四元數構成可除代數 —— 所有非零元素皆有反元素，然而包立矩陣並非如此。包立矩陣生成的代數的四元數版，參見複四元數，其共有 8 個實維度。

## 相關條目

* 四元數
* 包立方程式
* 龐加萊群
* 蓋爾曼矩陣
* 代數幾何

## 參考文獻

### 延伸閱讀

* Liboff, Richard L. Introductory Quantum Mechanics. Addison-Wesley. 2002. ISBN 0-8053-8714-5.
* Schiff, Leonard I. Quantum Mechanics. McGraw-Hill. 1968. ISBN 978-0070552876.
* Leonhardt, Ulf. Essential Quantum Optics. Cambridge University Press. 2010. ISBN 0-521-14505-8.