射影作用素のソースを表示

[[file:Orthogonal projection.svg|thumb|right|変換 ''P'' は直線 ''m'' の上への直交射影]]
[[線型代数学]]および[[函数解析学]]における'''射影作用素'''あるいは単に'''射影'''（しゃえい、{{lang-en-short|''projection''}}）とは、いわゆる[[射影]]（[[投影法|投影]]）を一般化した概念である。有限次元[[ベクトル空間]] ''V'' の場合は、''V'' 上の[[線型変換]] ''P'': ''V'' &rarr; ''V'' であって、[[冪等]]律 ''P''<sup>2</sup> = ''P'' を満たすものを言う。ベクトル ''v'' の像 ''Pv'' を ''v'' の射影という。射影作用素はベクトル空間 ''V'' を ''U''⊕''W'' と直和分解したときに、''V'' の元 ''v'' = ''u'' + ''w'' (''u'' ∈ ''U'', ''w'' ∈ ''W'') を ''u'' に写すような変換である。ベクトル空間の次元が無限次元の場合には、連続性を考慮しなければならない。例えば[[ヒルベルト空間]] <math>\mathcal{H}</math> における射影作用素とは、<math>\mathcal{H}</math> 上の[[有界線型作用素]] <math>P \in \mathcal{L}(\mathcal{H})</math> であって、[[冪等]]律 ''P''<sup>2</sup> = ''P'' を満たすものを言う。このときさらに[[自己共役作用素|自己共役]]性 ''P''<sup>&lowast;</sup> = ''P'' を持つときには'''直交射影'''（ちょっこうしゃえい、{{lang-en-short|orthogonal projection}}）という{{sfn|Reed|Simon|1980|p=187}}。直交射影のことを単に射影と呼ぶこともある{{sfn|Reed|Simon|1980|p=188}}。

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

== 平易な例 ==
=== 直交射影 ===
例えば、三次元空間 '''R'''<sup>3</sup> の点 (''x'', ''y'', ''z'') を点 (''x'', ''y'', 0) へ写す写像は ''xy''-平面の上への射影である。この写像は[[行列]]
:<math>P =\begin{bmatrix} 1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 0\end{bmatrix}</math>
によって表現される。実際、この行列 ''P'' の任意のベクトルへの作用は
:<math>P\begin{bmatrix} x\\ y\\ z\end{bmatrix} =\begin{bmatrix}
x\\ y\\ 0\end{bmatrix}</math>
となり、これが射影を定めること（つまり ''P'' = ''P''<sup>2</sup> を満たすこと）は
:<math>P^2\begin{bmatrix} x\\ y\\ z\end{bmatrix} = P\begin{bmatrix} x\\ y\\ 0\end{bmatrix} =\begin{bmatrix} x\\ y\\ 0\end{bmatrix}</math>
なる計算によって確かめられる。

=== 斜交射影 ===
（定義は後述するが）直交でない（斜交）射影の簡単な例として
:<math>P =\begin{bmatrix} 0 & 0\\\alpha & 1\end{bmatrix}</math>
を挙げることができる。[[行列の積]]の定義に従って計算すれば
:<math>P^2 =\begin{bmatrix} 0 & 0\\\alpha & 1\end{bmatrix}\begin{bmatrix} 0 & 0\\\alpha & 1\end{bmatrix}=\begin{bmatrix} 0 & 0\\\alpha & 1\end{bmatrix} = P</math>
故に ''P'' が実際に射影となることが分かる。

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

== 分類 ==
以下、本節において考えるベクトル空間はすべて有限次元であるものと仮定する（この場合、射影の連続性などを気にしなくともすむ）。
[[File:Oblique projection.svg|thumb|right|変換 ''T'' は ''k'' に沿った ''m'' の上への射影である。''T'' の値域は ''m'' であり、''T'' の零空間は ''k'' に等しい。]]
本項冒頭の導入文で述べたとおり、射影 ''P'' は[[冪等]]律すなわち ''P''<sup>2</sup> = ''P'' を満たすような線型変換である。 

