actions

射影作用素

ファイル:Orthogonal projection.svg
変換 P は直線 m の上への直交射影

線型代数学および函数解析学における射影作用素あるいは単に射影(しゃえい、: projection)とは、いわゆる射影投影)を一般化した概念である。有限次元ベクトル空間 V の場合は、V 上の線型変換 P: VV であって、冪等P2 = P を満たすものを言う。ベクトル v の像 Pvv の射影という。射影作用素はベクトル空間 VUW と直和分解したときに、V の元 v = u + w (uU, wW) を u に写すような変換である。ベクトル空間の次元が無限次元の場合には、連続性を考慮しなければならない。例えばヒルベルト空間 [math]\mathcal{H}[/math] における射影作用素とは、[math]\mathcal{H}[/math] 上の有界線型作用素 [math]P \in \mathcal{L}(\mathcal{H})[/math] であって、冪等P2 = P を満たすものを言う。このときさらに自己共役P = P を持つときには直交射影(ちょっこうしゃえい、: orthogonal projection)という[1]。直交射影のことを単に射影と呼ぶこともある[2]

この定義は抽象的ではあるが、投影図法の考え方を一般化し、定式化したものになっている。 幾何学的対象上の射影の影響は、その対象の各点における射影の影響を調べることでわかる。

平易な例

直交射影

例えば、三次元空間 R3 の点 (x, y, z) を点 (x, y, 0) へ写す写像は xy-平面の上への射影である。この写像は行列

[math]P =\begin{pmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 0\end{pmatrix}[/math]

によって表現される。実際、この行列 P の任意のベクトルへの作用は

[math]P\begin{pmatrix} x\\ y\\ z\end{pmatrix} =\begin{pmatrix} x\\ y\\ 0\end{pmatrix}[/math]

となり、これが射影を定めること(つまり P = P2 を満たすこと)は

[math]P^2\begin{pmatrix} x\\ y\\ z\end{pmatrix} = P\begin{pmatrix} x\\ y\\ 0\end{pmatrix} =\begin{pmatrix} x\\ y\\ 0\end{pmatrix}[/math]

なる計算によって確かめられる。

斜交射影

(定義は後述するが)直交でない(斜交)射影の簡単な例として

[math]P =\begin{pmatrix} 0 & 0\\\alpha & 1\end{pmatrix}[/math]

を挙げることができる。行列の積の定義に従って計算すれば

[math]P^2 =\begin{pmatrix} 0 & 0\\\alpha & 1\end{pmatrix}\begin{pmatrix} 0 & 0\\\alpha & 1\end{pmatrix}=\begin{pmatrix} 0 & 0\\\alpha & 1\end{pmatrix} = P[/math]

故に P が実際に射影となることが分かる。

この射影 P が直交射影となるのは α = 0 のときであり、かつそのときに限る。

分類

以下、本節において考えるベクトル空間はすべて有限次元であるものと仮定する(この場合、射影の連続性などを気にしなくともすむ)。

ファイル:Oblique projection.svg
変換 Tk に沿った m の上への射影である。T の値域は m であり、T の零空間は k に等しい。

本項冒頭の導入文で述べたとおり、射影 P冪等律すなわち P2 = P を満たすような線型変換である。

もととなるベクトル空間を W とする。W部分線型空間 U および V が、それぞれ P値域および零空間)であるものと仮定すると、基本的な性質として

  • PU 上に恒等作用素 I として作用する。つまり、
    [math]\forall x \in U,\quad Px = x.[/math]
  • 直和分解 W = UV が成立する。すなわち、W の各ベクトル xU の元 uV の元 v を用いて x = u + v なる形に一意的に表される。これには
    [math]u = Px,\quad v = x - Px = (I - P)x[/math]
    とすればよい。

などが成り立つことがわかる。射影の値域と核は互いに「相補的」なもので、PQ = I − P も同じく「相補的」である。すなわち、作用素 Q もやはり射影を定め、Q の値域は P の核、Q の核は P の値域となる。逆もまた然り。

このとき P を(核)V に沿った(値域)U の上への射影と言い、また QU に沿った V の上への射影と呼ぶ。

