線形写像・像・核・階数 のバックアップソース(No.1)

更新

[[線形代数Ⅱ]]

#contents

* 写像 [#h358e130]

&math(f); が集合 &math(U); から集合  &math(U'); への写像であることを、

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

と書く。

このような &math(f); は、
&math(U); の元それぞれに対して1つずつ、
&math(U'); の元を対応させる規則のことである

> &math(\forall x\in U, f(x)\in U');

「1つずつ」が重要

+ 対応する元が &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{});

** 線形写像 [#ibeddaa7]

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

- &math(f(a\bm x+b\bm y)=af(\bm x)+bf(\bm y));

すなわち、写像がベクトル和やスカラー倍に対して透過的であると言うこと。

あるいは、&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(V=\{xの3次以下の多項式\});、&math(V'=\{xの2次以下の多項式\}); として、
&math(T:V\to V'); を

&math(T\bm x\equiv\frac{d}{dx} \bm x);

と定義すれば、これは線形写像になる。~
(関数線形空間に対して微分や積分を線形写像と考えるのはこれから非常に良く出てくる考え方)

このため &math(T(\bm x)); だけでなく &math(Tx); という書き方も良くする。

例:~
上の、&math(ax^2+bx+c\in V\to (a,b,c)\in \mathbb R^3); も線形写像になっている。

*** 練習 [#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]

&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)); となる。

このように、一般の写像では異なるベクトルが同じ値に移される場合がある。

&math(\bm x\ne \bm y); であれば必ず &math(T(\bm x)\ne T(\bm y)); であるとき、
&math(T); は1対1写像である、あるいは、単写である、と言う。

&attachref(写像.png,,50%);

1対1という言葉の意味:1対nはそもそも写像にならない。n対1になっていないことを示している。

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

任意の &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(T); により &math(V); 全体を移したときにできる「像」
(しばしば &math(T(V)=\set{T(\bm v)\in V'|\bm v\in V}); と書かれる) が、
&math(V'); の真上に、全体を覆い尽くすように被さるため。

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

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

単写かつ全写であることを言う。

このときに限り、「逆写像 &math(T^{-1});」が定義できる。

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

*** 練習 [#cdc16e96]

問:線形写像の逆写像 &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^{-1}); を作用させると

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

また、

&math(T(k\bm x)=kT(\bm x)=kX); 

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

&math(k\bm x=kT^{-1}(X)=T^{-1}(kX)); 

となって、 &math(T^{-1}); が線形であることが示された。

** 同型 [#j11499b9]

&math(V); と &math(V'); との間に上への1対1写像 &math(T); が存在する時、
&math(V); と &math(V'); は同型であるといい、~
&math(V\simeq V'); と書く。

またこのとき、&math(T); を同型写像と呼ぶ。

これは上で述べた2つの写像が「似ている」ことを数学的に表わした物。~
同型写像によって、2つの空間はすべて1対1に対応することになる。

&math(T(ax^2+bx+c)=(a,c,b)); とか、~
&math(T(ax^2+bx+c)=(a+b,a-b,c)); とかも同型写像になる。

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

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

+ &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]

&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'); が線形独立でなければ、
すべてがゼロではない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); は線形独立ではない。

* 質問・コメント [#g72202c9]

#article_kcaptcha

Counter: 246323 (from 2010/06/03), today: 44, yesterday: 0