もととなるベクトル空間を ''W'' とする。''W'' の[[部分線型空間]] ''U'' および ''V'' が、それぞれ ''P'' の[[値域]]および[[零空間]]（[[核 (代数学)|核]]）であるものと仮定すると、基本的な性質として
* ''P'' は ''U'' 上に恒等作用素 ''I'' として作用する。つまり、<div style="margin:1ex auto;"><math>\forall x \in U,\quad Px = x.</math></div>
* [[ベクトル空間の直和|直和分解]] ''W'' = ''U'' ⊕ ''V'' が成立する。すなわち、''W'' の各ベクトル ''x'' は ''U'' の元 ''u'' と ''V'' の元 ''v'' を用いて ''x'' = ''u'' + ''v'' なる形に一意的に表される。これには<div style="margin:1ex auto;"><math>u = Px,\quad  v = x - Px = (I - P)x</math></div>とすればよい。
などが成り立つことがわかる。射影の値域と核は互いに「相補的」なもので、''P'' と ''Q'' = ''I''&nbsp;−&nbsp;''P'' も同じく「相補的」である。すなわち、作用素 ''Q'' もやはり射影を定め、''Q'' の値域は ''P'' の核、''Q'' の核は ''P'' の値域となる。逆もまた然り。

このとき ''P'' を（核）''V'' に沿った（値域）''U'' の上への射影と言い、また ''Q'' を ''U'' に沿った ''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'' = ''P''<sup>T</sup>）であり、複素ベクトル空間の場合には、表現行列 ''P'' が[[エルミート行列]]（''P'' = (''P''<sup>*</sup>)<sup>T</sup>)）となることである。実際に、''x'', ''y'' が射影の定義域に属するベクトルのとき、 ''Px'' ∈ ''U'', ''y'' − ''Py'' ∈ ''V'' であり、かつ <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>
が成り立つから、''Px'' と ''y'' − ''Py'' とが任意の ''x'', ''y'' に関して互いに直交するのは、''P'' = ''P''<sup>T</sup>''P''（これは ''P'' = ''P''<sup>T</sup> かつ ''P'' = ''P''<sup>2</sup> に同値）のときであり、かつそのときに限る{{sfn|Meyer|2000|page=433}}。

直線の上への直交射影の場合が最も簡単であろう。直線上の単位ベクトル ''u'' をとれば、当該の射影は
:<math> P_u = u u^\top</math>
で与えられる。この作用素は ''u'' を変えないし、また ''u'' に直交する全てのベクトルを零化する。このことは、''u'' を含むどんな直線の上への射影についても正しい{{sfn|Meyer|2000|page=431}}。これを見るのに簡単な方法は、勝手なベクトル ''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>
を得る。

この等式は任意次元の部分空間の上への直交射影にも拡張することができる。''u''<sub>1</sub>, ..., ''u''<sub>''k''</sub> を部分空間 ''U'' の[[正規直交基底]]とし、各列ベクトルが ''u''<sub>1</sub>, ..., ''u''<sub>''k''</sub> になっている ''k''-次正方行列を ''A'' と書けば、所期の射影が
: <math> P_A = A A^\top</math>
で表される{{sfn|Meyer|2000|loc=equation 5.13.4}}。これは内積を使えば
: <math> P_A = \sum_i \langle u_i,\bullet\rangle u_i</math>
と書くこともできる。行列 ''A''<sup>T</sup> は ''U'' の直交成分が消える[[部分等距変換]]であり、''A'' は ''U'' を考えている全体空間へ埋め込む等長変換になっている。従って ''P<sub>A</sub>'' の値域は ''A'' の'''終空間''' (''final space'') であり、また ''A''<sup>T</sup>''A'' が ''U'' 上の恒等変換であることは明らかである。   

上記の議論で正規直交条件は落とすこともできる。即ち、''u''<sub>1</sub>, …, ''u''<sub>''k''</sub> を（必ずしも正規直交でない）基底とし、それらを列ベクトルに持つ行列を ''A'' と書けば、求める射影は
:<math>P_A = A (A^\top A)^{-1} A^\top</math>
と書ける{{sfn|Meyer|2000|loc=equation 5.13.3}}。この場合も行列 ''A'' は ''U'' の全体空間への埋め込みになっているが、しかし一般にはもはや等距変換ではない。ここで行列 (''A''<sup>T</sup>''A'')<sup>−1</sup> はノルムを回復する「正規化因子」である。実際、階数 1 の作用素 ''uu''<sup>T</sup> は &#x2016;''u''&#x2016; &ne; 1 のとき射影にならないが、これを''u''<sup>T</sup>''u'' = &#x2016;''u''&#x2016;<sup>2</sup> で割って得られる ''u''(''u''<sup>T</sup>''u'')<sup>−1</sup>''u''<sup>T</sup> は ''u'' で張られる部分空間の上への射影になる。

