泡利矩陣

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

$\begin{array}{cc}{\sigma }_1={\sigma }_x& =\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right]\\ {\sigma }_2={\sigma }_y& =\left[\begin{array}{cc}0& -i\\ i& 0\end{array}\right]\\ {\sigma }_3={\sigma }_z& =\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right]\end{array}$

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

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

數學性質

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

${\sigma }_a=\left[\begin{array}{cc}{\delta }_{a3}& {\delta }_{a1}-i{\delta }_{a2}\\ {\delta }_{a1}+i{\delta }_{a2}& -{\delta }_{a3}\end{array}\right]$

其中Template:Math是克羅內克δ函數。當a=b時，其值為1；當a≠b時，其值為0。

本徵值和本徵向量

這些矩陣是對合的：

${\sigma }_1^2={\sigma }_2^2={\sigma }_3^2=-i{\sigma }_1{\sigma }_2{\sigma }_3=\left[\begin{array}{cc}1& 0\\ 0& 1\end{array}\right]=I$

其中I是單位矩陣。

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

$\begin{array}{cc}\det ({\sigma }_i)& =-1\\ \mathrm{tr}({\sigma }_i)& =0\end{array}$

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

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

$\begin{array}{cccc}{\psi }_{x+}=\frac{1}{\sqrt{2}}& \left[\begin{array}{c}1\\ 1\end{array}\right]& {\psi }_{x-}=\frac{1}{\sqrt{2}}& \left[\begin{array}{c}1\\ -1\end{array}\right]\\ {\psi }_{y+}=\frac{1}{\sqrt{2}}& \left[\begin{array}{c}1\\ i\end{array}\right]& {\psi }_{y-}=\frac{1}{\sqrt{2}}& \left[\begin{array}{c}1\\ -i\end{array}\right]\\ {\psi }_{z+}=& \left[\begin{array}{c}1\\ 0\end{array}\right]& {\psi }_{z-}=& \left[\begin{array}{c}0\\ 1\end{array}\right]\end{array}$

包立向量

包立向量定義為：

$\overrightarrow{\sigma }={\sigma }_1\hat{x}+{\sigma }_2\hat{y}+{\sigma }_3\hat{z}$

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

$\begin{array}{cc}\overrightarrow{a}\cdot \overrightarrow{\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{array}$

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

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

對易關係

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

$[{\sigma }_a,{\sigma }_b]=2i{\epsilon }_{abc}{\sigma }_c,$

以及以下的反對易關係。

$\{{\sigma }_a,{\sigma }_b\}=2{\delta }_{ab}I$。

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

和內積、外積的關係

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

$\begin{array}{cc}[{\sigma }_a,{\sigma }_b]+\{{\sigma }_a,{\sigma }_b\}& =({\sigma }_a{\sigma }_b-{\sigma }_b{\sigma }_a)+({\sigma }_a{\sigma }_b+{\sigma }_b{\sigma }_a)\\ 2i\sum _c{\epsilon }_{abc}{\sigma }_c+2{\delta }_{ab}I& =2{\sigma }_a{\sigma }_b\end{array}$

因此可得：

${\sigma }_a{\sigma }_b=i\sum _c{\epsilon }_{abc}{\sigma }_c+{\delta }_{ab}I$

為了避免符號重複，將a, b, c改成p, q, r，然後把上式和三維向量a_p和b_q內積，可得：

$\begin{array}{cc}{a}_p{b}_q{\sigma }_p{\sigma }_q& =a_p{b}_q(i\sum _r{\epsilon }_{pqr}{\sigma }_r+{\delta }_{pq}I)\\ a_p{\sigma }_p{b}_q{\sigma }_q& =i\sum _r{\epsilon }_{pqr}{a}_p{b}_q{\sigma }_r+a_p{b}_q{\delta }_{pq}I\end{array}$

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

$(\overrightarrow{a}\cdot \overrightarrow{\sigma })(\overrightarrow{b}\cdot \overrightarrow{\sigma })=(\overrightarrow{a}\cdot \overrightarrow{b})I+i(\overrightarrow{a}\times \overrightarrow{b})\cdot \overrightarrow{\sigma }$

包立向量的指數

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

$(\hat{n}\cdot \overrightarrow{\sigma }{)}^{2n}=I$

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

$(\hat{n}\cdot \overrightarrow{\sigma }{)}^{2n+1}=\hat{n}\cdot \overrightarrow{\sigma }$

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

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

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

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

完備性關係

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

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

${\overrightarrow{\sigma }}_{\alpha \beta }\cdot {\overrightarrow{\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的單位矩陣可做為所有2×2矩陣在希爾伯特空間中的正交基底，表示任何一個複係數矩陣M皆可表示為：

$M=c𝐈+\sum _i{a}_i{\sigma }^i$

其中c是一複數，a_i是一複向量中的三個係數。

利用之前給的關係式，容易證明：

$\mathrm{t}\mathrm{r}{\sigma }^i{\sigma }^j=2{\delta }_{ij}$

"tr"表示對該矩陣取其跡，因此，$c=\frac{1}{2}\mathrm{t}\mathrm{r}M$和$a_i=\frac{1}{2}\mathrm{t}\mathrm{r}{\sigma }^{i}M$成立。

故，

$2M=I\mathrm{t}\mathrm{r}M+\sum _i{\sigma }^i\mathrm{t}\mathrm{r}{\sigma }^{i}M$

用矩陣的標號表示的話就成為：

$2M_{\alpha \beta }={\delta }_{\alpha \beta }{M}_{\gamma \gamma }+\sum _i{\sigma }_{\alpha \beta }^i{\sigma }_{\gamma \delta }^i{M}_{\delta \gamma }$

在等號右邊，針對了兩個重複出現的標號γ和δ，使用了愛因斯坦求和約定。而因為這關係對所有矩陣M都成立，因此要證的完備性關係必然成立。

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

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

和換位算符的關係

令算符Template:Math為換位算符（或稱為置換算符）。對於兩個在張量積空間Template:Math中的自旋Template:Math和Template:Math該算符有：

$P_{ij}|{\sigma }_i{\sigma }_j⟩=|{\sigma }_j{\sigma }_i⟩$

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

$P_{ij}=\frac{1}{2}({\overrightarrow{\sigma }}_i\cdot {\overrightarrow{\sigma }}_j+1)$

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

SU (2)

四元數與包立矩陣

Template:Math的實數張成與四元數Template:Math的實代數同構，可透過下列映射得到對應關係（注意到包立矩陣的負號）：

$1\mapsto I,𝐢\mapsto -{\sigma }_2{\sigma }_3=-i{\sigma }_1,𝐣\mapsto -{\sigma }_3{\sigma }_1=-i{\sigma }_2,𝐤\mapsto -{\sigma }_1{\sigma }_2=-i{\sigma }_3.$

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

$1\mapsto I,𝐢\mapsto i{\sigma }_3,𝐣\mapsto i{\sigma }_2,𝐤\mapsto i{\sigma }_1.$

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

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

相關條目

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

參考文獻

延伸閱讀

• Template:Cite book
• Template:Cite book
• Template:Cite book