練習問題メモ 17（線形写像）

練習問題メモ 17（線形写像）#

問1#

$U, V, W$ をベクトル空間、 $f : U \to V, g : V \to W$ を線形写像とする。このとき、 $f$ と $g$ の合成写像 $g \circ f : U \to W$ は線形写像であることを示せ。

$U$ の任意のベクトル $a, b$ に対し、線形写像の定義より

\begin{array}{r} \begin{aligned} g \circ f (a + b) & = g (f (a + b)) = g (f (a) + f (b)) \\ = g (f (a)) + g (f (b)) = g \circ f (a) + g \circ f (b) \end{aligned} \end{array}

が成り立つ。

また任意のスカラー $c$ に対して

g \circ f (c a) = g (c f (a)) = c g (f (a)) = c g \circ f (c a)

となる。

よって、 $g \circ f$ は線形写像の定義に合致するため、線形写像である。

問2#

$A \in M_{4} (R)$ および線形写像 $f_{A} : R^{4} \to R^{4}$ を

\begin{array}{r} A = (\begin{array}{llll} 1 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 2 & 0 \\ 0 & 1 & 2 & 0 \end{array}), f_{A} (x) = A x (x \in R^{4}) \end{array}

により定める。 $Im f_{A}$ および $Ker f_{A}$ の基底を 1 組求めよ。さらに、 $f_{A}$ の階数および退化次数を求め、 $f_{A}$ に対して次元定理が成り立つことを確かめよ。

（参考）定義

定義おさらい

\begin{array}{r} Im f_{A} = {y \in R^{4} ∣ y = f_{A} (x) (x \in R^{4})} \\ Ker f_{A} = {x \in R^{4} ∣ f_{A} (x) = 0 (x \in R^{4})} \end{array}

解き方の参考にしたサイト

線形代数学基底の求め方が分かりません。階段行列を作ってその行列に対応する部分から求められるようですが、どのように求めたら良いでしょうか？ - Quora

$f_{A}$ の階数

$A$ を行基本変形して階段行列を作ると

\begin{array}{r} (\begin{array}{llll} 1 & 0 & 0 & 0 \\ 0 & 1 & 2 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{array}) \end{array}

と変形できるため $rank f_{A} = 2$ である。

Imの基底

元の行列 $A$ のうち、得られた階段行列の段差のある列と同じ列番号の列が基底になるらしい。

今回は第1列と第2列に段があるので、対応する列を $A$ から得ると

\begin{array}{r} {(\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ 1 \\ 1 \end{matrix})} \end{array}

Kerの基底

$階段行列 x = 0$ の形におくと

