WIIS

ベクトル空間

アフィン部分空間の定義と具体例

目次

Mailで保存
Xで共有

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

体\(K\)上のベクトル空間\(V\)が与えられているものとします。つまり、ベクトル加法とスカラー乗法\begin{eqnarray*}+ &:&V\times V\rightarrow V \\
\cdot &:&K\times V\rightarrow V
\end{eqnarray*}と呼ばれる2つの演算が定義されているとともに、これらの演算がベクトル空間の公理\begin{eqnarray*}
&&\left( V_{1}\right) \ \forall x,y,z\in V:\left( x+y\right) +z=x+\left(
y+z\right) \\
&&\left( V_{2}\right) \ \exists 0\in V,\ \forall x\in V:x+0=x \\
&&\left( V_{3}\right) \ \forall x\in V,\ \exists -x\in V:x+\left( -x\right)
=0 \\
&&\left( V_{4}\right) \ \forall x,y\in V:x+y=y+x \\
&&\left( V_{5}\right) \ \forall a,b\in K,\ \forall x\in V:a\left( bx\right)
=\left( ab\right) x \\
&&\left( V_{6}\right) \ \exists 1\in K,\ \forall x\in V:1x=x \\
&&\left( V_{7}\right) \ \forall a\in K,\ \forall x,y\in V:a\left( x+y\right)
=ax+ay \\
&&\left( V_{8}\right) \ \forall a,b\in K,\ \forall x\in V:\left( a+b\right)
x=ax+bx
\end{eqnarray*}を満たすということです。

体\(K\)上のベクトル空間\(V\)の非空な部分集合\(X\)がもとのベクトル空間\(V\)の部分空間であることとは、ベクトルがとり得る範囲を\(V\)から\(X\)へと制限することで得られる、\begin{equation*}\left( K,X\right)
\end{equation*}がベクトル空間であることを意味します。ただし、\(X\)が\(V\)の部分空間であることと、以下の条件\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 K,\ \forall x\in X:ax\in X
\end{eqnarray*}がすべて成り立つことは必要十分です。つまり、ベクトル空間\(V\)の部分空間はベクトル加法\(+\)とスカラー乗法\(\cdot \)について閉じている非空な\(V\)の部分集合です。

部分集合\(X\subset V\)とベクトル\(x_{0}\in V\)が与えられているものとします。集合\(X\)の要素であるそれぞれのベクトル\(x\in X\)に先に選んだベクトル\(x_{0}\)を加えれば新たなベクトル\begin{equation*}x_{0}+x\in V
\end{equation*}が得られますが、このようなベクトルからなる集合を、\begin{equation*}
x_{0}+X=\left\{ x_{0}+x\in V\ |\ x\in X\right\}
\end{equation*}で表記します。

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

 

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

ベクトル空間\(V\)のアフィン部分空間\(Y\subset V\)が与えられたとき、定義より、何らかのベクトル\(x_{0}\in V\)および部分空間\(X\subset V\)を用いて、\begin{equation*}Y=x_{0}+X
\end{equation*}と表現できます。以上の関係を満たすベクトル\(x_{0}\)をアフィン部分空間\(Y\)を代表するベクトル(representing vectorfor \(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\)は非空です。

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

命題(アフィン部分空間を代表するベクトルの非一意性)
体\(K\)上のベクトル空間\(V \)のアフィン部分空間\(Y\subset V\)がベクトル\(x_{0}\in V\)および部分空間\(X\subset V\)を用いて、\begin{equation*}Y=x_{0}+X
\end{equation*}という形で表現されるものとする。ベクトル\(y_{0}\in Y\)を任意に選んだとき、以下の関係\begin{equation*}Y=y_{0}+X
\end{equation*}もまた成立する。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

アフィン空間を代表するベクトルは一意的に定まらないことが明らかになりました。他方で、アフィン空間と平行な部分空間は一意的に定まります。

命題(アフィン部分空間と平行な部分空間)
体\(K\)上のベクトル空間\(V \)のアフィン部分空間\(Y\subset V\)が与えられたとき、\(Y\)と平行な\(V\)の部分空間は一意的に定まる。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

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

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

命題(部分空間はアフィン部分空間)
体\(K\)上のベクトル空間\(V \)について、その部分集合\(X\subset V\)が\(V\)の部分空間であるならば、\(X\)は\(V \)のアフィン部分空間である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ゼロ部分空間はアフィン部分空間)
体\(K\)上のベクトル空間\(V \)の要素であるゼロベクトル\(0\in V\)だけを要素として持つ1点集合\begin{equation*}\left\{ 0\right\}
\end{equation*}は\(V\)の部分空間であるため、先の命題より、これは\(V\)のアフィン部分空間でもあります。
例(全体空間はアフィン部分空間)
体\(K\)上のベクトル空間\(V \)が与えられたとき、\(V \)自身は\(V\)の部分空間であるため、先の命題より、これは\(V\)のアフィン部分空間でもあります。

 

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

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

