math.luma.dev

直交射影行列(orthogonal projection matrix)

直交射影行列では直交射影(orthogonal projection)を表現する。
射影(projection)であって、直交方向に射影するものを、直交射影という。

光の方向が、影を落とす対象(object)に対して直交する。影を落とす対象の空間 (つまり射影の像(image)) を固定したとき、直交射影はひとつに定まる。

直交射影の簡単な説明

(TODO: 図)

一般にいう直交射影のイメージ:

ペアから特定の(いくつかの)要素(element)を抜き出す:
- $F : X \times Y \to X$ であって $(x, y) \mapsto x$ と定義されるものは、 $X$ を抜き出す直交射影
特定の低次元(dimension)へと影を落とす:
- 三次元物体(field)（たい）の、床(XZ平面)に映る影を各点で落とす関数(function) $p (x, y, z) \overset{def}{=} (x, 0, z)$ で定義される関数 $p : R^{3} \to R^{3}$
  - その像から誘導される $P (R^{3}) \to P (R^{3})$
- 円運動をy軸に直交射影すれば正弦波運動になる。

直交射影行列の定義

定義1. 羃等性(idempotence)による定義

行列(matrix) $P$ が以下すべてを満たすとき、直交射影行列と呼ぶ。

射影行列(projection matrix)である (羃等性: $P^{2} = P$ )
エルミート行列である: $A = A^{†}$

羃等性は、 $P$ による作用(action)は二度目以降は、一度目と同じ効果ということ。
実数(real)上の線形空間(linear space)ならエルミート行列に関する条件は必要ない。

定義2. 直交射影を起こすことによる定義

行列 $P$ が、なにかしらの直交射影関数の表現行列(transformation matrix)であるとき、直交射影行列と呼ぶ。

$P_{V}$ が直交射影関数であるというのをより形式的に書くと次のようになる。
なにかしらの内積空間(inner product space) $V \subseteq U$ について、 $P_{V} : U \to V$ が直交射影関数であるとは、 $r = \dim V$ とし、それぞれ以下のように正規直交基底がとれるとして、

$E_{V} = (v_{0}, v_{1}, \dots, v_{r - 1})$
$E_{U} = (v_{0}, v_{1}, \dots, v_{r - 1}, \dots)$

としたとき、 $P_{V}$ は単に $E_{V}$ の成分の抜き出しに相当するときをいう。

すなわち、 $P_{V} (u) = \sum_{i \in r} ⟨ u, v_{i} ⟩ v_{i}$ と表される。
言い換えれば、適当な基底があって、

(\begin{array}{cccccccc} 1 \\ 1 \\ ⋱ \\ 1 \\ 0 \\ 0 \\ ⋱ \\ 0 \end{array})

なる表現を持つ線形写像(linear map)のこと。

なので、直交射影行列とは、基底の取り方の揺らぎを許した全体の行列、すなわちこれに基底変換(transition)をした行列全体。ユニタリ行列(unitary matrix) $U$ を用いて以下の表示を持つ、と整理することもできる。

() = U (\begin{array}{cc} I_{r} \\ O_{n - r} \end{array}) U^{†}

(通常の基底変換の表示 $U^{†} A U$ と逆だが、 $U^{†}$ もまたユニタリ行列となるのでこちらで説明する)

ここで、 $U = (u_{0}, u_{1}, \dots, u_{r - 1}, u_{r}, \dots, u_{n - 1})$ だとすれば、

\begin{aligned} U (\begin{array}{cc} I_{r} \\ O_{n - r} \end{array}) U^{†} \\ = & (u_{0}, u_{1}, \dots, u_{r - 1}, u_{r}, \dots, u_{n - 1}) ((\begin{array}{cc} I_{r} \\ O_{n - r} \end{array}) (\begin{array}{c} {u_{0}}^{†} \\ {u_{1}}^{†} \\ \dots \\ {u_{r - 1}}^{†} \\ {u_{r}}^{†} \\ \dots \\ {u_{n - 1}}^{†} \end{array})) \\ = & (u_{0}, u_{1}, \dots, u_{r - 1}, u_{r}, \dots, u_{n - 1}) (\begin{array}{c} {u_{0}}^{†} \\ {u_{1}}^{†} \\ \dots \\ {u_{r - 1}}^{†} \\ 0 \\ \dots \\ 0 \end{array}) \\ = & \sum_{i \in r} u_{i} {u_{i}}^{†} \end{aligned}

という表示を持つことだとも言える。

(定義1) $\Leftarrow$ (定義2)

証明

羃等性

\begin{aligned} P^{2} \\ = & (\sum_{i \in r} u_{i} {u_{i}}^{†}) (\sum_{i \in r} u_{i} {u_{i}}^{†}) & (定義2の表示で展開) \\ = & \sum_{\begin{array}{c} i \in r \\ j \in r \end{array}} u_{i} {u_{i}}^{†} u_{j} {u_{j}}^{†} & (ベクトルの分配則) \\ = & \sum_{\begin{array}{c} i \in r \\ j \in r \end{array}} u_{i} ({u_{i}}^{†} u_{j}) {u_{j}}^{†} & (ベクトルの結合律) \\ = & \sum_{i \in r} u_{i} {u_{j}}^{†} & (正規直交基底の性質 (i \neq j は 0 になって消える)) \\ = & P & (これは定義2のPの表示そのもの) \end{aligned}

エルミート性

\begin{aligned} P^{†} \\ = & {(\sum_{i \in r} u_{i} {u_{i}}^{†})}^{†} & (定義2の表示で展開) \\ = & \sum_{i \in r} {(u_{i} {u_{i}}^{†})}^{†} & (随伴操作の線形性) \\ = & \sum_{i \in r} {u_{i}}^{† †} {u_{i}}^{†} & (随伴操作の性質) \\ = & \sum_{i \in r} u_{i} {u_{i}}^{†} & (随伴操作の性質) \\ = & P \end{aligned}

■

(定義1) $\Rightarrow$ (定義2)

証明

固有値(eigenvalue)は0か1

まず、定義1による $P$ は固有値が $0$ か $1$ になることを示す。
任意の固有値と固有ベクトル(eigenvector)の対応するペア $λ, u$ を考える。

\begin{aligned} ⟨ P u, P u ⟩ \\ = & ⟨ P^{†} P u, u ⟩ & (内積の特徴) \\ = & ⟨ P^{2} u, u ⟩ & (直交射影行列のエルミート性) \\ = & ⟨ P u, u ⟩ & (直交射影行列の羃等性) \end{aligned}

最初と最後の式を固有値の特徴から変形すれば、 $λ \overline{λ} ⟨ u, u ⟩ = \overline{λ} ⟨ u, u ⟩$ が得られ、 $λ \overline{λ} = \overline{λ}$ となる。

上記の式変形を、右側に $P$ を移すことで、 $λ \overline{λ} = λ$ も得られる。

$λ = \overline{λ}$ で $λ \overline{λ} = \overline{λ}$ を置き換えれば、二次方程式(equation) $λ^{2} = λ$ より、 $λ = 0, 1$ となる。

本証明

ユニタリ行列で対角化(diagonalization)すれば、適切に順序を入れ替えることで、

P = U (\begin{array}{cc} I_{r} \\ O_{n - r} \end{array}) U^{†}

の表示が得られる。

■

直交射影行列