完全正規直交系と直交行列

≪【前の記事】正射影ベクトルと射影行列

【Python線形代数】完全正規直交系と直交行列

完全正規直交系

ベクトル空間を張るベクトルの集合を基底とよびました。基底であるための条件は「互いに線形独立である」、「空間を張るメンバーが不足していない」の 2 つでしたが、さらに「互いに直交する」、「メンバーが単位ベクトルである」という２つの条件を付け加えた基底を 完全正規直交系（正規直交基底） とよびます。英語では complete orthonormal system と記述するので、その頭文字をとって CONS と表されることもあります。
　
たとえば以下の 3 組のベクトルは ${\mathbb{R}}^3$ を張る基底で、互いに直交しています。
 $$\begin{array}{}\text{(1)}& {\mathit{a}}_1=\left[\begin{array}{c}1\\ 1\\ 0\end{array}\right],{\mathit{a}}_2=\left[\begin{array}{c}-1\\ 1\\ 0\end{array}\right],{\mathit{a}}_3=\left[\begin{array}{c}0\\ 0\\ 1\end{array}\right]\end{array}$$
$det({\mathit{a}}_1,{\mathit{a}}_2,{\mathit{a}}_3)\ne 0$ なので、メンバーは互いに線形独立です。行列式の計算が面倒な人は Python のコードで確認してください：

# python_complete_orthonormal_system

# In[1]

import numpy as np
from scipy.linalg import det

# 配列を定義
X = np.array([[1, -1, 0],
              [1,  1, 0],
              [0,  0, 1]])

# 行列式を計算
print(det(X))

# 2

メンバー同士で互いに内積をとると $0$ となります：
 $$\begin{array}{}\text{(2)}& \begin{array}{rl}& {\mathit{a}}_1^T{\mathit{a}}_2=0\\ & {\mathit{a}}_2^T{\mathit{a}}_3=0\\ & {\mathit{a}}_3^T{\mathit{a}}_1=0\end{array}\end{array}$$
メンバー自身の内積を計算してみると、
 $$\begin{array}{}\text{(3)}& {\mathit{a}}_1^T{\mathit{a}}_1=2,{\mathit{a}}_2^T{\mathit{a}}_2=2,{\mathit{a}}_3^T{\mathit{a}}_3=1\end{array}$$
となるので、${\mathit{a}}_1$ と ${\mathit{a}}_2$ の大きさは $\sqrt{2}$、${\mathit{a}}_3$ の大きさは $1$ であることがわかります。${\mathit{a}}_1$ と ${\mathit{a}}_2$ をそれぞれ $\sqrt{2}$ で割ると、すべてのメンバーの大きさを $1$ に揃えることができます。
 $$\begin{array}{}\text{(4)}& {\mathit{q}}_1=\frac{1}{\sqrt{2}}\left[\begin{array}{c}1\\ 1\\ 0\end{array}\right],{\mathit{q}}_2=\frac{1}{\sqrt{2}}\left[\begin{array}{c}-1\\ 1\\ 0\end{array}\right],{\mathit{q}}_3=\left[\begin{array}{c}0\\ 0\\ 1\end{array}\right]\end{array}$$
$\{{\mathit{q}}_1,{\mathit{q}}_2,{\mathit{q}}_3\}$ は 完全正規直交系 (正規直交基底) です。
 