例(部分空間ではないアフィン部分空間)
体\(K\)上のベクトル空間\(V\)の要素であるゼロベクトル\(0\in V\)だけを要素として持つ1点集合\begin{equation*}\left\{ 0\right\}
\end{equation*}は\(V\)の部分空間であるため、非ゼロベクトル\(x\in V\backslash \left\{ 0\right\} \)を任意に選んだとき、\begin{equation*}x+\left\{ 0\right\} =\left\{ x\right\}
\end{equation*}は\(V\)のアフィン部分空間です。その一方で、\(x\)は非ゼロベクトルであることから、\begin{equation*}0\not\in \left\{ x\right\}
\end{equation*}を得ますが、これは\(\left\{ x\right\} \)が\(V\)の部分空間ではないことを意味します。以上より、\(\left\{ x\right\} \)は\(V\)のアフィン部分空間である一方で部分空間ではないことが明らかになりました。

 

アフィン部分空間の具体例:1点集合

ベクトル空間\(V\)が与えられたとき、ベクトル空間の公理の1つである、\begin{equation*}\left( V_{2}\right) \ \exists 0\in V,\ \forall x\in V:x+0=x
\end{equation*}を踏まえると、\begin{equation*}
V\not=\phi
\end{equation*}を得るため、ベクトル\(x\in V\)を選ぶことができます。そこで、このベクトルだけを要素として持つ\(V\)の非空な部分集合\begin{equation*}\left\{ x\right\}
\end{equation*}を構成します。これは\(V\)のアフィン部分空間です。1点集合はアフィン部分空間であるということです。

命題(1点集合はアフィン部分空間)
ベクトル空間\(\left( K,V\right) \)の要素であるベクトル\(x\in V\)だけを要素として持つ1点集合\begin{equation*}\left\{ x\right\}
\end{equation*}は\(\left( K,V\right) \)のアフィン部分空間である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

アフィン部分空間の具体例:実ベクトル空間のアフィン部分空間

体\(K\)上の\(n\)次元ベクトル空間\(\left( K,K^{n}\right) \)はベクトル空間ですが、その部分空間をいくつか提示します。

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

命題(直線はアフィン部分空間)
空間\(\mathbb{R} ^{n}\)上に存在する原点を通過する直線\begin{equation*}L=\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \exists t\in \mathbb{R} :\boldsymbol{x}=\boldsymbol{p}+t\boldsymbol{v}\right\}
\end{equation*}を任意に選ぶ。ただし、\(\boldsymbol{p}\in \mathbb{R} ^{n}\)かつ\(\boldsymbol{v}\in \mathbb{R} ^{n}\backslash \left\{ \boldsymbol{0}\right\} \)である。\(L\)は実ベクトル空間\(\mathbb{R} ^{n}\)のアフィン部分空間である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

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

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

命題(平面はアフィン部分空間)
空間\(\mathbb{R} ^{n}\)上に存在する平面\begin{equation*}P=\left\{ \boldsymbol{x}\in \mathbb{R} ^{n}\ |\ \exists s,t\in \mathbb{R} :\boldsymbol{x}=\boldsymbol{p}+s\boldsymbol{v}+t\boldsymbol{w}\right\}
\end{equation*}を任意に選ぶ。ただし、\(\boldsymbol{p}\in \mathbb{R} ^{n}\)かつ\(\boldsymbol{v},\boldsymbol{w}\in \mathbb{R} ^{n}\backslash \left\{ \boldsymbol{0}\right\} \)かつ\(\boldsymbol{v}\)と\(\boldsymbol{w}\)は線型独立である。\(P\)は実ベクトル空間\(\mathbb{R} ^{n}\)のアフィン部分空間である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

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

 

演習問題

問題(アフィン部分空間)
実ベクトル空間\(\left( \mathbb{R} ,\mathbb{R} ^{2}\right) \)の部分集合が、\begin{equation*}X=\left\{ \boldsymbol{x}\in \mathbb{R} ^{2}\ |\ x_{1}+2x_{2}=3\right\}
\end{equation*}として与えられています。\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,\mathbb{R} ^{2}\right) \)のアフィン部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(アフィン部分空間)
実ベクトル空間\(\left( \mathbb{R} ,\mathbb{R} ^{3}\right) \)の部分集合が、\begin{equation*}X=\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ x_{1}=1\right\}
\end{equation*}として与えられています。\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,\mathbb{R} ^{3}\right) \)のアフィン部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(アフィン部分空間)
実ベクトル空間\(\left( \mathbb{R} ,\mathbb{R} ^{3}\right) \)の部分集合が、\begin{equation*}X=\left\{ \boldsymbol{x}\in \mathbb{R} ^{3}\ |\ x_{1}+x_{2}+x_{3}=1\right\}
\end{equation*}として与えられています。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,\mathbb{R} ^{3}\right) \)のアフィン部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録