射影作用素
(直交射影 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/05/14 05:47 UTC 版)
線型代数学および函数解析学における射影作用素あるいは単に射影（しゃえい、英: projection）とは、いわゆる射影（投影）を一般化した概念である。有限次元ベクトル空間 V の場合は、V 上の線型変換 P: V → V であって、冪等律 P2 = P を満たすものを言う。ベクトル v の像 Pv を v の射影という。射影作用素はベクトル空間 V を U⊕W と直和分解したときに、V の元 v = u + w (u ∈ U, w ∈ W) を u に写すような変換である。ベクトル空間の次元が無限次元の場合には、連続性を考慮しなければならない。例えばヒルベルト空間 
本項冒頭の導入文で述べたとおり、射影 P は冪等律すなわち P2 = P を満たすような線型変換である。
もととなるベクトル空間を W とする。W の部分線型空間 U および V が、それぞれ P の値域および零空間（核）であるものと仮定すると、基本的な性質として
- P は U 上に恒等作用素 I として作用する。つまり、
直交射影
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/12/31 08:38 UTC 版)
例えば、三次元空間 R3 の点 (x, y, z) を点 (x, y, 0) へ写す写像は xy-平面の上への射影である。この写像は行列 P = ( 1 0 0 0 1 0 0 0 0 ) {\displaystyle P={\begin{pmatrix}1&0&0\\0&1&0\\0&0&0\end{pmatrix}}} P ( x y z ) = ( x y 0 ) {\displaystyle P{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x\\y\\0\end{pmatrix}}} P 2 ( x y z ) = P ( x y 0 ) = ( x y 0 ) {\displaystyle P^{2}{\begin{pmatrix}x\\y\\z\end{pmatrix}}=P{\begin{pmatrix}x\\y\\0\end{pmatrix}}={\begin{pmatrix}x\\y\\0\end{pmatrix}}} なる計算によって確かめられる。
※この「直交射影」の解説は、「射影作用素」の解説の一部です。
「直交射影」を含む「射影作用素」の記事については、「射影作用素」の概要を参照ください。
- 直交射影のページへのリンク
