線型独立

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

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

具体的には、 本のベクトル  が**線型独立**であるとは、c_1,\ldots,c_n をスカラーとして、
:\textstyle \sum\limits_{i=1}^n c_i \boldsymbol v_i =\mathbf{0} \Rightarrow c_1 = \cdots = c_n =0
が成り立つことである（#定義）。

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

## 定義
### 自明な線型関係
300px|thumb|例：ベクトル空間 '''R''' の部分集合 {(1, 0), (0, 1), (-2, 1)} は非自明な線型関係 2(1, 0) - (0, 1) + (-2, 1) = 0 を満たすので線型従属である。他方 {(1, 0), (0, 1)} は線型独立である。
任意のベクトル  に対して
:0 \boldsymbol v_1 + 0 \boldsymbol v_2 + \dotsb + 0 \boldsymbol v_n = \boldsymbol{0}
である。これを  の自明な線型関係と呼ぶ。これ以外の線型関係があるかないかで線型従属、線型独立になる。

### 線型従属
線型関係
:c_1 \boldsymbol v_1 + c_2 \boldsymbol v_2 + \dotsb + c_n \boldsymbol v_n = \boldsymbol{0}
において、ある  で  であるとき、 は**線型従属**（**一次従属**）であるという。このとき  は残り  本のベクトルの線型結合で表せる。このとき  が張る線形空間の次元は  未満になる。

### 線型独立
ベクトル  が線型従属でないときこの集合は**線型独立**（**一次独立**）であるという。つまり、スカラー  に対して
:a_1 \boldsymbol v_1 + a_2 \boldsymbol v_2 + \dotsb + a_n \boldsymbol v_n = \boldsymbol{0} \Rightarrow a_1 = \cdots = a_n =0
このとき、どのベクトルも残り  本が張る線形部分空間外のベクトルである。 

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

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

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

## 例
### 数ベクトル空間における例
#### のベクトル
* \mathbb{R}^2 のベクトル  と  は線型独立である。
実際  を二つの実数として  (1, 1) \lambda_1 + (-3, 2) \lambda_2 = (0, 0) を  に関して解けば  がわかる。

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

この場合、ベクトルによって形成される行列は
:A = \begin{bmatrix}1&-3\\1&2\end{bmatrix} . \,\!
列の線型結合を次のように書ける
: A \Lambda = \begin{bmatrix}1&-3\\1&2\end{bmatrix} \begin{bmatrix}\lambda_1 \\ \lambda_2 \end{bmatrix} . \,\!
ある 0 でないベクトル Λ に対して *A*Λ&nbsp;= **0** かどうかに興味がある。これは *A* の行列式に依存し、それは
: \det A = 1\cdot2 - 1\cdot(-3) = 5 \ne 0 . \,\!
行列式が 0 でないから、ベクトル (1, 1) と (&minus;3, 2) は線型独立である。

別のやり方で、*n* 座標の *m* ベクトルを持っていて *m*&nbsp;&lt;&nbsp;*n* とする。このとき *A* は *n*×*m* 行列であり Λ は *m* 成分を持つ列ベクトルで、再び *A*Λ&nbsp;= **0**  に興味がある。前に見たように、これは *n* 方程式のリストに同値である。*A* の最初の *m* 列、最初の *m* 方程式を考えよう； 方程式の全リストの任意の解は減らされたリストでも解でなければならない。実は、〈*i*,...,*i*〉 が *m* 行の任意のリストであれば、方程式はそれらの行に対して正しくなければならない。
: A_{{\lang i_1,\dots,i_m} \rang} \Lambda = \mathbf{0} . \,\!
さらに、逆も正しい。つまり、*m* ベクトルが線型従属かどうかを *m* 行のすべての可能なリストに対して
: \det A_{{\lang i_1,\dots,i_m} \rang} = 0 \,\!
かどうかをテストすることによってテストできる。（*m*&nbsp;= *n* の場合、これは上のようにただ 1 つの行列式を要求する。*m*&nbsp;&gt;&nbsp;*n* ならばベクトルは線型従属でなければならないことは定理である。）この事実は理論に値する； 実用計算においてはより効率的な方法が利用可能である。

#### のベクトル
 の次のベクトルは線型従属である。
:
 \begin{bmatrix}1\\4\\2\\-3\end{bmatrix},\quad
 \begin{bmatrix}7\\10\\-4\\-1\end{bmatrix},\quad
 \begin{bmatrix}-2\\1\\5\\-4\end{bmatrix}.


実際、線型関係式
:\lambda_1\begin{bmatrix}1\\4\\2\\-3\end{bmatrix}
 + \lambda_2\begin{bmatrix}7\\10\\-4\\-1\end{bmatrix}
 + \lambda_3\begin{bmatrix}-2\\1\\5\\-4\end{bmatrix}
 = \begin{bmatrix}0\\0\\0\\0\end{bmatrix}

において、 を任意として
: 
\begin{align}
  \lambda_1 &= -3 \lambda_3 /2  \\
  \lambda_2 &= \lambda_3/2
\end{align}

とすれば非自明な関係を得る。

#### 標準基底ベクトル
 とし  の次の元を考える：
:\begin{align}
\boldsymbol{e}_1 &=  (1,0,0,\ldots,0), \\
\boldsymbol{e}_2 &=  (0,1,0,\ldots,0), \\
 &\vdots \\
\boldsymbol{e}_n &=  (0,0,0,\ldots,1).
\end{align}
これら  は線型独立である。実際、 は  の元として
: a_1 \boldsymbol{e}_1 + a_2 \boldsymbol{e}_2 + \cdots + a_n \boldsymbol{e}_n = \boldsymbol{0}
は、すべての } に対して  を意味する（a_1 \boldsymbol{e}_1 + a_2 \boldsymbol{e}_2 + \cdots + a_n \boldsymbol{e}_n = (a_1 ,a_2 ,\ldots, a_n) に注意する）。

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

## 線型従属関係のなす射影空間
ベクトル  の間に成り立つ線型従属関係 (linear dependence) の係数ベクトルとは、線型関係式
: a_1 \boldsymbol{v}_1 + \cdots + a_n \boldsymbol{v}_n= \boldsymbol{0}
を満たす  個のスカラーを成分に持つベクトル  で少なくとも一つの成分が  でないものをいう。そのような係数ベクトル  が存在するとき、 個のベクトル  は線型従属である。

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

## 脚注

## 参考文献
* 
* 

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

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