Rearuh

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

σ1=σx=(0110)σ2=σy=(0−ii0)σ3=σz=(100−1){displaystyle {begin{aligned}sigma _{1}=sigma _{x}&={begin{pmatrix}0&1\1&0end{pmatrix}}\sigma _{2}=sigma _{y}&={begin{pmatrix}0&-i\i&0end{pmatrix}}\sigma _{3}=sigma _{z}&={begin{pmatrix}1&0\0&-1end{pmatrix}}end{aligned}}}

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

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

數學性質

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

σa=(δa3δa1−iδa2δa1+iδa2−δa3){displaystyle sigma _{a}={begin{pmatrix}delta _{a3}&delta _{a1}-idelta _{a2}\delta _{a1}+idelta _{a2}&-delta _{a3}end{pmatrix}}}

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

本徵值和本徵向量

這些矩陣是對合的：

σ12=σ22=σ32=−iσ1σ2σ3=(1001)=I{displaystyle sigma _{1}^{2}=sigma _{2}^{2}=sigma _{3}^{2}=-isigma _{1}sigma _{2}sigma _{3}={begin{pmatrix}1&0\0&1end{pmatrix}}=I}

其中I是單位矩陣。

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

det(σi)=−1tr⁡(σi)=0{displaystyle {begin{aligned}det(sigma _{i})&=-1\operatorname {tr} (sigma _{i})&=0end{aligned}}}

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

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

ψx+=12(11)ψx−=12(1−1)ψy+=12(1i)ψy−=12(1−i)ψz+=(10)ψz−=(01).{displaystyle {begin{array}{lclc}psi _{x+}=displaystyle {frac {1}{sqrt {2}}}!!!!!&{begin{pmatrix}{1}\{1}end{pmatrix}}&psi _{x-}=displaystyle {frac {1}{sqrt {2}}}!!!!!&{begin{pmatrix}{1}\{-1}end{pmatrix}}\psi _{y+}=displaystyle {frac {1}{sqrt {2}}}!!!!!&{begin{pmatrix}{1}\{i}end{pmatrix}}&psi _{y-}=displaystyle {frac {1}{sqrt {2}}}!!!!!&{begin{pmatrix}{1}\{-i}end{pmatrix}}\psi _{z+}=&{begin{pmatrix}{1}\{0}end{pmatrix}}&psi _{z-}=&{begin{pmatrix}{0}\{1}end{pmatrix}}.end{array}}}

包立向量

包立向量定義為：

σ→=σ1x^+σ2y^+σ3z^{displaystyle {vec {sigma }}=sigma _{1}{hat {x}}+sigma _{2}{hat {y}}+sigma _{3}{hat {z}},}

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

a→⋅σ→=(aix^i)⋅(σjx^j)=aiσjx^i⋅x^j=aiσjδij=aiσi{displaystyle {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}}}

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

deta→⋅σ→=−a→⋅a→=−|a→|2{displaystyle det {vec {a}}cdot {vec {sigma }}=-{vec {a}}cdot {vec {a}}=-|{vec {a}}|^{2}}。

對易關係

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

[σa,σb]=2iεabcσc,{displaystyle [sigma _{a},sigma _{b}]=2ivarepsilon _{abc},sigma _{c},,}

以及以下的反對易關係。

{σa,σb}=2δabI{displaystyle {sigma _{a},sigma _{b}}=2delta _{ab},I}。

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

和內積、外積的關係

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

[σa,σb]+{σa,σb}=(σaσb−σbσa)+(σaσb+σbσa)2i∑cεabcσc+2δabI=2σaσb{displaystyle {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})\2isum _{c}varepsilon _{abc},sigma _{c}+2delta _{ab}I&=2sigma _{a}sigma _{b}end{aligned}}}

因此可得：

σaσb=i∑cεabcσc+δabI{displaystyle sigma _{a}sigma _{b}=isum _{c}varepsilon _{abc},sigma _{c}+delta _{ab}I}

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

