線形代数の話(線形写像) | マサムネの部屋

主成分分析を理解するための線形代数第三弾です。今回は線形写像とそれにまつわる量について解説します。
前回の記事はこちら。

基底と線形独立性の解説

線形空間を知るためには、線形空間の元がどんなものか調べる必要があります。線形空間には、必ず0がありますが、他にも存在が保証される特別な元の組があります。それが基底です。基底の何が嬉しいか確認したのち、定義や例を紹介します。

線形写像の定義
線形写像の行列表示
まとめ

線形写像の定義

線形写像とは名前の通り線形な写像です。もう少し言うと、線形空間の性質を保つ写像です。正確な定義を書きましょう。

$V, W$ を $K$ 線形空間とし、 $f : V \to W$ を写像とします。 $f$ が線形写像であるとは、以下の性質を満たすことです。

任意の $v_{1}, v_{2} \in V$ に対して $f (v_{1} + v_{2}) = f (v_{1}) + f (v_{2})$
任意の $a \in K$ について、 $f (a v) = a f (v)$

線形写像 $f$ が全単射であるとき、 $f$ を同型写像と呼び、 $V, W$ の間に同型写像が存在するとき、 $V, W$ は同型であると言い、 $V ≃ W$ とかく。

一番単純な線形写像は、全ての元に対して $0$ を対応させる $0 : V \to W$ です。また、 $a \in K$ に対して、 $a : V \to V$ を $a (v) = a v$ で対応させると線形写像です。さらに、線形写像 $f : V \to V$ に対して $a f$ や $f + a$ を $(a f) (v) = a f (v), (f + a) (v) = f (v) + a v$ とすることで、またしても線形写像になります。また、線形写像 $f, g : V \to W$ の和を $(f + g) (v) = f (v) + g (v)$ で定めると、線形写像です。つまり、 $K$ 線形空間の間の線形写像全体の空間は $K$ 線形空間になります。線形写像の性質を使って確かめてみてください。単位元は $0 : V \to W$ です。

線形写像に慣れるために、簡単な性質を証明してみます。
線形写像は、定義から $0 \in K$ に対して、 $f (0) = 0$ ですが、 $f (v) = 0$ であるからと言って、 $v = 0$ とは限りません。行き先が0になっている元を $f$ のカーネルと呼びますが、 $\ker f = {v \in V | f (v) = 0}$ でカーネル全体を表します。今述べた問題は、カーネル全体が $0$ だけか?という問題です。それについては、以下のように答えられます。

$V, W$ を $K$ 線形空間とし、 $f : V \to W$ を線形写像とします。以下は同値です。

$\ker f = 0$
$f$ は単射

[証明]
1が成り立つとしましょう。このとき、 $f$ が単射であること、つまり $f (v) = f (w)$ ならば $v = w$ を言えば良いです。線形写像の定義から、逆元は逆元に移ることに注意しましょう。 $(- 1 * v = - v)$ であり、 $f (- v) = - f (v)$ です。
$\begin{array}{rcl} f (v) & = & f (w) \\ f (v) - f (w) & = & 0 \\ f (v - w) & = & 0 \end{array}$
このことから、 $v - w \in \ker f = 0$ です。線形空間において逆元はただ一つなので、 $v = w$ です。逆も同じ感じに示せるので示してみてください。

単射の話が出たので全射の事も書いておきます。証明は全射の定義そのままなので書きません。

$V, W$ を $K$ 線形空間とし、 $f : V \to W$ を線形写像とします。以下は同値です。

$f$ は全射
$f (V) = W$

このことと、前の性質から次の事が分かります。
$f$ が同型写像である事と、 $ℑ f = W$ かつ $\ker f = 0$ は同値

全射や単射の例を挙げておきます。

