補空間

補空間の定義と性質

線型代数学において、ベクトル空間の部分空間に対して、その補空間とはどのようなものであるかを考察します。具体的には、与えられたベクトル空間 V、部分空間 U の下で、もう一方の部分空間 W が U の補空間であるための条件を定義します。

定義

体 K 上のベクトル空間 V と部分空間 U を考えたとき、W が V における U の補空間であるのは、以下の二つの条件が成り立つときです。1. $U ∩ W = \{0\}$ つまり、U と W の交わりは零ベクトルのみである。2. $U + W = V$ すなわち、U と W の和が V を構成する。この二つの条件を満たすことが、W が U の補空間であることを意味します。

このような補空間の関係により、元のベクトル空間 V は、二つの線型独立な成分である U と W に分解されます。この分解は、ベクトル空間の構造を理解する上で非常に重要です。

性質

U と W が互いに補空間である場合、V は内部直和 $V = U ⊕ W$ の形を取ります。また、外部直和についても同様に、U および W の外部直和 $U ⊞ W$ は、線型写像によって V に同型なことが示されます。このためには、U と W が V において相補的であることが必要になります。

一意性と次元

任意の部分空間 U に対してその補空間が常に存在することは、補基底定理により示されていますが、補空間は通常一意には決まりません。例えば、$ ext{R}^2$ の場合、y-軸を含む複数の異なる傾きの直線が、同じ部分空間 U に対する様々な補空間 W として考えられます。

W が U の補空間となる条件は、任意のベクトル v ∈ V が $v = u + w (u ∈ U, w ∈ W)$ という形で一意に表現できることです。また、次元に関しては、$dim V = dim U + dim W$ の関係が成り立つため、W の次元は U の余次元と呼ばれます。興味深いことに、U が W の補空間を同様に持つことが証明されます。

射影との関係

ベクトル空間 V の部分空間 U に対し、W がその補空間であれば、V の任意の元は一意的に $v = u + w$ という形で表現できます。このとき定義される射影は、部分空間 U の構造に基づいているため、W の核と像の関係を調べることができます。具体的には、射影の核は U の補空間であり、こうした射影全体は相補関係を持つことが示されています。

例

例として、ベクトル空間 V ≔ ℝ² の部分空間 U ≔ {(0, y) | y ∈ ℝ}（y-軸）を考えます。したがって、原点を通る傾き a の直線 Wa が常に U の補空間として機能します。これにより、U および W の構造が視覚的に理解できるようになります。

直交補空間

補空間に関連する重要な概念が「直交補空間」であり、これはベクトル間の内積に基づき定義されます。任意の部分空間 U に対し、U の直交補空間 $U^{ot}$ が定義され、双対性定理により V の性質が確立されます。

補空間の存在性

バナッハ空間やヒルベルト空間においても、補空間の存在が重要な役割を果たします。特に、これらの空間では、任意の部分空間が補空間を持つことが特徴づけられています。

まとめ

補空間の考え方は、ベクトル空間における多くの重要な性質や構造を理解する上で極めて重要です。これを学ぶことで、より複雑な概念や理論にもスムーズにアクセスできるようになります。

もう一度検索