» www.Giftbox.Az - Bir birindən gözəl hədiyyə satışı
ウィキペディアランダム
毎日カテゴリ
共有: WhatsappFacebookTwitterVK

スピン角運動量

物理学 > 量子力学 > オブザーバブル > スピン角運動量

スピン角運動量(スピンかくうんどうりょう、: spin angular momentum)は、量子力学上の概念で、粒子が持つ固有の角運動量である。単にスピンとも呼ばれる。ここでいう「粒子」は電子クォークなどの素粒子であっても、ハドロン原子核原子など複数の素粒子から構成される複合粒子であってもよい。換算プランク定数 を単位として量子数 s で表す[1]。なお、粒子の角運動量には、スピン以外にも粒子の回転運動に由来する角運動量である軌道角運動量が存在し、スピンと軌道角運動量の和を全角運動量と呼ぶ。

概要

「スピン」という名称はこの概念が粒子の「自転」のようなものだと捉えられたという歴史的理由によるものであるが、現在ではこのような解釈は正しいとは考えられていない。なぜなら、スピンは古典極限 ħ→0において消滅する為、スピンの概念に対し、「自転」をはじめとした古典的な解釈を付け加えるのは全くの無意味だからである[2]

スピン量子数 s が半整数 1/2, 3/2, … になる粒子をフェルミ粒子(フェルミオン)、整数 0, 1, 2, … になる粒子をボース粒子(ボゾン)といい[3]、両者の物理的性質は大きく異る(詳細はそれぞれの項目を参照)。

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

  • フェルミオンのスピン量子数は全て 1/2 である。
  • ボゾンはヒッグス粒子のみスピン量子数が 0 であり、それ以外のボゾンのスピン量子数は 1 である。
  • 複合粒子のスピン量子数はそれ以外の値も取りうるが、単純に複合粒子を構成する素粒子のスピン量子数の合計値になるわけではない。例えばヘリウム原子を構成する素粒子である電子やクォークはいずれもフェルミオンであり、したがってそのスピン量子数は半整数であるが、ヘリウム原子のスピン量子数は 0 である。

s の値と統計性の間のこのような関係は、相対論的な場の量子論によって説明できる。

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

歴史

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

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

その後発展した標準模型においても、電子は大きさ 0 の質点として扱っても実験的に高い精度で矛盾がなく、電子に内部構造があるか(スピン角運動量などの内部自由度に起源があるか)はわかっていない。

数学的導出の方法

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

準備

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

数学の準備

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

 

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

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

3次元回転群  …(G1)
ユニタリ群 上の線形写像で、  …(G2)
特殊ユニタリ群 上の線形写像で、  …(G3)

ベクトル空間VCnである場合は、U(V)、SU(V)の事をそれぞれU(n)、SU(n)と表記する。

GSO(3)、U(V)、SU(V)のいずれかとするとき、集合

 G 上の可微分な曲線で、t=0 のとき単位行列となる  …(G4)

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

 

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

  …(G5)
 V上の線形写像で、 V上の歪エルミート演算子  …(G6)
 V上の線形写像で、  …(G7)

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

 

なので、その t = 0 での微分は

 

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

 so(3)、u(V)、su(V)のいずれかとし、行列 に対しexp(A)

  …(G8)

と定義すると次が成立する:

A∈so(3)、u(V)、su(V)であれば、exp(A) はそれぞれSO(3)、U(V)、SU(V)の元である。 …(G9)
  …(G10)

SO(3) に関しては上述の性質を更に具体的に書き表す事ができる。3次元ベクトル x = (x, y, z) ∈ R3に対し、so(3)に属する行列Fx

  …(G11)

と定義すると[7][8]次が成立する[8]

exp(Fx)x を軸とする回転行列で、回転角は軸に対しては右回りに ||x|| ラジアンである。 …(G12)
  …(G13)

ここで「×」はクロス積である。GHSO(3)、U(V)、SU(V)のいずれかとし、  GHのリー環とする。(すなわち  so(3)、u(V)、su(V)のいずれかである)。

 

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

   …(G14)

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

  …(G15)

である。

πが誘導する写像π*と行列の指数関数expは以下の関係を満たす:

任意の に対し、  …(G16)

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

(非相対論的な)量子力学において、波動関数全体の集合はヒルベルト空間  として記述可能であり、(スピンを考慮しない)一粒子からなる系の場合、  は3次元ユークリッド空間 R3 上のL2 空間と等しい、すなわち

 

である。

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

  

が定義される[10][11]

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

 

SO(3) 上のユニタリ表現という。

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

  上の歪エルミート演算子 

そこで単位ベクトル n = (x, y, z) ∈ R3に対し、Fnを(G11)のように定義し、虚数単位 i換算プランク定数ħを用いて、

    …(J1)

と定義すると、 L2(R3)上のエルミート演算子になる。この演算子は「無限小回転Fnに対応する演算子」[9]であり、この演算子を軸 n = (x, y, z) ∈ R3の周りの軌道角運動量演算子と呼ぶ。