\begin{array}{r} {\begin{cases} x_{1} = 0 \\ x_{2} + 2 x_{3} = 0 \end{cases} \end{array}

この解は $c_{1}, c_{2} \in R$ を用いて、

\begin{array}{r} (\begin{array}{l} x_{1} \\ x_{2} \\ x_{3} \\ x_{4} \end{array}) = c_{1} (\begin{array}{c} 0 \\ - 2 \\ 1 \\ 0 \end{array}) + c_{2} (\begin{array}{c} 0 \\ 0 \\ 0 \\ 1 \end{array}) \end{array}

と表せる。

（ $x_{4}$ については0なのか手がかりがないので表現できるように $c_{2}$ と対応する基底を割り振る。 $x_{1}$ は0だとわかっているのでそのまま）

よって基底は

\begin{array}{r} {(\begin{matrix} 0 \\ - 2 \\ 1 \\ 0 \end{matrix}), (\begin{matrix} 0 \\ 0 \\ 0 \\ 1 \end{matrix})} \end{array}

退化次数

退化次数（nullity）はKerの次元なので、Kerの基底の数と同じく2

次元定理

\begin{array}{r} rank f_{A} = \dim Im f_{A} = 2 \\ nullity f_{A} = \dim Ker f_{A} = 2 \end{array}

よって

rank f_{A} + nullity f_{A} = 2 + 2 = 4 = \dim f_{A}

問3#

$f$ をベクトル空間 $V$ からべクトル空間 $W$ への線形写像とし、 $x_{1}, x_{2}, \dots, x_{m} \in V$ とする。 $f (x_{1}), f (x_{2}), \dots, f (x_{m}) \in W$ が 1 次独立ならば、 $x_{1}, x_{2}, \dots, x_{m}$ も 1 次独立であることを示せ。

任意のスカラー $c_{1}, \dots, c_{m}$ を用いて

c_{1} x_{1} + \dots + c_{m} x_{m} = 0

とし、両辺に $f$ をとると、線形写像の性質により

\begin{array}{r} f (c_{1} x_{1} + \dots + c_{m} x_{m}) = f (0) \\ ⟺ c_{1} f (x_{1}) + \dots + c_{m} f (x_{m}) = f (0) \end{array}

となる。ここで、 $f (x_{1}), \dots, f (x_{m}) \in W$ が 1次独立ならば $c_{1} = \dots = c_{m} = 0$ となるため、 $x_{1}, x_{2}, \dots, x_{m}$ も 1 次独立である

問4#

$f$ をべクトル空間 $V$ からべクトル空間 $W$ への線形写像とする。

$f$ が全射であることと $Im f = W$ は同値であることを示せ。
$f$ が単射であることと $Ker f = {0_{V}}$ は同値であることを示せ。
$f$ が全単射ならば、 $f$ の逆写像 $f^{- 1}$ は $W$ から $V$ への線形写像であることを示せ。なお、このような $f$ が存在するとき、 $f$ を同型写像といい、 $V$ と $W$ は同型であるという。また、 $V$ と $W$ が同型であることを $V ≅ W$ と表す。

$f$ が全射であることと $Im f = W$ は同値であることを示せ。

写像 $f$ が全射であるとは、像の集合 ${f (v) ∣ v \in V}$ が値域（終域） $W$ と等しいことである。

像の集合が $Im f$ であるため、 $f$ が全射であることと $Im f = W$ は等しい。

回答例

$全射 ⟹ Im f = W$ について：

$f$ が全射であると仮定する。まず、 $f (x) \in Im f (x \in V)$ とすると、 $f$ の値域は $W$ なので、 $f (x) \in W$ である。よって、 $Im f \subset W$ である。

逆に、 $y \in W$ とすると、仮定より、 $f$ は全射なので、 $f (x) = y$ をみたす $x \in V$ が存在する。よって、 $y \in Im f$ である。すなわち、 $W \subset Im f$ である。したがって、 $Im f = W$ である。

$Im f = W ⟹ 全射$ について：

$Im f = W$ であると仮定する。 $y \in W$ とすると、仮定より、 $W$ は $Im f$ に等しいので、 $y \in Im f$ である。よって、像の定義式（ $Im f = {f (x) \in W ∣ x \in V})$ より、 $f (x) = y$ をみたす $x \in V$ が存在する。したがって、 $f$ は全射である。

以上より、 $f$ が全射であることと $Im f = W$ は同値である。

$f$ が単射であることと $Ker f = {0_{V}}$ は同値であることを示せ。

（ $0_{V}$ は $V$ の零ベクトルという意味。複数の集合が登場するので。）

(1) まず、 $f$ が単射 $⟹ Ker f = {0_{V}}$ について示す。

$f$ は線形写像なので、 $f (0_{V}) = 0_{W}$ となる（ $0_{V} \in V, 0_{W} \in W$ ）。

$f$ が単射、すなわち異なるベクトル $v_{1} \neq v_{2} (v_{1}, v_{2} \in V)$ に対して $f (v_{1}) \neq f (v_{2})$ となる場合、 $f (v) = 0_{W}$ となるようなベクトル $v$ は $0_{V}$ しか存在しないため、 $Ker f = {0_{V}}$ となる。

