線形代数II/抽象線形空間 の変更点

更新 
[[前の単元 ＜＜＜>線形代数II/代数学的構造]]
　　　　　　　　　　　　　　　[[線形代数II]]
　　　　　　　　　　　　　　　[[＞＞＞ 次の単元>線形代数II/線形独立、基底及び次元]]

* 目次 [#k8eed96a]

#contents
&katex();

* 4-1 線形空間 (あるいは ベクトル空間) [#ld04da61]

線形代数I では主に数ベクトルについて学んだ。

「線形空間」は数ベクトルに___類似した___代数的構造を表わす概念である。

線形代数は「線形空間」について学ぶ学問である。

** 定義 [#kd0f1115]

まず、ある既知の「体」&math(K); を想定する。((体は英語では field だが、ドイツ語の Körper の頭文字を取って &math(K); で表すことが多い))~
>線形代数では &math(K=\mathbb R\ \mathrm{or}\ \mathbb C); であることが多いが、四則演算（加減乗除）が可能であれば他の体でも良い
>&math(K); の元はスカラーと呼ばれる
まず、ある既知の「体」$K$ を想定する。((体は英語では field だが、ドイツ語の Körper の頭文字を取って $K$ で表すことが多い))~
>線形代数では $K=\mathbb R\ \mathrm{or}\ \mathbb C$ であることが多いが、四則演算（加減乗除）が可能であれば他の体でも良い
>$K$ の元はスカラーと呼ばれる

- 「$K$ 上の線形空間」 &math(V); は集合であり、その元をベクトルと呼ぶ~
　　　すなわち、&math(\bm x,\bm y\in V); なら &math(\bm x,\bm y); はベクトル
- ２つのベクトルの間に「和」が定義され、&math(V); はベクトルの和に対して閉じている~
　　　すなわち、&math(\forall\bm x,\forall\bm y\in V); に対して &math(\bm x+\bm y\in V);
- &math(K); の元とベクトルとの間に「スカラー倍」が定義され、&math(V); はスカラー倍に対して閉じている~
　　　すなわち、&math(\forall a\in K);、&math(\forall\bm x\in V); に対して &math(a\bm x\in V);
- 「$K$ 上の線形空間」 $V$ は集合であり、その元をベクトルと呼ぶ~
　　　すなわち、$\bm x,\bm y\in V$ なら $\bm x,\bm y$ はベクトル
- ２つのベクトルの間に「和」が定義され、$V$ はベクトルの和に対して閉じている~
　　　すなわち、$\forall\bm x,\forall\bm y\in V$ に対して $\bm x+\bm y\in V$
- $K$ の元とベクトルとの間に「スカラー倍」が定義され、$V$ はスカラー倍に対して閉じている~
　　　すなわち、$\forall a\in K$、$\forall\bm x\in V$ に対して $a\bm x\in V$

さらに、これらの「和」と「スカラー倍」に対して次の公理が成立する。~

+ ベクトル和の交換則： &math(\forall \bm x,\forall \bm y\in V); について &math(\bm x+\bm y=\bm y+\bm x);
+ ベクトル和の結合則： &math(\forall \bm x,\forall \bm y,\forall \bm z\in V); について &math((\bm x+\bm y)+\bm z=\bm x+(\bm y+\bm z));
+ ゼロ元の存在： ある元 &math(\bm 0\in V); が存在し、&math(\forall \bm x\in V); について &math(\bm x+\bm 0=\bm x); を満たす
+ スカラーの単位元： &math(1\in K); について、&math(\forall \bm x\in V); について、&math(1\bm x=\bm x);
+ 逆元の存在： &math(\forall \bm x\in V); について &math(\bm x+(-\bm x)=\bm 0); を満たす元 &math(-\bm x\in V); が存在する
+ 分配法則(1)： &math(\forall a,\forall b\in K);、&math(\forall \bm x\in V); について、&math((a+b)\bm x=a\bm x+b\bm x);
+ 分配法則(2)： &math(\forall a\in K);、&math(\forall \bm x,\forall \bm y\in V); について、&math(a(\bm x+\bm y)=a\bm x+a\bm y);
+ スカラー倍の結合法則： &math(\forall a,\forall b\in K);、&math(\forall \bm x\in V); について、&math(a(b\bm x)=(ab)\bm x);
+ ベクトル和の交換則： $\forall \bm x,\forall \bm y\in V$ について $\bm x+\bm y=\bm y+\bm x$
+ ベクトル和の結合則： $\forall \bm x,\forall \bm y,\forall \bm z\in V$ について $(\bm x+\bm y)+\bm z=\bm x+(\bm y+\bm z)$
+ ゼロ元の存在： ある元 $\bm 0\in V$ が存在し、$\forall \bm x\in V$ について $\bm x+\bm 0=\bm x$ を満たす
+ スカラーの単位元： $1\in K$ について、$\forall \bm x\in V$ について、$1\bm x=\bm x$
+ 逆元の存在： $\forall \bm x\in V$ について $\bm x+(-\bm x)=\bm 0$ を満たす元 $-\bm x\in V$ が存在する
+ 分配法則(1)： $\forall a,\forall b\in K$、$\forall \bm x\in V$ について、$(a+b)\bm x=a\bm x+b\bm x$
+ 分配法則(2)： $\forall a\in K$、$\forall \bm x,\forall \bm y\in V$ について、$a(\bm x+\bm y)=a\bm x+a\bm y$
+ スカラー倍の結合法則： $\forall a,\forall b\in K$、$\forall \bm x\in V$ について、$a(b\bm x)=(ab)\bm x$

このとき、&math(V); を &math(K); 上の線形空間と呼ぶ。
このとき、$V$ を $K$ 上の線形空間と呼ぶ。

「集合」について復習が必要な学生はこちらを参照 → [[線形代数Ｉ/ベクトル空間と線形写像#xe9fe451]]

** 細かいことは置いておいて [#jd9c7299]

線形空間の定義では、一見すると重要そうな 1. ～ 8. の公理よりも、
その前の「ベクトル和とスカラー倍に対して閉じた集合である」という部分が本質である。

上記のややこしい「公理」は、和やスカラー倍が持つべき最低限の性質を表わしただけのもので、
上記の公理を満たさないような演算を和やスカラー倍と呼びたくないということである。

** 線形空間の例 [#v00e3d9f]

&math(V=\mathbb R^3,K=\mathbb R); は線形空間である（&math(\mathbb R^3); は３次元実数ベクトルの集合）
$V=\mathbb R^3,K=\mathbb R$ は線形空間である（$\mathbb R^3$ は３次元実数ベクトルの集合）

&math(V=\mathbb R^3,K=\mathbb C); は線形空間ではない！
$V=\mathbb R^3,K=\mathbb C$ は線形空間ではない！

&math(x);の２次以下の実係数多項式の集合 （ &math(P^2[x]=\set{ax^2+bx+c|a,b,c\in \mathbb R}, K=\mathbb R); ） は、自然に定義される和と実数倍に対して線形空間となる（線形空間が「ベクトル同士の積」に対して閉じている必要がないことに注意せよ）
$x$の２次以下の実係数多項式の集合 （ $P^2[x]=\set{ax^2+bx+c|a,b,c\in \mathbb R}, K=\mathbb R$ ） は、自然に定義される和と実数倍に対して線形空間となる（線形空間が「ベクトル同士の積」に対して閉じている必要がないことに注意せよ）

&math(V=\set{(3a,-a)\in \mathbb R^2|a\in \mathbb R}); は &math(\mathbb R^2); に定義される和と実数倍に対して線形空間となる
$V=\set{(3a,-a)\in \mathbb R^2|a\in \mathbb R}$ は $\mathbb R^2$ に定義される和と実数倍に対して線形空間となる

2x2 行列全体は、自然に定義される和と定数倍に対して線形空間となる

*** 演習 [#v1a2eade]

&math(x);の２次以下の実係数多項式の集合 &math(P^2[x]); が「実数上の線形空間」の公理を満たすことを確かめよ。
$x$の２次以下の実係数多項式の集合 $P^2[x]$ が「実数上の線形空間」の公理を満たすことを確かめよ。
→ [[解答例>@線形代数II/抽象線形空間/メモ]]

** 部分空間 [#t973d6bf]

線形空間 &math(U); の空でない部分集合 &math(V);（&math(V\subset U, V\ne\set{});）が
&math(U); に定義されるベクトル和やスカラー倍に対して閉じているとき、
&math(V); も線形空間となる。
線形空間 $U$ の空でない部分集合 $V$（$V\subset U, V\ne\set{}$）が
$U$ に定義されるベクトル和やスカラー倍に対して閉じているとき、
$V$ も線形空間となる。

（ベクトル和やスカラー倍は線形空間の公理を満たすため、
閉じていることのみが条件となる）

このとき、&math(V); を &math(U); の部分空間という。
このとき、$V$ を $U$ の部分空間という。

** 線形空間の性質 [#yedd6e56]

上のような一般の線形空間 &math(V); がどこまで &math(\mathbb R^n); と似ているかを考えるのが
上のような一般の線形空間 $V$ がどこまで $\mathbb R^n$ と似ているかを考えるのが
当面の目標となる。

たとえば [[線形代数II/抽象線形空間/性質]] で見るように、
上記の公理を満たすすべての線形空間は、

- ゼロ元はただ１つだけ存在する
- 逆元はただ１つだけ存在する
- 引き算を定義できる &math(\bm x-\bm y\equiv\bm x+(\bm yの逆元));
- &math(\bm x-\bm x=\bm 0);
- &math(\bm a+\bm b=\bm a+\bm c → \bm b=\bm c);
- &math(-\bm 0=\bm 0);
- &math(-(-\bm x)=\bm x);
- &math((-\bm x)=(-1)\bm x);
- &math(0\bm x = \bm 0);
- 引き算を定義できる $\bm x-\bm y\equiv\bm x+(\bm yの逆元)$
- $\bm x-\bm x=\bm 0$
- $\bm a+\bm b=\bm a+\bm c → \bm b=\bm c$
- $-\bm 0=\bm 0$
- $-(-\bm x)=\bm x$
- $(-\bm x)=(-1)\bm x$
- $0\bm x = \bm 0$

といった、数ベクトル空間と同じ性質を持つことを 「定理として証明」 できる。

その他にも、任意の線形空間と数ベクトル空間との間には非常に多くの類似点がある。

~

[[前の単元 ＜＜＜>線形代数II/代数学的構造]]
　　　　　　　　　　　　　　　[[線形代数II]]
　　　　　　　　　　　　　　　[[＞＞＞ 次の単元>線形代数II/線形独立、基底及び次元]]

* 質問・コメント [#x915949d]

#article_kcaptcha
Counter: 24830 (from 2010/06/03), today: 7, yesterday: 10