ベクトルの線型結合
実ベクトル空間\(\mathbb{R} ^{n}\)上にはベクトル加法\(+\)とスカラー乗法\(\cdot \)が定義されており、それらの演算について閉じています。つまり、\begin{eqnarray*}&&\left( a\right) \ \forall x,y\in \mathbb{R} ^{n}:x+y\in \mathbb{R} ^{n} \\
&&\left( b\right) \ \forall a\in \mathbb{R} ,\ \forall x\in \mathbb{R} ^{n}:ax\in \mathbb{R} ^{n}
\end{eqnarray*}が成り立つということです。では、\(\mathbb{R} ^{n}\)上のベクトルに対してこれらの演算を組み合せる形で適用するとどうなるでしょうか。有限\(m\)個ずつのスカラーとベクトル\begin{eqnarray}a_{1},\cdots ,a_{m} &\in &\mathbb{R} \quad \cdots (1) \\
x_{1},\cdots ,x_{m} &\in &\mathbb{R} ^{n} \quad \cdots (2)
\end{eqnarray}をそれぞれ任意に選ぶと、\(\left( b\right) \)より、\begin{eqnarray*}a_{1}x_{1} &\in &\mathbb{R} ^{n} \\
&&\vdots \\
a_{m}x_{m} &\in &\mathbb{R} ^{n}
\end{eqnarray*}がすべて成り立つため、これと\(\left( a\right) \)より、\begin{equation}a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n} \quad \cdots (3)
\end{equation}を得ます。つまり、有限個のスカラーとベクトル\(\left( 1\right) ,\left( 2\right) \)をそれぞれ任意に選んだとき、そこから1つのベクトル\(\left( 3\right) \)が常に定義可能であるということです。そこで、\(\left( 3\right) \)として定義されるベクトルをベクトル\(x_{1},\cdots ,x_{m}\)の線型結合(linear combination)や一次結合などと呼びます。
ベクトル\(x_{1},\cdots ,x_{m}\)の線型結合\(a_{1}x_{1}+\cdots +a_{m}x_{m}\)がどのようなベクトルになるかはスカラー\(a_{1},\cdots ,a_{m}\)の選び方に依存します。同じベクトル\(x_{1},\cdots ,x_{m}\)を対象としていても、その線型結合は一意的ではないということです。
ベクトルの線型結合を考える際に、結合するベクトルの個数\(m\)は有限である限りにおいて任意です。例えば、1個のベクトル\(x_{1}\in \mathbb{R} ^{n}\)の線型結合は何らかのスカラー\(a_{1}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}\in \mathbb{R} ^{n}
\end{equation*}と表され、2個のベクトル\(x_{1},x_{2}\in \mathbb{R} ^{n}\)の線型結合は何らかのスカラー\(a_{1},a_{2}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}+a_{2}x_{2}\in \mathbb{R} ^{n}
\end{equation*}と表され、3個のベクトル\(x_{1},x_{2},x_{3}\in \mathbb{R} ^{n}\)の線型結合は何らかのスカラー\(a_{1},a_{2},a_{3}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}+a_{2}x_{2}+a_{3}x_{3}\in \mathbb{R} ^{n}
\end{equation*}と表されます。4個以上のベクトルについても同様です。
ベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}\)を任意に選んだとき、スカラー\(0,\cdots ,0\in \mathbb{R} \)のもとでの線型結合は、\begin{equation*}0x_{1}+\cdots +0x_{m}=0
\end{equation*}となり、その結果はゼロベクトルになります。つまり、ゼロベクトルは任意のベクトル\(x_{1},\cdots ,x_{m}\)の線型結合として表現可能です。
\end{equation*}と表される実数です。具体例を挙げると、以下のベクトル\begin{equation*}
x_{1}=1
\end{equation*}について、\begin{eqnarray*}
2x_{1} &=&2\left( 1\right) \\
&=&2
\end{eqnarray*}が成り立ちます。つまり、ベクトル\(x_{1}\)の線型結合\(2x_{1}\)はベクトル\(2\)と一致するということです。以上の事実は、ベクトル\(2\)が先のベクトル\(x_{1}\)の線型結合として表現可能であることも意味します。
\begin{array}{c}
x_{11} \\
x_{12}\end{array}\right) +\cdots +a_{m}\left(
\begin{array}{c}
x_{m1} \\
x_{m2}\end{array}\right) \\
&=&\left(
\begin{array}{c}
a_{1}x_{11}+\cdots +a_{m}x_{m1} \\
a_{1}x_{12}+\cdots +a_{m}x_{m2}\end{array}\right)
\end{eqnarray*}と表される2次元ベクトルです。具体例を挙げると、以下の2つのベクトル\begin{equation*}
x_{1}=\left(
\begin{array}{c}
1 \\
0\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
0 \\
1\end{array}\right)
\end{equation*}について、\begin{eqnarray*}
2x_{1}-3x_{2} &=&2\left(
\begin{array}{c}
1 \\
0\end{array}\right) -3\left(
\begin{array}{c}
0 \\
1\end{array}\right) \\
&=&\left(
\begin{array}{c}
2 \\
-3\end{array}\right)
\end{eqnarray*}が成り立ちます。つまり、先のベクトル\(x_{1},x_{2}\)の線型結合\(2x_{1}-3v_{2}\)はベクトル\(\left( 2,-3\right) \)と一致するということです。以上の事実は、ベクトル\(\left( 2,-3\right) \)が先の2つのベクトル\(x_{1},x_{2}\)の線型結合として表現可能であることも同時に意味します。
\begin{array}{c}
x_{11} \\
x_{12} \\
x_{13}\end{array}\right) +\cdots +a_{m}\left(
\begin{array}{c}
x_{m1} \\
x_{m2} \\
x_{m3}\end{array}\right) \\
&=&\left(
\begin{array}{c}
a_{1}x_{11}+\cdots +a_{m}x_{m1} \\
a_{1}x_{12}+\cdots +a_{m}x_{m2} \\
a_{1}x_{12}+\cdots +a_{m}x_{m2}\end{array}\right)
\end{eqnarray*}と表される3次元ベクトルです。具体例を挙げると、以下の3つのベクトル\begin{equation*}
x_{1}=\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) ,\ x_{3}=\left(
\begin{array}{c}
0 \\
0 \\
1\end{array}\right)
\end{equation*}について、\begin{eqnarray*}
2x_{1}-3x_{2}+x_{3} &=&2\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) -3\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) +\left(
\begin{array}{c}
0 \\
0 \\
1\end{array}\right) \\
&=&\left(
\begin{array}{c}
-1 \\
0 \\
1\end{array}\right)
\end{eqnarray*}が成り立ちます。つまり、先のベクトル\(x_{1},x_{2},x_{3}\)の線型結合\(2x_{1}-3x_{2}+x_{3}\)はベクトル\(\left(-1,0,1\right) \)と一致するということです。以上の事実は、ベクトル\(\left(-1,0,1\right) \)が先の3つのベクトル\(x_{1},x_{2},x_{3}\)の線型結合として表現可能であることも同時に意味します。
\end{equation*}という形で表すことができます。\(p\)は直線\(L \)上に存在する点の位置ベクトルに相当し、\(v\)は直線\(L\)の方向ベクトルに相当します。特に、直線\(L\)が原点を通過する場合には位置ベクトルとしてゼロベクトル\(p=0\)を採用できるため、原点を通過する直線は、\begin{equation*}L=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists t\in \mathbb{R} :x=tv\right\}
\end{equation*}となります。したがって、点\(x\in L\)を任意に選んだとき、\begin{equation*}\exists t\in \mathbb{R} :x=tv
\end{equation*}が成り立ちますが、以上の事実は、原点を通過する直線上に存在するそれぞれの点の位置ベクトル\(x\)は、その直線の方向ベクトル\(v\)の何らかの線型結合として表現可能であることを意味します。
\end{equation*}という形で表すことができます。\(p\)は平面\(P \)上に存在する点の位置ベクトルに相当し、\(v,w\)は平面\(P\)の方向ベクトルに相当します。特に、平面\(P\)が原点を通過する場合には位置ベクトルとしてゼロベクトル\(p=0\)を採用できるため、原点を通過する平面は、\begin{equation*}P=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists s,t\in \mathbb{R} :x=sv+tw\right\}
\end{equation*}となります。したがって、点\(x\in P\)を任意に選んだとき、\begin{equation*}\exists s,t\in \mathbb{R} :x=sv+tw
\end{equation*}が成り立ちますが、以上の事実は、原点を通過する平面上に存在するそれぞれの点の位置ベクトル\(x\)は、その平面の方向ベクトル\(v,w\)の何らかの線型結合として表現可能であることを意味します。
ベクトルの線型スパン
実ベクトル空間\(\mathbb{R} ^{n}\)が与えられた状況において、その要素である有限\(m\)個のベクトル\begin{equation*}x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}
\end{equation*}を選んだとき、これらのベクトルの線型結合は何らかのスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n}
\end{equation*}と表すことができます。この線型結合がどのようなベクトルになるかはスカラー\(a_{1},\cdots ,a_{m}\)の選び方に依存します。したがって、ベクトル\(x_{1},\cdots ,x_{m}\)の線型結合をすべて集めることで得られる集合は、\begin{equation*}\left\{ a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{equation*}となります。これをベクトル\(x_{1},\cdots ,x_{m}\)の線型スパン(linear span)や線型包(linear hull)などと呼び、\begin{equation*}\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) =\left\{ a_{1}x_{1}+\cdots
+a_{m}x_{m}\in \mathbb{R} ^{n}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{equation*}で表記します。明らかに、\begin{equation*}
\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) \subset \mathbb{R} ^{n}
\end{equation*}が成り立ちます。
実ベクトル空間\(\mathbb{R} ^{n}\)の部分集合\(Y\)が与えられたとき、それを何らかのベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}\)の線型スパンとして表現できる場合には、すなわち、\begin{equation*}\exists x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}:Y=\mathrm{span}\left( x_{1},\cdots ,x_{m}\right)
\end{equation*}が成り立つ場合には、ベクトル\(x_{1},\cdots ,x_{m}\)は集合\(Y\)を張る(span)とか生成する(generate)などと言います。また、集合\(Y\)を張るベクトルからなる集合\begin{equation*}\left\{ x_{1},\cdots ,x_{m}\right\}
\end{equation*}のことを、集合\(Y\)を張る集合(spanning set for \(Y\))や生成する集合(generating set)などと呼びます。線型スパンの定義より、このとき、\(Y\)の要素であるベクトルはいずれもベクトル\(x_{1},\cdots ,x_{m}\)の何らかの線型結合として表現できます。つまり、\begin{equation*}\forall y\in Y,\ \exists a_{1},\cdots ,a_{m}\in \mathbb{R} :y=a_{1}x_{1}+\cdots +a_{m}x_{m}
\end{equation*}が成り立つということです。
実ベクトル空間\(\mathbb{R} ^{n}\)もまた\(\mathbb{R} ^{n}\)の部分集合であるため、\(\mathbb{R} ^{n}\)を張るベクトルを考えることもできます。つまり、以下の条件\begin{equation*}\exists x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}:\mathbb{R} ^{n}=\mathrm{span}\left( x_{1},\cdots ,x_{m}\right)
\end{equation*}が成り立つとき、ベクトル\(x_{1},\cdots ,x_{m}\)は\(\mathbb{R} ^{n}\)を張ると言います。これは、\(\mathbb{R} ^{n}\)上に存在するベクトルはいずれもベクトル\(x_{1},\cdots ,x_{m}\)の何らかの線型結合として表現できること、すなわち、\begin{equation*}\forall x\in \mathbb{R} ^{n},\ \exists a_{1},\cdots ,a_{m}\in \mathbb{R} :x=a_{1}x_{1}+\cdots +a_{m}x_{m}
\end{equation*}が成り立つことを意味します。
+a_{m}x_{m}\in \mathbb{R} \ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{equation*}と定義される\(\mathbb{R} \)の部分集合です。具体例を挙げると、以下のベクトル\begin{equation*}x_{1}=1
\end{equation*}の線型スパンは、\begin{eqnarray*}
\mathrm{span}\left( x_{1}\right) &=&\left\{ a_{1}x_{1}\in \mathbb{R} \ |\ a_{1}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\left( 1\right) \in \mathbb{R} \ |\ a_{1}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\in \mathbb{R} \ |\ a_{1}\in \mathbb{R} \right\} \\
&=&\mathbb{R} \end{eqnarray*}となります。つまり、先のベクトル\(x_{1}\)の線型スパンは\(\mathbb{R} \)であるということです。以上の事実は、\(\mathbb{R} \)上の任意のベクトルが先のベクトル\(x_{1}\)の線型結合として表現可能であることも意味します。つまり、\(\mathbb{R} \)は\(\left\{ x_{1}\right\} \)によって張られるということです。
a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{2}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\left(
\begin{array}{c}
x_{11} \\
x_{12}\end{array}\right) +\cdots +a_{m}\left(
\begin{array}{c}
x_{m1} \\
x_{m2}\end{array}\right) \in \mathbb{R} ^{2}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \\
&=&\left\{ \left(
\begin{array}{c}
a_{1}x_{11}+\cdots +a_{m}x_{m1} \\
a_{1}x_{12}+\cdots +a_{m}x_{m2}\end{array}\right) \in \mathbb{R} ^{2}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{2}\)の部分集合です。具体例を挙げると、以下の2つのベクトル\begin{equation*}x_{1}=\left(
\begin{array}{c}
1 \\
0\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
0 \\
1\end{array}\right)
\end{equation*}の線型スパンは、\begin{eqnarray*}
\mathrm{span}\left( x_{1},x_{2}\right) &=&\left\{ a_{1}x_{1}+a_{2}x_{2}\in \mathbb{R} ^{2}\ |\ a_{1},a_{2}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\left(
\begin{array}{c}
1 \\
0\end{array}\right) +a_{2}\left(
\begin{array}{c}
0 \\
1\end{array}\right) \in \mathbb{R} ^{2}\ |\ a_{1},a_{2}\in \mathbb{R} \right\} \\
&=&\left\{ \left(
\begin{array}{c}
a_{1} \\
a_{2}\end{array}\right) \in \mathbb{R} ^{2}\ |\ a_{1},a_{2}\in \mathbb{R} \right\} \\
&=&\mathbb{R} ^{2}
\end{eqnarray*}となります。つまり、先のベクトル\(x_{1},x_{2}\)の線型スパンは\(\mathbb{R} ^{2}\)であるということです。以上の事実は、\(\mathbb{R} ^{2}\)上の任意のベクトルが先の2つのベクトル\(x_{1},x_{2}\)の線型結合として表現可能であることも意味します。つまり、\(\mathbb{R} ^{2}\)は\(\left\{ x_{1},x_{2}\right\} \)によって張られるということです。
a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{3}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\left(
\begin{array}{c}
x_{11} \\
x_{12} \\
x_{13}\end{array}\right) +\cdots +a_{m}\left(
\begin{array}{c}
x_{m1} \\
x_{m2} \\
x_{m3}\end{array}\right) \in \mathbb{R} ^{3}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \\
&=&\left\{ \left(
\begin{array}{c}
a_{1}x_{11}+\cdots +a_{m}x_{m1} \\
a_{1}x_{12}+\cdots +a_{m}x_{m2} \\
a_{1}x_{13}+\cdots +a_{m}x_{m3}\end{array}\right) \in \mathbb{R} ^{3}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{3}\)の部分集合です。具体例を挙げると、以下の3つのベクトル\begin{equation*}x_{1}=\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
0 \\
1 \\
0\end{array}\right) ,\ x_{3}=\left(
\begin{array}{c}
0 \\
0 \\
1\end{array}\right)
\end{equation*}の線型スパンは、\begin{eqnarray*}
\mathrm{span}\left( x_{1},x_{2},x_{3}\right) &=&\left\{
a_{1}x_{1}+a_{2}x_{2}+a_{3}x_{3}\in \mathbb{R} ^{3}\ |\ a_{1},a_{2},a_{3}\in \mathbb{R} \right\} \\
&=&\left\{ a_{1}\left(
\begin{array}{c}
1 \\
0 \\
0\end{array}\right) +a_{2}\left(
\begin{array}{c}
0 \\
1 \\
0\end{array}\right) +a_{3}\left(
\begin{array}{c}
0 \\
0 \\
1\end{array}\right) \in \mathbb{R} ^{3}\ |\ a_{1},a_{2},a_{3}\in \mathbb{R} \right\} \\
&=&\left\{ \left(
\begin{array}{c}
a_{1} \\
a_{2} \\
a_{3}\end{array}\right) \in \mathbb{R} ^{3}\ |\ a_{1},a_{2},a_{3}\in \mathbb{R} \right\} \\
&=&\mathbb{R} ^{3}
\end{eqnarray*}となります。つまり、先の3つのベクトル\(x_{1},x_{2},x_{3}\)の線型スパンは\(\mathbb{R} ^{3}\)であるということです。以上の事実は、\(\mathbb{R} ^{3}\)上の任意のベクトルが先の3つのベクトル\(x_{1},x_{2},x_{3}\)の線型結合として表現可能であることも同時に意味します。つまり、\(\mathbb{R} ^{3}\)は\(\left\{ x_{1},x_{2},x_{3}\right\} \)によって張られるということです。
\end{equation*}と表されます。ただし、\(v\)は直線\(L\)の方向ベクトルに相当します。したがって、点\(x\in L\)を任意に選んだとき、\begin{equation*}\exists t\in \mathbb{R} :x=tv
\end{equation*}が成り立ちますが、以上の事実は、\begin{equation*}
L=\mathrm{span}\left( v\right)
\end{equation*}が成り立つことを意味します。つまり、原点を通過する直線\(L\)は、その直線の方向ベクトル\(v\)によって張られるということです。
\end{equation*}と表されます。ただし、\(v,w\)は平面\(P\)の方向ベクトルに相当します。したがって、点\(x\in P\)を任意に選んだとき、\begin{equation*}\exists s,t\in \mathbb{R} :x=sv+tw
\end{equation*}が成り立ちますが、以上の事実は、\begin{equation*}
P=\mathrm{span}\left( v,w\right)
\end{equation*}が成り立つことを意味します。つまり、原点を通過する平面\(P\)は、その平面の方向ベクトル\(v,w\)によって張られるということです。
集合の線型スパン
実ベクトル空間\(\mathbb{R} ^{n}\)が与えられた状況において、非空の部分集合\begin{equation*}X\subset \mathbb{R} ^{n}
\end{equation*}を任意に選びます。\(X\)は非空であるため、その要素であるベクトル\(x_{1},\cdots ,x_{m}\in X\)を選ぶことができますが、その線型結合は何らかのスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n}
\end{equation*}と表すことができます。
非空な部分集合\(X\subset \mathbb{R} ^{n}\)の要素であるベクトルの線型結合をすべて網羅するためにはどのように考えればよいでしょうか。まずは、集合\(X\)の中から取り出すベクトルの個数\(m\in \mathbb{N} \)によって場合を分ける必要があります。結合するベクトルの個数\(m\)が決まったら、次は\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in X\)として何を選ぶかによって場合を分ける必要があります。結合するベクトルの個数\(m\)とベクトル\(x_{1},\cdots ,x_{m}\)が決まったら、最後に\(m\)個のスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)として何を選ぶかによって場合を分ける必要があります。このように考えると、集合\(X\)の要素であるベクトルの線型結合をすべて集めてできる集合を、\begin{eqnarray*}\mathrm{span}\left( X\right) &=&\left\{ a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n}\ |\ m\in \mathbb{N} \wedge x_{1},\cdots ,x_{m}\in X\wedge a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \\
&=&\left\{ \sum_{i=1}^{m}a_{i}x_{i}\in \mathbb{R} ^{n}\ |\ m\in \mathbb{N} \wedge \forall i\in \left\{ 1,\cdots ,m\right\} :\left( x_{i}\in X\wedge
a_{i}\in \mathbb{R} \right) \right\}
\end{eqnarray*}と表現できます。これを\(X\)の線型スパン(linear span)や線型包(linear hull)などと呼びます。明らかに、\begin{equation*}\mathrm{span}\left( X\right) \subset \mathbb{R} ^{n}
\end{equation*}が成り立ちます。
実ベクトル空間\(\mathbb{R} ^{n}\)の部分集合\(Y\)が与えられたとき、それを何らかの集合\(X\subset \mathbb{R} ^{n}\)の線型スパンとして表現できる場合には、すなわち、\begin{equation}\exists X\subset \mathbb{R} ^{n}:Y=\mathrm{span}\left( X\right) \quad \cdots (1)
\end{equation}が成り立つ場合には、集合\(X\)のことを集合\(Y \)を張る集合(spanning set for \(Y \))や生成する集合(generating set)などと呼びます。線型スパンの定義より、このとき、\(Y\)の要素であるベクトルはいずれも\(X\)の要素であるベクトルの何らかの線型結合として表現できます。つまり、\begin{equation*}\forall y\in Y,\ \exists m\in \mathbb{N} ,\ \exists x_{1},\cdots ,x_{m}\in X,\ \exists a_{1},\cdots ,a_{m}\in \mathbb{R} :y=a_{1}x_{1}+\cdots +a_{m}x_{m}
\end{equation*}が成り立つということです。\(\left( 1\right) \)を踏まえると、\begin{equation*}\forall x\in \mathrm{span}\left( X\right) ,\ \exists m\in \mathbb{N} ,\ \exists x_{1},\cdots ,x_{m}\in X,\ \exists a_{1},\cdots ,a_{m}\in \mathbb{R} :x=a_{1}x_{1}+\cdots +a_{m}x_{m}
\end{equation*}もまた成り立ちます。
繰り返しになりますが、有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}\)の線型スパンは、\begin{equation}\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) =\left\{ a_{1}x_{1}+\cdots
+a_{m}x_{m}\in \mathbb{R} ^{n}\ |\ a_{1},\cdots ,a_{m}\in \mathbb{R} \right\} \quad \cdots (1)
\end{equation}と定義される\(\mathbb{R} ^{n}\)の部分集合です。これらのベクトルを要素として持つ集合\begin{equation*}\left\{ x_{1},\cdots ,x_{m}\right\}
\end{equation*}を構成すれば、その線型スパン\begin{equation*}
\mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m}\right\} \right)
\end{equation*}をとることができますが、これは\(\left( 1\right) \)と一致することが保証されます。
\end{equation*}が成り立つ。
以上の命題より、\(\mathbb{R} ^{n}\)の要素であるベクトル\(x_{1},\cdots ,x_{m}\)の線型スパンはいずれも\(\mathbb{R} ^{n}\)の部分集合\(\left\{ x_{1},\cdots,x_{m}\right\} \)の線型スパンとして表現可能であることが明らかになりました。つまり、\(\mathbb{R} ^{n}\)の部分集合の線型スパンはベクトルの線型スパンよりも一般的な概念であるということです。そこで、以降では\(\mathbb{R} ^{n}\)の部分集合の線型スパンを用います。
線型スパンは部分空間
繰り返しになりますが、実ベクトル空間の非空な部分集合\(X\subset \mathbb{R} ^{n}\)の線型スパンとは、\(X\)の要素であるベクトルの線型結合をすべて集めてできる集合であり、具体的には、\begin{equation*}\mathrm{span}\left( X\right) =\left\{ a_{1}x_{1}+\cdots +a_{m}x_{m}\in \mathbb{R} ^{n}\ |\ m\in \mathbb{N} \wedge x_{1},\cdots ,x_{m}\in X\wedge a_{1},\cdots ,a_{m}\in \mathbb{R} \right\}
\end{equation*}と定義されます。これは非空な部分集合であるため\(\mathbb{R} ^{n}\)の部分空間であるか検討できますが、実際、線型スパン\(\mathrm{span}\left( X\right) \)は\(\mathbb{R} ^{n}\)の部分空間になることが保証されます。
\end{equation*}と表されます。ただし、\(v\)は直線\(L\)の方向ベクトルに相当します。このとき、\begin{equation*}L=\mathrm{span}\left( \left\{ v\right\} \right)
\end{equation*}という関係が成り立つため、上の命題より、原点を通過する直線\(L\)は\(\mathbb{R} ^{n}\)の部分空間です。
\end{equation*}と表されます。ただし、\(v,w\)は平面\(P\)の方向ベクトルに相当します。このとき、\begin{equation*}P=\mathrm{span}\left( \left\{ v,w\right\} \right)
\end{equation*}という関係が成り立つため、上の命題より、原点を通過する平面\(P\)は\(\mathbb{R} ^{n}\)の部分空間です。
線型スパンの代替的な定義
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\)を任意に選んだとき、その線型スパン\(\mathrm{span}\left( X\right) \)は\(\mathbb{R} ^{n}\)の部分空間であることが明らかになりました。では、これはどのような性質を満たす部分空間でしょうか。順番に考えます。
線型スパン\(\mathrm{span}\left( X\right) \)は、自身を生成するもととなった集合\(X\)を部分集合として持ちます。
\end{equation*}を満たす。
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\)を任意に選んだとき、\(X\)を部分集合として持つ\(\mathbb{R} ^{n}\)の部分空間を集めてできる集合族を、\begin{equation*}\left\{ Y_{\lambda }\right\} _{\lambda \in \Lambda }
\end{equation*}で表記します。つまり、この集合族は以下の2つの条件\begin{eqnarray*}
&&\left( a\right) \ \forall \lambda \in \Lambda :Y_{\lambda }\text{は}\mathbb{R} ^{n}\text{の部分空間} \\
&&\left( b\right) \ \forall \lambda \in \Lambda :X\subset Y_{\lambda }
\end{eqnarray*}を満たすものとして定義されるということです。
\(\mathbb{R} ^{n}\)自身は\(\mathbb{R} ^{n}\)の部分空間であるとともに\(X\subset \mathbb{R} ^{n}\)であるため、\(\mathbb{R} ^{n}\)はこの集合族の要素の1つです。先の命題より、線型スパン\(\mathrm{span}\left( X\right) \)もまたこの集合族の要素の1つですが、実は、線型スパン\(\mathrm{span}\left( X\right) \)はこの集合族の要素の中でも最小の集合です。つまり、\begin{equation*}\forall \lambda \in \Lambda :\mathrm{span}\left( X\right) \subset
Y_{\lambda }
\end{equation*}が成り立つことが示されます。すると、集合族の共通部分の定義より、\begin{equation*}
\mathrm{span}\left( X\right) \subset \bigcap\limits_{\lambda \in \Lambda
}Y_{\lambda }
\end{equation*}を得ます。さらに、これとは逆に、\begin{equation*}
\bigcap\limits_{\lambda \in \Lambda }Y_{\lambda }\subset \mathrm{span}\left( X\right)
\end{equation*}もまた成り立つことが示されるため、結局、\begin{equation*}
\mathrm{span}\left( X\right) =\bigcap\limits_{\lambda \in \Lambda
}Y_{\lambda }
\end{equation*}を得ます。
&&\left( b\right) \ \forall \lambda \in \Lambda :X\subset Y_{\lambda }
\end{eqnarray*}を満たすものとして定義する。このとき、線型スパン\(\mathrm{span}\left(X\right) \)は集合族\(\left\{ Y_{\lambda }\right\}_{\lambda \in \Lambda }\)の要素であるとともに、\begin{equation*}\mathrm{span}\left( X\right) =\bigcap\limits_{\lambda \in \Lambda
}Y_{\lambda }
\end{equation*}が成り立つ。
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\subset \mathbb{R} ^{n}\)が与えられたとき、\(X\)を部分集合として持つ\(\mathbb{R} ^{n}\)の部分空間を集めてできる集合族を、\begin{equation*}\left\{ Y_{\lambda }\right\} _{\lambda \in \Lambda }
\end{equation*}で表記します。上の命題を踏まえると、この集合族の要素であり、なおかつこの集合族の共通部分であるような\(\mathbb{R} ^{n}\)の部分集合として\(X\)の線型スパンという概念を定義することができます。つまり、\(X\)を部分集合として持つ\(\mathbb{R} ^{n}\)の部分空間からなる集合族が明らかであれば、ベクトルの線型結合などの概念を経由することなく、\(X\)の線型スパンという概念を定義できるということです。
演習問題
\begin{array}{c}
1 \\
-2 \\
5\end{array}\right)
\end{equation*}を以下の3つのベクトル\begin{equation*}
x_{1}=\left(
\begin{array}{c}
1 \\
1 \\
1\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
1 \\
2 \\
3\end{array}\right) ,\ x_{3}=\left(
\begin{array}{c}
2 \\
-1 \\
1\end{array}\right)
\end{equation*}の線型結合として表してください。
\begin{array}{c}
1 \\
2 \\
3\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
0 \\
1 \\
2\end{array}\right) ,\ x_{3}=\left(
\begin{array}{c}
0 \\
0 \\
1\end{array}\right)
\end{equation*}に注目したとき、\begin{equation*}\mathbb{R} ^{3}=\mathrm{span}\left( \left\{ x_{1},x_{2},x_{3}\right\} \right)
\end{equation*}という関係が成り立つことを示してください。
\begin{array}{c}
1 \\
-2 \\
k\end{array}\right)
\end{equation*}が以下の2つのベクトル\begin{equation*}
x_{1}=\left(
\begin{array}{c}
3 \\
0 \\
-2\end{array}\right) ,\ x_{2}=\left(
\begin{array}{c}
2 \\
-1 \\
-5\end{array}\right)
\end{equation*}の線型結合として表されるために\(k\in \mathbb{R} \)が満たすべき条件を明らかにしてください。
\begin{array}{c}
17 \\
-4 \\
2\end{array}\right) \in \mathrm{span}\left( \left\{ \left(
\begin{array}{c}
2 \\
1 \\
-3\end{array}\right) ,\left(
\begin{array}{c}
1 \\
-2 \\
4\end{array}\right) \right\} \right)
\end{equation*}が成り立つことを示してください。また、\begin{equation*}
\left(
\begin{array}{c}
17 \\
-4 \\
5\end{array}\right) \not\in \mathrm{span}\left( \left\{ \left(
\begin{array}{c}
2 \\
1 \\
-3\end{array}\right) ,\left(
\begin{array}{c}
1 \\
-2 \\
4\end{array}\right) \right\} \right)
\end{equation*}が成り立つことを示してください。
\end{equation*}を作った場合、このベクトル集合もまた\(X\)を張ることを示してください。
\end{equation*}が成り立つことを示してください。
\left\{ x\right\} \right)
\end{equation*}が成り立つことを示してください。
\end{equation*}が成り立つことを示してください。
\Leftrightarrow \mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m},v\right\}
\right) =\mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m}\right\} \right)
\end{equation*}が成り立つことを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】