こんにちは、おぐえもん(@oguemon_com)です。
今回から、線形代数の中でも後半に習うことの多い「線形写像」をテーマにして数回の連載を始めます!
線形写像は、線形代数の講義の中でも抽象度が高い単元です。その代わり、線形写像の理論によって、連立方程式や図形ベクトルなど、線形代数で扱ってきた様々なモノをひとまとめにして考えることができます!
初回である今回は、線形写像の定義に先立ち「写像」の基本用語を解説します。
写像と像
2集合の要素の対応を写像と言います。そして、ある写像によって対応づけられた「先」の要素もしくは集合を像と言います。
\[f: S \rightarrow T\]
写像\(f\)によって、集合\(S\)のある要素\(s\)に対応づけられた集合\(T\)の要素を、\(\underline{s}\)の\(f\)による像と言い、\(f(s)\)と書く。次のように書くこともある。
\[f: s \mapsto f(s)\]
集合\(S\)の全て要素\(s\)にそれぞれ対応する像\(f(s)\)をまとめてできる集合を、\(\underline{S}\)の\(f\)による像と言い、\(\mathrm{Im} f\)と書く。\(\mathrm{Im} f\)は、\(T\)の部分集合である。
\(f(s)\)と記すなんて、まるで関数みたいですね。実際、高校の数学IIなどで扱ってきた関数\(f\)は、実数集合から実数集合への写像といえます。


上の画像の通り、対象元の集合や対象先の集合などに応じて、定義域、値域などの用語が与えられています。これもまた関数みたいですね。
写像は、ある要素\(s\)に対して、像\(f(s)\)がただ1つに決まることが前提です。\(f(s)\)となる\(T\)の要素が複数ある場合、\(f\)は写像ではありません。例えば、\(f(1)=3,4\)と定義されるような対応\(f\)は写像ではありません。
単射と全射
単射(1対1の写像)
集合\(S\)の要素が異なれば、対応する\(T\)の要素も異なる写像\(f\)を単射または1対1の写像と言います。
\[s_1 \neq s_2 \ ならば \ f(s_1) \neq f(s_2)\]
上の式は、その対偶をとって「\(f(s_1) = f(s_2)\)ならば\(s_1 = s_2\)」とすることもあります。


右の例は、\(S\)の2つの要素が\(T\)の1要素(●の要素)に対応しているので、単射ではありません。
全射(上の写像)
集合\(T\)の要素全ての要素が、集合\(S\)の何らかの要素と対応する写像\(f\)を全射または上の写像と言います。
全射では、\(\mathrm{Im} f = T\)が成り立ちます。


右の例は、\(T\)の要素の中に\(f\)の対応先にもなっていないものがある(■の要素)ので、全射ではありません。
全単射
写像\(f\)が単射かつ全射のとき、これを全単射と言います。簡単にいうと、両者の集合の要素が漏れなく1対1に対応する写像です。


写像の合成
関数に合成関数があったように、写像でも合成を考えることができます。
\[fg: s \mapsto g\{f(s)\}\]

