スピン角運動量

物理学スピン角運動量は、電子をはじめとする量子力学上の素粒子や複合粒子の固有の「角運動量」とされる波動特性である。単にスピンとも呼ばれる。

　スピンという呼称こそは古典的な物体のスピンすなわち自転に由来する。量子力学上のスピンには何かが回転しているといった意味は無いが、物体の回転と関わりがあることは否定されていない。単位は古典的スピンと同じ[N m s]や[J s]であり、多くの場合、換算プランク定数 との比である量子数で表す。

　なお、粒子の回転運動に由来する角運動量は軌道角運動量と呼ばれる。スピン角運動量と軌道角運動量の和を全角運動量と呼ぶ。

1. 概要
-----

「スピン」という名称は、この概念が広まりはじめた当時、粒子の「自転」のようなものと説明されたという歴史的理由による。このように回転するという解釈は現在は支持されていない。現在の標準模型においては電子はじめとする粒子の質量「点状」とされているため、仮に回転していたとしても物体の回転と比較できるものではないし、古典的な解釈を付け加える必要はなく無意味であるLL。ただし、磁気回転効果により、電子のスピンと物体の回転運動とが関連付けられることは肯定されている。

非相対論的な量子力学において、スピン角運動量はそれ以外のオブザーバブルとは振る舞いを異にする為にスピン角運動量を記述するためだけの理論の修正を迫られる。それに対し相対論的量子力学では、例えばディラック方程式の定義それ自身にスピンの概念が織り込まれているなど、より自然な形でスピンが定式化される。

2. スピン量子数
---------

粒子の運ぶスピン角運動量の大きさをスピン量子数という。

素粒子のスピン量子数は一定であり方向のみ変化する。
荷電粒子のスピン量子数は磁気双極子モーメントに関連付けられる。

2.1. スピン量子数による粒子分類
------------------

スピン量子数 s}} は 1/2を単位として扱われることが常であり、半整数 1/2, 3/2, …}} になる粒子はフェルミ粒子、整数 0, 1, 2, …}} になる粒子はボース粒子と区別され、両者の物理的性質は著しく異なる。

2016年現在知られている範囲において、

素粒子についてはフェルミオンのスピン量子数は全て 1/2}} である。
同じくボゾンはヒッグス粒子のみスピン量子数が 0}} であり、それ以外は 1}} である。
複合粒子のスピン量子数はそれ以外の値も取りうるが、単純に複合粒子を構成する素粒子のスピン量子数の合計値になるわけではない。例えばヘリウム原子を構成する素粒子である電子やクォークはいずれもフェルミオンであり、したがってそのスピン量子数は半整数であるが、ヘリウム原子のスピン量子数は 0}} である。s}} の値と統計性の間のこのような関係は、相対論的な場の量子論によって説明できる。

3. 歴史
-----

ナトリウムのスペクトルを観測する実験で、磁場においたD線が 2 本に分裂することが発見され、これは電子がいまだ知られていない 2 値の量子自由度があるためと考え、1925年にウーレンベックとゴーズミットは、電子は原子核の周りを公転する軌道角運動量の他に、電子が質点ではなく大きさを持ち、かつ電子自身が自転しているのではないか、という仮説をたてたUhlenbeckUhlenbeck。この仮定では、その自転の角運動量の大きさがであるとし、自転の回転方向が異なるため、公転に伴う角運動量との相互作用でエネルギー準位が2つに分裂したと考えると実験の結果をうまく説明できた。そしてこの自由度を電子のスピン角運動量と呼んだ。

ただし、実際にこの仮定通りスピン角運動量が電子の自転に由来していると考えると、電子が大きさを持ち、かつ光速を超える速度で自転していなければならないことになり、これは特殊相対論と矛盾してしまう。そのため、1925年にラルフ・クローニッヒによって提案されたものの、パウリによって否定されていた。パウリは、自転そのものを考えなければならない古典的な描像を捨て、一般の角運動量 の固有値として半整数の価が許されることに注目し、この半整数の固有値をスピン角運動量とした砂川重信。

その後発展した標準模型においても、電子は大きさ 0 の質点として扱っても実験的に高い精度で矛盾がなく、電子に内部構造があるかはわかっていない。

4. 数学的導出の方法
-----------

本稿では以下、特に断りがない限り非相対論な量子力学に対するスピンの概念について述べる。

4.1. 準備
-------

本節ではまず回転群とユニタリ群について紹介し、次にこれらの概念を使って軌道角運動量の概念を回転対称性の観点から定式化する。本節で軌道角運動量の概念を復習するのは、次節以降、軌道角運動量の定義を参考にしながらスピン角運動量の概念を定式化する為である。

4.1.1. 数学の準備
------------

スピン角運動量演算子の定義に必要な数学的知識を簡単に述べる。R}}を実数全体の集合、C}}を複素数全体の集合とする。3次元空間Rsupにおける回転行列全体の集合を

と表記する。ここで は n}} 行 n}} 列の実行列全体の集合であり、I}} は単位行列であり、t//R//}} は R}} の転置行列である。SO}} は行列の積に関して群をなすので、SO}} を3次元回転群という。

SO}} のように、「滑らかな」構造を持った群をリー群という。特にSO}} のように行列からなるリー群を行列リー群あるいは単に行列群という。本項で登場するリー群は以下の行列群に限られる。そこで本項ではリー群の一般論を展開するのは避け、以下の行列群に限定して話をすすめる。 以下でV}}は複素計量ベクトル空間であり、//I//}}は単位行列であり、//A//supは//A//}}のエルミート共役である：

3次元回転群 … ユニタリ群上の線形写像で、 … 特殊ユニタリ群上の線形写像で、 …ベクトル空間V}}がCsupである場合は、U、SU}}の事をそれぞれU、SU}}と表記する。

//G//}}をSO、U、SU}}のいずれかとするとき、集合

は Math<WtXmlEndTag /> …を//G//}}のリー環と呼び、の元を//G//}}上の無限小変換と呼ぶ。リー「環」という名称なのは、が行列の交換子積

に関して環をなすからである。SO、U、SU}}のリー環はそれぞれ、

… … …である。so}}が上述した形になるのは以下の理由による。//R//}}をSO}} 上の可微分な曲線で、1=//t//=0}} のとき単位行列となるものとすると、SO}} の定義より、

なので、その 1=//t// = 0}} での微分は

を満たす為である。u、su}}が上述の形になる事も同様の方法で証明できる。なお、ここではVが有限次元の場合を想定したが、無限次元のヒルベルト空間の場合も同様の事が成立する。

をso、u、su}}のいずれかとし、行列に対しexp}} を

…と定義すると次が成立する：

//A//∈so、u、su}}であれば、exp}} はそれぞれSO、U、SU}}の元である。 … …SO}} に関しては上述の性質を更に具体的に書き表す事ができる。3次元ベクトル 1=// =  ∈ R3}}に対し、soに属する行列//F//subを

…と定義するとH13A07次が成立するA07：

exp …ここで「×}}」はクロス積である。//G//}}、//H//}}をSO、U、SU}}のいずれかとし、、を//G//}}、//H//}}のリー環とする。。

を//G//}}から//H//}}への可微分な準同型写像とする。このとき//π//}}が誘導する写像//π//subを

…により定義すると、この写像はwell-definedになる。しかもこの写像はリー環としての準同型写像になることが知られている。すなわち

…である。

//π//}}が誘導する写像//π//subと行列の指数関数exp}}は以下の関係を満たす：

任意のに対し、 …

4.1.2. 空間の回転対称性からみた軌道角運動量演算子
----------------------------

量子力学において、波動関数全体の集合はヒルベルト空間 として記述可能であり、一粒子からなる系の場合、 は3次元ユークリッド空間 Rsup 上の//L//2}} 空間と等しい、すなわち