$p_{1} : R^{2} \to R$ , $i_{1} : R \to R^{2}$ を以下で定義します。
$\begin{array}{rcl} p_{1} (x, y) & = & x \\ i_{1} (x) & = & (x, 0) \end{array}$
$p_{1}$ は全射線形写像で、 $i_{1}$ は単射線形写像です。一方で、 $p_{1}$ は単射ではありませんし、 $i_{1}$ は全射ではありません。
$p_{1}$ は x-y 平面からx軸への射影であり、 $i_{1}$ はx軸のx-y平面への埋め込みです。
この例から、全射である事と、単射である事には関係が無い事が分かります。

全射であることはなんとなくイメージが着きますが、単射であることはイメージが湧きにくいかもしれません。カーネルとは何かを考えると良いです。
定義から、カーネルというのは線形空間の原点0に潰れてしまう元全体の事です。例えば、上の例での $p_{1}$ では、y軸上の点がカーネルです。射影をイメージすると、y軸が原点に潰れてしまうのが分かると思います。一方で、 $i_{1}$ のカーネルは0だけです。カーネルの大きさは $V$ の情報をどれだけ失わずに $W$ に伝えられるかの指標になっています。
基底を使う事で、抽象的な線形写像を具体的に表示することが出来ます。

線形写像の行列表示

$V, W$ を $K$ 線形空間とし、 $f : V \to W$ を線形写像とします。 $f$ を目に見える形で書き表しましょう。
$V, W$ の基底として、 $(v_{1}, \dots, v_{n})$ , $(w_{1}, \dots w_{m})$ を取ります。各 $v_{i}$ に対して
$\begin{array}{r} f (v_{j}) = \sum a_{i j} w_{i} \end{array}$
とします。この時、 $a_{j} = (a_{1 j}, \dots, a_{m j})$ を縦ベクトルとして、 $a_{j}$ たちを横に並べて出来る行列
$\begin{array}{r} A = (\begin{array}{c} a_{11} & a_{12} & \dots & a_{1 n} \\ ⋮ & ⋮ & \dots & ⋮ \\ a_{m 1} & a_{m 2} & \dots & a_{m n} \end{array}) \end{array}$
を $f$ の行列表示と呼びます。この意味を確かめましょう。
$\begin{array}{rcl} x & = & \sum a_{i} x_{i} \\ y & = & f (x) = \sum b_{j} y_{j} \end{array}$
と置きます。 $V ≃ K^{n}, W ≃ K^{m}$ という標準的な同一視を行っておけば、 $x, y$ は $K^{n}, K^{m}$ でのベクトル $a = (a_{1}, \dots, a_{n})$ , $b = (b_{1}, \dots, b_{m})$ と見なせます。このベクトルと行列表示Aについて次の関係があります。
$\begin{array}{r} b = A a \end{array}$
定義になんとなく違和感を覚えませんか?その違和感の正体を確かめるために例を考えましょう。

$f : V \to V$ を線形写像とし、 $V$ の基底を $v_{1}, v_{2}$ とします。また、以下のようにfの値を定めます。
$\begin{array}{rcl} f (v_{1}) & = & a v_{1} + b v_{2} \\ f (v_{2}) & = & c v_{1} + d v_{2} \end{array}$
このとき、 $f$ の行列表示は定義から以下のようになります。
$\begin{array}{r} A = (\begin{array}{c} a & c \\ b & d \end{array}) \end{array}$
なんとなくイメージではこの行列の転置
$\begin{array}{r} A^{T} = (\begin{array}{c} a & b \\ c & d \end{array}) \end{array}$
が行列表示のような気がしますが、定義ではそうではないのです。
$A^{T}$ が行列表示になるように定義を変えて欲しいと思ったりもするわけですが、それはそれで困った事が起きます。
線形空間 $V$ 上での等式 $f (v_{1}) = a v_{1} + b v_{2}$ が、標準的な同一視を経て、 $K^{2}$ 上でベクトルと行列の等式として成り立ってほしいと思うのは自然な考えだと思います。 $K^{2}$ での等式は以下です。
$\begin{array}{r} A (\begin{array}{c} 1 \\ 0 \end{array}) = (\begin{array}{c} a \\ b \end{array}) \end{array}$
これを成り立たせるには、Aは定義のような形でなくてはならないのです。