ユニタリ行列（ユニタリぎょうれつ、英: unitary matrix）は、次を満たす複素正方行列 U として定義される。

${\displaystyle U^{*}U=UU^{*}=I}$

ここで、I は単位行列、U^* は行列 U の随伴行列 (U^* = U ^T)。

なお、実数で構成される行列の随伴は単に転置である^[1]ため実ユニタリ行列は直交行列に等しく、直交行列を複素数体へ拡張したものがユニタリ行列とも言える。

• 正方行列である。
• 正規行列である。
• 任意のベクトル x に対しユニタリ行列による変換は等長変換 (isometry) である。‖ Ux ‖ = ‖ x ‖
• 正則であり、逆行列は U⁻¹ = U^*
• 対角化可能（正規行列であるから）
• 固有値の絶対値は 1。|λ| = 1（つまり、すべての固有値は複素平面の単位円上に存在する）

（証明）Ux = λx なる λ が固有値。‖ Ux ‖² = |λ|²‖ x ‖² また ‖ Ux ‖² = (Ux)^*Ux = x^*U^*Ux = x^*Ix = ‖ x ‖²

• 特異値は 1。σ_i (U) = 1
• 行列式の絶対値は 1。|det(U)| = 1

（証明）1 = det(I) = det(UU^*) = det(U)det(U^T) = det(U)det(U) = det(U)det(U) = |det(U)|²

• U はエルミート行列 H を用いて U = e^iH と記述できる。e は行列指数関数、i は虚数単位。

以下の条件は、複素正方行列 U がユニタリ行列であることと同値である：

1. 行列 U は UU^* = I を満たす^[2]
2. 行列 U は U^*U = I を満たす^[2]
3. 行列 U は正則行列で U⁻¹ = U^* を満たす
4. 行列 U の列は正規直交基底である^[2]
5. 行列 U の行は正規直交基底である^[2]
6. 行列 U は等長写像である
7. 行列 U は単位円上に固有値をもつ正規行列である

• 西田吾郎『線形代数学』京都大学学術出版会、2009年6月22日。ISBN 978-4-87698-757-3。 

• 直交行列（実数の場合）
• ユニタリ変換
• ユニタリ群
• ユニタリ作用素
• 特異値分解 - 任意の行列をユニタリ行列と特異値を対角成分とする対角行列に分解。A = UΣV^*.
• 正規行列
• シュレーディンガー方程式

• 『ユニタリ行列の定義と性質の証明』 - 高校数学の美しい物語

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア MATLAB 数値解析ソフトの比較/一覧 ライブラリ Armadillo Basic Linear Algebra Subprograms (BLAS) INTLAB Intel oneAPI Math Kernel Library LAPACK NumPy OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則
カテゴリ