線形独立

定義

ベクトル空間における有限個のベクトル v1, v2, ..., vk の族が線形独立であるとは、次の式を満たすスカラー a1, a2, ..., ak（基礎となる体の元）が、すべて 0 の場合に限られることをいう。

a1 v1 + a2 v2 + ... + ak vk = 0

ゼロベクトルを生じさせるスカラーの選び方で、すべてがゼロではないものが存在する場合、その族は線形従属である。同値に、集合が従属であるのは、その要素の少なくとも一つが他の要素の線形結合として表せる場合に限る。この概念は体に依存する。ある集合は実数体上では独立であっても、より小さい体上では従属でありうる。

主な性質と判定法

• これは個々のベクトルではなく、集合または族全体の性質である。従属なベクトルを取り除くと、極大な独立部分集合、すなわち基底が残ることがある。
• 正方行列では、その列が線形独立な集合をなすことと、その行列が可逆であること（行列式がゼロでないこと）は同値である。
• 行基本変形（ガウス消去法）および階数の計算は、有限次元空間における独立性の機械的な判定法を与える。
• 無限集合や関数族には異なる方法が必要となる。微分可能な関数については、ロンスキー行列式などの手法が役立つことがあるが、常に決定的とは限らない。

例

3次元ユークリッド空間（しばしば R^3 と表記される）における4つのベクトルを考える。

v1 = (0, 0, 1), v2 = (0, 2, −2), v3 = (1, −2, 1), v4 = (4, 2, 3).

最初の3つのベクトル v1, v2, v3 は線形独立である。すなわち、それらを線形結合してゼロベクトルにする非自明なスカラーは存在しない。しかし、v4 は最初の3つのベクトルの線形結合として表せる。

4 = 9・v1 + 5・v2 + 4・v3 であり、これは4つのベクトルからなる族が線形従属であることを示している。この場合、従属関係は冗長性を示す係数を明示している。

歴史と応用

線形独立の概念は、19世紀から20世紀初頭にかけて、数学者たちが幾何学と代数学に共通する特徴を抽象化するなかで、ベクトル空間と線形系の形式化の一部として発展した。今日では、数学および応用分野全般において基本的な概念となっている。用途としては、幾何学的空間を記述するための基底の選択、微分方程式の解空間の解析、統計学や信号処理におけるデータ圧縮、工学システムにおける可制御性の判定などが挙げられる。

補足と区別

線形独立な集合がベクトル空間全体を張るとき、それを基底という。任意の基底に含まれるベクトルの個数は、その空間の次元である。線形独立は、実数体、複素数体、有限体などの異なる体上で考察でき、ベクトルにとどまらず、多項式、行列、関数空間にも拡張される。実用的な計算では消去アルゴリズムと数値的な階数推定が用いられ、理論的な研究では極小な生成族、直交化手続き、従属関係から生じる構造的帰結がしばしば検討される。

入門的な解説や計算例については、線形代数の標準的な教科書やベクトル空間に関する資料を参照するとよい。形式的な性質や証明については、基底と次元に関する文献、または線形結合の振る舞いと線形結合の概念を扱う記事を参照されたい。有限次元の場合の直観から無限次元の場合へ進む際には、ゼロベクトル、すなわち零ベクトルに関する背景や、族が異なる文脈でどのように振る舞うかを理解することも有用である。

集合が独立または従属となる条件を示す関連の議論や演習は、多くの問題集や講義ノートに見られる。簡潔な入門としては、基底、階数、および従属な族と独立な族を比較する教材が役立つ。