である。

軌道角運動量演算子は、空間の回転に対する対称性として導出されるLL。 そこで軌道角運動量演算子を導出するため、回転行列によって波動関数がどのように変化するかを調べる。3次元の回転行列全体のなすリー群を SO}} と書くとき、回転行列 //R// ∈ SO}} により座標系を回転したとき、波動関数 //ϕ//}} は //ϕ//}} に対し、波動関数の空間 上にユニタリ演算子

が定義されるA07H13。

複素計量ベクトル空間V}}上のユニタリ演算子全体のなす群をU}}とするとき、回転行列 R}} に対し複素ベ クトル空間 上のユニタリ演算子 //λ//sub を対応させる写像

を SO}} の上のユニタリ表現という。

一方、SO}} に対応する「無限小変換」全体の集合 so}} をのように定義し、に従ってλ}}が誘導する写像λsubを

そこで単位ベクトル 1=// =  ∈ Rsupに対し、//F//subをのように定義し、虚数単位 i}} と換算プランク定数//ħ//}}を用いて、

　　…と定義すると、は//L//sup上のエルミート演算子になる。この演算子は「無限小回転//F//subに対応する演算子」LLであり、この演算子を軸 1=// =  ∈ Rsupの周りの軌道角運動量演算子と呼ぶ。

例えば z}} 軸の周りの軌道角運動量 が球面座標系 }} を用いて

と表記できる事を以下のように確認できる。ψ}}を任意の波動関数とすると、、より

さらに x}} 軸、y}} 軸の周りの軌道角運動量をそれぞれ、とし、1=//F//subとすると、、より交換関係

が従う。

2つの軸に関する軌道角運動量演算子は、SO}} のユニタリ表現 //λ//}} によって結ばれる。すなわち、R}} を回転行列で z}} 軸を w}} 軸に移すものとすると、w}} 軸の周りの軌道角運動量 は合成写像

である。

4.2. スピンを考慮した場合の波動関数空間ℋの数学的定式化
------------------------------

前節まで述べたように、軌道角運動量演算子は粒子の位置を表す}}による3次元空間上の回転対称性として定義できる。それに対しスピンはそのような定式化ができない。様々な物理実験から、スピンは}}とは独立な粒子の第四の内部自由度である事が知られているからである。これが原因で、スピンを考慮した場合、波動関数全体のなすヒルベルト空間 は一粒子系であっても は//L//sup とは等しくならない。

したがってスピンを記述するには、スピンの状態ベクトルの空間//V//sub を//L//supとは別個に用意し、

を考える必要があるH13なおこのページにはではなくと書いてあるが、 が有限次元であるため両者は同一である。}}。ここで添字//s// ≥ 0}}は整数もしくは半整数であり、//V////s//}}は2//s//+1}} 次元の複素計量ベクトル空間である。

一粒子系の波動関数の空間 が上述のように表記できるとき、s}} をその粒子のスピン量子数というH13。//V////s//}} をスピノール空間A07、//V////s//}} の元をスピノールという。s}} が整数ではない半整数になるときその粒子をフェルミオンといい、s}} が整数になるときその粒子をボゾンという。

4.2.1. スピンを考慮した波動関数の記述方法
------------------------

スピンを考慮した波動関数 の表記には次の2通りが多用される。

4.2.1.1. 成分表示
-------------

テンソル積の定義より、波動関数は

　　　　　…という形に成分表示できる。ここではLsupの元であり、//σ//sub は //V//sub の元すなわちスピノールである。そこで、

と定義すれば、

である。この形はスピン が }} とは独立である事がわかりやすい。

4.2.1.2. スピノール表示
----------------

スピンを考慮した波動関数 //ψ//}}  に対し、//ψ//}} を

と定義する。なお上式の「・」はベクトル //σ//sub の各成分にスカラー を乗じるいわゆる内積。スピンなし波動関数が1次元複素計量ベクトル空間 C}} に値を取るのに対し、//ψ//}} は 2//s//+1}} 次元複素計量ベクトル空間 //sub に値を取る。このように //V//sub に値を取る波動関数とみなす記述はスピノール表示と呼ばれる。

