９-１　射影演算子
f-denshi.com   ［目次］　最終更新日：  書き直し中
サイト検索

ベクトルの内積，直交性を調べるためのツールを充実させておきましょう.

１．直交分解

［１］　直和分解の特別な場合として直交分解というのがあります。ユニタリ空間 V の部分空間 W が与えられたとき，次の集合，

W^⊥ ＝ ｛y｜内積(y,x )＝ 0， x ∈W ，y ∈V ｝　　［ 直交補空間 ］

を W の直交補空間といい，このW^⊥もV の部分ベクトル空間[#]となっています。 また，このときユニタリ空間 V はW と W^⊥の直和 [#]，

V ＝ W

W⊥

にもなっています。 すなわち，任意のベクトルz ∈V  に対して，x ∈W　，y ∈W^⊥ が存在し，

z ＝x ＋y

と一意的に表すことができます。

(直和分解の場合[#]は，x とy が一意的であることだけが必要で，これらが互いに直交している必要はありません。直交分解は直和分解の特別な場合です。)

	直和分解：V ＝W P	直交分解：V ＝W⊥W⊥

［２］ このようなユニタリ空間 V の分割を部分空間に対して繰り返えしおこなうと，

V ＝ W1

W2

････

Wm

というようにV はいくつかのお互いに直交する部分空間の直和で表すことができますが，これをユニタリ空間 V の直交分解と言いい，

V ＝ W1⊥W2⊥･････⊥Wm

という記号を用いて表します。このとき，V の任意のベクトルx について，

ｘ ＝x₁＋x₂＋･･･＋x_m

ただし，

と表すことができます。もちろん，　　　

n　＝ dimV ＝dimW₁＋dimW₂＋･･･＋dimW_m　
               ＝ s ＋ t ＋ ･･･ ＋ u

が成り立っています。　　

２．射影演算子

［１］　ユニタリ空間 V が

V ＝ W₁⊥W₂⊥･･･⊥W_m　　

と直交分解されているとき，V 上の任意のベクトルは，

ｘ  ＝ x₁＋･･･x_k＋･･･＋x_m　     ( ただし，x_k∈W_k )

と一意的に表されます。 このとき，x に作用して，ベクトルx_k∈W_k　を取り出す写像：

P_k：　　　x 　　→　x_k　　　

を射影演算子(または，射影作用素)と言います。　射影演算子はV上の線形演算子であって，W_k の基底を ｛ e_s+1，･･･，e_s+t ｝とすれば次のように内積(　，　)を用いて，

Pkx　＝xk        ＝ｘs+1es+1＋･･･＋ｘs+ｔes+t 　　　 ＝(ｘ,es+1)es+1＋･･･＋(ｘ,es+t)es+t　　　　　　［ 射影演算子 ］

と書くことができます[#]。

［２］　この演算子について次の関係式が成り立ちます。

(証明)

(１)　　P_jP_kx　＝P_jx_k　＝0　＝Ox 　　　(　i≠j　)　

(２)　　P_j²x　＝ P_j(P_jx_j) ＝ P_jx_j ＝ x_j ＝ P_jx　

(３)　(P₁＋･･･＋P_k＋･･･＋P_m )x ＝ P₁x ＋･･･＋P_kx ＋･･･＋P_mx
                                ＝　x₁　＋･･･ ＋ x_k  ＋･･･＋x_m  ＝ x　
　　　　　　　　　　　　　　    ＝Ex

(４)　P₁ を次のような W₁ への射影演算子として，

ｘ ＝ x₁＋x₂，　y ＝ y₁＋y₂，　P₁ｘ ＝ x₁　，P₁y ＝ y₁

以下の内積を (x_j,y_k )＝0，  j ≠ k に注意して計算してみると，

(P₁x,y ) ＝ (x₁,y₁＋y₂ )＝(x₁,y₁ )＝ (x₁＋x₂,y₁ ) ＝ (x,y₁ )
               ＝ (x,P₁y )

ところが，(P₁x,y ) ＝ (x,P₁^*y ) でもある[#] ので，すぐ上の結果と比較すれば，P₁^*y ＝P₁y ，すなわち，

P₁^*＝P₁          (終)

一般に，T ＝ T^*　のような性質をもつ線形演算子をエミルート演算子と言い，後ほど詳しく説明します。

［目次へ］