これまでの話を整理すると同時に、もう少し高い視点で線型代数を眺めるために、今回と次回は「ベクトル空間」と「線型写像」という抽象的な概念を解説します。この手の話は知らなくても数値計算で困ることはありませんが、知っておいたほうが「線型代数」の全体像を把握しやすくなると思うので、できれば一読しておいてください。
【線型代数19】ベクトル空間
実数成分をもつ 2 次元ベクトルの集合を $\mathbb{R}^2$ と記述します。
集合 $\mathbb{R}^2$ には 2 次元空間(つまり平面上)のあらゆるベクトルが含まれます。
$\mathbb{R}^2$ から任意の 2 本のベクトル $\boldsymbol{u},\ \boldsymbol{v}$ を選んで線型結合
\[\boldsymbol{w}=\alpha\boldsymbol{u}+\beta\boldsymbol{v}\]
をつくったとき、$\boldsymbol{w}$ もまた集合 $\mathbb{R}^2$ の元 (要素) となっています ($\alpha,\ \beta$ は実数)。すなわち、$\mathbb{R}^2$ の元は加算とスカラー倍によって $\mathbb{R}^2$ の外に出ることはありません。
このように、あるベクトル集合 $V$ について、和とスカラー倍の 2 種類の演算が定義され、それらの演算について集合 $V$ が閉じているとき、すなわち
\[\alpha\boldsymbol{u}+\beta\boldsymbol{v}\in V\]
が成り立つときに、集合 $V$ を ベクトル空間 (vector space) または 線型空間 (linear space) とよびます。厳密にはベクトル空間であるためには以下の 10 個の条件をすべて満たす必要があります。
[2] $\boldsymbol{u}\in V \Longrightarrow\ k\boldsymbol{v}\in V$
[3] $(\boldsymbol{u}+\boldsymbol{v})+\boldsymbol{w}=\boldsymbol{u}+(\boldsymbol{v}+\boldsymbol{w})$
[4] $\boldsymbol{u}+\boldsymbol{v}=\boldsymbol{v}+\boldsymbol{u}$
[5] $\boldsymbol{u}+\boldsymbol{0}=\boldsymbol{0}$ となる $\boldsymbol{0}$ が存在する。
[6] $\boldsymbol{u}+\boldsymbol{v}=\boldsymbol{0}$ となる $\boldsymbol{v}$ が存在する。
[7] $a(\boldsymbol{u}+\boldsymbol{v})=a\boldsymbol{u}+a\boldsymbol{v}$
[8] $(a+b)\boldsymbol{u}=a\boldsymbol{u}+b\boldsymbol{v}$
[9] $(ab)\boldsymbol{u}=a(b\boldsymbol{u})$
[10] $1\boldsymbol{u}=\boldsymbol{u}$
先に述べた線型結合に関する条件は公理 [1] と[2] をまとめたものです。
非ベクトル空間
平面上の格子点 $\boldsymbol{u}=\begin{bmatrix}i\\j\end{bmatrix}$ の集合 $V$ はベクトル空間ではありません ($i,\ j$ は整数)。
和については閉じていますが、スカラー倍については閉じていないからです。
たとえば、ベクトル $\boldsymbol{u}=\begin{bmatrix}1\\1\end{bmatrix}$ にスカラー $0.5$ を掛けると、$\boldsymbol{u}=\begin{bmatrix}0.5\\0.5\end{bmatrix}$ となって、
もとの集合からはみ出してしまいます。
n次元ユークリッド空間
$n$ 個の実数を要素にもつベクトルの集合を $n$ 次元ユークリッド空間とよび、$\mathbb{R}^n$ と書きます。一般には、簡単に $n$ 次元空間とよびます。
$\mathbb{R}$ は実数 (Real Number) の頭文字であり、$n$ 個の複素数 (Complex Number) を要素にもつベクトルの集合であれば $\mathbb{C}^n$ のように表します。
$\mathbb{R}^1$ は直線、$\mathbb{R}^2$ は平面、$\mathbb{R}^3$ は空間を表します。
同様にして $4$ 次元空間 $\mathbb{R}^4$、$5$ 次元空間 $\mathbb{R}^5$ も定義できます。
$n$ 個の要素をもつベクトル同士の線型結合は、$n$ 個の要素をもつベクトルとなるので、$\mathbb{R}^n$ はベクトル空間です。
行列空間
ベクトル空間は必ずしもベクトルを要素にもつとは限りません。先に挙げた 10 個の公理さえみたせばベクトル空間となりえます。たとえば $2\times 2$ 行列の集合を $\mathbb{M}$ で表せば、$\mathbb{M}$ もまたベクトル空間です。公理を順番にチェックしてみてください。ここでは、[1] と [2] が述べる、要素の線型結合がもとの集合に属していることだけ確認しておきます:
\[k\begin{bmatrix}a&b\\c&d\end{bmatrix}+l\begin{bmatrix}e&f\\g&h\end{bmatrix}=\begin{bmatrix}ka+lb&kb+lf\\kc+lg&kd+lh\end{bmatrix}\]
関数空間
実数関数 $f(x)$ の集合もベクトル空間です。
対称範囲が広すぎて困惑するかもしれませんが、実数関数 $f(x)$ と $g(x)$ の線型結合 $af(x)+bg(x)$ もやはり実数関数となっていて、他の公理もすべて満たすので、実数関数全体はベクトル空間です (厳密にいえば関数の備えるべき性質にいくらかの条件はつきます)。解析学が絡むので本講座では深入りしませんが、関数は無限個の要素をもつベクトルとして扱えることが知られています。もちろん、もっと範囲を制限した関数の集合をベクトル空間として定義することもできます。その一例として、次節で $2$ 次以下の多項式集合を考えます。
2次以下の多項式の集合
$2$ 次以下の多項式
\[P=ax^2+bx+c\]
の集合 $V$ はベクトル空間です。この集合にはすべての放物線 ($a\neq 0$) と直線 $(a=0,\ b\neq 0)$、そして点 $(a=b=0)$ が含まれています。$a_1x^2+b_1x+c_1$ と $a_2x^2+b_2x+c_2$ の線型結合をつくってみると、
\[\begin{align*}&\alpha(a_1x^2+b_1x+c_1)+\beta(a_2x^2+b_2x+c_2)\\[6pt]&=(\alpha a_1+\beta a_2)x^2+(\alpha b_1+\beta b_2)x+(\alpha c_1+\beta c_2)\end{align*}\]
となって、$V$ の元であることがわかります。たとえば基底として、
\[\boldsymbol{e}_1=x^2,\quad \boldsymbol{e}_2=x,\quad \boldsymbol{e}_3=1\]
をとれば、ベクトル空間内の任意の点 $\boldsymbol{z}$ を線型結合
\[\boldsymbol{z}=p\boldsymbol{e}_1+q\boldsymbol{e}_2+r\boldsymbol{e}_3\]
によって表すことができます。これは何も特別なことを表しているわけではありません。2 次式をどのように足し合わせようとも 3 次式にはなれないという当たり前の事実を示しているに過ぎません。$x^2+x$ と $-x^2$ を足すと $x$ になるように、多項式の次数が下がることはありえます。同様に考えて、$n$ 次以下の多項式の集合もベクトル空間であることがわかります。
部分空間
あるベクトル空間 $V$ の中に含まれる、もっと小さなベクトル空間 $S$ を考えることがあります ($S$ が $V$ そのものであってもかまいません)。このとき、$S$ は $V$ の 部分空間 であるといいます。
部分空間 $S$ は慎重に選ぶ必要があります。単に $S$ が $V$ の部分集合となっているだけでは不十分で、ベクトル空間としての要件を満たしていなければなりません。特に $\mathbb{R}^n$ のような広い空間が、ほぼ自明として備えていた公理 [5] 、すなわち零元 $\boldsymbol{0}$ の存在に注意を払う必要があります。
$S$ がベクトル空間であるためには、$S$ に属するベクトル $\boldsymbol{u},\ \boldsymbol{v}$ について、線型結合 $\alpha\boldsymbol{u}+\beta\boldsymbol{v}$ もまた $S$ に属していなければなりませんが、任意定数を $\alpha=\beta=0$ のように選ぶと、$\boldsymbol{0}$ となるので、$S$ は最初から $\boldsymbol{0}$ を含んでいなければなりません。
たとえば、$2$ 次元空間 $\mathbb{R}^2$ の部分空間として原点を通る直線を選ぶことはできますが、原点を通らない直線は選べません。原点を通らない直線上の点も $\mathbb{R}^2$ に含まれてはいますが、部分空間として採用することはできないのです。原点を通る直線群は $\mathbb{R}^2$ の部分空間であると同時に、平面を埋め尽くすので、$V$ に完全一致します。
ベクトル空間の基底と次元
基底については講座の早い段階で学びました。これまでも色々な場面で基底を使ってきましたが、ここであらためて一般化しておきます。
少し難しい表現になってしまいましたが、基底とは空間を張るために過不足のないベクトルの組のことです (多すぎても少なすぎてもいけません)。
$\mathbb{R}^2$ を使って具体的に説明します。
$\mathbb{R}^2$ 内の直交する単位ベクトル $\begin{bmatrix}1\\0\end{bmatrix},\ \begin{bmatrix}0\\1\end{bmatrix}$ を選んだとします。
$\mathbb{R}^2$、すなわち平面上のすべての点は、この $2$ 本のベクトルの線型結合で表せます。たとえば、$(3,\ 2)$ は
\[\begin{bmatrix}3\\2\end{bmatrix}=3\begin{bmatrix}1\\0\end{bmatrix}+2\begin{bmatrix}0\\1\end{bmatrix}\]
のように表せます。したがって、$\begin{bmatrix}1\\0\end{bmatrix}$ と $\begin{bmatrix}0\\1\end{bmatrix}$ は $\mathbb{R}^2$ の基底となれます。
しかし、$3$ 本目のベクトル $\begin{bmatrix}1\\1\end{bmatrix}$ を加えると、
\[\begin{bmatrix}3\\2\end{bmatrix}=2\begin{bmatrix}1\\0\end{bmatrix}+\begin{bmatrix}0\\1\end{bmatrix}+\begin{bmatrix}1\\1\end{bmatrix}\]
のように、$(3,\ 2)$ を色々な線型結合で表せるようになってしまいます。
$3$ つめは余分なベクトルであって、$\begin{bmatrix}1\\0\end{bmatrix},\ \begin{bmatrix}0\\1\end{bmatrix},\ \begin{bmatrix}0\\1\end{bmatrix}$ は基底とはなれません。
$\mathbb{R}^3$ の例を考えてみましょう。$2$ 本のベクトル $\begin{bmatrix}1\\0\\0\end{bmatrix},\quad \begin{bmatrix}0\\1\\0\end{bmatrix}$ を選んだとします。
これらのベクトルは互いに線型独立ですが、線型結合
\[a\begin{bmatrix}1\\0\\0\end{bmatrix}+b\begin{bmatrix}0\\1\\0\end{bmatrix}\]
は平面しか表せないので、$\mathbb{R}^3$ 全体を表すにはベクトルが不足しています。
もう $1$ 本のベクトル $\begin{bmatrix}0\\0\\1\end{bmatrix}$ を加えれば、
\[a\begin{bmatrix}1\\0\\0\end{bmatrix}+b\begin{bmatrix}0\\1\\0\end{bmatrix}+c\begin{bmatrix}0\\0\\1\end{bmatrix}\]
は空間全体を張れるので、$\mathbb{R}^3$ の基底となれます。
一般にベクトル空間 $V$ の基底の取り方は無数にあります。
ベクトル同士が直交している必要もありません。
$\mathbb{R}^2$ であれば、$\begin{bmatrix}1\\0\end{bmatrix},\ \begin{bmatrix}1\\1\end{bmatrix}$ の代わりに $\begin{bmatrix}1\\0\end{bmatrix},\ \begin{bmatrix}-1\\1\end{bmatrix}$ を選ぶこともできます。
しかし互いに線型独立であれば、どの組合せをとっても基底に含まれるベクトルの数自体は変わりません。そこで、基底を構成するベクトルの個数をベクトル空間 $V$ の 次元 と定義して $\dim V$ と書きます。
たとえば、$\mathbb{R}^n$ の次元は $n$ なので、$\dim \mathbb{R}^n=n$ と表せます。
この講座の後半でも扱いますが、微分方程式の解空間も互いに独立な特解 (基底) の線型結合として表せます。たとえば、2階線型微分方程式 $y''+y=0$ の一般解 (解空間) は
\[y=a\cos x+b\sin x\]
で与えられます。すなわち、$\cos x$ と $\sin x$ が解空間の基底なので次元は $2$ となります。
下記は誤植と思われますので、ご確認ください。
「部分空間」の説明で、Sに完全一致 → Vに完全一致
「ベクトル空間の基底と次元」の説明の最後で、1階線型微分 → 2階線型微分、与えられるます → 与えられる
今日は何度もありがとうございます。
さっそく記事を修正させていただきました。
【人工知能講義】ベクトル空間はベクトル同士の足し算とスカラー倍が定義された空間です
ChatGPTにベクトル空間と部分空間について解説してもらいました(内容に誤りが含まれる場合もあるのでご注意ください)。
[ChatGPT] ベクトル空間は、ベクトルの集合で、ベクトル同士の足し算とスカラー倍が定義されている空間です。ベクトルとは、大まかに言うと、大きさと方向を持つ量を表すものです。ベクトルは矢印で表されることが一般的です。ベクトル空間は、以下の性質を持ちます:
1. 零ベクトル(ベクトルの大きさが0で、どの方向も持たないベクトル)が存在します。
2. 任意のベクトルuに対して、-u(uの逆ベクトル)もベクトル空間に含まれます。
3. 任意のベクトルuとvに対して、u + v(ベクトルの足し算)もベクトル空間に含まれます。
4. 任意のベクトルuと実数(または複素数)cに対して、cu(ベクトルのスカラー倍)もベクトル空間に含まれます。
これらの性質によって、ベクトル空間ではベクトル同士の足し算やスカラー倍が定義され、その結果も再びベクトルとなります。部分空間は、ベクトル空間の中で特定の条件を満たすベクトルの集合です。具体的には、以下の条件を満たす場合、その集合は部分空間となります:
1. 零ベクトルが含まれます。
2. 任意のベクトルuとvが部分空間に含まれる場合、u + vも部分空間に含まれます。
3. 任意のベクトルuと実数(または複素数)cが部分空間に含まれる場合、cuも部分空間に含まれます。
部分空間は、ベクトル空間の一部を表すため、ベクトル空間の性質を保持します。例えば、二次元平面上の原点を通る直線は、ベクトル空間の部分空間です。また、三次元空間の原点を通る平面もベクトル空間の部分空間です。部分空間は、ベクトルの性質や関係を研究する上で重要な役割を果たします。線形代数学やベクトル解析などの分野で広く使用され、物理学や工学、コンピュータ科学などの応用分野でも活用されています。