実ベクトル空間のアフィン部分空間

実ベクトル空間のアフィン部分空間

実ベクトル空間の部分集合\(X\subset \mathbb{R} ^{n}\)が\(\mathbb{R} ^{n}\)の部分空間であることとは、以下の条件\begin{eqnarray*}&&\left( a\right) \ X\not=\phi \\
&&\left( b\right) \ \forall x,y\in X:x+y\in X \\
&&\left( c\right) \ \forall a\in \mathbb{R} ,\ \forall x\in X:ax\in X
\end{eqnarray*}がすべて成り立つことを意味します。つまり、\(\mathbb{R} ^{n}\)の部分空間はベクトル加法\(+\)とスカラー乗法\(\cdot \)について閉じている非空な\(\mathbb{R} ^{n}\)の部分集合です。

部分集合\(X\subset \mathbb{R} ^{n}\)と方向ベクトル\(x_{0}\in \mathbb{R} ^{n}\)が与えられているものとします。集合\(X\)上に存在する点を任意に選んだとき、その位置ベクトルは何らかのベクトル\begin{equation*}x\in \mathbb{R} ^{n}
\end{equation*}を用いて表現されます。したがって、その点を\(x_{0}\)だけ動かすと、移動後の点の位置ベクトルは\begin{equation*}x_{0}+x\in \mathbb{R} ^{n}
\end{equation*}となります。集合\(X\)上に存在するすべての点を同じ要領で\(x_{0}\)だけ移動すれば、移動後の点からなる集合が、\begin{equation*}x_{0}+X=\left\{ x_{0}+x\in \mathbb{R} ^{n}\ |\ x\in X\right\}
\end{equation*}として定まります。

実ベクトル空間の部分集合\(Y\subset \mathbb{R} ^{n}\)が与えられているものとします。これは\(\mathbb{R} ^{n}\)の部分空間である必要はありません。この集合\(Y\)に対して何らかの部分空間\(X\subset \mathbb{R} ^{n}\)およびベクトル\(x_{0}\in \mathbb{R} ^{n}\)が存在して、\begin{eqnarray*}Y &=&x_{0}+X \\
&=&\left\{ x_{0}+x\in \mathbb{R} ^{n}\ |\ x\in X\right\}
\end{eqnarray*}という形で表すことができる場合、\(Y\)を\(\mathbb{R} ^{n}\)のアフィン部分空間（affine subspace）と呼びます。つまり、部分空間\(X\)上に存在するすべての点を\(x_{0}\)だけ移動することにより集合\(Y\)が得られる場合、\(Y\)をアフィン部分空間と呼ぶということです。

アフィン部分空間を代表するベクトルおよびアフィン部分空間と平行な部分空間

アフィン部分空間\(Y\subset \mathbb{R} ^{n}\)が与えられたとき、定義より、何らかのベクトル\(x_{0}\in \mathbb{R} ^{n}\)および部分空間\(X\subset \mathbb{R} ^{n}\)を用いて、\begin{equation*}Y=x_{0}+X
\end{equation*}という関係が成り立ちます。以上の関係を満たすベクトル\(x_{0}\)をアフィン部分空間\(Y\)を代表するベクトル（representing vector for \(Y\)）と呼び、以上の関係を満たす部分空間\(X\)をアフィン部分空間\(Y\)と平行な部分空間（subspace parallel to \(Y\)）と呼びます。

アフィン部分空間の定義より、\begin{equation*}
\forall x\in X:x_{0}+x\in Y
\end{equation*}が成り立ちますが、ベクトル空間の定義より\(0\in X\)であるため、このとき、\begin{equation*}x_{0}+0\in Y
\end{equation*}すなわち、\begin{equation*}
x_{0}\in Y
\end{equation*}を得ます。つまり、アフィン部分空間\(Y\)を代表するベクトル\(x_{0}\)は\(Y\)の要素であるということです。以上の事実は、\begin{equation*}Y\not=\phi
\end{equation*}であることも意味します。つまり、アフィン部分空間\(Y\)は非空です。

アフィン部分空間を代表するベクトルは一意的に定まりません。実際、アフィン部分空間の要素であるすべてのベクトルが、そのアフィン部分空間を代表するベクトルになり得ます。

アフィン部分空間と平行な部分空間は一意的に定まります。

部分空間はアフィン部分空間

部分空間\(X\subset \mathbb{R} ^{n}\)が与えられたとき、\begin{equation*}X=0+X
\end{equation*}という関係が明らかに成り立ちますが、以上の事実は\(X\)が\(\mathbb{R} ^{n}\)のアフィン部分空間であることを意味します。任意の部分空間はアフィン部分空間であるということです。

アフィン部分空間は部分空間であるとは限らない

任意の部分空間はアフィン部分空間であることが明らかになりましたが、その逆は成立するとは限りません。アフィン部分空間は部分空間であるとは限らないということです。以下の例より明らかです。

アフィン部分空間の具体例：直線

空間\(\mathbb{R} ^{n}\)上に存在する直線\(L\)を任意に選びます。直線の定義より\(L\)は空間\(\mathbb{R} ^{n}\)の部分集合であるとともに、何らかのベクトル\(p\in \mathbb{R} ^{n}\)および非ゼロベクトル\(v\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を用いて、\begin{equation*}L=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists t\in \mathbb{R} :x=p+tv\right\}
\end{equation*}という形で表すことができます。\(p\)は直線\(L\)上に存在する点の位置ベクトルに相当し、\(v\)は直線\(L\)の方向ベクトルに相当します。これは\(\mathbb{R} ^{n}\)のアフィン部分空間になります。

空間\(\mathbb{R} ^{n}\)上に存在する直線\(L\)が原点を通過しない場合、つまり、\(L\)のベクトル方程式が以下の条件\begin{equation*}\forall t\in \mathbb{R} :0\not=p+tv
\end{equation*}を満たす場合、\(L\)は\(\mathbb{R} ^{n}\)の部分空間であるための条件の1つ\begin{equation*}0\in L
\end{equation*}を満たしません。つまり、原点を通過しない直線\(L\)は\(\mathbb{R} ^{n}\)のアフィン部分空間である一方で部分空間ではないということです。

アフィン部分空間の具体例：平面

空間\(\mathbb{R} ^{n}\)上に存在する平面\(P\)を任意に選びます。平面の定義より\(P\)は空間\(\mathbb{R} ^{n}\)の部分集合であるとともに、何らかのベクトル\(p\in \mathbb{R} ^{n}\)および線型独立な非ゼロベクトル\(v,w\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を用いて、\begin{equation*}P=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists s,t\in \mathbb{R} :x=p+sv+tw\right\}
\end{equation*}という形で表すことができます。\(p\)は平面\(P\)上に存在する点の位置ベクトルに相当し、\(v,w\)は平面\(P\)の方向ベクトルに相当します。これは\(\mathbb{R} ^{n}\)のアフィン部分空間になります。

空間\(\mathbb{R} ^{n}\)上に存在する空間\(P\)が原点を通過しない場合、つまり、\(P\)のベクトル方程式が以下の条件\begin{equation*}\forall s,t\in \mathbb{R} :0\not=p+sv+tw
\end{equation*}を満たす場合、\(P\)は\(\mathbb{R} ^{n}\)の部分空間であるための条件の1つ\begin{equation*}0\in P
\end{equation*}を満たしません。つまり、原点を通過しない平面\(P\)は\(\mathbb{R} ^{n}\)のアフィン部分空間である一方で部分空間ではないということです。