はじめに
記事の目的は下記リンクへ移植しました．
https://zenn.dev/leaf/articles/191acef64823fa
線形写像
\mathbb{K}上の線形空間V,Wと写像f\colon V\rightarrow Wについて\\
\begin{aligned}
&(1)\quad \forall \mathbf{x}\in V,\mathbf{y}\in W,f(\mathbf{x}+\mathbf{y})=f(\mathbf{x})+f(\mathbf{y})\\
&(2)\quad \forall \mathbf{x}\in V,k\in{\mathbb{K}},kf(\mathbf{x})=f(k\mathbf{x})\\
\end{aligned}\\
を満たすとき、写像fを線形写像という。
また、これを線形性という。
つぎのように言い換えることもできます。
\forall \mathbf{x}\in V,\mathbf{y}\in W,k,l\in{\mathbb{K}},f(k\mathbf{x}+l\mathbf{y})=kf(\mathbf{x})+lf(\mathbf{y})
核と像
線形写像f\colon V\rightarrow Wに対して\\
\begin{aligned}
&\ker{f}\stackrel{def}{=}\{\mathbf{x}\in{V}\mid f(\mathbf{x})=\mathbf{0}\}\\
&\operatorname{im}{f}\stackrel{def}{=}\{\mathbf{y}\in{W}\mid \exist{x\in{V}},f(\mathbf{x})=\mathbf{y}\}\\
\end{aligned}\\
また、これらは部分空間である。
核というのは、Vの内、変換後に零ベクトルになってしまうものの集合です。像はそのままの意味で変換先の集合です。
核は一見してその役目を見出しにくいですが非常に重要な概念です。
解空間
行列Aを線形写像としてT_Aと表記することにすると、\\
\ker{T_A}は斉次連立一次方程式A\mathbf{x}=\mathbf{0}の解の集合であり、これを解空間という。
\ker{f}の定義からしてそのまんまなんですけどね。
線形写像による階数の定義
階数を階段行列のところで定義しましたが、階数は像によって定義できます。
\operatorname{rank}{f}\stackrel{def}{=}\dim{\operatorname{im}{f}}
線形写像は全て行列で表現可能なので、線形写像を用いた階数の定義も当然可能です。
\dim{\operatorname{im}{f}}はfで変換したら次元が（基底の数が）何になるのかというのを表しており、これは行列における階数と意味が同じです
また、A=(\mathbf{a}_1,\mathbf{a}_2,\dots,\mathbf{a}_n)による標準基底の行き先は\mathbf{a}_1,\mathbf{a}_2,\dots,\mathbf{a}_nですから、\dim{\langle\mathbf{a}_1,\mathbf{a}_2,\dots,\mathbf{a}_n\rangle}こそが像の次元です。
つまり、線形独立な列ベクトルの個数こそが\operatorname{rank}{A}であり、像の次元なのです。
結局、
A=(\mathbf{a}_1,\mathbf{a}_2,\dots,\mathbf{a}_n)\in M(n \times n)について\\
\begin{aligned}
&(1)\quad Aが正則\\
&(2)\quad \operatorname{rank}A=n\\
&(3)\quad Aを行基本変形するとI_nになる\\
&(4)\quad n元連立一次方程式A\mathbf{x}=\mathbf{b}が唯一の解をもつ\\
&(5)\quad n元斉次連立一次方程式A\mathbf{x}=\mathbf{0}が自明な解をも\\
&(6)\quad \operatorname{det}A\not ={0}\\
&(7)\quad \mathbf{a}_1,\mathbf{a}_2,\dots,\mathbf{a}_nが線形独立
\end{aligned}\\
これが最終的な同値表現の一覧ということになります。
次元定理
線形写像f\colon V \rightarrow{W}について\\
\dim{\ker{f}}+ \operatorname{rank}{f}=\dim{V}
証明
\mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_kを\ker{f}の基底とする。まず、この基底を用いてVの基底\\
\mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_k,\dots,\mathbf{e}_nが作れることを証明する。\\
\mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_kで表現できない\mathbf{e}_{k+1}\in{V}が存在するのでこ\\
れを用いてk+1組の線形独立なベクトル\mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_k,\mathbf{v}を作る。\\
この操作を繰り返すと最終的にn組みの線形独立なベクトル \mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_k,\dots,\mathbf{e}_nが作\\
れる。\langle \mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_k,\dots,\mathbf{e}_n\rangle=VなのでVの基底
\mathbf{e}_1,\mathbf{e}_2,\dots,\mathbf{e}_k,\dots,\mathbf{e}_nが作れた。\\
\mathbf{v}=\sum_{i}a_i\mathbf{e}_i\in{V}について\\
\begin{aligned}
f(\mathbf{v})
&=f(a_1\mathbf{e}_1+a_2\mathbf{e}_2+\dots+a_k\mathbf{e}_k+\dots+a_n\mathbf{e}_n)\\
&=f(a_1\mathbf{e}_1+a_2\mathbf{e}_2+\dots+a_k\mathbf{e}_k)+f(a_{k+1}\mathbf{e}_{k+1}+\dots+a_{n}\mathbf{e}_n)\\
&=\mathbf{0}+f(a_{k+1}\mathbf{e}_{k+1}+\dots+a_{n}\mathbf{e}_n)\\
&=a_{k+1}f(\mathbf{e}_{k+1})+\dots+a_nf(\mathbf{e}_n)
\end{aligned}\\
よって、f(\mathbf{e}_{k+1}),\dots,f(\mathbf{e}_n)は\operatorname{im}{f}の基底であるから\\
\begin{aligned}
&\dim{\langle f(\mathbf{e}_{k+1}),\dots,f(\mathbf{e}_n)\rangle}=n-k\\
&\dim{\operatorname{im}{f}}=\dim{V}-\dim{\ker{f}}\\
&\dim{\ker{f}}+ \operatorname{rank}{f}=\dim{V}
\end{aligned}
\dim{\ker{f}}というのは零ベクトルになる次元の数、つまりなくなってしまう基底の数です。よって
（消える次元の数）＋（消えなかった次元の数）＝（元の次元）という当たり前のことを言っているだけです。
単射、全射、全単射
単射
写像f\colon V \rightarrow Wについて\\
\forall \mathbf{x}\in{V},\mathbf{x}'\in{V},\mathbf{x}\not ={\mathbf{x}'}\Rightarrow f(\mathbf{x})\not ={f(\mathbf{x}')}
変換元が違えば変換先も違うということです。
ここまでの話を踏まえると次が言えます。
単射 \Leftrightarrow \ker{f}=\{\mathbf{0}\}
例えば平面を直線に変換するとその直線のあるベクトルに対応する平面のベクトルが複数存在することが容易の想像できます。
全射
写像f\colon V \rightarrow Wについて\\
\forall{\mathbf{y}\in{W}},\exist{\mathbf{x}\in{V}},f(\mathbf{x})=\mathbf{y}
変換先の空間すべてを埋め尽くしているということです。
同値表現
全射\Leftrightarrow \dim{\operatorname{im}{f}}=\dim{W}
これは
線形空間Vの部分空間をWとすると、\\
\operatorname{dim}W\leq \operatorname{dim}V\\
たたし等号はW=Vのとき。
を思い出せば納得です。
全単射
変換先の空間を全て埋め尽くしており、対応が1:1になっているということです。
同型写像
線形写像f:V \rightarrow Wが全単射のとき、fを同型写像といい、\\
VとWが同型であるという。
同型というのは、本質的に構造が同じだということです。
また、次も成立します
線形空間V,Wが同型\Leftrightarrow{\dim{V}=\dim{W}}
Discussion