ベクトルの組が一次独立かどうかは、それらを列に並べた行列の零空間を調べることで、どのように判定できるのでしょうか。
読み込み中…
一次独立の定義
ならばすべての となることを書き、一次従属な例を 2 つ書き留めましょう。 と 、そして零ベクトルを含む任意の組です。
列に並べた行列での零空間テスト
ベクトルを の列に並べ、同値関係を書きましょう。一次独立であるのは、零空間が であるとき、つまり階数が に等しく、自由変数が現れないときちょうどです。
列が行より多いと一次従属になる
で のときには少なくとも 個の自由変数が残る、という議論を再現し、それを平面の中の任意の 3 本のベクトルに当てはめましょう。