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