線型独立なベクトルの性質(2)

線型従属なベクトルの組に、いくつかのベクトルを加えたベクトルの組は線型従属となります。また、線型独立なベクトルの組から、いくつかのベクトルを除いたベクトルの組は線型独立となります。

これは、線型独立・線型従属なベクトルの組について成り立つ基本的な性質です。

線型独立・線型従属なベクトルの基本的性質


定理 4.20(線型独立・線型従属なベクトル)

VV をベクトル空間とする。r<sr \lt s とすると、v1,,vrV\bm{v}_{1}, \cdots, \bm{v}_{r} \in V が線型従属であれば v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} も線型従属である。また、v1,,vsV\bm{v}_{1}, \cdots, \bm{v}_{s} \in V が線型独立であれば v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} も線型独立である。



解説

線型独立・線型従属なベクトルの組の縮小・拡大

定理 4.20(線型独立・線型従属なベクトル)は、線型独立・線型従属なベクトルの組を縮小・拡大した場合に成り立つ性質を表しています。

ベクトルの組に対するベクトルの追加・削除

すなわち、線型従属なベクトルの組にいくつかのベクトルを加えた(拡大した)ベクトルの組もまた線型従属であるといえます。また、線型独立なベクトルの組からいくつかのベクトル除いた(縮小した)ベクトルの組もまた線型独立であるということがいえます。

このことは、形式的に、次のように表すことができます。

11v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型従属 \, \Rightarrow \, v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属。
22v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型独立 \, \Rightarrow \, v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型独立。

ベクトルの組の線型独立性と線型従属性(対偶の関係)

ベクトルの組が線型独立であることと線型従属であることは排反な命題です(線型独立・線型従属の定義)。

したがって、上記の(11)と(22)は、互いに対偶の関係にあります。

このような理由から、定理 4.20(線型独立・線型従属なベクトル)の証明において、(11)か(22)のいずれかを示せばよいということがわかります。(どちらの方向からも示せるように、下記に示す証明では(11)と(22)を別々に証明しています。)



証明

11v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} が線型従属であるとすると、c1v1++crvr=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} = \bm{0} を満たす、少なくとも 11 つは 00 でない c1,,crc_{1}, \cdots, c_{r} が存在する。このとき、r<sr \lt s について、c1v1++crvr+0vr+1++0vs=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} + 0 \, \bm{v}_{r + 1} + \cdots + 0 \, \bm{v}_{s} = \bm{0} とすれば、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} には自明でない線型関係が存在する。よって、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属である。

22v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型独立であるとする。このとき、r<sr \lt s について、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} が線型従属であると仮定すると、c1v1++crvr=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} = \bm{0} を満たす、少なくとも 11 つは 00 でない c1,,crc_{1}, \cdots, c_{r} が存在する。したがって、c1v1++crvr+0vr+1++0vs=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} + 0 \, \bm{v}_{r + 1} + \cdots + 0 \, \bm{v}_{s} = \bm{0} とすれば、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} には自明でない線型関係が存在するため、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属であることになるが、これは v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型独立であることに矛盾する。よって、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型独立である。\quad \square



証明の考え方

次の(11)と(22)を別々に証明します。

11v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型従属 \, \Rightarrow \, v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属。
22v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型独立 \, \Rightarrow \, v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型独立。

  • 11)は、線型従属の定義から素直に導けます。
  • 22)も、(11)と同じ考え方で示すことができますが、背理法を用いることで、記載量を減らしてすっきりとした証明にできます。
  • 上記の考察の通り、(11)と(22)は対偶の関係なので、本来はどちらか一方を示すだけで十分です。

(1)線型従属なベクトルの組の拡大

前提事項の整理
  • 定理の仮定より、r<sr \lt s が成り立ちます。
  • また、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} が線型従属であるとします。
    • これは、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} に自明でない線型関係が存在することを意味します(線型従属の定義)。
    • すなわち、c1v1++crvr=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} = \bm{0} を満たす、少なくとも 11 つは 00 でない c1,,crc_{1}, \cdots, c_{r} が存在する、といえます。
