線形写像・像・核・階数 のバックアップ(No.3)

線形写像 †

を線形空間として、 が次の条件を満たすとき、 は「線形である」と言うのであった。

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

あるいは、 として、

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

注）
左辺の和やスカラー倍が で定義された演算であるのに対して、
右辺の和やスカラー倍は で定義された演算であることに注意せよ。
（すなわち と は同じスカラーの上に定義されている必要がある）

例：
、 として、 を

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

このため だけでなく という書き方も良くする。

例：
上の、 も線形写像になっている。

１対１写像（単写） †

も の線形写像である、 が、 となる。

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

であれば必ず であるとき、 は１対１写像である、あるいは、単写である、と言う。

File not found: "写像.png" at page "線形代数Ⅱ/線形独立、基底及び次元"[添付]

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

上への写像（全写） †

任意の に対して、そこに移ってくる の元を見つけられる時、 上への写像、あるいは、全写であるという。

例えば、 は への全写であるが、
は への全写ではない。

「上へ」というのは、 により 全体を移したときにできる「像」 (しばしば と書かれる) が、 の真上に、全体を覆い尽くすように被さるため。

File not found: "上への写像.png" at page "線形代数Ⅱ/線形独立、基底及び次元"[添付]

上への１対１写像（全単写） †

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

このときに限り、「逆写像 」が定義できる。

• １対１でないと、ある に複数の が対応してしまう
• 上への写像でないと、ある に対応する が存在しない場合がある

同型 †

と との間に上への１対１写像 が存在する時、 と は同型であるといい、
と書く。

またこのとき、 を同型写像と呼ぶ。

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

とか、
とかも同型写像になる。

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

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

1. 　　　：　反射律
2. 　：　対称律
3. ：　推移律

同型の線形空間は構造が似ているため、一方を調べればもう一方のことが分かる。
特に、あるベクトル空間 は として、 必ず に同型であるため、１年生でやった数ベクトル空間が、 任意の線形空間を理解するための基礎となる。

例 †

の同型写像を とする。

が線形独立であれば、
も線形独立である。

対偶を証明する。

もし が線形独立でなければ、 すべてがゼロではない３つのスカラー に対して

が成立する。 は線形なので、

ここで両辺に を掛けると、 より、

はすべてがゼロではないから、 は線形独立ではない。