線型独立と線型従属

自明でない線型関係が存在しないベクトルを線型独立、自明でない線型関係が存在するベクトルを線型従属であるといいます。

ここでは、線形独立・線型従属の概念を定義し、線型独立・線型従属なベクトルの基本的な性質を示します。

線型独立と線型従属の定義#

まず、線形独立と線型従属の定義を示します。

定義 4.7（線型独立と線型従属）#

$V$ をベクトル空間とする。$\bm{v}_{1}, \cdots, \bm{v}_{k} \in V$ の間に自明でない線型関係が存在するとき $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属（$\text{linearly dependent}$）であるといい、自明でない線型関係が存在しないとき $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型独立（$\text{linearly independent}$）であるという。

解説#

線形独立・線型従属なベクトルとは#

ベクトルの組に対して定義される#

線型独立や線型従属という概念は、ベクトルの組の関係を表すものであり、基本的には複数のベクトルからなる組に対して考えられます。

$1$ つのベクトルの場合（零ベクトルか否か）#

$1$ つのベクトル $\bm{v} \in V$ が線型独立であるということもできますが、これはあまり意味のない主張です。次のように単純化できるためです。

すなわち、$1$ つのベクトルの線型関係 $c \, \bm{v} = \bm{0}$ を考えると、 定理 4.3（ベクトルの演算 2）より、$c \, \bm{v} = \bm{0} \Rightarrow c = 0 \lor \bm{v} = \bm{0}$ が成り立ちます。このとき、 上記の定義より、「$\bm{v}$ に自明でない線型関係が存在しない」、つまり、「 $c \, \bm{v} = \bm{0}$ が $c = 0$ 以外の解を持たない」ということは、$\bm{v} \neq \bm{0}$ であることと同値です。

したがって、$1$ つのベクトル $\bm{v}$ が線型独立であることは、$\bm{v} \neq \bm{0}$ に等しいといえます。また、逆に、$1$ つのベクトル $\bm{v}$ が線型従属であることは、$\bm{v} = \bm{0}$ ということに他なりません。

線形独立・線型従属の定義の言い換え#

線形独立の定義の言い換え#

線型独立の定義は、様々に言い換えることができます。例えば、次の（$\text{i}$）$\sim$（$\text{iv}$）は、いずれも、あるベクトルの組が線型独立であるための条件の言い換えです。

まず、$\bm{v}_{1}, \cdots, \bm{v}_{k}$ が線型独立であるということは、 上記の定義に従えば（$\text{i}$） 「 $\bm{v}_{1}, \cdots, \bm{v}_{k}$ の間に自明でない線型関係が存在しない」ということです。部分否定の表現を変えて（$\text{ii}$） 「 $\bm{v}_{1}, \cdots, \bm{v}_{k}$ の間には自明な線型関係しか存在しない」としても同じことです。

また、より詳しく（$\text{iii}$） 「 $c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0}$ が成り立つのは $c_{1} = \cdots = c_{k} = 0$ のときに限る」ということもできます。更に、論理記号を用いて（$\text{iv}$） 「 $c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0} \, \Rightarrow \, c_{1} = \cdots = c_{k} = 0$ 」と表すこともできます。

線形従属の定義の条件の言い換え#

同様に、 線型従属の定義も、様々に言い換えることができます。例えば、次の（$\text{i}$）$\sim$（$\text{iii}$）は、いずれも、あるベクトルの組が線型従属であるための条件の言い換えです。

$\bm{v}_{1}, \cdots, \bm{v}_{k}$ が線型従属であるということは、 上記の定義に従えば（$\text{i}$） 「 $\bm{v}_{1}, \cdots, \bm{v}_{k}$ の間に自明でない線型関係が存在する」ということです。

この条件をより詳しく書き下せば（$\text{ii}$） 「 $c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0}$ を成り立たせる、少なくとも $1$ つは $0$ でない $c_{1}, \cdots, c_{k}$ の組が存在する」ということになります。また、このことは、論理記号を用いて（$\text{iv}$） 「 ${}^{\exists} (\, c_{1}, \cdots, c_{k} \,) \neq (\, 0, \cdots, 0 \,) \;\; \text{s.t.} \;\; c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0}$ 」のように表すこともできます。

