logo

基底の加算/減算定理 📂線形代数

基底の加算/減算定理

定理1

SSベクトル空間 VVの空でない部分集合としよう。

(a) もしSS線形独立で、vV\mathbf{v} \in Vvspan(S)\mathbf{v} \notin \text{span}(S)と等しい場合、S{v}S \cup \left\{ \mathbf{v} \right\}も引き続き線形独立です。

(b) もしvS\mathbf{v} \in SSSの他のベクトルの線形結合で表されるなら、SSS{v}S \setminus \left\{ \mathbf{v} \right\}は同じ空間を生成します。つまり、次が成り立ちます。

span(S)=span(S{v}) \text{span}(S) = \text{span} \left( S \setminus \left\{ \mathbf{v} \right\} \right)

証明

(a)

S={v1,v2,,vr}VS=\left\{ \mathbf{v}_{1}, \mathbf{v}_{2}, \dots, \mathbf{v}_{r} \right\} \subset Vが線形独立で、vspan(S)\mathbf{v} \notin \text{span}(S)と仮定する。以下の式

k1v1+k2v2++krvr+kv=0 \begin{equation} k_{1} \mathbf{v}_{1} + k_{2} \mathbf{v}_{2} + \cdots + k_{r} \mathbf{v}_{r} + k \mathbf{v} = \mathbf{0} \label{eq1} \end{equation}

を満たす解がk1=k2=kr=k=0k_{1}=k_{2}=k_{r}=k=0のみであることを示せば、S{v}S \cup \left\{ \mathbf{v} \right\}が線形独立であることが証明される。

しかし、もしk0k \ne 0ならば、kv=i=1rkivispan(S)k \mathbf{v} = -\sum \limits_{i=1}^{r} k_{i} \mathbf{v}_{i} \in \text{span} (S)が成り立つ。したがって、k=0k=0でなければならず、以下の式を得る。

k1v1+k2v2++krvr=0 k_{1} \mathbf{v}_{1} + k_{2} \mathbf{v}_{2} + \cdots + k_{r} \mathbf{v}_{r} = \mathbf{0}

SSが線形独立という仮定により、この式を満たす解はk1=k2=kr=0k_{1}=k_{2}=k_{r}=0のみである。従って、(1)(1)の解はk1=k2=kr=k=0k_{1}=k_{2}=k_{r}=k=0のみで、S{v}S \cup \left\{ \mathbf{v} \right\}は線形独立である。

(b)

S={v1,v2,,vr}VS=\left\{ \mathbf{v}_{1}, \mathbf{v}_{2}, \dots, \mathbf{v}_{r} \right\} \subset Vであり、vr\mathbf{v}_{r}が以下のように他のベクトルの線形結合で表されると仮定する。

vr=c1v1+c2v2++cr1vr1 \begin{equation} \mathbf{v}_{r} = c_{1}\mathbf{v}_{1} + c_{2}\mathbf{v}_{2} + \cdots +c_{r-1}\mathbf{v}_{r-1} \label{eq2} \end{equation}

今、wspan(S)\mathbf{w} \in \text{span} (S)とする。生成の定義により、w\mathbf{w}を以下のように表せる。

w=k1v1+k2v2++kr1vr1+krvr \mathbf{w} = k_{1} \mathbf{v}_{1} + k_{2} \mathbf{v}_{2} + \cdots + k_{r-1} \mathbf{v}_{r-1} + k_{r} \mathbf{v}_{r}

(2)(2)を上記の式に代入すると、以下のようになる。

w=k1v1+k2v2++kr1vr1+krvr=k1v1+k2v2++kr1vr1+kr(c1v1+c2v2++cr1vr1)=(k1+krc1)v1+(k2+krc2)v2++(kr1+krcr1)vr1 \begin{align*} \mathbf{w} &= k_{1} \mathbf{v}_{1} + k_{2} \mathbf{v}_{2} + \cdots + k_{r-1} \mathbf{v}_{r-1} + k_{r} \mathbf{v}_{r} \\ &= k_{1} \mathbf{v}_{1} + k_{2} \mathbf{v}_{2} + \cdots + k_{r-1} \mathbf{v}_{r-1} + k_{r} \left( c_{1}\mathbf{v}_{1} + c_{2}\mathbf{v}_{2} + \cdots +c_{r-1}\mathbf{v}_{r-1}\right) \\ &= \left( k_{1} + k_{r}c_{1} \right)\mathbf{v}_{1} + \left( k_{2} + k_{r}c_{2} \right) \mathbf{v}_{2} + \cdots + \left( k_{r-1} + k_{r}c_{r-1} \right) \mathbf{v}_{r-1} \end{align*}

従って、wspan(S{v})\mathbf{w} \in \text{span} (S \setminus \left\{ \mathbf{v} \right\})が成り立つ。逆も同じ論理で成り立つので、二つの集合は同一である。

span(S)=span(S{v}) \text{span}(S) = \text{span} \left( S \setminus \left\{ \mathbf{v} \right\} \right)


  1. Howard Anton, Elementary Linear Algebra: Aplications Version (12th Edition, 2019), p250-254 ↩︎