補空間

線型代数学におけるベクトル空間の与えられた線型部分空間に対し、別の部分空間がその相補部分空間（そうほぶぶんくうかん、）または補空間（ほくうかん、）あるいは互いに相補的 (complement) であるとは、もとの部分空間と零ベクトルのみで交わる可能な限り大きな部分空間を言う。これにより、もとのベクトル空間全体は二つの互いに線型独立な成分に分解される。
定義.
体 上のベクトル空間 とその部分空間 が与えられているとき、 の部分空間 が における の補空間であるとは、ふたつの条件 formula_1 が満たされるときに言う。ここに は零ベクトル空間で、和空間 は formula_2 を表す。
射影のとの関係.
ベクトル空間 の部分空間 に対して
これにより、 の補空間全体の成す集合と像が であるような 上の射影全体の成す集合との間に一対一対応があることがわかる。 を像に持つ射影全体の成す空間はベクトル空間 上のアフィン空間を成す。
例.
ベクトル空間 （デカルト平面）の部分空間として （-軸）を考える（図を参照）。
任意の実数 に対して、 は原点を通る傾き の直線とすれば、それら部分空間 の各々すべてが における の補空間であり、対応する射影は行列表示すれば formula_7 で与えられる（行列の第一行はすべて だから、この像が となることを直接確かめることは難しくない）。 の核が となることは、 を解けばわかるが、実際 formula_8 だから、核は を満たす の全体、すなわち原点を通る傾き の直線である。
直交補空間.
体 上のベクトル空間 は対称または交代双線型形式もしくはエルミート半双線型系形式 を持つものとする。 の部分空間 に対し、部分空間 formula_9 を の における直交補空間と呼ぶ。直交補空間 は、一般には上で述べた意味での の補空間とは限らないことに注意すべきである。双対性定理によれば、 が有限次元で形式 が 上でも 上でも非退化ならば、 が成り立つ。例えば、実または複素ベクトル空間上の内積はこの性質を常に満足する。
ヒルベルト空間の場合.
 がヒルベルト空間の場合、部分空間 の直交補空間は、 の閉包 の補空間になる。つまり、formula_10 が成り立つ（ はヒルベルト空間の内部直和）。
この場合の直交補空間は必ず閉であり、formula_11 を満たす。
バナッハ空間における補空間.
 は（有限または無限次元の）完備なノルム空間、すなわちバナッハ空間とし、 をその閉部分空間で補空間 を持つものとする。すると と の代数的な意味での線型同型 を通じて、位相的な意味での線型同型（つまり、連続かつ逆写像も連続となるような線型同型）が定まる。
バナッハ空間において、閉部分空間は常に補空間を持つが、それは閉補空間を見つけることができるということを意味しない。それはむしろヒルベルト空間の持つ位相線型空間構造を特徴付ける性質である（とLior Tzafririの定理による）:
補空間の存在性については、次の Sobczyk の定理 が利用できる:
しかし、可分とは限らない場合にはこの主張は真とは言えない（実際、 を の部分空間と見たときには、閉補空間は存在しない）。
不変補空間.
ベクトル空間 上の自己準同型写像 と の -不変部分空間 （すなわち、 となるような部分空間）に対し、 は必ずしも -不変な補空間を持つわけではない。自己準同型 に対し、任意の -不変部分空間が-不変補空間を持つとき、 は半単純であると言う。この半単純性は、代数閉体上で対角化可能ということと同値である。
似た用語が表現論においても用いられる。ユニタリ表現に対して、不変部分空間の直交補空間はふたたび不変部分空間となり、したがって任意の有限次元ユニタリ表現は半単純である。
不変部分空間を部分加群として解釈することにより、不変補空間は次の節で言う意味において相補部分加群と見なせる。
一般化.
補空間の定義は（体上でなく環で考えれば）そのまま加群に対しても一般化することができるが、環上の加群の部分加群に対しては常に相補部分加群（補加群）が存在するとはもはや言えなくなる。任意の部分加群が相補部分加群を持つような加群は半単純加群と呼ばれる。この用語を用いれば、例えば任意のベクトル空間は半単純加群であるということができる。例えば整数の加法群 を整数環 上の加群と見ると半単純ではない（実際、部分加群 は補加群を持たない）。
「補加群を持つ」と言う代わりに「直和因子である」と言うこともできる。射影加群は適当な自由加群の直和因子（に同型）となるような加群として特徴づけられる。同様に入射加群は任意の拡大加群において補加群を持つことで特徴づけられる。
上記の射影との関係だけでなく の における補空間全体の成す集合上への の単純推移的な作用も、加群（あるいはもっと一般のアーベル圏）の場合に対するものへ引き写すことができる。