例えば z 軸の周りの軌道角運動量 球面座標系 (r, θ, φ) を用いて

 

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

      

さらに x 軸、y 軸の周りの軌道角運動量をそれぞれ  とし、Fx=F(1,0,0)Fy=F(0,1,0)Fz=F(0,0,1)とすると、(G15)、(G13)より交換関係

 
 
 

が従う。

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

 

である。

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

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

したがってスピンを記述するには、スピンの状態ベクトルの空間VsL2(R3)とは別個に用意し、

 

を考える必要がある[12][注釈 1]。ここで添字s ≥ 0は整数もしくは半整数であり、Vs2s+1 次元の複素計量ベクトル空間である。

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

スピンを考慮した波動関数の表示方法

多くの物理の教科書では、スピンを考慮した波動関数 を二通りの方法で表記する。そこで次にこの二通りの表記方法を紹介する。

成分表示

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

      …(B1)

という形に成分表示できる。ここで L2(R3)の元であり、σjVsの元である。そこで、

 

と定義すれば、

 

である。このように表記すると、スピン(を表すスピノール)σj(x,y,z)とは独立の第四の内部自由度である事がわかりやすい。

スピノール表示

スピンを考慮した波動関数ψの成分表示(B1)を別の角度から解釈する。スピンを考慮した波動関数ψに対し、ψ'(x,y,z)

 

と定義する事ができる。なお上式で「・」はベクトルσj によるスカラー倍である。スピンを考慮しない通常の波動関数が1次元複素計量ベクトル空間Cに値を取るのに対し、ψ'(x,y,z)2s+1次元複素計量ベクトル空間Vsに値を取る波動関数であるとみなせる。スピンを考慮した波動関数ψを、Vsに値を取る波動関数とみなしたものを、ψスピノール表示という。

多くの物理の教科書では、Vsの元を成分表示した形で紹介している。es, e−(s − 1), …, es − 1, esVsの基底とするとき、ψ'(x,y,z)は必ず

 

の形で表記できるので、ψ'(x,y,z)はベクトル

 

と成分表示できる。

なお基底 es, e−(s − 1), …, es − 1, es は通常、(何らかの軸に関する)スピン演算子に対応した固有ベクトルとする。

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

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

   

と同一視する事で、スピンを考慮した波動関数の空間 上のオブザーバブルとみなす。(ここでid恒等写像である)。

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

  

と同一視する。

Vs 上のユニタリ表現に関する問題

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

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

 

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

したがって軌道角運動量演算子の定義において単純に Vs に置き換えてスピン角運動量演算子を定義しようとすると、SO(3)Vs 上のユニタリ表現が必要となる。しかしながら、そのような表現は常に存在するわけではないことが知られている[15]

定理1 ― 次が成立する:

  • sが整数の場合、SO(3)Vs 上の既約なユニタリ表現が(同型を除いて一意に)存在する。
  • s が整数でない半整数の場合、SO(3)Vs 上の既約なユニタリ表現は存在しない。

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

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

一つ目の解決方法は Vs を直接考えるのではなく、Vs の元を位相の相違を無視する同値関係[16]

  

割った空間

 

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

  

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

 

と表記する。PU(Vs)Vs 上の射影ユニタリ群PU(Vs) に属する同値類を Vs 上の射影ユニタリ演算子と呼ぶ。

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

 

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

 

を用いる。

通常のユニタリ表現と違い、射影ユニタリ表現は次を満たす事が知られている[18]

定理2 ― s が整数であっても半整数であっても、SO(3)Vs 上の既約な射影ユニタリ表現が(同型を除いて一意に)存在する。

よってユニタリ表現の代わりに射影ユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。

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

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

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

今一つの解決は、SO(3) の代わりに3次元スピン群 Spin(3) を用いるというものである。そこでまず、スピン群の定義と性質を紹介する。n 次元スピン群とは以下の性質を満たす連結行列群の事である。(このような性質を満たす連結行列群は同型を除いて1つしか存在しない事が知られている):

可微分準同型写像 Φn: Spin(n) → SO(n) で、2:1 の全射となるものが存在する。   …C1

ここでSO(n)n次元回転行列のなす群である。スピン角運動量の定義に必要なのは、次元が3の場合のスピン群Spin(3)であり、Spin(3)は2次元特殊ユニタリ変換群 SU(2) と同型なことが知られている:

 

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

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

 

と書くことができる。これはすなわち、回転行列 R を直接扱う代わりに、スピン群の元 U により回転が記述可能な事を意味する。そこで SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を考える。SO(3) のユニタリ表現と違い、Spin(3) のユニタリ表現は以下を満たす[18]:

定理3 ― sが整数であっても半整数であっても、Spin(3)Vs 上の既約なユニタリ表現が(同型を除いて一意に)存在する。

よって SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。詳細は後述する。

2つの解決方法の同値性

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

 

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

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

  • スピノール空間Vs
  • 定理3で述べたSpin(3)=SU(2)の既約ユニタリ表現 
  • Spin(3)=SU(2)からSO(3)への写像 

