スピン群を用いた解決方法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/10 05:04 UTC 版)
「スピン角運動量」の記事における「スピン群を用いた解決方法」の解説
今一つの解決は、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) と同型なことが知られている: S p i n ( 3 ) ≃ S U ( 2 ) = { U ∈ M 2 , 2 ( C ) : U ∗ U = I , d e t U = 1 } {\displaystyle \mathrm {Spin} (3)\simeq \mathrm {SU} (2)=\{U\in \mathrm {M} _{2,2}(\mathbf {C} )~:~U^{*}U=I,~\mathrm {det} U=1\}} したがって以下、特に断りがない限り Spin(3) と SU(2) を同一視する。 スピン群の定義より、回転行列 R は何らかのスピン群の元 U を用いて R = Φ 3 ( U ) {\displaystyle R=\Phi _{3}(U)} と書くことができる。これはすなわち、回転行列 R を直接扱う代わりに、スピン群の元 U により回転が記述可能な事を意味する。そこで SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を考える。SO(3) のユニタリ表現と違い、Spin(3) のユニタリ表現は以下を満たす:p383-384: 定理3 ― sが整数であっても半整数であっても、Spin(3) の Vs 上の既約なユニタリ表現が(同型を除いて一意に)存在する。 よって SO(3) のユニタリ表現の代わりに Spin(3) のユニタリ表現を利用する事でスピン角運動量演算子が定義可能である。詳細は後述する。
※この「スピン群を用いた解決方法」の解説は、「スピン角運動量」の解説の一部です。
「スピン群を用いた解決方法」を含む「スピン角運動量」の記事については、「スピン角運動量」の概要を参照ください。
- スピン群を用いた解決方法のページへのリンク