ベクトル空間の、部分空間の直和への分解は一般には一意的でない。従って、部分空間 V が与えられたとき、その値域(もしくは核)が V となるような射影は一般に複数存在しうる。

射影のスペクトルが {0, 1} に含まれることは

[math] (\lambda I - P)^{-1}= \frac 1 \lambda I+\frac 1{\lambda(\lambda-1)} P[/math]

から分かる。射影の固有値となれるのは 0 および 1 に限られるが、それらに対応する固有空間は射影の核および値域に他ならない。

自明でない射影は最小多項式[math]X^2-X=X(X- I)[/math] となり、これは相異なる一次因子の積となっているから、P対角化可能である。

直交射影

考えているベクトル空間に内積が定義されていれば、直交性や(線型作用素の自己共軛性)といったような内積に付随するさまざまな概念を用いることができるようになる。直交射影は、値域 U と核 V とが互いに直交する部分空間になっているような射影をいう。射影が直交射影であるための必要十分条件は、それが自己共軛であること、即ち実ベクトル空間の場合には、ある直交基底に関する表現行列 P対称行列P = PT)であり、複素ベクトル空間の場合には、表現行列 Pエルミート行列P = (P*)T))となることである。実際に、x, y が射影の定義域に属するベクトルのとき、 PxU, yPyV であり、かつ [math]\langle\bullet,\bullet\rangle[/math]正定値内積として

[math] \langle Px, y-Py \rangle = (Px)^\top (y-Py) = x^\top (P^\top-P^\top P) y=x^\top(P-P^\top P)^\top y[/math]

が成り立つから、PxyPy とが任意の x, y に関して互いに直交するのは、P = PTP(これは P = PT かつ P = P2 に同値)のときであり、かつそのときに限る[3]

直線の上への直交射影の場合が最も簡単であろう。直線上の単位ベクトル u をとれば、当該の射影は

[math] P_u = u u^\top[/math]

で与えられる。この作用素は u を変えないし、また u に直交する全てのベクトルを零化する。このことは、u を含むどんな直線の上への射影についても正しい[3]。これを見るのに簡単な方法は、勝手なベクトル x を直線上の成分(つまり射影されたベクトルを考える)とそれに垂直な成分との和

[math]x:=x_\parallel+x_\perp[/math]

と考えることである。これに射影を施せば、平行なベクトル同士の内積と垂直なベクトル同士の内積の性質から

[math]P_ux = u u^\top x_\parallel+u u^\top x_\perp = u|x_\parallel|+u0 = x_\parallel[/math]

を得る。

この等式は任意次元の部分空間の上への直交射影にも拡張することができる。u1, ..., uk を部分空間 U正規直交基底とし、各列ベクトルが u1, ..., uk になっている k-次正方行列を A と書けば、所期の射影が

[math] P_A = A A^\top[/math]

で表される[4]。これは内積を使えば

[math] P_A = \sum_i \langle u_i,\bullet\rangle u_i[/math]

と書くこともできる。行列 ATU の直交成分が消える部分等距変換であり、AU を考えている全体空間へ埋め込む等長変換になっている。従って PA の値域は A終空間 (final space) であり、また ATAU 上の恒等変換であることは明らかである。

上記の議論で正規直交条件は落とすこともできる。即ち、u1, …, uk を(必ずしも正規直交でない)基底とし、それらを列ベクトルに持つ行列を A と書けば、求める射影は

[math]P_A = A (A^\top A)^{-1} A^\top[/math]

と書ける[5]。この場合も行列 AU の全体空間への埋め込みになっているが、しかし一般にはもはや等距変換ではない。ここで行列 (ATA)−1 はノルムを回復する「正規化因子」である。実際、階数 1 の作用素 uuT は ‖u‖ ≠ 1 のとき射影にならないが、これをuTu = ‖u2 で割って得られる u(uTu)−1uTu で張られる部分空間の上への射影になる。

この射影の値域となるベクトル空間が(基底ではなくて) (frame) で張られているとき(つまり生成元の数が次元の値よりも大きいとき)には、上記の公式は

