線型代数学 において、n 本のベクトル が線型独立 (せんけいどくりつ、英 : linearly independent )または一次独立 であるとは、それらのベクトルが張る空間が n 次元部分線形空間になることである。
線型独立であるベクトルたちは、何れも、零ベクトル でない。
具体的には、n 本のベクトル v 1 , …, 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} が成り立つことである(#定義 )。
線型独立でないことを線型従属(一次従属)という。
定義 自明な線型関係
例:ベクトル空間
R 2 の部分集合 {(1, 0), (0, 1), (-2, 1)} は非自明な線型関係 2(1, 0) - (0, 1) + (-2, 1) = 0 を満たすので線型従属である。他方 {(1, 0), (0, 1)} は線型独立である。
任意のベクトル v 1 , v 2 , …, 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}}} である。これを v 1 , v 2 , …, 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 であるとき、v 1 , v 2 , ..., vn は線型従属 (一次従属 )であるという。このとき vi は残り n − 1 本のベクトルの線型結合 で表せる。このとき v 1 , v 2 , ..., vn が張る線形空間の次元 は n 未満になる。
線型独立 ベクトル v 1 , v 2 , …, vn が線型従属でないときこの集合は線型独立 (一次独立 )であるという[2] 。つまり、スカラー a 1 , a 2 , …, 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 本が張る線形部分空間外のベクトルである。
文脈から明らかなときには単に従属、独立などと言うこともある。
基本的な性質 線型独立であるベクトルたちはどれも、零ベクトル でない。 零ベクトルでないベクトル v ≠ 0 に対して一元集合 {v } は線型独立である。 線型独立な集合の部分集合は線型独立である。特に空集合 は線型独立である。 線型独立な集合は基底 に拡張できる。 ベクトル空間全体を生成 する集合の線型独立な部分集合全体は極大元 (=基底)をもつ。
例 数ベクトル空間における例 R2 のベクトル R 2 {\displaystyle \mathbb {R} ^{2}} のベクトル (1, 1) と (−3, 2) は線型独立である。実際 λ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 がわかる。
行列式による別法 別の方法は R n {\displaystyle \mathbb {R} ^{n}} の n 個のベクトルが線型独立 であることとベクトルをその列として取ることによって形成される行列 の行列式 が 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}}.\,\!} ある 0 でないベクトル Λ に対して A Λ = 0 かどうかに興味がある。これは A の行列式に依存し、それは
det A = 1 ⋅ 2 − 1 ⋅ ( − 3 ) = 5 ≠ 0. {\displaystyle \det A=1\cdot 2-1\cdot (-3)=5\neq 0.\,\!} 行列式が 0 でないから、ベクトル (1, 1) と (−3, 2) は線型独立である。
別のやり方で、n 座標の m ベクトルを持っていて m < n とする。このとき A は n ×m 行列であり Λ は m 成分を持つ列ベクトルで、再び A Λ = 0 に興味がある。前に見たように、これは n 方程式のリストに同値である。A の最初の m 列、最初の m 方程式を考えよう; 方程式の全リストの任意の解は減らされたリストでも解でなければならない。実は、〈i 1 ,...,i m 〉 が m 行の任意のリストであれば、方程式はそれらの行に対して正しくなければならない。
A ⟨ i 1 , … , i m ⟩ Λ = 0 . {\displaystyle A_{{\langle i_{1},\dots ,i_{m}}\rangle }\Lambda =\mathbf {0} .\,\!} さらに、逆も正しい。つまり、m ベクトルが線型従属かどうかを m 行のすべての可能なリストに対して
det A ⟨ i 1 , … , i m ⟩ = 0 {\displaystyle \det A_{{\langle i_{1},\dots ,i_{m}}\rangle }=0\,\!} かどうかをテストすることによってテストできる。(m = n の場合、これは上のようにただ 1 つの行列式を要求する。m > n ならばベクトルは線型従属でなければならないことは定理である。)この事実は理論に値する; 実用計算においてはより効率的な方法が利用可能である。
R4 のベクトル R 4 の次のベクトルは線型従属である。
[ 1 4 2 − 3 ] , [ 7 10 − 4 − 1 ] , [ − 2 1 5 − 4 ] . {\displaystyle {\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}}.} 実際、線型関係式
λ 1 [ 1 4 2 − 3 ] + λ 2 [ 7 10 − 4 − 1 ] + λ 3 [ − 2 1 5 − 4 ] = [ 0 0 0 0 ] {\displaystyle \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}}} において、λ3 を任意として
λ 1 = − 3 λ 3 / 2 λ 2 = λ 3 / 2 {\displaystyle {\begin{aligned}\lambda _{1}&=-3\lambda _{3}/2\\\lambda _{2}&=\lambda _{3}/2\end{aligned}}} とすれば非自明な関係を得る。
標準基底ベクトル V = R n とし V の次の元を考える:
e 1 = ( 1 , 0 , 0 , … , 0 ) , e 2 = ( 0 , 1 , 0 , … , 0 ) , ⋮ e n = ( 0 , 0 , 0 , … , 1 ) . {\displaystyle {\begin{aligned}{\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{aligned}}} これら e 1 , e 2 , …, e n は線型独立である。実際、a 1 , a 2 , …, an は R の元として
a 1 e 1 + a 2 e 2 + ⋯ + a n e n = 0 {\displaystyle a_{1}{\boldsymbol {e}}_{1}+a_{2}{\boldsymbol {e}}_{2}+\cdots +a_{n}{\boldsymbol {e}}_{n}={\boldsymbol {0}}} は、すべての i ∈ {1, …, n } に対して ai = 0 を意味する( a 1 e 1 + a 2 e 2 + ⋯ + a n e n = ( a 1 , a 2 , … , a n ) {\displaystyle a_{1}{\boldsymbol {e}}_{1}+a_{2}{\boldsymbol {e}}_{2}+\cdots +a_{n}{\boldsymbol {e}}_{n}=(a_{1},a_{2},\ldots ,a_{n})} に注意する)。
函数空間における例 実変数 t の関数 全体の成すベクトル空間 V において関数 f (t ) = et , g (t) = e 2t ∈ V は線型独立である。 実際、a, b を二つの実数として、線型関係式 af + bg = 0 は t の任意の 値に対して a (f (t )) + b (g (t )) = aet + be 2t = 0 が成り立つことを意味する。et は常に 0 でないから、これで両辺を割れば bet = −a となり、右辺は t に依存しないから左辺 bet もそうであり、b = 0 が必要とわかる。このとき a = 0 である。
線型従属関係のなす射影空間 ベクトル v 1 , …, v n の間に成り立つ線型従属関係 (linear dependence) の係数ベクトルとは、線型関係式
a 1 v 1 + ⋯ + a n v n = 0 {\displaystyle a_{1}{\boldsymbol {v}}_{1}+\cdots +a_{n}{\boldsymbol {v}}_{n}={\boldsymbol {0}}} を満たす n 個のスカラーを成分に持つベクトル (a 1 , …, a n ) で少なくとも一つの成分が 0 でないものをいう。そのような係数ベクトル (a 1 , …, a n ) が存在するとき、n 個のベクトル v 1 , …, v n は線型従属である。
n 個のベクトル v 1 , …, v n の間に二つの線型従属関係式が与えられたとき、一方の係数ベクトルが他方の非零定数倍となっているならば、これら二つは同じ線型関係を記述するものとなるから、これら二つを同一視することには意味がある。この同一視の下で、v 1 , …, v n の間の線型従属関係の全体は射影空間 を成す。
脚注 [脚注の使い方 ]
^ Friedberg, Insel, Spence, Stephen, Arnold, Lawrence. Linear Algebra . Pearson, 4th Edition. pp. 48-49. ISBN (0130084514 )
参考文献 Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators Part I: General Theory . Wiley Classics Library. Wiley. ISBN (0-471-60848-3 ). MR 1009162. Zbl 0635.47001 Halmos, Paul R. (1995). Linear Algebra Problem Book . Dolciani Mathematical Exposition. 16 . The Mathematical Association of America. ISBN (0-88385-322-1 ). MR 1310775. Zbl 0846.15001. https://books.google.com/books?id=SY-_COzW4toC
関連項目
外部リンク Hazewinkel, Michiel, ed. (2001), "Linear independence", Encyclopaedia of Mathematics , Springer, ISBN 978-1-55608-010-4 。 Weisstein, Eric W . "Linearly Dependent Functions ". MathWorld (英語). Tutorial and interactive program on Linear Independence. 『{{{2}}}』 - 高校数学の美しい物語