スピノールを成分表示することがある。//e//−//s//, //e//−, …, //e////s// − 1, //e////s//}} を//V//subの基底とするとき、//ψ'//}}は必ず

の形で表記できるので、//ψ'//}}はベクトル

と成分表示できる。

なお基底 //e//−//s//, //e//−, …, //e////s// − 1, //e////s//}} は通常、スピン演算子に対応した固有ベクトルとする。

4.2.1.3. スピンを考慮した場合のオブザーバブル
---------------------------

量子力学においてスピンを考慮しない場合のオブザーバブルは、//L//sup 上のエルミート演算子として定式化されている。スピンを考慮した場合、この演算子を

と同一視する事で、スピンを考慮した波動関数の空間上のオブザーバブルとみなす。。

後述するように、スピン角運動量演算子は、//V//sub上のエルミート演算子として定式化できるが、これも同種の同一視により、上のオブザーバブルとみなす。すなわちをスピン角運動量とするとき、は

と同一視する。

4.2.2. //V////s//}} 上のユニタリ表現に関する問題
----------------------------------

軌道角運動量演算子が上の「無限小回転に対する演算子」として定義可能であったのと同様、スピン角運動量演算子は //V////s//}} に対する無限小回転に対する演算子として定義する事ができる。しかしながら、軌道角運動量演算子の定義におけるを単純に //V////s//}} に置き換えただけではスピン角運動量演算子は定義できない。これは次の理由による。

軌道角運動量演算子の場合、3次元回転行列群 SO}} の上のユニタリ表現

を t}} に関して微分する事で軌道角運動量演算子を定義していた。

したがって軌道角運動量演算子の定義において単純にを //V////s//}} に置き換えてスピン角運動量演算子を定義しようとすると、SO}} の //V////s//}} 上のユニタリ表現が必要となる。しかしながら、そのような表現は常に存在するわけではないことが知られているH13：次が成立する：

mvarすなわち上述した方法論では、//s//}} が半整数の場合に対してスピン角運動量演算子を定義する事ができない。この問題の解決方法は2つあり、後述するように2つは本質的に同値である。

4.2.2.1. 射影ユニタリ表現を用いた解決
-----------------------

一つ目の解決方法は //V////s//}} を直接考えるのではなく、//V////s//}} の元を位相の相違を無視する同値関係

で割った空間

を考え、同様にユニタリ演算子に対しても同様の同値関係

により同一視した同値類 [//U//]}} を考えるというものであるH13。このユニタリ演算子の同値類全体の集合を

と表記する。PU}} を //V////s//}} 上の射影ユニタリ群、PU}} に属する同値類を //V////s//}} 上の射影ユニタリ演算子と呼ぶ。

射影ユニタリ演算子 [//U//]}} は //V////s// / ∼}} 上の写像となる事が知られている：

そこでスピン演算子の振る舞いを記述するため、SO}} のユニタリ表現の代わりに SO}} の射影ユニタリ表現

を用いる。

通常のユニタリ表現と違い、射影ユニタリ表現は次を満たす事が知られているH13Mvarよってユニタリ表現の代わりに射影ユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。

本稿では、射影ユニタリ表現を利用したスピン角運動量演算子の定義の詳細は述べない。これは射影ユニタリ表現を使ってスピン演算子を記述している物理の教科書は少ない為である。しかしすでに述べたように、射影ユニタリ表現による解決方法は後述するもう一つの解決方法と本質的に同値なので、もう一つの解決方法を利用したスピン角運動量演算子の定義から射影ユニタリ表現を利用したスピン角運動量演算子の定義を導くことができる。

射影ユニタリ表現による解決方法は、物理的に意味を持たないフェーズで同一視した事を除けば、他のオブザーバブルと類似した形式でスピン角運動量演算子を記述できるため、後述するもう一つの解決と比べ、その物理的意味がわかりやすい事が利点である。

4.2.2.2. スピン群を用いた解決方法
---------------------

今一つの解決は、SO}} の代わりに3次元スピン群 Spin}} を用いるというものである。そこでまず、スピン群の定義と性質を紹介する。n}} 次元スピン群とは以下の性質を満たす連結な行列群の事である。：

可微分準同型写像 1=Φsub で、2:1 の全射となるものが存在する。　　　…ここでSO}}はn}}次元回転行列のなす群である。スピン角運動量の定義に必要なのは、次元が3の場合のスピン群Spin}}であり、Spin}}は2次元特殊ユニタリ変換群 SU}} と同型なことが知られている：

したがって以下、特に断りがない限り Spin}} と SU}} を同一視する。

スピン群の定義より、回転行列 R}} は何らかのスピン群の元 U}} を用いて

と書くことができる。これはすなわち、回転行列 R}} を直接扱う代わりに、スピン群の元 U}} により回転が記述可能な事を意味する。そこで SO}} のユニタリ表現の代わりに Spin}} のユニタリ表現を考える。SO}} のユニタリ表現と違い、Spin}} のユニタリ表現は以下を満たすH13:Mvarよって SO}} のユニタリ表現の代わりに Spin}} のユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。詳細は後述する。

4.2.2.3. 2つの解決方法の同値性
--------------------

上述した2つの解決方法は、本質的に同値である。これは Spin}} のユニタリ表現と SO}} の射影ユニタリ表現が自然に1対1対応する為である。具体的には、//π//sub をスピン群の元 S}} の //V////s//}} 上のユニタリ表現とし、γ}} を回転行列 R}} の //V////s//}} 上の射影ユニタリ表現とすると、以下の図式が可換になる。ここで proj}} は同値類を取る写像。

4.3. スピンの定義に用いる空間と関数の具体的表記
--------------------------

以上の議論により、1=Spin=SU}}を用いる事でスピン角運動量を定義できる事がわかった。そこで本節では、スピン角運動量の定義に必要となる

スピノール空間
定理3}}で述べた1=Spin=SU}}の既約ユニタリ表現
1=Spin=SU}}からSO}}への写像などを具体的に書き表す。ただし本節では//V//subと//π//subに関しては最も重要な//s//=}}1/2}}の場合を述べるに留める。それ以外のs}}に関しては後の章を参照されたい。

4.3.1. スピン1/2}}の場合の//V//subと//π//subの具体的表記
------------------------------------------

//M//sub を複素二次正方行列全体の集合とし、I}} を単位行列とするとき、1=Spin = SU}}は2次元ユニタリ変換全体の集合

の部分集合である。したがって

…と定義すると、包含写像

は 1=Spin = SU}} の元の //V//1/2}} 上のユニタリ表現になっている。このユニタリ表現が、定理3}}で述べた既約ユニタリ表現の 1=//s//=1/2}} の場合に相当している。すなわち、

…

4.3.2. 無限小変換の集合spin=}}su}}の具体的表記
--------------------------------------

軌道角運動量を定義する際SO}}の無限小変換の集合so}}が必要になったのと同様の理由で、スピン角運動量の定義には1=Spin = SU}} の「無限小変換」全体の集合spin=}}su}}を用いるので、本節ではその具体的形と基本的な性質を調べる。、より、

は Math<WtXmlEndTag />. 　　...である。su}} 上に内積

　　　…を定義するとA07なおHarv、su}} は実3次元分の自由度を持った計量ベクトル空間であるとみなせる。

次にsu}} の基底について述べる。パウリ行列 //σ//1, //σ//2, //σ//3}} を

…により定義し、su}}の元//X//subを

　　　....により定義するとA07W16、、より次が成立することがわかる。

//X//subは1=spin = su}} 上の正規直交基底であるA07W16。　　　　...

そこで3次元ベクトル1=//=∈Rsupに対し、

