一応，最後まで目を通した．最後の方は本当に流しただけになってしまったので，読み直しが必要だ．
とりえあず，残した演習問題を解こう．
群が単連結であるかどうかはどうやって見分けるのだろうか？
生成子の交換関係は局所的な性質しか反映しないから，大域的な性質（単連結か否か）については何も教えてくれない．
SO(3)とSU(2)の生成子は一対一に対応させることができる．
SU(2)でも表現空間が3次元（角運動量1）だと，SO(3)の行列と完全に対応してしまうから単連結にならない．
単連結か否か表現空間に依るのだろうか？
