[行列解析2.1.p9]ユニタリ行列の性質と相似・同値性の問題

U^＊U=I \\
(U^*)^*(U^*)=({U^*U})^*=I^*=I \\
(\overline{U})^*(\overline{U})=\overline{U^*U}=\overline{I}=I \\
(U^{\top})^*(U^{\top})=({UU^*})^{\top}=({U^*U})^{*\top}=I \\