ユニタリ行列の固有値

ユニタリ行列の固有値は、絶対値が $1$ の複素数に等しくなります。

また、ユニタリ行列により定まるユニタリ変換の固有値も、絶対値が $1$ の複素数に等しくなります。

ユニタリ行列の固有値#

定理 7.27（ユニタリ行列の固有値）#

$A$ をユニタリ行列とすると、$A$ の固有値 $\lambda_{A}$ は、絶対値が $1$ の複素数に等しい。

解説#

ユニタリ行列の固有値の絶対値は $1$#

ユニタリ行列の固有値は、絶対値が $1$ の複素数に等しくなります。

いま、$A$ を $n$ 次のユニタリ行列とすると、$A$ の固有方程式は $n$ 次方程式となります（定理 6.3（固有方程式））。

また、代数学の基本定理より、「$n$ 次方程式は複素数の範囲で重複を含めて $n$ 個の解を持」ちます。したがって、複素数の範囲で考えれば、$A$ は $n$ 個の複素数を持つことになります。

このとき、$A$ の $n$ 個の固有値すべてが絶対値 $1$ の複素数である、というのが定理 7.27（ユニタリ行列の固有値）の主張です。

直交行列の固有値は（存在すれば）$1$ または $-1$#

直交行列の固有値は、存在するとすれば、$1$ または $-1$ に等しくなります。

定理 6.3（固有方程式）でみたように、実数の範囲で考えれば、$n$ 次方程式は必ずしも $n$ 個の解を持つとは限りません。

したがって、$A$ を $n$ 次の直交行列（すべての成分が実数であるユニタリ行列）とすると、$A$ は必ずしも $n$ 個の固有値を持つとは限りません。

仮に、$A$ が固有値を持つとすれば、その固有値は実数であり、かつ（7.5.5）式を満たすことになります。よって、このとき、$A$ の固有値は絶対値が $1$ の実数、すなわち $1$ または $-1$ に等しくなります。

ユニタリ変換の固有値#

定理 6.1（線型写像とその表現行列の固有値）より、ある線型変換の固有値全体は、その表現行列の固有値全体に等いです。逆に、ある正方行列の固有値全体は、その行列により定まる線型変換の固有値全体に等しくなります。

このことから、定理 7.27（ユニタリ行列の固有値）は、ユニタリ行列 $A$ により定まる、ユニタリ変換 $f_{A}$ の固有値に関する定理と捉えることができます。

ユニタリ変換の固有値の絶対値は $1$#

いま、$V$ を $K$ 上の計量ベクトル空間として、$f_{A} : V \to V$ を線型変換とします。

このとき、定理 7.27（ユニタリ行列の固有値）より、$f_{A}$ がユニタリ変換であるならば、$f_{A}$ の固有値 $\lambda_{A}$ は絶対値が $1$ の複素数に等しいといえます。

直交変換の固有値は（存在すれば）$1$ または $-1$#

また、$K = \mathbb{R}$ の場合に限って考えれば、定理 7.27（ユニタリ行列の固有値）は、直交行列により定まる直交変換の固有値に関する定理と捉えられます。

つまり、$f_{A}$ が直交変換であり、固有値を持つとすれば、$f_{A}$ の固有値 $\lambda_{A}$ は絶対値が $1$ の実数、すなわち $1$ または $-1$ に等しくなるということです。

証明#

$A$ を $n$ 次の正方行列として、$A$ の固有値を $\lambda_{A}$、固有ベクトルを $\bm{x} \in K^{n}$ とすると、次が成り立つ。

また、$A$ を $K^{n}$ から $K^{n}$ への線型変換と考えると、$A$ はユニタリ変換であるから、定義より、次が成り立つ。

したがって、

証明の考え方#

固有値と固有ベクトルの定義、および、ユニタリ変換の定義から示します。

定理 7.26（ユニタリ変換とユニタリ行列）の証明と同様に、ユニタリ行列 $A$ が、数ベクトル空間 $K^{n}$ の線型変換（特に、ユニタリ変換）であることを利用します。

固有値と固有ベクトルの関係式#

• $A$ を $n$ 次の正方行列として、$A$ の固有値を $\lambda_{A}$、固有ベクトルを $\bm{x} \in K^{n}$ とします。

• このとき、固有値と固有ベクトルの定義より、次の関係式が成り立ちます。

  $$\begin{align*} A \, \bm{x} = \lambda_{A} \, \bm{x} \end{align*}$$

• 上式の両辺（数ベクトル）のノルムをとると、次のようになります。

  $$\begin{align*} \big\lVert \, A \, \bm{x} \, \big\rVert &\overset{(\text{i})}{=} \big\lVert \, \lambda_{A} \, \bm{x} \, \big\rVert \\ &\overset{(\text{ii})}{=} \lvert \, \lambda_{A} \, \rvert \, \big\lVert \, \bm{x} \, \big\rVert \tag*{($$$\ast$)} \\ \end{align*}
  • （$\text{i}$）固有値と固有ベクトルの定義によります。
  • （$\text{ii}$）ベクトルのノルムの性質によります（定理 7.4（ベクトルのノルム））。

ユニタリ変換の性質#

• いま、$A$ を $K^{n}$ から $K^{n}$ への線型変換と考えると、$A$ は $K^{n}$ のユニタリ変換であるといえます。
  • これは、定理 7.26（ユニタリ変換とユニタリ行列）の証明と同様の考え方です。
• ユニタリ変換はノルムの値を保存する（ユニタリ変換の定義）ので、次が成り立ちます。
  $$\begin{align*} \big\lVert \, A \, \bm{x} \, \big\rVert = \big\lVert \, \bm{x} \, \big\rVert \tag*{($$$\ast \ast$ )} \\ \end{align*}

証明のまとめ#

• （$\ast$）式と（$\ast\ast$）式より、次が成り立ちます。

  $$\begin{align*} && \lvert \, \lambda_{A} \, \rvert \, \big\lVert \, \bm{x} \, \big\rVert &= \big\lVert \, \bm{x} \, \big\rVert \\ & \Leftrightarrow & \lvert \, \lambda_{A} \, \rvert &= 1 \\ \end{align*}$$

• これは、ユニタリ行列 $A$ の固有値 $\lambda_{A}$ が絶対値 $1$ の複素数に等しいことを表す式に他なりません。

• 以上から、題意が示されました。

まとめ#

• $A$ をユニタリ行列とすると、$A$ の固有値 $\lambda_{A}$ は、絶対値が $1$ の複素数に等しい。

  $$\begin{align*} \big\lvert \, \lambda_{A} \, \big\rvert = 1 \end{align*}$$
  • $A$ を直交行列とすると、固有値は（存在すれば）$1$ または $-1$ に等しい。

• $f_{A}$ をユニタリ変換とすると、$f_{A}$ の固有値 $\lambda_{A}$ は、絶対値が $1$ の複素数に等しい。

  • $A$ を直交変換とすると、固有値は（存在すれば）$1$ または $-1$ に等しい。

参考文献#

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.