体とベクトル空間

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{angleb}[1]{\left\langle #1 \right\rangle} \newcommand{Arg}[0]{\operatorname{Arg}} \newcommand{Ba}[0]{\mathbf{a}} \newcommand{BB}[0]{\mathscr{B}} \newcommand{Bb}[0]{\mathbf{b}} \newcommand{Be}[0]{\mathbf{e}} \newcommand{Bu}[0]{\mathbf{u}} \newcommand{Bv}[0]{\mathbf{v}} \newcommand{Bw}[0]{\mathbf{w}} \newcommand{Bx}[0]{\mathbf{x}} \newcommand{By}[0]{\mathbf{y}} \newcommand{Bzr}[0]{\mathbf{0}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{im}[0]{\operatorname{Im}} \newcommand{ind}[0]{\mathrm{ind}} \newcommand{K}[0]{\mathbb{K}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{L}[0]{\mathbb{L}} \newcommand{mmod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbf{N}} \newcommand{ord}[0]{\mathrm{ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{\operatorname{rank}} \newcommand{span}[0]{\operatorname{span}} \newcommand{SS}[0]{\mathscr{S}} \newcommand{TT}[0]{\mathscr{T}} \newcommand{UU}[0]{\mathscr{U}} \newcommand{wenvert}[1]{\left\lvert\left\lvert#1\right\rvert\right\rvert} \newcommand{Z}[0]{\mathbb{Z}} $$

$\R, \C$ 以外の体上のベクトル空間の例を挙げる。

本稿のベクトル空間の議論は一般の体上のベクトル空間に関する議論なので、$\R, \C$ 以外の一般の体上でも成立する。

$\C$$\R$$1, i$ を基底にもつベクトル空間とみることができる。

$$\Q(\sqrt{2})=\{a+b\sqrt{2}: a, b\in\Q\}$$
$\Q$ 上のベクトル空間とみることができ、$1, \sqrt{2}$ を基底にもつ。

$\F_2=\{0, 1\}$
$$0+0=1+1=0, 0+1=1+0=1$$
および
$$1\times 1=1, 0\times 1=1\times 0=0\times 0=0$$
により定義される体(これは $\Z/2\Z$ に同型である)とする。
このとき、
$$\F_2^n=\{(a_1, \ldots, a_n): a_i\in \F_2\}$$
$\F_2$ 上のベクトル空間となる。また
$$\{(a_1, \ldots, a_n)\in \F_2^n: a_1+\cdots +a_n=0\}$$

$$\Bu_1=(1, 0, 0, \ldots, 1), \Bu_2=(0, 1, 0, \ldots ,1), \ldots, \Bu_{n-1}=(0, 0, \ldots, 1, 1)$$
を基底にもつ$\F_2^n$ の部分空間である。ここで各 $\Bu_i ~ (i=1, \ldots, n-1)$$a_i=a_n=1$ かつ $j\neq i, n$ のとき $a_j=0$ により定まるベクトルである。

$\K$$\L$ の拡大体ならば、$\K$ 上のベクトル空間は $\L$ 上のベクトル空間とみなすことができる。
しかし、逆に $\L$ 上のベクトル空間が $\K$ 上のベクトル空間となるとは限らない。たとえば $\R^n$ は、通常のスカラー倍 $k(a_1, \ldots, a_n)=(ka_1, \ldots, ka_n)$ のもとでは $\C$ 上のベクトル空間とはならない。
一方、$\L^n$ のベクトルを $\K$ 上のベクトル空間 $\K^n$ のベクトルとみることはできる。たとえば $\R^n$ のベクトルを $\C$ 上のベクトル空間 $\C^n$ のベクトルとして考えることはできる。

$V$ が体 $\K$ 上のベクトル空間で、$\Bv_1, \ldots, \Bv_r\in V$ で、係数を体 $\L$ でとった線形結合
$$a_1\Bv_1+a_2\Bv_2+\cdots +a_r\Bv_r~(a_1, \ldots, a_r\in\L)$$
$\Bv_1, \ldots, \Bv_r$$\L$ 上の線形結合という。

$\C^n$ のベクトルは $\C$ 上のベクトル空間としては線形従属でも、$\R$ 上のベクトル空間と見ると線形独立となる場合がある。たとえば $(1, 0), (i, 0)\in \C^2$$\C$ 上は線形従属だが、$\R$ 上は線形独立である。一方、成分がすべて実数である $\C^n$ のベクトルは $\R$ 上線形独立ならば $\C$ 上でも線形独立となる。一般には、次の事実が成り立つ。

$\K$$\L$ の拡大体で、$\Bu_1, \ldots, \Bu_r\in \L^n$$\L$ 上線形独立ならば、
$\Bu_1, \ldots, \Bu_r$ は($\K^n$ のベクトルとみたときに) $\K$ 上も線形独立。

言い換えれば、
$x_1 \Bu_1+\cdots +x_r \Bu_r=\Bzr$ となる $x_1, \ldots, x_r\in \K$ が存在するとき、
$y_1 \Bu_1+\cdots +y_r \Bu_r=\Bzr$ となる $y_1, \ldots, y_r\in \L$ が存在する。

$\L$$x_1, \ldots, x_r$ で生成されるベクトル空間の基底をとって、それを $\alpha_1, \ldots, \alpha_k$ とおく。
$x_i=\sum_{j=1}^k c_{ij} \alpha_j$ となる $c_{ij}\in \L$ がとれて、
$$x_1 \Bu_1+\cdots +x_r \Bu_r=\sum_{i=1}^r \left(\sum_{j=1}^k c_{ij} \alpha_j\right) \Bu_i=\sum_{j=1}^k \alpha_j (\sum_{i=1}^r c_{ij} \Bu_i)$$
となる。
$x_1 \Bu_1+\cdots +x_r \Bu_r=\Bzr$ だから、
$$\sum_{j=1}^k \alpha_j (\sum_{i=1}^r c_{ij} \Bu_i)$$
の各成分は $0$ である。$\alpha_1, \ldots, \alpha_k$$\L$ 上線形独立で、$\Bu_1, \ldots, \Bu_r\in \L^n$ だから、各 $j$ について $\sum_{i=1}^r c_{ij} \Bu_i$ の各成分は $0$、つまり各 $j$ について
$$c_{1j} \Bu_1 +\cdots +c_{rj} \Bu_r=\Bzr$$
となる。

$\K$$\L$ の部分体で、$\Bu_1, \ldots, \Bu_r\in \L^n$ とする。
$\Bv\in \L^n$$\Bu_1, \ldots, \Bu_r$$\K$ 上の線形結合であらわされるとき、
$\Bv$$\Bu_1, \ldots, \Bu_r$$\L$ 上の線形結合であらわされる。
つまり $\Bv=x_1 \Bu_1+\cdots +x_r \Bu_r\in \L^n$ となる $x_1, \ldots, x_r\in \K$ が存在するとき、
$\Bv=y_1 \Bu_1+\cdots +y_r \Bu_r\in \L^n$ となる $y_1, \ldots, y_r\in \L$ が存在する。

線形独立性とベクトル空間の基底:定理2 より $\K$$\Bu_1, \ldots, \Bu_r$ で生成される空間の基底を $\Bu_1, \ldots, \Bu_r$ の中から選ぶことができる。
これを $\Bu_i ~ (i\in I)$ とおくと、$\Bv$$\Bu_i ~ (i\in I)$ の線形結合であらわされる。つまり
$$\left(\sum_{i\in I} x_i^\prime \Bu_i\right)-\Bv=\Bzr$$
となる $x_i^\prime\in \K$ がとれる。よって $\Bu_i ~ (i\in I), \Bv$$\K$ 上線形従属だから、 定理1 より $\L$ 上でも線形従属である。つまり
$$\left(\sum_{i\in I} c_i \Bu_i\right)+c_{r+1}\Bv=\Bzr$$
となる $c_i\in\L ~ (i\in I\cup \{r+1\})$ がとれる。$\Bu_i ~ (i\in I)$ は線形独立であるから、$c_{r+1}\neq 0$ となるので、$y_i=-c_i/c_{r+1}$ とおくと、
$$\Bv=\sum_{i\in I}y_i \Bu_i, y_i\in\L$$
となる。

参考文献

[1]
Serge Lang, Linear Algebra, 3rd ed., Undergraduate Texts in Mathematics, Springer, 1987
Mathpediaを支援する

現在のページ

体とベクトル空間
前のページへ
29 / 33
次のページへ
前ページへ
入門テキスト「抽象線形代数学」の表紙
次ページへ