一次独立、生成系、基底 - iPhoneアプリ作成のために

K線形空間Vの部分集合Sが一次独立(linearly independent)とは

K、Sの有限個の元を任意に持ってきて

Σai|vi> = 0

とおくと、a1 = …　= an = 0が成り立つ時、Sが一次独立(linearly independent)であるという。

そうでないときはSは１次従属(linearly dependent)という。

---