よって、 $f が単射 ⟹ Ker f = {0_{V}}$

(2) 次に、 $Ker f = {0_{V}} ⟹ f$ が単射について示す。

任意の $v_{1}, v_{2} \in V$ について $f (v_{1}) = f (v_{2})$ とする。線形写像の線形性により、

f (v_{1}) = f (v_{2}) ⟹ f (v_{1}) - f (v_{2}) = 0 ⟹ f (v_{1} - v_{2}) = 0

となる。

仮定より $Ker f = {0_{V}}$ であるため、 $f (v_{1} - v_{2}) = 0 ⟹ v_{1} - v_{2} = 0$ である。

そして $v_{1} - v_{2} = 0 ⟹ v_{1} = v_{2}$ であるため、 $f (v_{1}) = f (v_{2}) ⟹ v_{1} = v_{2}$ である。

これは単射の定義（ $v_{1} \neq v_{2} ⟹ f (v_{1}) \neq f (v_{2})$ ）の対偶であるため、 $f$ は単射である。

(1),(2)より、

f が 単 射 ⟺ Ker f = {0_{V}}

である。

$f$ が全単射ならば、 $f$ の逆写像 $f^{- 1}$ は $W$ から $V$ への線形写像であることを示せ。なお、このような $f$ が存在するとき、 $f$ を同型写像といい、 $V$ と $W$ は同型であるという。また、 $V$ と $W$ が同型であることを $V ≅ W$ と表す。

全単射と逆写像の存在：

$f$ が全単射ならば、全射性より $f (v) = w$ となる $v$ が存在し、単射性よりそのような $w$ は $v$ に対してただ1つのみなので、逆写像 $f^{- 1} : W \to V$ が作れる。

逆写像が線形写像であること：

$v_{1}, v_{2} \in V, w_{1}, w_{2} \in W$ とし、 $f (v_{1}) = w_{1}, f (v_{2}) = w_{2}, f^{- 1} (w_{1}) = v_{1}, f^{- 1} (w_{2}) = v_{2}$ とおく。

\begin{array}{r} \begin{aligned} f^{- 1} (w_{1} + w_{2}) & = f^{- 1} (f (v_{1}) + f (v_{2})) \\ = f^{- 1} (f (v_{1} + v_{2})) (∵ f は 線 形 写 像 の た め) \\ = v_{1} + v_{2} (∵ f^{- 1} (f (\cdot)) は 恒 等 写 像 の た め) \\ = f^{- 1} (w_{1}) + f^{- 1} (w_{2}) \end{aligned} \end{array}

また $c \in R, v \in V, w \in W$ に対し、

\begin{array}{r} \begin{aligned} f^{- 1} (c w) & = f^{- 1} (c f (v)) \\ = f^{- 1} (f (c v)) \\ = c v \\ = c f^{- 1} (w) \end{aligned} \end{array}

問5#

$f$ をベクトル空間 $V$ の線形変換とする。 $f$ と $f$ 自身の合成写像 $f \circ f$ が零写像であることと $Im f \subset Ker f$ は同値であることを示せ。

（零写像とは、値域が零のみの写像のこと。）

(1) $f \circ f$ が零写像 $⟹ Im f \subset Ker f$ について：

f (v) \in Im f (v \in V)

について、仮定より $f \circ f = f (f (v)) = 0$ なので

$f (v) \in Ker f$ がすべての $v \in V$ について成り立つ。よって $Im f \subset Ker f$ が成り立つ。

(2) $Im f \subset Ker f ⟹ f \circ f$ が零写像について：

仮定より、

\forall v \in V, f (v) \in Im f \subset Ker f

である。

これは、カーネルの定義 $Ker f = {v \in V ∣ f (v) = 0}$ より $f (f (v)) = 0$ なので、 $f \circ f$ は零写像である。

上記(1), (2)より、 $f \circ f$ が零写像であることと $Im f \subset Ker f$ は同値である

