ベクトル空間の定義
定義1
空集合ではない集合 $V$ の要素が二つの演算 加算additionと スカラー乗算scalar multiplicationに対して下記の10個の規則を満たす時、$V$を体2 $\mathbb{F}$に対するベクトル空間vector spaceまたは$\mathbb{F}$-ベクトル空間と呼び、$V$の要素をベクトルvectorという。
$\mathbf{u}, \mathbf{v}, \mathbf{w} \in V$と$k, l \in \mathbb{F}$に対して、
(A1) $\mathbf{u}, \mathbf{v}$が$V$の要素であれば$\mathbf{u}+\mathbf{v}$も$V$の要素である。
(A2) $\mathbf{u} + \mathbf{v} = \mathbf{v} + \mathbf{u}$
(A3) $(\mathbf{u}+\mathbf{v})+\mathbf{w}=\mathbf{u}+(\mathbf{v}+\mathbf{w})$
(A4) $V$内の全ての$\mathbf{u}$に対して、$\mathbf{u} + \mathbf{0} = \mathbf{0} + \mathbf{u} = \mathbf{u}$を満たす$\mathbf{0}$が$V$内に存在する。この時$\mathbf{0}$を零ベクトルzero vectorと呼ぶ。
(A5) $V$内の全ての$\mathbf{u}$に対して$\mathbf{u} + \mathbf{v} = \mathbf{v} + \mathbf{u} = \mathbf{0}$を満たす$\mathbf{v}$が$V$内に存在する。この時$\mathbf{v}$を**$\mathbf{u}$の負**negative of $\mathbf{u}$と呼び、$\mathbf{v} = -\mathbf{u}$と表記する。
(M1) $\mathbf{u}$が$V$の要素であれば$k \mathbf{u}$も$V$の要素である。
(M2) $k(\mathbf{u} + \mathbf{v})=k\mathbf{u} + k\mathbf{v}$
(M3) $(k+l)\mathbf{u}=k\mathbf{u}+ l\mathbf{u}$
(M4) $k(l\mathbf{u})=(kl)(\mathbf{u})$
(M5) $1\in \mathbb{F}$に対して、$1\mathbf{u} = \mathbf{u}$
説明
- 線形空間linear spaceという言葉も使われる。
当然ながらスカラー(体)が実数である必要はない。特に$\mathbb{F} = \mathbb{R}$の場合を実ベクトル空間real vector spaceと呼び、$\mathbb{F} = \mathbb{C}$の場合を複素ベクトル空間complex vector spaceと呼ぶ。
数学部の線形代数学では主に$\mathbb{R}^{n}$や$\mathbb{C}^{n}$を扱う。$\mathbb{R}^{n}$は実数$n$個の順序対を要素とするベクトル空間を意味し、即ち$n$次元ユークリッド空間を意味し、具体的に$\mathbb{R}^{3}$は高校数学、微分積分学でよく見た3次元空間を意味する。
ベクトル空間となる集合は様々ある。関数の集合もベクトル空間となり得て、これを関数空間と呼ぶ。
物理学では大きさと方向があるものをベクトルと呼ぶ。その概念を一般化したものが線形代数学のベクトルである。例えば大きさが$m\times n$の実数行列を集めた集合$M_{m\times n}(\mathbb{R})$を考えると、$M_{m\times n}(\mathbb{R})$は上記の10個の規則を全て満たすことがわかる。したがって同じ大きさの行列を集めた集合はベクトル空間となり、各々の行列はその中でのベクトルとなる。このような抽象的なベクトル空間に初めて接したならば、行列もベクトルだという事実に驚くかもしれないが、これまでに座標空間のベクトルをどのように表記していたかを考えれば驚くこともない。
ある集合がベクトル空間であるかどうかを判断するには、上記の定義を満たしているか一つ一つ確かめればよい。一見ベクトル空間に思えるけれどもそうでない場合もあり、また一見ベクトル空間でなさそうに思えるけれども実はベクトル空間である場合もある。直感とは全く異なる場合があるので、問題を解く時は一つ一つしっかりと確認することが良い。また零ベクトル$\mathbf{0}$とスカラー$0$は全く異なるものであるので、しっかり区別するようにしよう。通常、教科書ではベクトルは太字で表される。
定理1
$V$をベクトル空間、$\mathbf{u}$を$V$の要素とする。
(1a) $V$の零ベクトルは唯一である。
(1b) $\mathbf{u}$の負は唯一である。
証明
ベクトル空間の定義を利用した証
明である。
(1a)
$\mathbf{0},\mathbf{0}^{\prime}$が$V$の零ベクトルであるとする。するとベクトル空間の定義により次が成立する。
$$ \begin{align*} \mathbf{0} &= \mathbf{0} + \mathbf{0}^{\prime} && \text{by (A4)} \\ &= \mathbf{0}^{\prime} + \mathbf{0} && \text{by (A2)} \\ &= \mathbf{0}^{\prime} && \text{by (A4)} \end{align*} $$
したがって、二つの零ベクトルは互いに等しい。
■
(1b)
$\mathbf{v}, \mathbf{v}^{\prime}$が$\mathbf{u}$の負であるとする。するとベクトル空間の定義により次が成立する。
$$ \begin{align*} \mathbf{v} &= \mathbf{v} + \mathbf{0} && \text{by (A4)} \\ &= \mathbf{v} + \left( \mathbf{u} + \mathbf{v}^{\prime} \right) && \text{by (A5)} \\ &= \left( \mathbf{v} + \mathbf{u} \right) + \mathbf{v}^{\prime} && \text{by (A3)} \\ &= \mathbf{0} + \mathbf{v}^{\prime} && \text{by (A5)} \\ &= \mathbf{v}^{\prime} && \text{by (A4)} \end{align*} $$
したがって、$\mathbf{u}$の二つの負は互いに等しい。
■
定理2
$V$をベクトル空間、$\mathbf{u}$を$V$の要素、$k$をスカラーとする。
(2a) $0 \mathbf{u} = \mathbf{0}$
(2b) $k \mathbf{0} = \mathbf{0}$
(2c) $(-1) \mathbf{u} = -\mathbf{u}$
(2d) もし$k \mathbf{u} = \mathbf{0}$であれば、$k = 0$か$\mathbf{u} = \mathbf{0}$である。
証明
ベクトル空間の定義を利用した証明である。
(2a)
$$ \begin{align*} && 0\mathbf{u} &= (0 + 0)\mathbf{u} \\ && &= 0\mathbf{u} + 0\mathbf{u} &&\text{by (M3)} \\ & & \\ \implies && 0\mathbf{u}+(-0\mathbf{u}) &= 0\mathbf{u} + 0\mathbf{u} +(-0\mathbf{u}) \\ \implies && \mathbf{0} &= 0\mathbf{u} &&\text{by (A5)} \end{align*} $$
■
(2b)
$$ \begin{align*} && k\mathbf{0} &= k(\mathbf{0} + \mathbf{0}) &&\text{by (A4)} \\ && &= k\mathbf{0} + k\mathbf{0} &&\text{by (M2)} \\ & & \\ \implies && k\mathbf{0}+(-k\mathbf{0}) &= k\mathbf{0} + k\mathbf{0} +(-k\mathbf{0}) \\ \implies && \mathbf{0} &= k\mathbf{0} &&\text{by (A5)} \end{align*} $$
■
(2c)
$$ \begin{align*} \mathbf{u} + (-1)\mathbf{u} &= 1 \mathbf{u} + (-1)\mathbf{u} &&\text{by (M5)} \\ &= \big( 1 + (-1) \big) \mathbf{u} &&\text{by (M3)} \\ &= 0 \mathbf{u} \\ &= \mathbf{0} &&\text{by (a2)} \end{align*} $$
すると**（A5）により$(-1)\mathbf{u}$は$\mathbf{u}$の負であり、（1b）**により$\mathbf{u}$の負は唯一であるため、
$$ (-1)\mathbf{u} = -\mathbf{u} $$
■
(2d)
$k$は必ず$0$か$0$のどちらか一方の場合にのみ該当するので、二つの場合に分けて考える。
$k=0$の場合
結論を満たす。
$k\ne 0$の場合
$k$が$0$でないため、$k$で割ることができる。したがって
$$ \begin{align*} && k \mathbf{u} &= \mathbf{0} \\ \implies && \mathbf{u} &= \frac{1}{k}\mathbf{0} \\ && &= \mathbf{0} && \text{by (2b)} \end{align*} $$
■
一緒に見る
抽象代数
下記の文書で述べられている$F$-ベクトル空間は、実際に上記の文書のベクトル空間と何の差異もない。ただ視点が少し異なるだけで、線形代数学でのベクトル空間が直感的なユークリッド空間の抽象化であり、抽象代数学でのベクトル空間はそれを真の意味での’代数’として扱うことである。
逆に$R$-モジュールは$F$-ベクトル空間のスカラー体$F$をスカラー環$R$に一般化することに意義があり、したがって$F$-ベクトルフィールドの歴史と意味に関心がないネーミングでそのアイデンティティを示している。群$G$の立場から見れば、環$R$と新しい演算$\mu$が加えられたことであるため、その逆も加群加群である。