[math]P_A = A (A^\top A)^+ A^\top[/math]

という形になる。ここで [math]A^+[/math]ムーア・ペンローズ擬似逆行列を表す。このような場合には、射影作用素を構成する方法は無数にあり、これはその無数の可能性のうちの一つに過ぎないことに注意すべきである。

あるいは、行列 [math][A \ B][/math] が正則で ATB = 0(つまり、BA の零空間行列)のときには

[math]I = A (A^\top A)^{-1} A^\top + B (B^\top B)^{-1} B^\top[/math]

が成り立つ。直交条件を強めて、正則行列 W に対して ATWB = ATWTB = 0 が成り立つものとすれば、

[math]I = \begin{bmatrix}A & B\end{bmatrix} \begin{bmatrix}(A^\top W A)^{-1} A^\top \\ (B^\top W B)^{-1} B^\top \end{bmatrix} W[/math]

が成立する。

これらの公式は(転置行列を随伴行列に取り替えれば)複素内積空間でも成立する。

斜交射影

直交射影でないような射影のことを、斜交射影と呼ぶこともある。直交射影ほど頻繁ではないが、この種の射影は二次元に描画された空間図形を表すのにも用いられる。

斜交射影はその値域と核によって定まり、与えられた値域と核を持つ射影の行列表現の式は次のように求められる。まず射影の値域の基底を成すベクトルを u1, …, uk とし、それらを列ベクトルとして並べた n × k 行列を A と書く。射影の値域と核とは互いに補空間になっているから、核の次元は n − k である。従って、射影の核の直交補空間の次元は k であり、v1, …, vk がその基底を成すものとして、それらを並べた行列を B と書く。このとき、当該の射影は

[math] P = A (B^\top A)^{-1} B^\top[/math]

によって定まる。この公式を、上で直交射影に対してやったように拡張することもできる[6]

標準形

体上の d-次元ベクトル空間上の射影 P = P2 は、その最小多項式x2 − x で相異なる一次因子の積に分解されるから、対角化可能である。従って、適当な基底を選べば P は、rP の階数として

[math]P = I_r\oplus 0_{d-r}[/math]

なる形に表すことができる。ここで、Irr-次単位行列、0dr は次数 d − r の零行列である。複素ベクトル空間で内積を持つ場合には、適当な正規直交基底を選んで、P の表現行列を

[math]P = \begin{bmatrix}1&\sigma_1 \\ 0&0\end{bmatrix} \oplus \cdots \oplus \begin{bmatrix}1&\sigma_k \\ 0&0\end{bmatrix} \oplus I_m \oplus 0_s[/math]

なる形にすることができる[7]。ただし、σ1 ≥ σ2 ≥ … ≥ σk > 0 とする。また、k, s, m は整数で、実数 σi は一意に定まる。2k + s + m = d であることに注意せよ。このときの、Im ⊕ 0s なる因子は、その上に P が直交射影として作用する最大の不変空間に対応しており(故に P 自体が直交射影となるのは k = 0 のとき、かつそのときに限る)、かつ σi-ブロックが P斜交成分に対応している。

ノルム空間上の射影作用素

考えるベクトル空間 X が(有限次元とは限らない)ノルム空間のとき、(有限次元の場合には関係ないが)解析学的なことも考えないといけないので、ここでは Xバナッハ空間であることを仮定する。

先に述べた代数的な概念の多くはこの文脈においても有効である。例えば、互いに補空間となるような部分空間への X の直和分解が与えられればやはり射影が定まるし、逆に射影からそのような直和分解が得られる。実際、X が直和分解 X = UV を持つとき、P(u + v) = u で定義される作用素はやはり値域 U および核 V の射影である(P2 = P は明らかである)。一方 PX 上の射影、即ち P2 = P を満たすならば (IP)2 = (IP) は容易に確かめられ、即ち (IP) もまた射影となる。関係式 I = P + (IP) から X が Ran(P) ⊕ Ran(IP) なる直和に分解されることが従う。