問6#

(チャレンジ問題)

ベクトル空間 $V$ から $R$ への線形写像全体のなす集合を $V^{*}$ または $Hom (V, R)$ と表す。すなわち、

V^{*} = Hom (V, R) = {f : V \to R ∣ f は線形写像}

である（Hom は数学的な構造を保つ写像に対して用いられる「準同型写像」を意味する英単語”homo morphism”を略したものである。）。

$f, g \in V^{*}, c \in R$ とし、 $V$ から $R$ への写像 $f + g, c f$ をそれぞれ

(f + g) (x) = f (x) + g (x), (c f) (x) = c f (x) (x \in V)

により定める。

$f + g, c f \in V^{*}$ を示せ。
1 で定めた和とスカラー倍によって、 $V^{*}$ はべクトル空間となることを示せ。なお、 $V^{*}$ を $V$ の双対ベクトル空間または双対空間という。
$V$ が $n$ 次元で、 ${a_{1}, a_{2}, \dots, a_{n}}$ を $V$ の基底とすると、 $i = 1, 2, \dots, n$ に対して、 $f_{i} \in V^{*} を$

f_{i} (a_{j}) = δ_{i j} (j = 1, 2, \dots, n)

により定めることができる。 ${f_{1}, f_{2}, \dots, f_{n}}$ は $V^{*}$ の基底であることを示せ。 ${f_{1}, f_{2}, \dots, f_{n}}$ を ${a_{1}, a_{2}, \dots, a_{n}}$ の双対基底という。

$f + g, c f \in V^{*}$ を示せ。

(1) $f + g \in V^{*}$ について

$f, g$ は線形写像であるため、線形写像の和は線形写像になるという定理により、線形写像であり $V^{*}$ の元である。

(2) $c f \in V^{*}$ について：

$v \in V$ とする。

\begin{array}{r} \begin{aligned} c f (v) & = f (c v) (f は 線 形 写 像 の た め 、 線 形 写 像 の 性 質 に よ り) \end{aligned} \end{array}

$f$ は線形写像のため $f \in V^{*}$ となる。よって $c f \in V^{*}$

1 で定めた和とスカラー倍によって、 $V^{*}$ はべクトル空間となることを示せ。なお、 $V^{*}$ を $V$ の双対ベクトル空間または双対空間という。

1に示したように、 $f \in V^{*}$ は加法とスカラー倍について閉じている。

零ベクトルに相当するものが零写像とすると、零写像が線形写像であるかどうかを確かめればよい。

零写像を $f_{0}$ とすると、 $v, u \in V$ について

\begin{array}{r} f_{0} (v + u) = 0 \\ f_{0} (v) + f_{0} (u) = 0 \end{array}

のため $f_{0} (v + u) = f_{0} (v) + f_{0} (u)$ である

また $c \in R$ について

\begin{array}{r} f_{0} (c v) = 0 \\ c f_{0} (v) = 0 \end{array}

のため $f_{0} (c v) = c f_{0} (v)$

となるため、零写像は線形写像であり、 $V^{*}$ に含まれる。

よって、 $V^{*}$ はベクトル空間である。

$V$ が $n$ 次元で、 ${a_{1}, a_{2}, \dots, a_{n}}$ を $V$ の基底とすると、 $i = 1, 2, \dots, n$ に対して、 $f_{i} \in V^{*} を$

f_{i} (a_{j}) = δ_{i j} (j = 1, 2, \dots, n)

により定めることができる。 ${f_{1}, f_{2}, \dots, f_{n}}$ は $V^{*}$ の基底であることを示せ。 ${f_{1}, f_{2}, \dots, f_{n}}$ を ${a_{1}, a_{2}, \dots, a_{n}}$ の双対基底という。

$δ$ の定義は…？

練習問題メモ 17（線形写像）

Contents

練習問題メモ 17（線形写像）#

問1#

問2#

問3#

問4#

問5#

問6#