線形写像・像・核・階数 のバックアップの現在との差分(No.2)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[線形代数Ⅱ]]
[[前の単元 <<<>線形代数II/線形独立、基底及び次元]]
               [[線形代数II]]
               [[>>> 次の単元>線形代数II/基底の変換]]

* 目次 [#bd792c3c]

&katex();
#contents

* 写像 [#h358e130]

&math(f); が集合 &math(U); から集合  &math(U'); への写像であることを、
通常、関数 &math(f(x)); と言えば実数を実数に、あるいは複素数を複素数に''変換する規則''のことである。
例えば複素関数 &math(f(z)=3z+1); は「&math(z); を &math(3z+1); に変換する」という規則なので、
&math(f); によって複素数 &math(1+i); は &math(f(1+i));&math(=3(1+i)+1);&math(=4+3i); に変換される。

&math(f: U \to U'); 
この考え方を拡張して、ベクトルをベクトルに変換する関数を考えることができる。

と書く。
例えば2次元列ベクトルを3次元列ベクトルに変換する関数 

このような &math(f); は、
&math(U); の元それぞれに対して1つずつ、
&math(U'); の元を対応させる規則のことである
 &math(f(\bm x)=\begin{pmatrix}1&0\\0&1\\1&-1\end{pmatrix}\bm x+\begin{pmatrix}1\\2\\3\end{pmatrix});

> &math(\forall x\in U, f(x)\in U');
は、&math(\bm x=\begin{pmatrix}1\\2\end{pmatrix}); を、

「1つずつ」が重要
 &math(
f(\bm x)=\begin{pmatrix}1&0\\0&1\\1&-1\end{pmatrix}\begin{pmatrix}1\\2\end{pmatrix}+\begin{pmatrix}1\\2\\3\end{pmatrix}
=\begin{pmatrix}1\\2\\-1\end{pmatrix}+\begin{pmatrix}1\\2\\3\end{pmatrix}
=\begin{pmatrix}2\\4\\2\end{pmatrix}
);

+ 対応する元が &math(U'); の外に出てしまうようなら &math(U\to U'); の写像とは呼ばない~
&math(f(x)=1/x, f(0)\not\in \mathbb R);
+ 対応する元が2つ以上あれば写像とは呼ばない~
&math(f(x)=|x|^{1/2}, f(1)=\set{1,-1}\not\in \mathbb R);
+ 異なる元 &math(x_1,x_2\in U); に対して、同じ &math(x'\in U'); が対応するのは問題ない~
&math(f(x)=|x|, f(1)=f(-1)=1\in \mathbb R);
+ 対応する &math(U); の元がない &math(U'); の元が存在するのも問題ない~
&math(f(x)=|x|, \set{x|f(x)=-1}=\set{});
のように、&math(\begin{pmatrix}2\\4\\2\end{pmatrix}); に変換する。

** 線形写像 [#ibeddaa7]
この &math(f(\bm x)); は2次元列ベクトル空間から3次元列ベクトル空間への「写像」である。

一般に、「集合 &math(U); から &math(U'); への写像 &math(f(x)); 」と言えば、
ある集合 &math(U); の要素を別の集合 &math(U'); の要素に変換する規則のことである。
このことを、

 &math(f: U \to U'); 

と書く。このとき、

 &math(\forall \bm x\in U); に対して &math(f(\bm x)\in U');

となる。例えば &math(f(x)=1/x); は 0 を変換できないため &math(f:\mathbb R\to \mathbb R); ではない。

&math(f); が &math(\bm x); を &math(f(\bm x)); に変換する規則であることを指して、

 &math(f:\bm x\mapsto f(\bm x));

という書き方も良く行われる。

2つの矢印 &math(\to); と &math(\mapsto); との違いに注意せよ。

>例:~
~
先の例であれば &math(f:\mathbb{R}^2\to\mathbb{R}^3); であり、~
~
 &math(f: \bm x\mapsto \begin{pmatrix}1&0\\0&1\\1&-1\end{pmatrix}\bm x+\begin{pmatrix}1\\2\\3\end{pmatrix});~
~
と書ける。これを~
~
 &math(f: \begin{pmatrix}x\\y\end{pmatrix}\mapsto \begin{pmatrix}x+1\\y+2\\x-y+3\end{pmatrix});~
~
のように書くことも多い。~

>例:~
集合 &math(U, U'); は任意に取れるから、例えば &math(f:P^2[x]\to P^1[x]); を、~
~
 &math(\bm x\in P^2[x]); に対して &math(f(\bm x)=\frac{d}{dx}\bm x);~
~
と定義すれば、~
~
 &math(f:ax^2+bx+c\mapsto 2ax+b);~
~
である。
~
&math(P^1[x]\subset P^2[x]); なので、&math(f:P^2[x]\to P^2[x]); と捉えても問題ない。

* 線形写像 [#ibeddaa7]

&math(V,V'); を線形空間として、
&math(f:V\to V'); が次の条件を満たすとき、&math(f); は「線形である」と言うのであった。
&math(f:V\to V'); が次の条件を満たすとき、&math(f); は「線形である」と言う。

- &math(f(a\bm x+b\bm y)=af(\bm x)+bf(\bm y));
- &math(\forall\bm x,\bm y\in V);, &math(\forall a,b\in K); に対して、~
&math(f(a\bm x+b\bm y)=af(\bm x)+bf(\bm y));

すなわち、写像がベクトル和やスカラー倍に対して透過的であると言うこと。
すなわち、線形写像ではベクトル和やスカラー倍を行ってから &math(f); で変換しても、
&math(f); で変換してからベクトル和やスカラー倍を行っても、同じ結果が得られる。
この性質を、線形写像はベクトル和やスカラー倍に対して透過的である、などともいう。

あるいは、&math(T:V\to V'); として、
>演習:~
(1) 実数関数 &math(f(x)=3x); は線形か? → つまり、&math(f(ax+by)); と &math(af(x)+bf(y)); は常に等しいか?~
(2) 実数関数 &math(f(x)=3x+1); は線形か?~
(3) 実数関数 &math(f(x)=x^2); は線形か?~
(4) &math(A); が &math(n\times m); 実行列であれば、&math(f(\bm x)=A\bm x); は &math(f:\mathbb{R}^m\to\mathbb{R}^n); の写像となる。この写像は線形か?

線形の条件は、&math(T:V\to V'); として、

- &math(T(\bm x+\bm y)=T\bm x+T\bm y);
- &math(T(c\bm x)=cT\bm x);

のように括弧を省略して書くこともよく行われる。
と書いても同値である。

注)~
左辺の和やスカラー倍が &math(V); で定義された演算であるのに対して、~
右辺の和やスカラー倍は &math(V'); で定義された演算であることに注意せよ。~
(すなわち &math(V); と &math(V'); は同じスカラーの上に定義されている必要がある)
線形写像を大文字のアルファベットで表わすとき、
写像の括弧を省略して行列 &math(T); とのかけ算のように書くこともよく行われる。

例:~
&math(V=\{xの3次以下の多項式\});、&math(V'=\{xの2次以下の多項式\}); として、
&math(T:V\to V'); を
このとき、
- &math(T(\bm x+\bm y)=T\bm x+T\bm y);  分配法則が成り立つ
- &math(T(c\bm x)=cT\bm x); スカラー倍との交換法則が成り立つ
- &math(AB\bm x\ne BA\bm x); 線形写像同士の交換はできない

&math(T\bm x\equiv\frac{d}{dx} \bm x);
つまり数ベクトルと行列との掛け算と同じ扱いができる。

>例:~
先のように &math(\bm x\in P^2[x]); に対して &math(T\bm x\equiv\frac{d}{dx} \bm x); 
と定義すれば、これは線形写像になる。~
(関数線形空間に対して微分や積分を線形写像と考えるのはこれから非常に良く出てくる考え方)
~
&math(
\because T(a\bm x+b\bm y)=\frac{d}{dx}(a\bm x+b\bm y)=a\frac{d}{dx}\bm x+b\frac{d}{dx}\bm y=aT\bm x+bT\bm y
);~

このため &math(T(\bm x)); だけでなく &math(Tx); という書き方も良くする。
微分や積分は 典型的な線形写像 として以後頻出する

&math(T\bm x); のように括弧を省略する書き方は &math(\frac{d}{dx} \bm x); 
のような書き方と対応している。
こういう場合、&math(T); を 「線形演算子」とも呼ぶ。

>例:~
2次以下の &math(x); の多項式の集合を &math(P^2[x]); として、&math(T:P^2[x]\to P^2[x]); を~
~
&math(T:f(x)\mapsto f(x+1)); ただし &math(f(x)\in P^2[x]);~
~
と定義すれば、これは線形写像になる。~
~
&math(\because T(af(x)+bg(x))=af(x+1)+bg(x+1)=aTf(x)+bTg(x));~

例:~
上の、&math(ax^2+bx+c\in V\to (a,b,c)\in \mathbb R^3); も線形写像になっている。
多項式と数ベクトル表現との間の変換、例えば

*** 練習 [#j3e80a73]
- &math(T:P^2[x]\to \mathbb R^3); ただし &math(T:ax^2+bx+c\mapsto \begin{pmatrix}a\\b\\c\end{pmatrix});
- &math(T':\mathbb R^3\to P^2[x]); ただし &math(T':\begin{pmatrix}a\\b\\c\end{pmatrix}\mapsto ax^2+bx+c);

もそれぞれ線形写像になる。

** 練習 [#j3e80a73]

問:&math(T); が線形写像であれば、&math(T(\bm 0)=\bm 0); となることを示せ。

答:&math(T(\bm 0)=T(0\bm 0)=0T(\bm 0)=\bm 0);

(最後の部分で、任意の &math(\bm x); について &math(0\bm x=\bm 0); となることを使った)

** 1対1写像(単写) [#f9291c06]
** 線形代数という学問について [#d286c4ae]

&math(T(ax^2+bx+c)=(a,b,0)); も &math(V\rightarrow\mathbb R^3); の線形写像である、
が、&math(T(ax^2+bx+c)=T(ax^2+bx+c')=(a,b,0)); となる。
線形写像 $f:V\to V'$ とは「ベクトルの和とスカラー倍に対して透過的な写像である」と上で説明した。

このように、一般の写像では異なるベクトルが同じ値に移される場合がある。
この説明が意味を持つためには「$V$ と $V'$ とにそれぞれ和とスカラー倍が定義されている必要がある」のは当然であるが重要でもある。

ここまででピンと来た人は感が良い。

和とスカラー倍が定義された集合に「ベクトル空間」あるいは「線形空間」と名前を付け、
それらの要素をベクトルと呼び、その性質を学ぶ線形代数という学問は、
実は線形写像について議論するための学問であったのだ。

線形写像について議論できるギリギリの性質だけを残して他をそぎ落とした公理こそがベクトル空間の公理であることを理解してほしい。

* 像 $\text{Im}\,T$ [#n43982dd]

写像 &math(T:V\to V'); の「像」は、~
>&math(\Image T\equiv\set{\bm x'\in V'|\exists \bm x\in V, \bm x'=T\bm x});

として定義される。&katex();

上の式は「ある &math(\bm x\in V); に対して &math(\bm x'=T\bm x); が成り立つような
&math(V'); の元 &math(\bm x'); を集めた集合が &math(\Image T); である」 と読めて、その意味は
「任意の $\bm x'\in\mathrm{Im}\,T\subset V'$ には、そこに移ってくる元 &math(\bm x\in V); が存在して、
&math(T\bm x=\bm x'); が成り立つ」ということ。

像は &math(T(V)); とも書かれる。当然、&math(\Image T\subset V'); である。

高校で関数について定義域、値域を考えたが、その値域にあたる。

&attachref(image.png,,33%);

** 線形写像の像は線形空間となる [#vbbe7187]

線形空間の部分集合が部分空間となることを示すには、
その集合が演算に対して閉じていることを確かめればよかった。

&math(\forall\bm x',\forall\bm y'\in \Image T); に対して、
&math(\bm x'=T\bm x, \bm y'=T\bm y); となるような &math(\bm x,\bm y\in V); が存在するから、

&math(
a\bm x'+b\bm y'&=aT\bm x+bT\bm y\\
&=T(a\bm x+b\bm y)\in \Image T
);

すなわち
&math(\forall\bm x',\forall\bm y'\in \Image T\Rightarrow a\bm x'+b\bm y'\in \Image T); であり、
&math(\Image T\subset V'); はベクトル和とスカラー倍について閉じている。

したがって、&math(\Image T); は $V'$ の部分空間となる。

** 階数 [#oe674987]

ある線形写像 &math(T:V\to V'); の「階数」は、~
>&math(\rank T\equiv\dim (\Image T));

として定義される。すなわち像の次元。

行列の階数との関係は後述する。

例:

&math(f:\mathbb R\to\mathbb R^2); が &math(f:a\mapsto\begin{pmatrix}2a\\-a\end{pmatrix}); ならば、&math(\Image f=\Big[\begin{pmatrix}2\\-1\end{pmatrix}\Big]); であり、&math(\rank f=1); である。

&math(f:\mathbb R^2\to\mathbb R^2); が &math(f:\begin{pmatrix}x\\y\end{pmatrix}\mapsto\begin{pmatrix}x\\0\end{pmatrix}); ならば、&math(\Image f=\Big[\begin{pmatrix}1\\0\end{pmatrix}\Big]); であり、&math(\rank f=1); である。

性質:

&math(T: V\to V'); のとき、

&math(\dim (\Image T)\le \dim V);

&math(\dim (\Image T)\le \dim V');

となる。

解説:

前者は、&math(\dim V); の任意の基底 &math(\bm b_1,\bm b_2,\dots,\bm b_n); に対して
&math(T\bm b_1,T\bm b_2,\dots,T\bm b_n); が &math(\Image T); を張ることと、
&math((次元)=(基底の数)=(線形独立なベクトルの数)<(生成元の数)); であることから証明される。

後者は &math(\Image T); が &math(V'); の部分空間であることから自明。

* 全射(上への写像) [#u804c5ca]

写像 &math(T:V\to V'); が &math(\Image T=V'); を満たすとき、上への写像あるいは全射であるという。
(教科書の「全写」は間違い)

これは、任意の &math(\bm x'\in V'); に対して、
そこに移ってくる &math(\bm x\in V, T\bm x=\bm x'); を必ず見つけられること、
と同義である。

&attachref(上への写像.png,,33%);

例えば、&math(T:a\mapsto\begin{pmatrix}2a\\-a\end{pmatrix}); は 
&math(T:\mathbb R\to\mathbb R^2); なら全射ではないが、~
&math(T:\mathbb R\to\Big[\begin{pmatrix}2\\-1\end{pmatrix}\Big]); なら全射である。
(矢印の右側の大括弧 [ ] はベクトルが張る空間を表わす記号だった)

* 単射(1対1写像) [#f9291c06]

一般の写像では異なるベクトルが同じ値に移される場合があるが、
&math(\bm x\ne \bm y); であれば必ず &math(T(\bm x)\ne T(\bm y)); であるとき、
&math(T); は1対1写像である、あるいは、単写である、と言う。
つまり異なるベクトルが同じベクトルへ移されることがないとき、
&math(T); は単射である、あるいは、1対1写像である、という。

&attachref(線形代数Ⅱ/線形独立、基底及び次元/写像.png,,50%);
&attachref(写像.png,,33%);

1対1という言葉の意味:1対nはそもそも写像にならない。n対1になっていないことを示している。
- &math(V); と &math(\Image T); との間に1対1対応を生む
- &math(V); と &math(V'); との間の1対1ではないことに注意せよ

** 上への写像(全写) [#u804c5ca]
* 全単射(上への1対1写像) [#x5e3aeb2]

任意の &math(v'\in V'); に対して、そこに移ってくる &math(V); の元を見つけられる時、
上への写像、あるいは、全写であるという。
単射かつ全射であることをいう。

例えば、&math(T(ax^2+bx+c)=(a,b,c)); は &math(V\rightarrow\mathbb R^3); への全写であるが、~
&math(T(ax^2+bx+c)=(0,a,b,c)); は &math(V\rightarrow\mathbb R^4); への全写ではない。
&math(V'); の元の1つ1つに &math(V); の元が1つ1つ対応することになる。

「上へ」というのは、&math(T); により &math(V); 全体を移したときにできる「像」
(しばしば &math(T(V)=\set{T(\bm v)\in V'|\bm v\in V}); と書かれる) が、
&math(V'); の真上に、全体を覆い尽くすように被さるため。
このときに限り、「逆写像 &math(T^{-1}:V'\to V);」が定義できる。

&attachref(線形代数Ⅱ/線形独立、基底及び次元/上への写像.png,,50%);
&math(T^{-1}:T(\bm x)\mapsto\bm x);

** 上への1対1写像(全単写) [#x5e3aeb2]
- 全単射でないと逆写像は定義できないことに注意せよ
-- 1対1でないと、ある &math(v'\in V'); に複数の &math(v\in V); が対応してしまう
-- 上への写像でないと、ある &math(v'\in V'); に対応する &math(v\in V); が存在しない場合がある
- 逆写像も全単射になり、逆写像の逆写像は元の写像である &math(\big(T^{-1}\big)^{-1}=T);

単写かつ全写であることを言う。
* 全射、単射、全単射のわかりやすい図解 [#c1b416bb]

このときに限り、「逆写像 &math(T^{-1});」が定義できる。
https://twitter.com/taketo1024/status/899084595630489601

- 1対1でないと、ある &math(v'\in V'); に複数の &math(v\in V); が対応してしまう
- 上への写像でないと、ある &math(v'\in V'); に対応する &math(v\in V); が存在しない場合がある
#twitter(899084595630489601);

*** 練習 [#cdc16e96]

問:線形写像の逆写像 &math(T^{-1}); は線形写像であることを示せ
** 練習 [#cdc16e96]

答:
&math(\bm X=T(\bm x), \bm Y=T(\bm Y)); とすると、
&math(\bm x=T^{-1}(\bm X),\bm y=T^{-1}(\bm Y));
問:~
線形写像の逆写像 &math(T^{-1}); は線形写像であることを示せ

答:~
&math(\bm x'=T(\bm x), \bm y'=T(\bm y)); とすると、
&math(\bm x=T^{-1}(\bm x'),\bm y=T^{-1}(\bm y'));

一方、

&math(T(\bm x+\bm y)=T(\bm x)+T(\bm y)=X+Y); 
&math(T(a\bm x+b\bm y)=aT(\bm x)+bT(\bm y)=a\bm x'+b\bm y'); 

の両辺に &math(T^{-1}); を作用させると

&math(\bm x+\bm y=T^{-1}(X)+T^{-1}(Y)=T^{-1}(X+Y)); 
&math(a\bm x+b\bm y=T^{-1}(a\bm x'+b\bm y')); 

また、
この左辺は &math(aT^{-1}(\bm x')+bT^{-1}(\bm y')); と等しいことから、
&math(T^{-1}); が線形であることが示される。

&math(T(k\bm x)=kT(\bm x)=kX); 
* &ruby(どうけい){同型}; [#j11499b9]

の両辺に &math(T^{-1}); を作用させると
2つの線形空間 &math(V); と &math(V'); の間に ''全単射の線形写像'' &math(T); を定義できるとき、
&math(V); と &math(V'); は同型であるといい、&math(V\simeq V'); と書く。

&math(k\bm x=kT^{-1}(X)=T^{-1}(kX)); 
このとき、&math(T); を同型写像と呼ぶ。

となって、 &math(T^{-1}); が線形であることが示された。
注)同型である2つの線形空間の間には無数の異なる同型写像を定義可能であるが、
1つでも同型写像を定義できれば同型と呼ぶ。

** 同型 [#j11499b9]

&math(V); と &math(V'); との間に上への1対1写像 &math(T); が存在する時、
&math(V); と &math(V'); は同型であるといい、~
&math(V\simeq V'); と書く。
同型の空間は非常に似た構造を持つ。

またこのとき、&math(T); を同型写像と呼ぶ。
- &math(\bm a+\bm b=\bm c); なら &math(T(\bm a)+T(\bm b)=T(\bm c));
- &math(k\bm a=\bm b); なら &math(kT(\bm a)=T(\bm b));
- &math(\bm b_1,\dots,\bm b_n); が &math(V); の基底なら、~
&math(T(\bm b_1),\dots,T(\bm b_n)); は &math(V'); の基底となる
- などなど、&math(V); 上の演算はそのまま &math(V'); 上でも(対応する)同じ結果を生む

これは上で述べた2つの写像が「似ている」ことを数学的に表わした物。~
同型写像によって、2つの空間はすべて1対1に対応することになる。
特に、すべての &math(K); 上の &math(n); 次元ベクトル空間は &math(K^n);
に同型であるため、1年生でやった &math(n); 次元数ベクトル空間は、
任意の(有限次元の)線形空間を理解するための基礎となる。

&math(T(ax^2+bx+c)=(a,c,b)); とか、~
&math(T(ax^2+bx+c)=(a+b,a-b,c)); とかも同型写像になる。
∵ 特定の基底に対して &math(V); の元から数ベクトル表現への写像を定義すればそれが同型写像となる。

すなわち同型である2つの線形空間の間の同型写像は一意には決まらないことに注意が必要。
** 同値関係 [#wbf24771]

線形空間の「同型」は同値関係の公理を満たす。すなわち、

+ &math(V\simeq V);   : 反射律
+ &math(V\simeq V'\to V'\simeq V); : 対称律
+ &math(V\simeq V' \wedge V'\simeq V''\to V\simeq V''); : 推移律
+ &math(V\simeq V);   : 反射律 (恒等写像による同型)
+ &math(V\simeq V'\to V'\simeq V); : 対称律 (逆写像による同型)
+ &math(V\simeq V' \wedge V'\simeq V''\to V\simeq V''); : 推移律 (合成写像による同型)

同型の線形空間は構造が似ているため、一方を調べればもう一方のことが分かる。~
特に、あるベクトル空間 &math(V); は &math(n=\dim V); として、
必ず &math(\mathbb R^n); に同型であるため、1年生でやった数ベクトル空間が、
任意の線形空間を理解するための基礎となる。
** 一方を調べればもう一方が分かる例 [#f06ed7b5]

** 例 [#f06ed7b5]
&math(V\to V'); の同型写像を &math(T(\bm x)); とすると、

&math(V\to V'); の同型写像を &math(T(\bm x)); とする。

&math(\bm a, \bm b, \bm c\in V); が線形独立であれば、~
&math(T(\bm a), T(\bm b), T(\bm c\in V'); も線形独立である。~
&math(T(\bm a), T(\bm b), T(\bm c)\in V'); も線形独立である。~

対偶を証明する。
対偶を証明する。証明するのは、~
「&math(T(\bm a), T(\bm b), T(\bm c)\in V'); が線形従属ならば、~
&math(\bm a, \bm b, \bm c\in V); も線形従属である。」

もし &math(T(\bm a), T(\bm b), T(\bm c)\in V'); が線形独立でなければ、
&math(T(\bm a), T(\bm b), T(\bm c)\in V'); は従属なので、
すべてがゼロではない3つのスカラー &math(\alpha,\beta,\gamma); に対して

&math(\alpha T(\bm a)+\beta T(\bm b)+\gamma T(\bm c)=\bm 0);

が成立する。&math(T); は線形なので、

&math((左辺)=T(\alpha \bm a+\beta \bm b+\gamma \bm c)=\bm 0);

ここで両辺に &math(T^{-1}); を掛けると、&math(T^{-1}(\bm 0)=\bm 0); より、

&math(\alpha \bm a+\beta \bm b+\gamma \bm c=\bm 0);

&math(\alpha,\beta,\gamma); はすべてがゼロではないから、
&math(\bm a, \bm b, \bm c); は線形独立ではない。
&math(\bm a, \bm b, \bm c); は線形従属。

** 同型写像の階数 [#p5b10b5d]

同型写像 &math(f:V\to V'); の階数は

 &math(\rank f=\dim(V)=\dim(V'));

である。
* &ruby(かく){核}; $\text{Ker}\,T$ [#naf8d1e7]

線形写像 &math(T:V\to V'); の核 (Kernel):

&math(\Kernel T\equiv\set{\bm x\in V|T\bm x=\bm 0'});

「&math(T); でゼロベクトルに移されるベクトルの集合」のこと。
** 核はゼロを含む [#ve5a77e3]

&math(\because T\bm 0=\bm 0');

** 核は線形空間となる [#c0b617ac]

&math(\forall\bm x,\forall\bm y\in \Kernel T); に対して、

&math(
T(a\bm x+b\bm y)=aT\bm x+bT\bm y=a\bm 0'+b\bm 0'=\bm 0'+\bm 0'=\bm 0'
);

より、&math(a\bm x+b\bm y\in \Kernel T); となる。

すなわち、&math(\Kernel T\in V); はベクトル和とスカラー倍に対して閉じており、
部分空間となる。

** 1対1写像の条件 [#ua8a6434]

&math(\Kernel T=\set{\bm 0}); は、&math(T); が1対1写像であるための必要十分条件となる。

*** 証明 [#bafcd9e6]

「&math(\Kernel T=\set{\bm 0});」 を &math(A);、「&math(T); が1対1写像」を &math(B); として、

■必要であること (&math(B\to A);) の対偶 (&math(\neg A\to\neg B);) を証明:~
線形写像なら必ず &math(\bm 0\in \Kernel T); だから、&math(\Kernel T\ne \set{\bm 0}); 
ということはつまり &math(\bm d\in \Kernel T); ただし &math(\bm d\ne\bm 0); となる &math(\bm d); が存在するということになる。

&math(\bm d\ne \bm 0); にもかかわらず &math(T\bm d=T\bm 0=\bm 0'); より、
複数の元が &math(\bm 0); に移る。すなわち1対1写像ではない。

■十分であること (&math(A\to B);) の対偶 (&math(\neg B\to\neg A);) を証明:~
&math(\bm x\ne \bm y); かつ &math(T\bm x=T\bm y); ならば &math(T(\bm x-\bm y)=\bm 0'); より
&math(\bm x-\bm y\in \Kernel T); かつ &math(\bm x-\bm y\ne \bm 0); となって、&math(\Kernel T\ne\set{\bm 0});

* 次元定理 [#pcd7ea8a]

上記をまとめると下図のようになる。

&attachref(次元定理.png,,33%);

+ &math(\Kernel T); は &math(V); の、&math(\Image T); は &math(V'); の、部分空間である
+ &math(\Kernel T); に含まれる元は &math(\bm 0'); に移る
+ &math(V-\Kernel T); に含まれる元は &math(\Image T-\set{\bm 0}); に移る

線形写像の次元定理とは、次の関係のことである。~
(イメージ的には上の 3. そのまま)

&math(\rank T=\dim(\Image T)=\dim V-\dim(\Kernel T));


略証明:

&math(\Kernel T); の基底を &math(\bm a_1,\bm a_2,\dots,\bm a_n); として(つまり、&math(n=\dim(\Kernel T));) 、
これにいくつかベクトルを加えた &math(\bm a_1,\bm a_2,\dots,\bm a_{\dim V}); 
が &math(V); の基底となるようにできる。(本当は証明が必要)

&math(\bm a_1,\bm a_2,\dots,\bm a_n); は &math(T); によってすべて &math(\bm 0); 
に移る一方、&math(\bm a_{n+1},\bm a_{n+2},\dots,\bm a_{\dim V}); は
&math(\Image T); に移り、&math(T(\bm a_{n+1}),T(\bm a_{n+2}),\dots,T(\bm a_{\dim V})); は 
&math(\Image T); の基底を為す。

すなわち、

&math(\dim(\Image T)=\rank T=\dim V-n=\dim V-\underbrace{\dim(\Kernel T)}_{退化次数});

** 退化次数 [#obe2a00d]

もともと &math(\dim V); の次元を持つ線形空間が、
&math(T); で移されることにより &math(\dim(\Kernel T)); だけ次元が減ってしまうため、
&math(\dim (\Kernel T)); を退化次数と呼ぶ。

** 練習 [#v63fd410]

&math(T:\mathbb R^3\to\mathbb R^4);

&math(
\bm x'=\begin{pmatrix}x'\\y'\\z'\\w'\end{pmatrix}=T\bm x=\begin{pmatrix}3&0&0\\0&1&0\\0&0&0\\0&1&0\end{pmatrix}
\begin{pmatrix}x\\y\\z\end{pmatrix}
); 

&math(\mathbb R^3=
\Bigg[\begin{pmatrix}1\\0\\0\end{pmatrix},\begin{pmatrix}0\\1\\0\end{pmatrix},\begin{pmatrix}0\\0\\1\end{pmatrix}\Bigg]=
\Bigg[\begin{pmatrix}1\\1\\0\end{pmatrix},\begin{pmatrix}1\\1\\1\end{pmatrix},\begin{pmatrix}1\\-1\\0\end{pmatrix}\Bigg]=
\Bigg[\begin{pmatrix}1\\1\\0\end{pmatrix},\begin{pmatrix}1\\1\\1\end{pmatrix},\begin{pmatrix}1\\-1\\0\end{pmatrix},\begin{pmatrix}3\\2\\1\end{pmatrix}\Bigg]
);

&math(\dim \mathbb R^3=3);

&math(\dim \mathbb R^4=4);

&math(\Image T
=\Bigg[
\begin{pmatrix}3\\0\\0\\0\end{pmatrix},
\begin{pmatrix}0\\1\\0\\1\end{pmatrix},
\begin{pmatrix}0\\0\\0\\0\end{pmatrix}
\Bigg]
=\Bigg[
\begin{pmatrix}3\\0\\0\\0\end{pmatrix},
\begin{pmatrix}0\\1\\0\\1\end{pmatrix}
\Bigg]);

&math(\dim(\Image T)=2);

&math(\Kernel T
=\Bigg[
\begin{pmatrix}0\\0\\1\end{pmatrix}
\Bigg]);

&math(\dim(\Kernel T)=1);

&math(\underbrace{\dim \mathbb R^3\phantom)\!\!}_3=\underbrace{\dim(\Image T)}_2+\underbrace{\dim(\Kernel T)}_1);

** 行列による線形写像の階数 [#vd4b4e79]

上で見たように、&math(T:\bm x\mapsto A\bm x); の時、

&math(\Image T=\Big[ \bm a_1,\bm a_2,\bigg.\dots,\bm a_m \Big]);

(右辺は &math(\{\bm a_i\}); が張る空間)であるから、&math(\rank T=\dim (\Image T)); は &math(A); の列ベクトルが張る空間の次元となる。

そしてこれは次に見るとおり &math(\rank A); に等しい。

すなわち &math(\rank T=\rank A);

*** 略証明 [#i139dc25]

まず任意の行列 &math(A); は、ある正則行列 &math(P); により階段化可能であり、
その「段数」が &math(\rank A); であった。

&math(
PA=\left[\begin{array}{c@{\,}c@{\,}ccc@{\,}c@{\,}ccc@{\,}c@{\,}cccccc@{\,}c@{\,}c}0&\cdots&0&1&*&\cdots&*&0&*&\cdots&*&0&*&{\ \ \ \ \ \ \ \ \ \ \ }&0&*&\cdots&*\\\vdots&&\vdots&0&0&\cdots&0&1&*&\cdots&*&0&*&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&0&0&\cdots&0&1&*&\cdots&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&0&0&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&0&\vdots&&\vdots\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&1&*&\cdots&*\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&\cdots&0&0&\cdots&0\\\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&\vdots&&\vdots&\vdots&&\vdots\\0&\cdots&0&0&0&\cdots&0&0&0&\cdots&0&0&0&&0&0&\cdots&0\\\end{array}\right]\ 
\begin{split}\left\}\phantom{\begin{matrix}\\ \\ \\ \\ \\ \\ \\\\\end{matrix}}\ \rank A\right .\\\begin{matrix}\\ \\ \\\end{matrix}\end{split}
);

階段形から、&math(PA); の列ベクトルが張る空間の次元が &math(\rank A); に等しいことはすぐに分かる。

すなわち &math(T':\bm x\mapsto PA\bm x); に対して &math(\rank T'=\dim (\Image T')=\rank A);

さらに、&math(P); は、&math(\Image T); と &math(\Image T'); との間の同型写像を定義する。
(&math(P^{-1}); を掛けるのが逆写像)

同型な空間の次元は等しいため、&math(\dim\Image T=\dim\Image T'=\rank A);

すなわち、&math(\rank T=\rank A);

* 練習問題 [#k170f192]

&math(\mathbb R^4); から &math(\mathbb R^3); への線形写像を &math(f(\bm x)=A\bm x); として定義する。
(&math(f:\bm x\mapsto A\bm x);)。&math(A); として次のものが与えられたとして、以下の問いに答えよ。

 &math(
A=\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
);

(1) 行列 &math(A); の階数を求めよ

(2) &math(f); の核の基底を1組定め、核の次元を答えよ。

(3) &math(f); の像の基底を1組定め、像の次元(&math(f); の階数)を答えよ。

(4) &math(f); で変換すると (3) で求めた基底のベクトルと重なるベクトルをそれぞれ1つずつ求めよ。

(5) (2) で求めた基底ベクトルと、(4) で求めたベクトルとを合わせると元の空間 
&math(\mathbb R^4); の基底となることを確認せよ。

** 解答例と解説 [#a7f382fb]

***(1) [#l42a8444]

行列の階数を求めるにはガウスの消去法(掃出し法)を適用して階段行列化した際の非ゼロな行数を数えれば良いのであった。

&math(
&\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}\\
&\sim\begin{pmatrix}
 1& 0& 2& 1\\
 2& 1& 3& 1\\
 2& 3& 1&-1\\
\end{pmatrix}\begin{array}{l}
\leftarrow-\bm r_3\\
\\
\leftarrow\bm r_1
\end{array}\\
&\sim\begin{pmatrix}
 1& 0& 2& 1\\
 0& 1&-1&-1\\
 0& 3&-3&-3\\
\end{pmatrix}\begin{array}{l}
\\
\leftarrow\bm r_2-2\bm r_1\\
\leftarrow\bm r_3-2\bm r_1
\end{array}\\
&\sim\begin{pmatrix}
 1& 0& 2& 1\\
 0& 1&-1&-1\\
 0& 0& 0& 0\\
\end{pmatrix}\begin{array}{l}
\\ \\ \leftarrow\bm r_3-3\bm r_2
\end{array}\\
);

したがって、&math(\mathrm{rank}\,A=2);

1年生では習っていない場合もあるかもしれないが、実は階数を求めるには行ではなく列方向に掃き出してゼロでない列数を数えてもよい(同じ値になる)ことを証明できる。ここでも念のため等しい値になることを確かめておく。

&math(
&\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
\sim\begin{pmatrix}
-1 & 3& 1& 2\\
 1 & 1& 3& 2\\
-1 & 0&-2&-1\\
\end{pmatrix}
\sim\begin{pmatrix}
 1 & 0& 0& 0\\
-1 & 4& 4& 4\\
 1 & -3&-3&-3\\
\end{pmatrix}
\sim\begin{pmatrix}
 1 & 0& 0& 0\\
-1 & 1& 0& 0\\
 1 & -3/4& 0& 0\\
\end{pmatrix}
);

確かに非ゼロ列は2列になる。これは &math(\mathrm{rank}\,A); 
が &math(A); の列ベクトルに含まれる一次独立なベクトルの本数に等しい。

***(2) [#r79c1aca]

&math(f); の核は &math(f); で変換するとゼロになるベクトルの集合であるから、

 &math(f\bm x=\bm 0);

つまり

 &math(
&\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
\begin{pmatrix}
x\\y\\z
\end{pmatrix}
=\begin{pmatrix}
0\\0\\0
\end{pmatrix}
);

を解けば良い。(1) の途中結果を使いつつ拡大係数行列を変形して、

 &math(
\begin{pmatrix}
 2& 3& 1&-1&0\\
 2& 1& 3& 1&0\\
-1& 0&-2&-1&0\\
\end{pmatrix}
&\sim\begin{pmatrix}
 1& 0& 2& 1&0\\
 0& 1&-1&-1&0\\
 0& 0& 0& 0&0\\
\end{pmatrix}
);

これは、

 &math(
\begin{cases}
 x\phantom{+y}+2z+w=0\\
 \phantom{x+}y-\phantom{2}z-w=0\\
 \phantom{x+y+0z+}\ 0=0\\
 \phantom{x+y+0z+}\ 0=0\\
\end{cases}
);

を意味するので、掃出しを行えなかった列に相当する &math(z,w); をパラメータ &math(s,t); で置き換えて、

 &math(
\begin{cases}
 x=-2s-t\\
 y=s+t\\
 z=s\\
 w=t\\
\end{cases}\\
);

あるいは、

 &math(
\bm x=s\begin{pmatrix}-2\\1\\1\\0\end{pmatrix}
     +t\begin{pmatrix}-1\\1\\0\\1\end{pmatrix}
);

この2つのベクトルは核を張り、しかも1次独立であるため、核の基底となる。

 &math(
\Bigg\{
\begin{pmatrix}-2\\1\\1\\0\end{pmatrix},\ 
\begin{pmatrix}-1\\1\\0\\1\end{pmatrix}
\Bigg\}
);

核の次元は基底を構成するベクトルの数であるから、

 &math(\mathrm{dim}\,\big(\mathrm{Ker}\,f\big)=2);

上記より、以下のように次元定理を理解できる。

 &math(
(核の次元)&=(A\bm x=\bm 0 の解に含まれるパラメータの数)\\
&=(掃出しの行えなかった列の数)\\
&=(Aの列数)-(掃出しを行えた列の数)\\
&=(元の空間の次元)-(\mathrm{rank}\,A)\\
&=(元の空間の次元)-(像の次元)\\
);

***(3) [#n5c1c6c9]

(1) の後半の結果を利用して、

 &math(
A\bm x &=
\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
\begin{pmatrix}x\\y\\z\\w\end{pmatrix}\\
&=x\begin{pmatrix}2\\2\\-1\end{pmatrix}
+y\begin{pmatrix}3\\1\\0\end{pmatrix}
+z\begin{pmatrix}1\\3\\-2\end{pmatrix}
+w\begin{pmatrix}-1\\1\\-1\end{pmatrix}\\
&=x\Bigg\{2\begin{pmatrix}1\\-1\\1\end{pmatrix}+\begin{pmatrix}0\\4\\-3\end{pmatrix}\Bigg\}
+y\Bigg\{3\begin{pmatrix}1\\-1\\1\end{pmatrix}+\begin{pmatrix}0\\4\\-3\end{pmatrix}\Bigg\}
+z\Bigg\{\begin{pmatrix}1\\-1\\1\end{pmatrix}+\begin{pmatrix}0\\4\\-3\end{pmatrix}\Bigg\}
-w\begin{pmatrix}1\\-1\\1\end{pmatrix}\\
&=
(2x+3y+z-w)\begin{pmatrix}1\\-1\\1\end{pmatrix}+(x+y+z)\begin{pmatrix}0\\4\\-3\end{pmatrix}
);

したがって、&math(f); の像はこれら2つのベクトルで張られ、しかもこれらは一次独立であるから、

 &math(\Bigg\{
\begin{pmatrix}1\\-1\\1\end{pmatrix},\ \ \begin{pmatrix}0\\4\\-3\end{pmatrix}
\Bigg\}
);

が像の基底となる。

 &math(\mathrm{dim}\big(\mathrm{Image}\,f\big)=\mathrm{rank}\,f=2);

***(4) [#k1b3bfab]

 &math(
A\bm x=\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
\begin{pmatrix}x\\y\\z\\w\end{pmatrix}=
\begin{pmatrix}1\\-1\\1\end{pmatrix}
);

を満たすのは例えば &math(\begin{pmatrix}0\\0\\0\\-1\end{pmatrix});

 &math(
A\bm x=\begin{pmatrix}
 2& 3& 1&-1\\
 2& 1& 3& 1\\
-1& 0&-2&-1\\
\end{pmatrix}
\begin{pmatrix}x\\y\\z\\w\end{pmatrix}=
\begin{pmatrix}0\\4\\-3\end{pmatrix}
);

を満たすのは例えば &math(\begin{pmatrix}0\\0\\1\\1\end{pmatrix});

***(5) [#t73fb053]

 &math(
\begin{pmatrix}x\\y\\z\\w\end{pmatrix}&=
x'\begin{pmatrix}-2\\1\\1\\0\end{pmatrix}+
y'\begin{pmatrix}-1\\1\\0\\1\end{pmatrix}+
z'\begin{pmatrix}0\\0\\0\\-1\end{pmatrix}+
w'\begin{pmatrix}0\\0\\1\\1\end{pmatrix}\\
&=\begin{pmatrix}
-2&-1&0&0\\
1&1&0&0\\
1&0&0&1\\
0&1&-1&1
\end{pmatrix}
\underbrace{\begin{pmatrix}x'\\y'\\z'\\w'\end{pmatrix}}_{\bm x'}\\
);

ここで、

 &math(
&\begin{vmatrix}
-2&-1&0&0\ \\
1&1&0&0\ \\
1&0&0&1\ \\
0&1&-1&1\ 
\end{vmatrix}
=-\begin{vmatrix}
-2&-1&\red{0}&0\ \\
1&1&\red{0}&0\ \\
1&0&\red{0}&1\ \\
0&1&\red{1}&1\ 
\end{vmatrix}
=-\begin{vmatrix}
-2&-1&0&0\ \\
1&1&0&0\ \\
1&0&0&1\ \\
0&\red{0}&1&\red{0}\ 
\end{vmatrix}
=-\begin{vmatrix}
-2&-1&0&0\ \\
1&1&0&0\ \\
\red{0}&0&0&1\ \\
0&0&1&0\ 
\end{vmatrix}
=\begin{vmatrix}
-2&-1&0&0\ \\
1&1&0&0\ \\
\red{0}&\red{0}&\red{1}&\red{0}\ \\
\red{0}&\red{0}&\red{0}&\red{1}\ \\
\end{vmatrix}\\
&=\begin{vmatrix}
-2&-1\ \\
1&1\ \\
\end{vmatrix}
=-2+1=-1\ne 0
);

よりこの行列は正則。すなわち &math(\bm x); と &math(\bm x'); は1対1に対応し、
これら4本のベクトルが元の空間 &math(\mathbb R^4); を張ることが分かる。

このように &math(\bm x); を &math(x',y',z',w'); で表すと、&math(A\bm x); は

 &math(
A\begin{pmatrix}x\\y\\z\\w\end{pmatrix}&=
x'A\begin{pmatrix}-2\\1\\1\\0\end{pmatrix}+
y'A\begin{pmatrix}-1\\1\\0\\1\end{pmatrix}+
z'A\begin{pmatrix}0\\0\\0\\-1\end{pmatrix}+
w'A\begin{pmatrix}0\\0\\1\\1\end{pmatrix}\\
&=\hspace{52mm}
z'\begin{pmatrix}1\\-1\\1\end{pmatrix}+
w'\begin{pmatrix}0\\4\\-3\end{pmatrix}
);

となる。

 &math(
(元の空間の次元)=(核の次元)+(像の次元)
);

が成り立つことを再度理解せよ。

[[前の単元 <<<>線形代数II/線形独立、基底及び次元]]
               [[線形代数II]]
               [[>>> 次の単元>線形代数II/基底の変換]]
* 質問・コメント [#g72202c9]

#article_kcaptcha


Counter: 252484 (from 2010/06/03), today: 23, yesterday: 0