線型独立

線型代数学において、 本のベクトルが線型独立（せんけいどくりつ、）または一次独立であるとは、それらのベクトルが張る空間が  次元部分線形空間になることである。

線型独立であるベクトルたちは、何れも、零ベクトルでない。

具体的には、 本のベクトル  が線型独立であるとは、 をスカラーとして、

が成り立つことである（#定義）。

線型独立でないことを線型従属（一次従属）という。

定義

自明な線型関係 

任意のベクトル  に対して

である。これを  の自明な線型関係と呼ぶ。これ以外の線型関係があるかないかで線型従属、線型独立になる。

線型従属 
線型関係

において、ある  で  であるとき、 は線型従属（一次従属）であるという。このとき  は残り  本のベクトルの線型結合で表せる。このとき  が張る線形空間の次元は  未満になる。

線型独立 
ベクトル  が線型従属でないときこの集合は線型独立（一次独立）であるという。つまり、スカラー  に対して

このとき、どのベクトルも残り  本が張る線形部分空間外のベクトルである。 

文脈から明らかなときには単に従属、独立などと言うこともある。

基本的な性質 
 線型独立であるベクトルたちはどれも、零ベクトルでない。
 零ベクトルでないベクトル  に対して一元集合  は線型独立である。
 線型独立な集合の部分集合は線型独立である。特に空集合は線型独立である。

 線型独立な集合は基底に拡張できる。
 ベクトル空間全体を生成する集合の線型独立な部分集合全体は極大元（=基底）をもつ。

例

数ベクトル空間における例

のベクトル 
  のベクトル  と  は線型独立である。
実際  を二つの実数として  を  に関して解けば  がわかる。

 行列式による別法  別の方法は の n 個のベクトルが線型独立であることとベクトルをその列として取ることによって形成される行列の行列式が 0 でないことは同値であるという事実を用いる。

この場合、ベクトルによって形成される行列は

列の線型結合を次のように書ける

ある 0 でないベクトル Λ に対して AΛ = 0 かどうかに興味がある。これは A の行列式に依存し、それは

行列式が 0 でないから、ベクトル (1, 1) と (−3, 2) は線型独立である。

別のやり方で、n 座標の m ベクトルを持っていて m < n とする。このとき A は n×m 行列であり Λ は m 成分を持つ列ベクトルで、再び AΛ = 0  に興味がある。前に見たように、これは n 方程式のリストに同値である。A の最初の m 列、最初の m 方程式を考えよう； 方程式の全リストの任意の解は減らされたリストでも解でなければならない。実は、〈i,...,i〉 が m 行の任意のリストであれば、方程式はそれらの行に対して正しくなければならない。

さらに、逆も正しい。つまり、m ベクトルが線型従属かどうかを m 行のすべての可能なリストに対して

かどうかをテストすることによってテストできる。（m = n の場合、これは上のようにただ 1 つの行列式を要求する。m > n ならばベクトルは線型従属でなければならないことは定理である。）この事実は理論に値する； 実用計算においてはより効率的な方法が利用可能である。

のベクトル 
 の次のベクトルは線型従属である。

実際、線型関係式

において、 を任意として
 
とすれば非自明な関係を得る。

標準基底ベクトル 
 とし  の次の元を考える：

これら  は線型独立である。実際、 は  の元として
 
は、すべての } に対して  を意味する（ に注意する）。

函数空間における例 
 実変数  の関数全体の成すベクトル空間  において関数  は線型独立である。
実際、 を二つの実数として、線型関係式  は  の任意の値に対して  が成り立つことを意味する。 は常に  でないから、これで両辺を割れば  となり、右辺は  に依存しないから左辺  もそうであり、 が必要とわかる。このとき  である。

線型従属関係のなす射影空間 
ベクトル  の間に成り立つ線型従属関係 (linear dependence) の係数ベクトルとは、線型関係式
 
を満たす  個のスカラーを成分に持つベクトル  で少なくとも一つの成分が  でないものをいう。そのような係数ベクトル  が存在するとき、 個のベクトル  は線型従属である。

 個のベクトル  の間に二つの線型従属関係式が与えられたとき、一方の係数ベクトルが他方の非零定数倍となっているならば、これら二つは同じ線型関係を記述するものとなるから、これら二つを同一視することには意味がある。この同一視の下で、 の間の線型従属関係の全体は射影空間を成す。

脚注

参考文献

関連項目 
 グラム行列
 マトロイド
 正規直交系
 ロンスキー行列式

外部リンク 
 
 
 
 Tutorial and interactive program on Linear Independence.

抽象代数学
線型代数学
証明を含む記事
数学に関する記事