完全正規直交系であることは、クロネッカーのデルタ記号 ${\delta }_{ij}$ を使って次のように表せます。
 $$\begin{array}{}\text{(5)}& {\mathit{q}}_i^T{\mathit{q}}_j={\delta }_{ij}=\{\begin{array}{ll}0& (i\ne j)\\ 1& (i=j)\end{array}\end{array}$$
すなわち、各メンバーが自分同士で内積をとる場合は $1$ となり、他のメンバーとの間で内積を計算した場合は $0$ となります。

直交行列

$\{{\mathit{q}}_1,{\mathit{q}}_2,{\mathit{q}}_3\}$ のメンバーを横に並べて行列をつくってみます。
 $$\begin{array}{}\text{(6)}& Q=\left[\begin{array}{ccc}{\mathit{q}}_1& {\mathit{q}}_2& {\mathit{q}}_3\end{array}\right]=\left[\begin{array}{ccc}\frac{1}{\sqrt{2}}& -\frac{1}{\sqrt{2}}& 0\\ \frac{1}{\sqrt{2}}& \frac{1}{\sqrt{2}}& 0\\ 0& 0& 1\end{array}\right]\end{array}$$
$Q^{T}Q$ と $Q{Q}^T$ を計算すると単位行列となります：

# In[2]

x = np.sqrt(2)/2

# 直交行列
Q = np.array([[ x, x, 0],
              [-x, x, 0],
              [ 0, 0, 1]])

print(Q.T @ Q)
print(Q @ Q.T)

# [[1. 0. 0.]
#  [0. 1. 0.]
#  [0. 0. 1.]]

# [[1. 0. 0.]
#  [0. 1. 0.]
#  [0. 0. 1.]]

このように、正規直交基底のベクトルで構成される行列を直交行列とよび、次のように計算してみると常に $Q^{T}Q=I$ が成り立つことがわかります。
 $$\begin{array}{}\text{(7)}& Q^{T}Q=\left[\begin{array}{c}{\mathit{q}}_1^T\\ {\mathit{q}}_2^T\\ {\mathit{q}}_3^T\end{array}\right]\left[\begin{array}{ccc}{\mathit{q}}_1& {\mathit{q}}_2& {\mathit{q}}_3\end{array}\right]=\left[\begin{array}{ccc}{\mathit{q}}_1^T{\mathit{q}}_1& {\mathit{q}}_1^T{\mathit{q}}_2& {\mathit{q}}_1^T{\mathit{q}}_3\\ {\mathit{q}}_2^T{\mathit{q}}_1& {\mathit{q}}_2^T{\mathit{q}}_2& {\mathit{q}}_2^T{\mathit{q}}_3\\ {\mathit{q}}_3^T{\mathit{q}}_1& {\mathit{q}}_3^T{\mathit{q}}_2& {\mathit{q}}_3^T{\mathit{q}}_3\end{array}\right]\end{array}$$
${\mathit{q}}_i{\mathit{q}}_j={\delta }_{ij}$ より、対角成分だけが残るので
 $$\begin{array}{}\text{(8)}& Q^{T}Q=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]=I\end{array}$$
となります。一般に ${\mathbb{R}}^n$ を張る基底のメンバー数は $n$ なので、直交行列 $Q$ は正方行列であり、$Q^{T}Q=I$ が成り立つことから、$Q^T$ は $Q$ の転置行列であると同時に逆行列であることもわかります。したがって、$Q{Q}^T=I$ も成り立ちます。

正規直交系

完全正規直交系の「完全」とは「基底であること」を意味しています。この条件を外した「互いに直交しつつ、各々の長さが $1$ であるけれど、空間を張るメンバーが揃っているとは限らない」ベクトル集合を正規直交系とよびます。細かいことですが、メンバーが揃っていても揃っていなくても正規直交系です。つまり、完全正規直交系は正規直交系の部分集合です。揃っていないことを明示する場合は「不完全直交系」とよびます。

不完全直交系のベクトルで構成される行列 $Q$ は矩形行列となり、$Q^{T}Q=I$ は成り立ちますが、$Q{Q}^T=I$ は成立しません。つまり、$Q^T$ は $Q$ の逆行列ではありません (このような行列を「左逆行列」とよぶこともあります)。たとえば、基底 (4) から ${\mathit{q}}_2$ を外して、行列 $Q$ を以下のように定義します。
 $$\begin{array}{}\text{(9)}& Q=\left[\begin{array}{cc}{\mathit{q}}_1& {\mathit{q}}_3\end{array}\right]=\left[\begin{array}{cc}\frac{1}{\sqrt{2}}& 0\\ \frac{1}{\sqrt{2}}& 0\\ 0& 1\end{array}\right]\end{array}$$
このとき、$Q^{T}Q$ は単位行列ですが、$Q{Q}^T$ は単位行列とはなりません：

# In[3]

x = np.sqrt(2)/2

# 不完全直交行列
Q = np.array([[x, 0],
              [x, 0],
              [0, 1]])

print(Q.T @ Q)
print(Q @ Q.T)

# [[1. 0.]
#  [0. 1.]]

# [[0.5 0.5 0. ]
#  [0.5 0.5 0. ]
#  [0.  0.  1. ]]

このように、系が不完全であれば行列演算の簡潔性の一部が失われることになります。とはいえ、完全であろうと不完全であろうと、$Q^{T}Q=I$ が成り立つので、直交行列 $Q$ による線形変換はベクトルの内積を保持します：
 $$\begin{array}{}\text{(10)}& (Q\mathit{x}{)}^T(Q\mathit{y})={\mathit{x}}^T{Q}^{T}Q\mathit{y}={\mathit{x}}^{T}I\mathit{y}={\mathit{x}}^T\mathit{y}\end{array}$$
$\mathit{y}=\mathit{x}$ であるときは、$\parallel Q\mathit{x}\parallel =\parallel \mathit{x}\parallel$ が成り立ちます (直交行列によるノルム不変性)。
　
≫【次の記事】グラムシュミットの直交化法
≫ Pythonで学ぶ線形代数トップページ