線形独立と線型従属は排反#

ベクトルの組が線型独立であることと線型従属であることは互いに排反な命題です。

すなわち、あるベクトルの組が線型独立であれば線型従属ではなく、線型従属であれば線形独立ではありません。逆もまた成り立ちます。このことは、 上記の定義から明らかといえます。

線形独立・線型従属であるための諸条件#

次項以降、線型独立（または線型従属）なベクトルの性質に関する様々な定理を導きます。それらは、主に、あるベクトルの組が線型独立（または線型従属）であるための条件であり、「$\sim$ ならば $\sim$ は線型独立（または線型従属）である」といった命題がよく現れます。

しかしながら、 線形独立・線型従属の定義は、 上記に示した通り、あくまで自明でない線型関係の有無によるものです。 線形独立・線型従属の定義そのものと、定義から導かれる定理を混同しないように注意が必要です。

線形独立なベクトルの基本的性質#

次に、 定義から直ちに導かれる、線形独立なベクトルの基本的性質を示します。

定理 4.17（線型独立なベクトルの性質）#

$\bm{v}_{1}, \cdots, \bm{v}_{k}$ が線型独立ならば、次が成り立つ。

（$1$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ はどれも零ベクトル $\bm{0}$ ではない。
（$2$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ は互いに相異なる。

解説#

線形独立なベクトルの基本的性質#

定理 4.17（線型独立なベクトルの性質）は、線形独立なベクトルの組について成り立つ基本的な性質を示しています。すなわち、線形独立なベクトルは、零ベクトル $\bm{0}$ や同じベクトルを含みません。

このことは、 定義より明らかといえます（下記の 証明を参照）。

線形従属なベクトルの基本的性質#

定理 4.17（線型独立なベクトルの性質）の対偶は、直ちに線型従属なベクトルの組の基本的性質を表します。すなわち、次が成り立ちます。

（${1}^{\prime}$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ のなかに $\bm{0}$ が含まれていれば、$\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属である。
（${2}^{\prime}$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ のなかに同じベクトルが含まれていれば、$\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属である。

証明#

$V$ をベクトル空間として、$\bm{v}_{1}, \cdots, \bm{v}_{k} \in V$ が線型独立であるとする。

（$1$）仮に $\bm{v}_{1} = \bm{0}$ とすると、たとえば、$c_{1} = 1, \, c_{2} \cdots = c_{k} = 0$ は $c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0}$ を満たす。すなわち、自明でない線型関係が存在するので $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属となり、仮定に矛盾する。$\bm{v}_{2}, \cdots, \bm{v}_{k}$ についても同様である。よって、$\bm{v}_{1}, \cdots, \bm{v}_{k}$ はどれも $\bm{0}$ ではない。

（$2$）仮に $\bm{v}_{1} = \bm{v}_{2}$ とすると、たとえば、$c_{1} = -1, \, c_{2} = 1, \, c_{3} \cdots = c_{k} = 0$ は $c_{1} \, \bm{v}_{1} + \cdots + c_{k} \, \bm{v}_{k} = \bm{0}$ を満たす。すなわち、自明でない線型関係が存在するので $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属となり、仮定に矛盾する。$\bm{v}_{1}, \cdots, \bm{v}_{k}$ の他の組合せについても同様である。よって、$\bm{v}_{1}, \cdots, \bm{v}_{k}$ は互いに相異なる。$\quad \square$

証明の考え方#

いずれも、 定義より明らかといえ、背理法により証明することができます。

まとめ#

• $V$ をベクトル空間とする。$\bm{v}_{1}, \cdots, \bm{v}_{k} \in V$ の間に、自明でない線型関係が存在するとき $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型従属であるといい、自明でない線型関係が存在しないとき $\bm{v}_{1}, \cdots, \bm{v}_{k}$ は線型独立であるという。
• $\bm{v}_{1}, \cdots, \bm{v}_{k}$ が線型独立であれば、次が成り立つ。
  （$1$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ はどれも $\bm{0}$ ではない。
  （$2$）$\bm{v}_{1}, \cdots, \bm{v}_{k}$ は互いに相異なる。

参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.