直交補空間

数学の線型代数学および関数解析学の分野において、部分線型空間の直交補空間（ちょっこうほくうかん、; perp）とは、その部分空間内のすべてのベクトルと直交するようなベクトル全体の成す集合を言い、直交補空間はそれ自身部分線型空間を成す。

一般の双線型形式に関する場合体上のベクトル空間が双線型形式を持つとする。が成り立つとき、に関してはに左直交（left-orthogonal）およびはに右直交（right-orthogonal）であると定義する。の部分集合に対して、その左直交補空間（left orthogonal complement）を、

で定義する。同様に、右直交補空間（right orthogonal complement）も定義される。

反射的双線型形式（すなわちにおいて任意のに対してが成り立つような双線型形式）に対しては左右の直交補空間は一致する。が対称双線型形式や歪対称双線型形式の場合はこれにあたる。

この定義は可換環上の自由加群において定義される双線型形式に対するものへ拡張することができる。また（を持つ可換環上の任意の自由加群上で定義される意味での）半双線型形式に対しても拡張される。

性質直交補空間は、の部分空間である；ならばが成立する；の（あるいはの）根基は、任意の直交補空間の部分空間である；が成立する；が非退化かつが有限次元ならば、が成立する。

例特殊相対性理論において、直交補空間は世界線のある点における同時超平面を決定するために用いられる。ミンコフスキー空間で用いられる双線型形式は、事象のを決定する。光円錐上の原点とすべての事象は、自己直交である。双線型形式のもとで時間事象と空間事象がゼロと評価されるとき、それらはである。この用語は、擬ユークリッド空間における二つの共役双曲線の使用に由来する。すなわち、それらの双曲線のは、双曲直交である。

内積空間の場合この節では、内積空間における直交補空間を考える。このとき直交補空間は実際に補空間となる。

性質距離位相において、直交補空間は常に閉集合である。有限次元空間においては、このことは単にベクトル空間のすべての部分空間が閉集合である事実の特別な例である。無限次元ヒルベルト空間においては、いくつかの部分空間は閉集合でないが、直交補空間はすべて閉集合である。そのような空間においては、の直交補空間の直交補空間は、の閉包に等しい。すなわち、

が成立する。いくつかの常に成立するような便利な性質として、次が挙げられる。をヒルベルト空間とし、とをその線型部分空間とする。このとき、；ならばが成立する；；；がの閉線型部分空間ならば、が成立する；がの閉線型部分空間ならば、（内部直和）。が成立する。

直交補空間は零化域へ一般化され、内積空間の部分空間上のガロア対応を、対応する閉包作用素とともに与える。

有限次元次元の有限次元内積空間に対して、-次元部分空間の直交補空間は、-次元部分空間であり、二重直交補空間は、もとの部分空間と等しい。すなわち、

が成立する。が行列で、、およびがそれぞれ行空間、列空間および零空間を表すとき、

が成立する。

バナッハ空間の場合一般のバナッハ空間においても直交補空間と呼べる概念を自然に考えることができる。をの双対空間とするとき、この場合のの直交補空間は、上と同様に零化域

として定義されるの部分空間を言う。これは常にの閉部分空間である。二重補性質についても述べることができ、いまの場合は（とは一致しない）の部分空間ということになるが、回帰的空間の場合にはとの間の自然同型が存在して、

が成立する。これはむしろハーン-バナッハの定理の自然な帰結である。

脚注

参考文献

直交補空間

Źródło i licencja