線形代数II/抽象線形空間/性質 の履歴(No.2)
更新線形空間の公理から基本的な定理を導く†
以下に示すようなほぼ自明に見える線形空間の性質は、 公理から導かれる定理として証明される。
線形空間の公理†
&math( &\forall \bm x,\forall \bm y\in V, & \bm x+\bm y&=\bm y+\bm x &&\to ベクトル和に対する交換則 \\ &\forall \bm x,\forall \bm y,\forall \bm z\in V, & (\bm x+\bm y)+\bm z&=\bm x+(\bm y+\bm z) &&\to ベクトル和に対する結合則 \\ &\forall \bm x\in V,\exists\bm 0\in V, & \bm x+\bm 0&=\bm x &&\to ゼロ元の存在\\ &1\in K, \forall \bm x\in V, & 1\bm x&=\bm x &&\to 1倍\\ &\forall \bm x\in V,\exists (-\bm x)\in V, & \bm x+(-\bm x)&=\bm 0&&\to 逆元の存在\\ &\forall a,\forall b\in K, \forall \bm x\in V, & (a+b)\bm x&=a\bm x+b\bm x &&\to 分配則(1)\\ &\forall a\in K, \forall \bm x,\forall \bm y\in V, & a(\bm x+\bm y)&=a\bm x+a\bm y &&\to 分配則(2)\\ &\forall a,\forall b\in K,\forall \bm x\in V,&a(b\bm x)&=(ab)\bm x&&\to スカラー倍の結合則 );
ゼロ元はただ1つだけ存在する†
がどちらもゼロ元であったとすると、
&math( \bm 0&=\bm 0+\bm 0' & & (ゼロ元 \bm 0') \\
&=\bm 0'+\bm 0 & & (和の交換則) \\ &=\bm 0' & & (ゼロ元 \bm 0)
);
逆元はただ1つだけ存在する†
の逆元が、 の2つ存在したとすると、
&math( (-\bm x)&=(-\bm x)+\bm 0 && (ゼロ元) \\
&=(-\bm x)+\{\bm x+(-\bm x)'\} && (逆元 (-\bm x)') \\ &=\{(-\bm x)+\bm x\}+(-\bm x)' && (和の結合則) \\ &=\{\bm x+(-\bm x)\}+(-\bm x)' && (和の交換則) \\ &=\bm 0+(-\bm x)' && (逆元 (-\bm x)) \\ &=(-\bm x)'+\bm 0 && (和の交換則) \\ &=(-\bm x)' && (ゼロ元)
);
引き算†
について、 の逆元を として、
のようにベクトルの引き算を導入する。
x-x=0†
&math( \bm x-\bm x&=\bm x+(-\bm x) && (引き算の定義)\\ &=\bm 0 &&(逆元) );
-(-x)=x†
より、 の逆元の逆元は
a+b=a+c → b=c†
の時、両辺から を引くと、
&math( (左辺)-\bm a&=(\bm b+\bm a)-\bm a && (交換則)\\ &=\bm b+(\bm a-\bm a) && (結合則)\\ &=\bm b+\bm 0 && (引き算の性質) \\ &=\bm b && (ゼロ元) );
同様に となって、
を得る。
(-x)=(-1)x†
&math( 2\bm x+(-\bm x)&=(1+1)\bm x+(-\bm x) && (2=1+1)\\ &=(1\bm x+1\bm x)+(-\bm x) && (分配則) \\ &=(1\bm x+\bm x)+(-\bm x) && (1倍) \\ &=1\bm x+\{\bm x+(-\bm x)\} && (結合則) \\ &=1\bm x+\bm 0 && (逆元) \\ &=1\bm x && (ゼロ元) \\ &=\{2+(-1)\}\bm x && (1=2+(-1)) \\ &=2\bm x+(-1)\bm x && (分配則) \\ );