WIIS

ベクトル

実ベクトル空間上のベクトルの線型結合と線型スパン

目次

関連知識

Mailで保存
Xで共有

ベクトルの線型結合

実ベクトル空間\(\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}\)の線型結合として表現可能です。

例(1次元ベクトル空間上のベクトルの線型結合)
\(1\)次元の実ベクトル空間\(\mathbb{R} \)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} \)の線型結合は、何らかのスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)を用いて、\begin{equation*}a_{1}x_{1}+\cdots +a_{m}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}\)の線型結合として表現可能であることも意味します。
例(2次元ベクトル空間上のベクトルの線型結合)
\(2\)次元の実ベクトル空間\(\mathbb{R} ^{2}\)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{2}\)の線型結合は、何らかのスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)を用いて、\begin{eqnarray*}a_{1}x_{1}+\cdots +a_{m}x_{m} &=&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) \\
&=&\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}\)の線型結合として表現可能であることも同時に意味します。
例(3次元ベクトル空間上のベクトルの線型結合)
\(3\)次元の実ベクトル空間\(\mathbb{R} ^{3}\)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{3}\)の線型結合は、何らかのスカラー\(a_{1},\cdots ,a_{m}\in \mathbb{R} \)を用いて、\begin{eqnarray*}a_{1}x_{1}+\cdots +a_{m}x_{m} &=&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) \\
&=&\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}\)の線型結合として表現可能であることも同時に意味します。
例(原点を通過する直線)
空間\(\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\)の方向ベクトルに相当します。特に、直線\(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\)の何らかの線型結合として表現可能であることを意味します。
例(原点を通過する平面)
空間\(\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\)の方向ベクトルに相当します。特に、平面\(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*}が成り立つことを意味します。

例(1次元ベクトル空間上のベクトルの線型スパン)
\(1\)次元の実ベクトル空間\(\mathbb{R} \)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} \)の線型スパンは、\begin{equation*}\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) =\left\{ a_{1}x_{1}+\cdots
+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\} \)によって張られるということです。
例(2次元ベクトル空間上のベクトルの線型スパン)
\(2\)次元の実ベクトル空間\(\mathbb{R} ^{2}\)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{2}\)の線型スパンは、\begin{eqnarray*}\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) &=&\left\{
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\} \)によって張られるということです。
例(3次元ベクトル空間上のベクトルの線型スパン)
\(3\)次元の実ベクトル空間\(\mathbb{R} ^{3}\)上に存在する有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{3}\)の線型スパンは、\begin{eqnarray*}\mathrm{span}\left( x_{1},\cdots ,x_{m}\right) &=&\left\{
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\} \)によって張られるということです。
例(原点を通過する直線)
空間\(\mathbb{R} ^{n}\)上に存在する直線\(L\)が原点を通過する場合、それは何らかの非ゼロベクトル\(v\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を用いて、\begin{equation*}L=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists t\in \mathbb{R} :x=tv\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\)によって張られるということです。
例(原点を通過する平面)
空間\(\mathbb{R} ^{n}\)上に存在する平面\(P\)が原点を通過する場合、それは何らか線型独立な非ゼロベクトル\(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=sv+tw\right\}
\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) \)と一致することが保証されます。

命題(ベクトルの線型スパンと集合の線型スパンの関係)
有限\(m\)個のベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}\)を任意に選んだとき、\begin{equation*}\mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m}\right\} \right) =\mathrm{span}\left( x_{1},\cdots ,x_{m}\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}\)の部分空間になることが保証されます。

命題(線型スパンは部分空間)
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\subset \mathbb{R} ^{n}\)を任意に選ぶ。その線型スパン\(\mathrm{span}\left( X\right) \)は\(\mathbb{R} ^{n}\)の部分空間である。
証明

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

例(原点を通過する直線)
空間\(\mathbb{R} ^{n}\)上に存在する直線\(L\)が原点を通過する場合、それは何らかの非ゼロベクトル\(v\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)を用いて、\begin{equation*}L=\left\{ x\in \mathbb{R} ^{n}\ |\ \exists t\in \mathbb{R} :x=tv\right\}
\end{equation*}と表されます。ただし、\(v\)は直線\(L\)の方向ベクトルに相当します。このとき、\begin{equation*}L=\mathrm{span}\left( \left\{ v\right\} \right)
\end{equation*}という関係が成り立つため、上の命題より、原点を通過する直線\(L\)は\(\mathbb{R} ^{n}\)の部分空間です。
例(原点を通過する平面)
空間\(\mathbb{R} ^{n}\)上に存在する平面\(P\)が原点を通過する場合、それは何らか線型独立な非ゼロベクトル\(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=sv+tw\right\}
\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\)を部分集合として持ちます。