　　　　…と定義すると、写像

により と 1=spin = su}} を計量ベクトル空間として同一視できる。しかもこの同一視において、以下が成立するW16：

ここで「×}}」はクロス積であり、1=[//A//,//B//] = //AB//-//BA//}}は交換子積である。

4.3.3. Spin}}の元の具体的表記
------------------------

1=Spin = SU}} は、//α//, //β//}} の実数を用いて

…と書き表すことができる事が簡単な計算から従うA07W16。

一方、1=//=∈Rsupを単位ベクトルとし、パウリ行列を使って

　…と定義すると簡単な計算により、

がわかる。よって行列A}}に対する指数関数exp}}を式のように定義すると、//τ// ∈ [0,2//π//]}}に対し、

...が従うW16。

とすると、で述べたspin=}}su}}の基底を用いてスピン群の元を次のように書き表す事ができる事が、、、からわかる：

Spin=}}SU}}の任意の元//U//}}は単位ベクトル1=//=∈Rsupと を用いて の形で表記可能である。しかも//S//≠//I//, −//I//}}であればこのように表記できる//}}、//θ//}}は一意である。 ...

4.3.4. Spin}} から SO}} への準同型写像 //Φ//sub
--------------------------------------------

前の節で述べたように、su}} は3次元の計量ベクトル空間なので、Rsupと同一視できる。//U// ∈ Spin =}} SU}}とに対し、//UYU//supもの元である事が簡単な計算からわかる。しかも線形写像//Φ//subを

と定義すると//Φ//subがで定義された内積と空間の向きを保つ事を簡単な計算で確かめられる。すなわち//Φ//subは回転変換であるので、//Φ//subである。

以上により、Spin}} から SO}} への準同型写像

が定義できた。この //Φ//subの具体的表記は後の節で述べる。

4.3.5. //Φ//subが誘導する写像(//Φ//subの定義とその具体的表記
------------------------------------------

に従い、//Φ//subが誘導する写像(//Φ//sub を、

…により定義する。このとき(//Φ//sub は

…を満たすA07W16。成分で書けば

である。特に

…は同型写像である。

4.3.6. //Φ//subの具体的表記
---------------------

、より、

…である。より、Spin}}の元は何らかの//θ//∈[0//,4π//]}}を用いて、exp(//θX//subの形に書けるので、上式により//Φ//subの振る舞いを完全に記述可能である。

しかも

であるので、スピン群の定義で述べた、//Φ//subが2:1の写像であるという事実が確認できる。

Spin=}}SU}}の元の成分表示を用いると、//Φ//subは下記のように表示できることも知られているW16：

4.4. スピン角運動量演算子の定義と性質
---------------------

4.4.1. スピン角運動量演算子の定義
--------------------

以上の準備の元、スピン角運動量を定義する。

を 1=Spin=SU}} の //V////s//}}上の既約ユニタリ表現とする。なお 1=//s//=1/2}} に対する//V////s//}}、πsub は、にすでに記載した。それ以外のsに対する//V////s//}}、πsub は次節以降に後述する。

さらに

を式で述べた、Spin}} から SO}}への 2:1 写像とする。これらの写像を図にすると以下のとおりである。ここで記号「」はGがベクトル空間V上の行列群である事を意味する。}}πsub が誘導する写像 (πsubを以下のように定義する：

上のエルミート演算子 …同様に //Φ//sub が誘導する式のように定義すると、式のように書け、より

である。

単位ベクトル 1=// =  ∈ Rsupに対し無限小回転 //X//// ∈ su}} を式のように定義し、合成写像

上の歪エルミート演算子上のエルミート演算子によって定まるエルミート演算子

…を考えると、より、

と書けるので、は3次元空間上の無限小回転//F//subに対応する演算子とみなせる。

このを、n}}を回転軸にもつスピン角運動量演算子と呼ぶA07H13Harv。

4.4.2. スピン角運動量演算子の性質
--------------------