apbqσpσq=apbq(i∑rεpqrσr+δpqI)apσpbqσq=i∑rεpqrapbqσr+apbqδpqI{displaystyle {begin{aligned}a_{p}b_{q}sigma _{p}sigma _{q}&=a_{p}b_{q}left(isum _{r}varepsilon _{pqr},sigma _{r}+delta _{pq}Iright)\a_{p}sigma _{p}b_{q}sigma _{q}&=isum _{r}varepsilon _{pqr},a_{p}b_{q}sigma _{r}+a_{p}b_{q}delta _{pq}Iend{aligned}}}

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

(a→⋅σ→)(b→⋅σ→)=(a→⋅b→)I+i(a→×b→)⋅σ→{displaystyle ({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 }}}

包立向量的指數

令a→=an^{displaystyle {vec {a}}=a{hat {n}}}，而且|n^|=1{displaystyle |{hat {n}}|=1}對於偶數n可得：

(n^⋅σ→)2n=I{displaystyle ({hat {n}}cdot {vec {sigma }})^{2n}=I,}

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

(n^⋅σ→)2n+1=n^⋅σ→{displaystyle ({hat {n}}cdot {vec {sigma }})^{2n+1}={hat {n}}cdot {vec {sigma }},}

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

eia(n^⋅σ→)=∑n=0∞in[a(n^⋅σ→)]nn!=∑n=0∞(−1)n(an^⋅σ→)2n(2n)!+i∑n=0∞(−1)n(an^⋅σ→)2n+1(2n+1)!=I∑n=0∞(−1)na2n(2n)!+in^⋅σ→(∑n=0∞(−1)na2n+1(2n+1)!){displaystyle {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)!}}+isum _{n=0}^{infty }{frac {(-1)^{n}(a{hat {n}}cdot {vec {sigma }})^{2n+1}}{(2n+1)!}}\&=Isum _{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{displaystyle cos {a}}，第二項括號裡的總和是sin⁡a{displaystyle sin {a}}，於是：

eia(n^⋅σ→)=Icos⁡a+i(n^⋅σ→)sin⁡a{displaystyle e^{ia({hat {n}}cdot {vec {sigma }})}=Icos {a}+i({hat {n}}cdot {vec {sigma }})sin {a},}

(2)

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

完備性關係

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

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

σ→αβ⋅σ→γδ≡∑i=13σαβiσγδi=2δαδδβγ−δαβδγδ.{displaystyle {vec {sigma }}_{alpha beta }cdot {vec {sigma }}_{gamma delta }equiv sum _{i=1}^{3}sigma _{alpha beta }^{i}sigma _{gamma delta }^{i}=2delta _{alpha delta }delta _{beta gamma }-delta _{alpha beta }delta _{gamma delta }.,}

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

∑i=03σαβiσγδi=2δαδδβγ{displaystyle sum _{i=0}^{3}sigma _{alpha beta }^{i}sigma _{gamma delta }^{i}=2delta _{alpha delta }delta _{beta gamma },}.

和換位算符的關係

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

Pij|σiσj⟩=|σjσi⟩{displaystyle P_{ij}|sigma _{i}sigma _{j}rangle =|sigma _{j}sigma _{i}rangle ,}

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

Pij=12(σ→i⋅σ→j+1){displaystyle P_{ij}={tfrac {1}{2}}({vec {sigma }}_{i}cdot {vec {sigma }}_{j}+1),}

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

SU (2)

四元數與包立矩陣

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

1↦I,i↦−iσ1,j↦−iσ2,k↦−iσ3.{displaystyle 1mapsto I,quad imapsto -isigma _{1},quad jmapsto -isigma _{2},quad kmapsto -isigma _{3}.}

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

1↦I,i↦iσ3,j↦iσ2,k↦iσ1.{displaystyle 1mapsto I,quad imapsto isigma _{3},quad jmapsto isigma _{2},quad kmapsto isigma _{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.