>>141
Uのユニタリー性: U・U* = I を言えばよい。
U・U* = exp(iA)・(exp(iA))* = exp(iA)・exp(-iA*) = exp(iA)･exp(-iA)
= exp(iA - iA) = exp(0) = I.
どのような U でも A = -i log(U) として対応する A を求められる、
ということでいいのかな。