基底の加算/減算定理
📂線形代数基底の加算/減算定理
定理
Sを ベクトル空間 Vの空でない部分集合としよう。
(a) もしSが線形独立で、v∈Vがv∈/span(S)と等しい場合、S∪{v}も引き続き線形独立です。
(b) もしv∈SがSの他のベクトルの線形結合で表されるなら、SとS∖{v}は同じ空間を生成します。つまり、次が成り立ちます。
span(S)=span(S∖{v})
証明
(a)
S={v1,v2,…,vr}⊂Vが線形独立で、v∈/span(S)と仮定する。以下の式
k1v1+k2v2+⋯+krvr+kv=0
を満たす解がk1=k2=kr=k=0のみであることを示せば、S∪{v}が線形独立であることが証明される。
しかし、もしk=0ならば、kv=−i=1∑rkivi∈span(S)が成り立つ。したがって、k=0でなければならず、以下の式を得る。
k1v1+k2v2+⋯+krvr=0
Sが線形独立という仮定により、この式を満たす解はk1=k2=kr=0のみである。従って、(1)の解はk1=k2=kr=k=0のみで、S∪{v}は線形独立である。
■
(b)
S={v1,v2,…,vr}⊂Vであり、vrが以下のように他のベクトルの線形結合で表されると仮定する。
vr=c1v1+c2v2+⋯+cr−1vr−1
今、w∈span(S)とする。生成の定義により、wを以下のように表せる。
w=k1v1+k2v2+⋯+kr−1vr−1+krvr
(2)を上記の式に代入すると、以下のようになる。
w=k1v1+k2v2+⋯+kr−1vr−1+krvr=k1v1+k2v2+⋯+kr−1vr−1+kr(c1v1+c2v2+⋯+cr−1vr−1)=(k1+krc1)v1+(k2+krc2)v2+⋯+(kr−1+krcr−1)vr−1
従って、w∈span(S∖{v})が成り立つ。逆も同じ論理で成り立つので、二つの集合は同一である。
span(S)=span(S∖{v})
■