4.4.2.1. 交換関係
-------------

x}}軸、y}}軸、z}}軸∈を回転軸に持つスピン角運動量演算子をとすると、

となる。よってより、軌道角運動量と同様、以下の交換関係が成り立つ：

4.4.2.2. 回転軸の変更
---------------

次に回転軸の異なるスピン角運動量の関係を見る。n、m∈Rsupを2つの単位ベクトルとし、n}}とm}}が回転行列//R//}}により、

で移り合っていたとする。写像1=Φsubは２：１の全射であるので、

を満たす//U//}}が存在する。

スピン角運動量演算子、はその定義より、//V//sub上のユニタリ演算子であり、両者は

という関係で結ばれる。ここで右辺はと//π//subの行列としての積である。

4.4.3. スピン1/2}}の場合の具体的表記
------------------------

スピン量子数//s//}}が1/2}}である場合、スピノール空間はより

であり、単位ベクトル 1=// =  ∈ Rsupを回転軸に持つスピン角運動量演算子は、、、、より、

である。よって特に、

}}は//}}によらず常に固有値

を持つ。

それぞれの規格化された固有ベクトルは、次のとおりとなる。

4.5. Spin}}のユニタリ表現と角運動量
--------------------------

本節では3次元スピン群Spin=}}SU}}のユニタリ表現について詳細に述べ、これを土台として軌道角運動量、スピン角運動量、およびそれらの和である全角運動量の性質を調べる。

4.5.1. 軌道角運動量と全角運動量のスピン群による表記
-----------------------------

//}}を3次元空間の単位ベクトルするとき、//}}を回転軸に持つ一粒子の軌道角運動量はSO}}のユニタリ表現//λ//}}が誘導する写像//λ//subと同型写像を用いて

上のユニタリ演算子と表記できる事がとから従う。ここで「」は関数の合成である。一粒子のスピン角運動量もから

上の歪エルミート演算子と定義されていた。

//}}を回転軸に持つ一粒子の全角運動量演算子を

上の歪エルミート演算子と定義すると、

と表記できる。は

上のユニタリ演算子が誘導する写像であるので、一粒子に対する軌道角運動量、スピン角運動量、全角運動量のいずれも

}}のユニタリ表現が誘導する写像) 　　…という形で書けている事がわかる。

複数粒子に対する軌道角運動量、スピン角運動量、全角運動量は一粒子のものの和として表記できるので、やはりの形で表記できる事がわかる。

よってSpin}}のユニタリ表現の具体的な形を特定する事ができれば、軌道角運動量、スピン角運動量、全角運動量を具体的に書き下す事ができる。そこで本設では、Spin}}のユニタリ表現を具体的な形で書き下し、Spin}}のユニタリ表現を使っての形で表記できる演算子の性質を調べる。

4.5.2. Spin}}のユニタリ表現
-----------------------

//u//≧0}}を整数もしくは半整数とし、//W//subを2//u//+1}}次元の複素計量ベクトル空間とする。具体的には

一粒子のスピン角運動量を考える場合は、//u//=}}//s//}}で、//W//subはスピノール空間
一粒子の軌道角運動量を考える場合は、//W//subはLsupの2//u//+1}}次元部分空間
一粒子の全角運動量を考える場合は、//W//subはの2//u//+1}}次元部分空間を想定している。複数粒子の場合も同様である。定理1}}より、Spin}}の//W//sub上での既約ユニタリ表現が同型を除いて一意に存在するので、この既約ユニタリ表現を

と表記する。、ですでに述べたように、

である。

一般の//u//}}に対する//W//subと//D//supは//W//subと//D//supから構成できるS12。

4.5.2.1. //W//subの構成
--------------------

4.5.2.1.1. 対称テンソル積
------------------

//W//subを構成する準備として、対称テンソル積を定義する。//W//subの2//u//}}個のコピーのテンソル積

を考え、の元に対し、//ψ//}}の対称化を