などを具体的に書き表す。ただし本節ではVsπsに関しては最も重要なs=1/2の場合を述べるに留める。それ以外のsに関しては後の章を参照されたい。

スピン1/2の場合のVsπsの具体的表記

M2, 2(C) を複素二次正方行列全体の集合とし、I を単位行列とするとき、Spin(3) = SU(2)は2次元ユニタリ変換全体の集合

 

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

  …(H1)

と定義すると、包含写像

 

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

  …(H2)

無限小変換の集合spin(3)=su(2)の具体的表記

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

 Spin(3)=SU(2) 上の可微分な曲線で、t=0 のとき単位行列となる .   ...(L1)

である。su(2) 上に内積

    …L2

を定義すると[19][注釈 2]su(2) は実3次元分の自由度を持った計量ベクトル空間であるとみなせる。

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

  …(L3)

により定義し、su(2)の元X1X2X3

    ....(L4)

により定義すると[19][20]、(L1)、(L2)より次が成立することがわかる。

X1X2X3spin(3) = su(2) 上の正規直交基底である[19][20]。    ...(L5)

そこで3次元ベクトルx=(x, y, z)∈R3に対し、

     …(L6)

と定義すると、写像

 

により spin(3) = su(2) を計量ベクトル空間として同一視できる。しかもこの同一視において、以下が成立する[21]

 

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

Spin(3)の元の具体的表記

Spin(3) = SU(2) は、α, β の実数を用いて

  …(X1)

と書き表すことができる事が簡単な計算から従う[22][21]

一方、n=(x, y, z)∈R3を単位ベクトルとし、パウリ行列を使って

  …(X2)

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

 

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

    ...(X3)

が従う[23]

 

とすると、(L4)で述べたspin(3)=su(2)の基底を用いてスピン群の元を次のように書き表す事ができる事が、(X1)、(X2)、(X3)からわかる:

Spin(3)=SU(2)の任意の元Uは単位ベクトルn=(x, y, z)∈R3
θ∈[0,4π]
を用いて
 
の形で表記可能である。しかもSI, −Iであればこのように表記できるnθは一意である。 ...(X4)

Spin(3) から SO(3) への準同型写像 Φ3

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

 

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

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

 

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

Φ3が誘導する写像(Φ3)*の定義とその具体的表記

(G14)に従い、Φ3誘導する写像(Φ3)* を、

 …(D1)

により定義する。このとき(Φ3)*

  …(D2)

を満たす[24][25]。成分で書けば

 

である。特に

  …(D3)

は同型写像である。

Φ3の具体的表記

(G16)、(D2)より、

  …(E1)

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

しかも

  

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

Spin(3)=SU(2)の元の成分表示(X1)を用いると、Φ3は下記のように表示できることも知られている[26]

 

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

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

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

 

Spin(3)=SU(2)Vs上の既約ユニタリ表現とする(そのようなユニタリ表現の存在性と(同型を除いた)一意性は定理3で保証される)。なお s=1/2 に対するVsπs は(H1)、(H2)にすでに記載した。それ以外のsに対するVsπs は次節以降に後述する。

さらに

 

を(C1)式で述べた、Spin(3) から SO(3)への 2:1 写像とする(この写像の具体的な形は(E1)式を参照)。これらの写像を図にすると以下のとおりである。ここで記号「 」はGがベクトル空間V上の行列群である事を意味する(すなわちGはVに作用する)。

 

πs が誘導する写像 s)*を以下のように定義する:

 上のエルミート演算子  …(F1)

同様に Φ3 が誘導する(Φ3)* を(D1)式のように定義すると、(Φ3)* は(D2)式のように書け、(D3)より

 

である。

単位ベクトル n = (x, y, z) ∈ R3に対し無限小回転 Xn ∈ su(2) を(L6)式のように定義し、合成写像

 上の歪エルミート演算子 上のエルミート演算子 

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

  …(F2)

を考えると、(D2)より、

 

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

この を、nを回転軸にもつスピン角運動量演算子と呼ぶ[27][18][注釈 3]

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

交換関係

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

 

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

 
回転軸の変更

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

 

で移り合っていたとする。写像Φ3  : Spin(3)=SU(2) → SO(3)は2:1の全射であるので、

 

を満たすUが存在する。

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

 

という関係で結ばれる。ここで右辺は πs(U)の行列としての積である。

スピン1/2の場合の具体的表記

スピン量子数s1/2である場合、スピノール空間は(H1)より

 

であり、単位ベクトル n = (x, y, z) ∈ R3を回転軸に持つスピン角運動量演算子は、(H2)、(L6)、(F1)、(F2)より、

 

である。よって特に、

 

 

 

 nによらず常に固有値

 

を持つ。

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

 

Spin(3)のユニタリ表現と角運動量

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

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

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

 上のユニタリ演算子 

と表記できる事が(J1)と(D2)から従う。ここで「 」は関数の合成である。一粒子のスピン角運動量も(F2)から

 上の歪エルミート演算子 

と定義されていた。

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