この射影の値域となるベクトル空間が（基底ではなくて）[[ベクトル空間の枠|枠]] (frame) で張られているとき（つまり生成元の数が次元の値よりも大きいとき）には、上記の公式は
: <math>P_A = A (A^\top A)^+ A^\top</math>
という形になる。ここで <math>A^+</math> は[[ムーア・ペンローズ擬似逆行列]]を表す。このような場合には、射影作用素を構成する方法は無数にあり、これはその無数の可能性のうちの一つに過ぎないことに注意すべきである。

あるいは、行列 <math>[A \ B]</math> が正則で ''A''<sup>T</sup>''B'' = 0（つまり、''B'' は ''A'' の零空間行列）<!--<ref>see also [[Linear_least_squares_(mathematics)#Properties_of_the_least-squares_estimators|Properties of the least-squares estimators in Linear least squares]]</ref>-->のときには
:<math>I = A (A^\top A)^{-1} A^\top + B (B^\top B)^{-1} B^\top</math>
が成り立つ。直交条件を強めて、正則行列 ''W'' に対して ''A''<sup>T</sup>''WB'' = ''A''<sup>T</sup>''W''<sup>T</sup>''B'' = 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>
が成立する。

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

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

斜交射影はその値域と核によって定まり、与えられた値域と核を持つ射影の行列表現の式は次のように求められる。まず射影の値域の基底を成すベクトルを ''u''<sub>1</sub>, …, ''u''<sub>''k''</sub> とし、それらを列ベクトルとして並べた ''n'' &times; ''k'' 行列を ''A'' と書く。射影の値域と核とは互いに補空間になっているから、核の次元は ''n''&nbsp;−&nbsp;''k'' である。従って、射影の核の[[直交補空間]]の次元は ''k'' であり、''v''<sub>1</sub>, …, ''v''<sub>''k''</sub> がその基底を成すものとして、それらを並べた行列を ''B'' と書く。このとき、当該の射影は
:<math> P = A (B^\top A)^{-1} B^\top</math>
によって定まる。この公式を、上で直交射影に対してやったように拡張することもできる{{sfn|Meyer|2000|loc=equation 7.10.39}}。

== 標準形 ==
体上の ''d''-次元ベクトル空間上の射影 ''P'' = ''P''<sup>2</sup> は、その[[最小多項式 (線型代数学)|最小多項式]]が ''x''<sup>2</sup>&nbsp;&minus;&nbsp;''x'' で相異なる一次因子の積に分解されるから、[[対角化可能]]である。従って、適当な基底を選べば ''P'' は、''r'' を ''P'' の階数として
:<math>P = I_r\oplus 0_{d-r}</math>
なる形に表すことができる。ここで、''I''<sub>''r''</sub> は ''r''-次単位行列、0<sub>''d''&minus;''r''</sub> は次数 ''d''&nbsp;&minus;&nbsp;''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>
なる形にすることができる<ref>{{ cite journal|last=Doković|first= D. Ž. |title=Unitary similarity of projectors|journal=Aequationes Mathematicae| volume =42| issue= 1| pages= 220–224|month=August|year= 1991|url=http://www.springerlink.com/content/w3r57501226447m6/|doi=10.1007/BF01818492}}</ref>。ただし、&sigma;<sub>1</sub> &ge; &sigma;<sub>2</sub> &ge; … &ge; &sigma;<sub>''k''</sub> > 0 とする。また、''k'', ''s'', ''m'' は整数で、実数 &sigma;<sub>''i''</sub> は一意に定まる。2''k'' + ''s'' + ''m'' = ''d'' であることに注意せよ。このときの、''I''<sub>''m''</sub> ⊕ 0<sub>''s''</sub> なる因子は、その上に ''P'' が直交射影として作用する最大の不変空間に対応しており（故に ''P'' 自体が直交射影となるのは ''k'' = 0 のとき、かつそのときに限る）、かつ &sigma;<sub>''i''</sub>-ブロックが ''P'' の'''斜交'''成分に対応している。

== ノルム空間上の射影作用素 ==
考えるベクトル空間 ''X'' が（有限次元とは限らない）[[ノルム空間]]のとき、（有限次元の場合には関係ないが）解析学的なことも考えないといけないので、ここでは ''X'' は[[バナッハ空間]]であることを仮定する。

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

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

逆は、適当な仮定を追加すれば成り立つ。''U'' を ''X'' の閉部分空間とすると、''X'' = ''U'' ⊕ ''V'' となる閉部分空間 ''V'' が存在する場合に'''限り'''、値域が ''U'', 核が ''V'' となる射影 ''P'' は連続である。これは[[閉グラフ定理]]から従う。即ち、''x<sub>n</sub>'' → ''x'' かつ ''Px<sub>n</sub>'' → ''y'' とするとき、''Px'' = ''y'' が示されればよい。''U'' が閉で、{''Px<sub>n</sub>''} ⊂ ''U'' だから ''y'' は ''U'' に属し、''Py'' = ''y'' が成り立つ。また、''x<sub>n</sub>'' − ''Px<sub>n</sub>'' = (''I'' − ''P'')''x<sub>n</sub>'' &rarr; ''x'' − ''y'' である。このとき、''V'' は閉で {(''I'' − ''P'')''x<sub>n</sub>''} ⊂ ''V'' だったから、''x'' − ''y'' ∈ ''V'' 即ち ''P''(''x'' − ''y'') = ''Px'' − ''Py'' = ''Px'' − ''y'' = 0 を得て、主張が示される。

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

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

== 応用およびさらに進んだ議論 ==
射影（直交射影とその他）は、線形代数の問題でのいくつかの[[アルゴリズム|計算アルゴリズム]]において、重要な役割を果たす。
* [[QR分解]] ([[ハウスホルダー変換]]と[[グラム・シュミットの正規直交化法]]を参照)
* [[特異値分解]]
* [[ヘッセンベルク行列|ヘッセンベルク形式]] への変換 (多くの固有値計算アルゴリズムでの最初の処理)
* [[線形回帰]]

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

== 物理への応用 ==
[[量子論]]では，ある条件を満たす状態の全体は{{仮リンク|量子状態空間|en|quantum state space|label=状態空間}}の部分空間と考えることができるので，量子力学的な命題と部分空間，すなわち射影演算子とを対応させることができる([[量子論理]])．

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

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

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

== 注釈 ==
{{脚注ヘルプ}}
{{reflist|2}}

== 参考文献 ==
; 洋書
* {{cite book|first1=N. |last1=Dunford |first2= J. T.|title=Linear Operators, Part I: General Theory|publisher= Interscience|year= 1958|last2=Schwartz|zbl=0084.10402}}
* {{cite book|first=Carl D.|last= Meyer|url=http://www.matrixanalysis.com/ |title=Matrix Analysis and Applied Linear Algebra|publisher=Society for Industrial and Applied Mathematics|year= 2000| isbn= 978-0-89871-454-8 | ref = harv | zbl = 0962.15001}}
* {{cite book
|last1      = Reed
|first1     = Michael
|last2      = Simon
|first2     = Barry
|year       = 1980
|title      = Methods of modern mathematical physics I: Functional analysis
|edition    = Rev. and enl. 
|url        = {{google books|fXX0j4qa8G8C|Methods of Modern Mathematical Physics: Functional analysis|plainurl=yes}}
|publisher  = Academic Press
|isbn       = 0-12-585050-6
|mr         = 0751959
|zbl        = 0459.46001
|ref        = harv
}}
* Brezinski, Claude: ''Projection Methods for Systems of Equations'', North-Holland, ISBN 0-444-82777-3 (1997).
; 和書
* {{Cite book
 | 和書
 | last1 = 齋藤
 | first1 = 正彦
 | year = 1966
 | title = 線型代数入門
 | url = http://www.utp.or.jp/bd/4-13-062001-0.html
 | series = 基礎数学1
 | edition = 初版
 | publisher = 東京大学出版会
 | isbn = 978-4-13-062001-7
 | ref = harv
}}
* {{Cite book
 | 和書
 | last = 黒田
 | first = 成俊
 | title = 関数解析
 | series = 共立数学講座 15
 | publisher = 共立出版株式会社
 | year = 1980
 | isbn = 978-4-320-01106-9
 | ref = harv
}}

== 関連項目 ==
* [[Centering matrix]], which is an example of a projection matrix.
* [[直交化]]
* [[不変部分空間]]
* [[跡 (線型代数学)|跡]]
* [[ダイクストラの射影アルゴリズム]] (Dykstra's projection algorithm): to compute the projection onto an intersection of sets

== 外部リンク ==
* [https://www.youtube.com/watch?v=osh80YCg_GM&feature=PlayList&p=38823D6325151CED&index=16 MIT Linear Algebra Lecture on Projection Matrices] at Google Video, from MIT OpenCourseWare
* [http://www.mtsu.edu/~csjudy/planeview3D/tutorial.html Planar Geometric Projections Tutorial] - a simple-to-follow tutorial explaining the different types of planar geometric projections.

{{Linear algebra}}
{{DEFAULTSORT:しやえいさようそ}}
[[Category:関数解析学]]
[[Category:線型代数学]]
[[Category:線型作用素]]
[[Category:数学に関する記事]]