　 …により定義する。ここでは置換群である。すなわちは各j}}に対し、の添字を入れ替えたもの全ての和を!}}で割ったものである。。対称化したテンソルを対称テンソルと呼び、対称テンソル全体なす部分ベクトル空間を

と表記する。//subを//W//subの基底とし、

と定義すると、//E//subは明らかにの基底となる。したがっては2//u//+1}}次元である。

4.5.2.1.2. 定義
-------------

//W//subを

　　　…と定義するS12。

4.5.2.2. //D//supの構成
--------------------

//U//∈Spin}}に対し、

を

により定義すると、は上の内積を保つ線形写像である。明らかには対称テンソルを対称テンソルに移すので、のへの制限写像を、

…と定義する。

は内積を保つので、これは

を意味する。この写像が、求めるべき既約ユニタリ表現であるS12。

4.5.3. オブザーバブルとその性質
-------------------

本節では、前節で定義したSpin}}の既約ユニタリ表現Dsupを用いて、オブザーバブルを定義し、そのオブザーバブルの性質を調べる。

4.5.3.1. オブザーバブル
----------------

が誘導する写像

と3次元空間の単位ベクトルを用いてオブザーバブル

を定義できる。ここで//i//}}は虚数単位であり、//X//subはに定義されたものである。具体的には

//W//subがスピノール空間//V//subのときは1=//u//=//s//}}で、は一粒子のスピン角運動量演算子
//W//subがLsupの2//u//+1}}次元部分空間のときは、は一粒子の軌道角運動量演算子
//W//subはの2//u//+1}}次元部分空間のときは、は一粒子の全角運動量演算子である。

}}を

を満たすように取ると、ライプニッツルールとより

である。ここで//I//}}は常に単位行列//I//}}を返す写像である。

4.5.3.2. 固有状態
-------------

スピン1/2}}のときと同様の議論により、オブザーバブルDsupは２つの固有値

を持つので、これらに対応する固有状態をそれぞれ、とし、//k// =}} −//u//, −, …, , //u//}}に対し、

…とするS12。

ここで//c//}}は正規化定数

…すると、

なので、//E//subは固有値に対応する固有状態である。

4.5.3.3. 昇降演算子
--------------

昇降演算子}}//}}がx}}軸、y}}軸、z}}軸であるときのを、、とし、

とするとA07、

であるA07。

4.5.3.4. クレブシュ–ゴルダン係数
---------------------

クレブシュ–ゴルダン係数}}//W//sub、//W//subをそれぞれ2//u//+1}}次元、2//ｖ//+1}}次元の複素計量ベクトル空間とし、

を既約ユニタリ表現としても

は既約ユニタリ表現になるとは限らない。しかし適切に基底を取り替えれば、以下の事実が成り立つ事が知られている：

上式をクレブシュ–ゴルダン分解というA07W16。

上式左辺の基底は、

の形式で記述できる。ここでは固有値//j//subに対応するDsupの固有状態である。一方右辺の基底は

の形式で記述できる。ここではにおける、固有値//j//}}に対応するDsupの固有状態である。両者は基底変換で結ばれるので、何らかの係数//c//(//u//,//v//,//w//,//j//subを用いて

と書ける。//c//(//u//,//v//,//w//,//j//subをクレブシュ–ゴルダン係数というA07。

5. 脚注
-----

5.1. 出典
-------

5.2. 注釈
-------

6. 関連項目
-------

角運動量
軌道角運動量
スピン軌道相互作用
スピントロニクス
シュテルン＝ゲルラッハの実験

7. 参考文献
-------

7.1. 書籍
-------

[LL]
[H13]
[S93]

7.2. PDF
--------

[A07]
[S12]
[W16]

7.3. 雑誌論文
---------

8. 外部リンク
--------

[1]}}
[2] [3] [4]}}
[5]}} パウリのスピン行列の導出
[6] [7]}} スピノル表記・パウリのスピン行列の導出
[8]}} スピンと対称操作