【線形空間編】部分空間と生成系
大学1年生もバッチリ分かる線形代数入門

【線形空間編】部分空間と生成系

こんにちは、おぐえもん(@oguemon_com)です。

前回の記事では、行列を使ってある基底から別の基底を作る方法を解説しました。

今回は、線形空間の中にある小さな線形空間（部分空間）のお話をしたいと思います。

それでは始めましょ〜！

部分空間

ある線形空間VVの中から適当なベクトルを集めて部分集合WWを作ってみたら、実はその集合自身も線形空間だった！なんてことがあります。このようなWWを、VVの部分空間と呼びます。

WWがVVの部分空間である条件は、WWが空集合ではなくて、かつVVの演算ルールがWWの上で線形空間の 7 条件を満たしていることです。

しかし、VVが線形空間ならば、その演算ルールは概ね線形空間の条件を満たしているはずなので、実は次の条件をチェックするだけで大丈夫です。

部分空間の条件

FF上の線形空間VVの部分集合WWがVVの部分空間であるための必要十分条件は、次の 3 つを全て満たすことである。

  1. WWは空集合でない。つまり、W≠ϕW\neq\phiである。
  2. a,b∈W\boldsymbol{a},\boldsymbol{b} \in W　ならば　a+b∈W\boldsymbol{a}+\boldsymbol{b} \in Wである。（和の演算で閉じている）
  3. a∈W, λ∈F\boldsymbol{a} \in W, \ \lambda \in F　ならば　λa∈W\lambda\boldsymbol{a} \in Wである。（スカラー倍の演算で閉じている）

※FFはスカラーの集合のことで、実数や複素数の集合である。

簡単に言えば、WW内の任意のベクトルで演算した時、その結果が常にWWの中にあればWWは部分空間と言えるわけです。

条件 2 と 3 をまとめて次のように書くこともあります。

任意のa,b∈W\boldsymbol{a},\boldsymbol{b} \in Wと任意の λ,μ∈F\ \lambda,\mu \in F　について　λa+μb∈W\lambda\boldsymbol{a}+\mu\boldsymbol{b} \in Wである。

有限生成な部分空間と生成系

適当なベクトルの1次結合で部分空間を作る

部分空間の簡単な作り方の話です。ざっくり言えば、ある線形空間の中からテキトーに何個かのベクトルを持ってこれば、それらのベクトルの 1 次結合全体の集合を作るだけで部分空間を作れるのです。

有限生成な部分空間

集合VVはFF上の線形空間であり、a1\boldsymbol{a_1}〜ar\boldsymbol{a_r}はVVの中にあるベクトルである。このとき、a1\boldsymbol{a_1}〜ar\boldsymbol{a_r}の 1 次結合全体の集合、つまり

W={x1a1+x2a2+...+xrar ; x1,...,xr∈F}W=\{x_1\boldsymbol{a_1}+x_2\boldsymbol{a_2}+...+x_r\boldsymbol{a_r} \ ; \ x_1,...,x_r \in F\}

は、VVの部分空間である。

実際、任意の 1 次結合同士で和やスカラー倍を計算しても結局は 1 次結合の形になる、つまり絶対に 1 次結合全体の集合の中に含まれるので、↑ の成立を確認できます。

このような部分集合WWは特にa1,...,ar\boldsymbol{a_1},...,\boldsymbol{a_r}によって生成された部分空間と呼びます。そして、ベクトルa1\boldsymbol{a_1}〜ar\boldsymbol{a_r}を**WWの生成系**と呼びます。

生成系と基底の違い

ここで、「生成系」と「基底」って一緒じゃない？と思った方もいるでしょう。生成系は、部分空間をとにかく作るVV内のベクトルの組のことを言い、ぶっちゃけ**VVからテキトーにベクトルを選べば生成系を作ることができます**。一方、基底は、生成系の中でも選んだベクトルの組が 1 次独立であるもののことを言い、テキトーにベクトルを選んだだけじゃ基底にならないこともあります。

1 次独立であるかどうかの違いは、あるベクトルを成分表記するときに、同じベクトルを複数通りの書き方で記述できてしまうか否かに関わります。「(1,2)(1,2)と(3,4)(3,4)は実は同じベクトルなんだ！」なんて状況は明らかに不便なので、そんなことが起きない「基底」の方が生成系の中でも使い勝手が良いです。

基底の補充定理

今度は親の基底の話です。部分空間の基底に、適当（テキトーではない）なベクトルをいくつか加えることで、親の線形空間の基底を作ることができます。

基底の補充定理

次元nnの線形空間VVの基底について考える。WWをVVの部分空間とし、その次元dim⁡W\dim Wはrr(ただしrrはnn未満)とする。さらに、ベクトルa1\boldsymbol{a_1}〜ar\boldsymbol{a_r}をWWの基底とする。

このとき、n−rn-r個のVVのベクトルar+1\boldsymbol{a_{r+1}}〜an\boldsymbol{a_n}を適当に選ぶことで、nn個のベクトルa1\boldsymbol{a_1}〜an\boldsymbol{a_n}をVVの基底にすることができる。

「補充定理」なんて呼ばれているのは、まさに部分空間の基底に、適当なベクトルを「補充」することで、親の線形空間の基底を作ることができるからなんですね。

これの証明は多分授業で先生が張り切って板書してくれると思うのでそちらを聞いてください。せっかくなので概略を言うと、WWの基底だけで表現できないVV内のベクトルをWWの基底に加えると、「基底＆新しいベクトル」の組は 1 次独立になるので、今度は「基底＆新しいベクトル」で表せないベクトルを持ってきて…ってのを次元がnnになるまで繰り返します。

おわりに

今回は、線形空間の中にある小さな線形空間（部分空間）について学習しました。

次回の記事では、線形空間における内積に関することを解説したいと思います！

線形空間におけるベクトルの内積・大きさ・なす角＞＞

▲ トップへ戻る