しかし、有限次元の場合とは対照的に、射影は一般に連続とは限らない。実際、X の部分空間 U がノルムの定める位相に関して閉でないときは U の上への射影は連続でない。同じことだが、連続な射影 P の値域は必ず閉部分空間でなければならない。更には、連続射影の(実は一般の連続線型作用素の)核は閉部分空間である。従って、連続射影 PX の互いに補空間となる閉部分空間の直和への分解 X = Ran(P) ⊕ Ker(P) = Ran(P) ⊕ Ran(IP) を与える。

逆は、適当な仮定を追加すれば成り立つ。UX の閉部分空間とすると、X = UV となる閉部分空間 V が存在する場合に限り、値域が U, 核が V となる射影 P は連続である。これは閉グラフ定理から従う。即ち、xnx かつ Pxny とするとき、Px = y が示されればよい。U が閉で、{Pxn} ⊂ U だから yU に属し、Py = y が成り立つ。また、xnPxn = (IP)xnxy である。このとき、V は閉で {(IP)xn} ⊂ V だったから、xyV 即ち P(xy) = PxPy = Pxy = 0 を得て、主張が示される。

今の議論では U, V がともに閉であるという仮定が効いているが、閉部分空間 U が与えられたときにその閉補空間 V の存在は一般には保証されない。ただし、ヒルベルト空間では直交補空間をとることで常にそれができる。バナッハ空間の場合には、一次元部分空間が常に閉補空間を持つことが、ハーン・バナッハの定理から直ちに従う。実際、Uu が張る一次元部分空間とすると、ハーン・バナッハから、有界線型汎函数 Φ で φ(u) = 1 なるものがとれる。このとき、作用素 P(x) := φ(x)uP2 = P を満足し、射影となる。φ の有界性から P の連続性が出るから、従って Ker(P) = Ran(IP) が U の閉補空間となる。

そうは言うものの、開写像定理により、バナッハ空間上の任意の連続射影は開写像であることが言える。

応用およびさらに進んだ議論

射影(直交射影とその他)は、線形代数の問題でのいくつかの計算アルゴリズムにおいて、重要な役割を果たす。

上で述べたように、射影というのは冪等作用素の特別なものであり、解析学的には直交射影は特性函数の非可換な一般化になっている。可測集合の特性函数を考えることから測度論が始まったように、冪等作用素は(例えば半単純多元環などの)分類にも用いられ、それゆえ想像のつくとおり、射影作用素も作用素環論の文脈で極めて頻繁に用いられる。特に、フォン・ノイマン環はその射影の成す完備束によって生成される。

物理への応用

量子論では,ある条件を満たす状態の全体は状態空間の部分空間と考えることができるので,量子力学的な命題と部分空間,すなわち射影演算子とを対応させることができる(量子論理).

統計力学では、運動の粗視化を射影演算子を使って定式化する方法(射影演算子の方法)がある.

分子対称性分子振動格子振動結晶波動関数では、任意の関数からある対称性に従う関数のみを作りたい時に、射影演算子が用いられる。たとえば射影演算子を用いれば、既約表現の表現行列からその基底関数(基準振動、基準モードなど)を求めることができる。

一般化

より一般に、ノルム空間の間の写像 T: VW が与えられたとき、同じようにこれが核の直交補空間上の等距写像となることを要求することができる。その [math](\ker T)^\perp \to W[/math] は等距であり、特に全射でなければならない。直交射影の場合というのは WV の部分空間であるときである。リーマン幾何学においてこのことはリーマン沈め込みの定義に使われている。

注釈

  1. Reed & Simon 1980, p. 187.
  2. Reed & Simon 1980, p. 188.
  3. 3.0 3.1 Meyer 2000.
  4. Meyer 2000, equation 5.13.4.
  5. Meyer 2000, equation 5.13.3.
  6. Meyer 2000, equation 7.10.39.
  7. Doković, D. Ž. (August 1991). “Unitary similarity of projectors”. Aequationes Mathematicae 42 (1): 220–224. doi:10.1007/BF01818492. http://www.springerlink.com/content/w3r57501226447m6/. 

参考文献

関連項目

外部リンク

テンプレート:Linear algebra