線型代数学において、n 本のベクトルが線型独立(せんけいどくりつ、英: linearly independent)または一次独立であるとは、それらのベクトルが張る空間が n 次元部分線形空間になることである。
線型独立であるベクトルたちは、何れも、零ベクトルでない。
具体的には、n 本のベクトル v1, …, vn が線型独立であるとは、 c 1 , … , c n {\displaystyle c_{1},\ldots ,c_{n}} をスカラーとして、 ∑ i = 1 n c i v i = 0 ⇒ c 1 = ⋯ = c n = 0 {\displaystyle \textstyle \sum \limits _{i=1}^{n}c_{i}{\boldsymbol {v}}_{i}=\mathbf {0} \Rightarrow c_{1}=\cdots =c_{n}=0}
が成り立つことである(#定義)。
線型独立でないことを線型従属(一次従属)という。
定義
自明な線型関係例:ベクトル空間 R2 の部分集合 {(1, 0), (0, 1), (-2, 1)} は非自明な線型関係 2(1, 0) - (0, 1) + (-2, 1) = 0 を満たすので線型従属である。他方 {(1, 0), (0, 1)} は線型独立である。
任意のベクトル v1, v2, …, vn に対して 0 v 1 + 0 v 2 + ⋯ + 0 v n = 0 {\displaystyle 0{\boldsymbol {v}}_{1}+0{\boldsymbol {v}}_{2}+\dotsb +0{\boldsymbol {v}}_{n}={\boldsymbol {0}}}
である。これを v1, v2, …, vn の自明な線型関係と呼ぶ。これ以外の線型関係があるかないかで線型従属、線型独立になる。 線型関係 c 1 v 1 + c 2 v 2 + ⋯ + c n v n = 0 {\displaystyle c_{1}{\boldsymbol {v}}_{1}+c_{2}{\boldsymbol {v}}_{2}+\dotsb +c_{n}{\boldsymbol {v}}_{n}={\boldsymbol {0}}} において、ある i で ci ≠ 0 であるとき、v1, v2, ..., vn は線型従属(一次従属)であるという。このとき vi は残り n − 1 本のベクトルの線型結合で表せる。このとき v1, v2, ..., vn が張る線形空間の次元は n 未満になる。 ベクトル v1, v2, …, vn が線型従属でないときこの集合は線型独立(一次独立)であるという[1][2]。つまり、スカラー a1, a2, …, an に対して a 1 v 1 + a 2 v 2 + ⋯ + a n v n = 0 ⇒ a 1 = ⋯ = a n = 0 {\displaystyle 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} このとき、どのベクトルも残り n − 1 本が張る線形部分空間外のベクトルである。 「基底 (線型代数学)」および「正則行列」も参照 文脈から明らかなときには単に従属、独立などと言うこともある[3][4]。 実際 λ1, λ2 を二つの実数として ( 1 , 1 ) λ 1 + ( − 3 , 2 ) λ 2 = ( 0 , 0 ) {\displaystyle (1,1)\lambda _{1}+(-3,2)\lambda _{2}=(0,0)} を λ1, λ2 に関して解けば λ1 = 0, λ2 = 0 がわかる。 この場合、ベクトルによって形成される行列は A = [ 1 − 3 1 2 ] . {\displaystyle A={\begin{bmatrix}1&-3\\1&2\end{bmatrix}}.\,\!} 列の線型結合を次のように書ける A Λ = [ 1 − 3 1 2 ] [ λ 1 λ 2 ] . {\displaystyle A\Lambda ={\begin{bmatrix}1&-3\\1&2\end{bmatrix}}{\begin{bmatrix}\lambda _{1}\\\lambda _{2}\end{bmatrix}}.\,\!}
線型従属
線型独立
基本的な性質
線型独立であるベクトルたちはどれも、零ベクトルでない。
零ベクトルでないベクトル v ≠ 0 に対して一元集合 {v} は線型独立である。
線型独立な集合の部分集合は線型独立である。特に空集合は線型独立である。
線型独立な集合は基底に拡張できる。
ベクトル空間全体を生成する集合の線型独立な部分集合全体は極大元(=基底)をもつ。
例
数ベクトル空間における例
R2 のベクトル
R 2 {\displaystyle \mathbb {R} ^{2}} のベクトル (1, 1) と (−3, 2) は線型独立である。
行列式による別法
別の方法は R n {\displaystyle \mathbb {R} ^{n}} の n 個のベクトルが線型独立であることとベクトルをその列として取ることによって形成される行列の行列式が 0 でないことは同値であるという事実を用いる。
Size:40 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef