2024.01.14記
[1]
を実数とする.行列
が
を満たすような実数
,
を求めよ.
ただし,
,
とする.
ただし,
2020.09.25記
[大人の解答]
と複素数
は1対1対応し,このとき
,つまり
を満たすような実数
,
を求めれば良い.
(i) のとき,右辺は正または0であるから,
の2次方程式の解は
となり,
,
(ii) のとき,右辺は負または0であるから,
の2次方程式の解は
となり,
となる.
2020.10.02記
と複素数
は1対1対応することから,SO(2) と U(1) は同一視でき,Lie 群として同型である.
2024.01.15記
[解答]
により
,
つまり
つまり
かつ 「
または
」
を満たすような実数 ,
を求めれば良い.これはドモルガンの法則により
または
と同値となるので,
(i) のとき,
から
,
(ii) のとき,
または
,つまり
,
(iii) のとき,
から
となる.