ユニタリ行列と直交行列の違いを図解つきで徹底解説｜中学生にも分かる対比

---

ユニタリ行列と直交行列の違いを図解つきで徹底解説｜中学生にも分かる対比

行列の世界には「形を変えるけれど長さや角度を保つ」という不思議な性質を持つものがいくつかあります。その中でも特に重要なのがユニタリ行列と直交行列です。これらは見た目が似ているように見えますが、扱う数の種類やどんな場面で使われるかが大きく異なります。この記事では、中学生にもわかるように、両者の定義・性質・違い・実用例を丁寧に解説します。写真（関連記事：写真ACを三ヵ月やったリアルな感想【写真を投稿するだけで簡単副収入】）の図や計算の手順を思い浮かべながら読んでください。


まずは総まとめとして、ユニタリ行列は複素数を使い、直交行列は実数だけを使いますという大きな違いがあります。これを抑えるだけで、次の説明がずっと楽になります。また、どちらも「掛け算の順序を守れば連なる変換として扱える」「逆行列が存在する」という共通点も覚えておきましょう。


本記事では、定義と基本的な性質、両者の具体的な違い、そして実際の計算や応用の場面を順に紹介します。最後には、表にまとめた簡易比較も付けて、丸ごと理解できるようにします。読み終わったときには、ユニタリと直交の違いが頭の中でくっきりと浮かぶはずです。

定義と基本

ユニタリ行列は、複素数を要素として持つ正方行列 U に対して U^† U = U U^† = I を満たすときに「ユニタリ」と呼ばれます。ここで U^† は 共役転置、つまり転置して各要素の複素共役をとる操作です。直交行列は、実数を要素とする正方行列 O に対して O^T O = O O^T = I が成立するときに「直交」と呼ばれ、O^T は転置だけを意味します。大きな違いは、ユニタリは複素数世界の正方行列、直交は実数世界の正方行列という点です。もし行列が実数だけで構成されていれば、それは自動的に直交行列にもなりますが、複素数を含むときは「ユニタリかどうか」が分岐点になります。さらに、逆に言えば、ユニタリの逆行列はU^†、直交の逆行列はO^Tである点も両者の共通点と違いを示す重要なポイントです。

このセクションで覚えておきたいのは、両者の定義が「内積の保存」という点で共通しているということです。ユニタリ行列は複素内積を、直交行列は実内積を保つ性質を持ちます。内積を保つということは、ベクトルの長さ（ノルム）が変わらず、ベクトル同士の角度も保たれることを意味します。実際の計算では、この性質を利用して、変換後のベクトルの長さが元と同じになるかどうかをチェックします。ここは直感的にも理解しやすい部分で、「回す」「反射する」などの操作が長さを失わずに行える、というのが核心です。

性質と違い

ユニタリ行列と直交行列には、いくつかの重要な性質の違いがあります。まず、固有値の性質です。ユニタリ行列の固有値はすべて複素数で、絶対値が1になるものだけが現れます。つまり、変換を繰り返しても“長さが崩れない”ような特性を持つ固有値だけが現れるのです。対して直交行列の固有値は実数である場合もあれば、複素共役対として現れる場合もあり、絶対値が1のものが現れることは同じですが、実数の範囲では±1に限定されることが多いという違いがあります。次に、行列の要素の実数/複素数の分布です。ユニタリは複素数を要素として使うため、複素数の演算が日常的に必要になります。直交は実数だけを扱うので、実数の範囲での計算に視点を置く場面が多いです。さらに、群としての扱い方にも違いがあります。どちらも「逆元が存在する群」を形成しますが、ユニタリ群 U(n) は複素数の世界での対称性を、直交群 O(n) は実数世界の対称性を表します。最後に、実用面での違いとしては、アプリケーションの分野が異なる点が挙げられます。量子力学や信号処理など、複素数を使う場面ではユニタリ行列が頻繁に登場します。一方、コンピュータビジョンや幾何学的変換など、実数世界での計算が中心になる場面では直交行列が主役になります。

実用例と注意点

実際の計算でユニタリ行列や直交行列を扱うときには、いくつかの注意点があります。まず、U^† U = I を確認する作業は、行列の正しさを検証する基本中の基本です。特に数値計算では丸め誤差が生じるため、厳密には I にどれだけ近いかを許容範囲で判断する必要があります。次に、直交行列は実数の列ベクトルが互いに正規直交であることを意味します。これは、列ベクトルを新しい座標軸として使うとき、長さ1の独立な軸が得られることを意味します。ユニタリの場合は、列ベクトルが複素数の規準付きで正規直交であることを意味します。もう一つの注意点として、実数の行列がユニタリになることはなく、逆に実数の世界でユニタリは直交と同義になる点があります。実数だけを扱う世界では、ユニタリと直交は同じ性質を持つことになりますが、複素数を扱う世界では両者は別物です。最後に、実務では具体的な例として回転行列（2次元や3次元の直交行列）や複素位相のシフトを表すユニタリ行列を使います。これらは、データの正規化・座標変換・信号の保存性など、さまざまな場面で役立ちます。

<table> <th>項目 ユニタリ行列 直交行列 定義 U^† U = I O^T O = I 要素の型 複素数 実数 逆行列 U^† O^T 固有値の性質 絶対値1の複素数 絶対値1の複素数が現れることもあるが、現れ方はケースバイケース table>

• 実数だけを扱うときは直交、複素数を含むときはユニタリを思い出すと混乱が減る。
• どちらも行列同士の積で新しい変換を作り出せる点は共通。
• 長さと角度を保つ性質を覚えると、変換の直感がつかみやすくなる。

ピックアップ解説

友だちと数学部の雑談で、ユニタリ行列って“複素数の世界の回転”みたいな話をしたんだ。ユニタリはU^† U = Iという厳密さを持つから、計算の途中で内積が崩れない安心感がある。反対に直交は実数だけの世界で“長さと角度を保つ回転”を表す。実数で十分な場面も多いけど、データが複素数で表される場面ではユニタリの概念が欠かせない。そんな話をすると、友だちは「じゃあ複素数の世界には正体不明の変換がたくさんあるの？」と驚いていた。私は「はい、でもその正体をきちんと押さえると、数学がずっと面白くなるよ」と答えた。

---