命題(線型スパンの性質)
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\subset \mathbb{R} ^{n}\)を任意に選ぶ。その線型スパン\(\mathrm{span}\left( X\right) \)は\(\mathbb{R} ^{n}\)の部分空間であるとともに、\begin{equation*}X\subset \mathrm{span}\left( X\right)
\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*}を得ます。

命題(線型スパンの代替的な定義)
実ベクトル空間\(\mathbb{R} ^{n}\)の非空な部分集合\(X\subset \mathbb{R} ^{n}\)を任意に選んだ上で、\(\mathbb{R} ^{n}\)の部分集合族\(\left\{ Y_{\lambda}\right\} _{\lambda \in \Lambda }\)を、\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*}を満たすものとして定義する。このとき、線型スパン\(\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\)の線型スパンという概念を定義できるということです。

 

演習問題

問題(ベクトルの線型結合)
3次元の実ベクトル空間\(\mathbb{R} ^{3}\)において、以下のベクトル\begin{equation*}x=\left(
\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*}の線型結合として表してください。

解答を見る

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

問題(線型スパン)
3次元の実ベクトル空間\(\mathbb{R} ^{3}\)における以下のベクトル\begin{equation*}x_{1}=\left(
\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*}という関係が成り立つことを示してください。

解答を見る

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

問題(ベクトルの線型結合)
3次元の実ベクトル空間\(\mathbb{R} ^{3}\)において、以下のベクトル\begin{equation*}x=\left(
\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} \)が満たすべき条件を明らかにしてください。
解答を見る

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

問題(線形スパン)
3次元の実ベクトル空間\(\mathbb{R} ^{3}\)において、\begin{equation*}\left(
\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*}が成り立つことを示してください。

解答を見る

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

問題(張る集合の性質)
ベクトル集合\(\left\{ x_{1},\cdots,x_{m}\right\} \subset \mathbb{R} ^{n}\)が部分集合\(X\subset \mathbb{R} ^{n}\)を張るものとします。新たなベクトル\(v_{1},\cdots ,v_{k}\in \mathbb{R} ^{n}\)を任意に選んだ上で、ベクトル集合\begin{equation*}\left\{ x_{1},\cdots ,x_{m},v_{1},\cdots ,v_{k}\right\} \subset \mathbb{R} ^{n}
\end{equation*}を作った場合、このベクトル集合もまた\(X\)を張ることを示してください。
解答を見る

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

問題(ゼロベクトルの生成)
ベクトル\(x_{1},\cdots ,x_{m}\in \mathbb{R} ^{n}\)を任意に選んだとき、\begin{equation*}0\in \mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m}\right\} \right)
\end{equation*}が成り立つことを示してください。

解答を見る

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

問題(ベクトルとスカラー倍の線型スパン)
ベクトル\(x\in \mathbb{R} ^{n}\)とスカラー\(a\in \mathbb{R} \)を任意に選んだとき、\begin{equation*}\mathrm{span}\left( \left\{ x,ax\right\} \right) =\mathrm{span}\left(
\left\{ x\right\} \right)
\end{equation*}が成り立つことを示してください。

解答を見る

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

問題(線型スパンと包含関係)
部分集合\(A,B,C\subset \mathbb{R} ^{n}\)を任意に選んだとき、\begin{equation*}\left[ A\subset \mathrm{span}\left( B\right) \wedge B\subset \mathrm{span}\left( C\right) \right] \Rightarrow A\subset \mathrm{span}\left( C\right)
\end{equation*}が成り立つことを示してください。

解答を見る

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

問題(線型スパンの性質)
ベクトル\(x_{1},\cdots ,x_{m},v\in \mathbb{R} ^{n}\)を任意に選んだとき、以下の関係\begin{equation*}v\in \mathrm{span}\left( \left\{ x_{1},\cdots ,x_{m}\right\} \right)
\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*}が成り立つことを示してください。

解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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