線型従属性の証明
  • v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} に自明でない線型関係が存在することを示します。

  • いま、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} の線型関係において、cr+1==cs=0c_{r + 1} = \cdots = c_{s} = 0 とすると、次が成り立ちます。

    c1v1++crvr+0vr+1++0vs=(i)c1v1++crvr=(ii)0 \begin{split} & c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} + 0 \, \bm{v}_{r + 1} + \cdots + 0 \, \bm{v}_{s} \\ &\overset{(\text{i})}{=} c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} \\ &\overset{(\text{ii})}{=} \bm{0} \end{split}

    • i\text{i})線型関係における係数(スカラーの値)の置き方によります。
    • ii\text{ii}上記の仮定より、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型従属であることによります。
  • すなわち、(c1,,cr,cr+1,,cs)=(c1,,cr,0,,0)( \, c_{1}, \cdots, c_{r}, c_{r + 1}, \cdots, c_{s} \, ) = ( \, c_{1}, \cdots, c_{r}, 0, \cdots, 0 \, ) とすれば、c1v1++csvs=0c_{1} \, \bm{v}_{1} + \cdots + c_{s} \, \bm{v}_{s} = \bm{0} を満たす、少なくとも 11 つは 00 でない c1,,csc_{1}, \cdots, c_{s} が存在する、ということになります。

  • これは、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} に自明でない線型関係が存在するということに他なりません。

  • 以上から、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型従属であることが示されました。

(2)線型独立なベクトルの組の縮小

前提事項の整理
  • 定理の仮定より、r<sr \lt s が成り立ちます。
  • また、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型独立であるとします。
    • これは、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} に自明でない線型関係が存在しないことを意味します(線型独立の定義)。
    • すなわち、c1v1++crvs=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{s} = \bm{0} が成り立つのは、 c1==cs=0c_{1} = \cdots = c_{s} = 0 のときに限る、といえます。
線型独立性の証明
  • v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} が線型従属であると仮定して、矛盾を導きます。
  • いま、11)とまったく同じ考え方により、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型従属 \Rightarrow v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属、ということが導けます。
    • すなわち、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} が線型従属であるとすると、c1v1++crvr=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} = \bm{0} を満たす少なくとも 11 つは 00 でない c1,,crc_{1}, \cdots, c_{r} が存在することになります。
    • このとき、c1v1++crvr+0vr+1++0vs=0c_{1} \, \bm{v}_{1} + \cdots + c_{r} \, \bm{v}_{r} + 0 \, \bm{v}_{r + 1} + \cdots + 0 \, \bm{v}_{s} = \bm{0} とすれば、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} には自明でない線型関係が存在するため、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} は線型従属となります。
  • しかしながら、これは v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} が線型独立であるという仮定に矛盾します。
  • よって、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} は線型独立であるといえます。

まとめ

  • VV をベクトル空間として、r<sr \lt s とすると、次が成り立つ。
    • v1,,vrV\bm{v}_{1}, \cdots, \bm{v}_{r} \in V が線型従属であれば、v1,,vs\bm{v}_{1}, \cdots, \bm{v}_{s} も線型従属である。
    • v1,,vsV\bm{v}_{1}, \cdots, \bm{v}_{s} \in V が線型独立であれば、v1,,vr\bm{v}_{1}, \cdots, \bm{v}_{r} も線型独立である。

参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[6] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[7] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[8] 桂利行. 代数学 I\text{I} 群と環. 東京大学出版会. 2004.
[9] 松坂和夫. 代数系入門. 岩波書店. 1976.
[10] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[11] S. Lang. Algebra Revised Third Edition. Springer. 2005.
[12] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[13] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.

初版:2023-02-16   |   改訂:2025-03-20