0.1.5 基底
ベクトル空間 \( V \) における線形独立なベクトル列で、そのスパンが \( V \) 全体になるものを、\( V \) の基底(basis)と呼びます。すなわち、すべてのベクトルは、基底の要素の一次結合として一意に表されます。
要素を1つでも加えたり削除したりすると、この一意性は失われます。ある線形独立な列がそれを含む任意の長い列に対して線形独立でないならば、その列は基底です。逆に、あるベクトル列が \( V \) を張り、その任意の適切な部分列が \( V \) を張らないならば、それは基底です。
空のベクトル列は、ゼロベクトル空間の基底です。
コメント