写像・単射・全射

更新日時 2023/09/29

写像の意味と，それにまつわる概念である全射・単射について紹介します。

写像のことを学習する際は，集合の記号について押さえておく必要があります。集合の記号については，集合の記号の意味まとめもぜひご覧ください。

写像

写像は，中学数学で習う関数と基本的には同じ意味です。まずは，写像をきちんと定義しましょう。

写像の定義

集合 $A,B$ がある。任意の $a \in A$ に対して， $B$ の要素を1つ返すような対応 $f$ を $A$ から $B$ への写像という。またこのとき $f : A \rightarrow B$ と書くことがある。

$a\in A$ に対する出力（返り値，結果，対応先）を $f(a)$ と書きます。
$A$ を始域（定義域）と言います。入力として許される範囲です。
$B$ を終域と言います。

例

$n \in \mathbb{Z}$ に対して $f(n) = 2n$ と定めると， $f$ は写像になる。

写像ではない例

$\dfrac{p}{q} \in \mathbb{Q}$ に対して $f\left( \dfrac{p}{q} \right) = p + q$ と定義する。これは写像にならない。

実際， $f \left( \dfrac{1}{2} \right) = 3$ で $f \left( \dfrac{2}{4} \right) = 6$ となる。

$\dfrac{1}{2} = \dfrac{2}{4}$ であった。この $f$ は1つの入力に対して複数の出力を持ち得るため，写像ではない。

像(値域)と逆像の定義

次に，像（値域）と逆像についての定義を説明します。

像・逆像の定義

$X\subset A$ に対して， $X$ の像 $f(X)$ を以下で定義する：
$f(X) := \{ f(x) \in B \mid x \in X\}$
$Y\subset B$ に対して， $Y$ の逆像 $f^{-1}(Y)$ を以下で定義する：
$f^{-1} (Y):= \{ x \in A \mid f(x) \in Y\}$

例

$f : \mathbb{Z} \rightarrow \mathbb{Z}$ を $f(n) = 2n$ と定義すると， $f(\mathbb{Z})$ は2の倍数全体の集合になる。

集合 $A,B,C$ を考えます。 $f:A\rightarrow B$ ， $g : B \rightarrow C$ という写像があるとき， $f,g$ の合成 $g \circ f$ が $g \circ f (a) = g (f(a))$ にて定義されます。つまり， $g\circ f$ は，任意の $a\in A$ に対して $g(f(a))\in C$ を返す写像です。

単射と全射，全単射

単射・全射(上からの写像)の定義

定義（単射・全射）

写像 $f:A \rightarrow B$ について考える。

$x,y \in A$ とする。 $f(x) = f(y) \Rightarrow x=y$ であるとき， $f$ は単射であるという。
任意の $y \in B$ に対して，ある $x \in A$ があって $f(x) = y$ となるとき， $f$ は全射であるという。

図による単射・全射のイメージは下図のようになります。単射と全射

単射と全射のイメージは関数方程式の解き方のコツ〜全射と単射〜に詳しく書いてあります。

全射では，始域の像が終域全体になります。このことから，全射のことを「上への写像」と呼ぶこともあります。

全単射(上への写像)の定義

単射・全射に引き続き，全単射の定義も重要です。

定義(全単射)

写像 $f$ が単射かつ全射であるとき， $f$ を全単射であるという。このとき， $A$ と $B$ は 1対1に対応するという。

図による全単射のイメージは下図のようになります。

全単射

$f$ が全単射なら， $A$ の元 $a$ を1つ取ったら $f(a)$ により $B$ がただ1つ定まり， $B$ の元 $b$ を取ったら， $b=f(a)$ なる $A$ の元 $a$ がただ1つ定まります。まさに1対1です。

例

$f : \mathbb{Z} \rightarrow \mathbb{Z}$ を $f(n) = 2n$ とすると，これは単射である。
$f : \mathbb{R} \rightarrow \mathbb{Z}$ を $f(r) = \lfloor r \rfloor$ とおくと，これは全射である。なお実数 $r$ に対して $\lfloor r \rfloor$ は $r$ を越えない最小の整数を意味する。
$f : \mathbb{R} \rightarrow \mathbb{R}$ を $f(x) = 2x$ とすると，これは全単射である。

恒等写像と逆写像

恒等写像

全ての元をそっくり同じものに写す操作はもちろん写像の定義を満たします。このような写像を恒等写像といいます。

定義（恒等写像）

写像 $f: A \rightarrow A$ が，任意の $a \in A$ に対して $f(a) = a$ を満たすとき， $f$ を恒等写像という。このとき $f = \mathbb{id}_A$ と書くことがある。

逆写像

$f : \mathbb{R} \to \mathbb{R}$ を $f(x) = 2x$ と定義しましょう。具体的に計算をしてみましょう。

$\begin{aligned} f : \mathbb{R} &\longrightarrow \mathbb{R}\\ 1 &\longmapsto 2\\ 3 &\longmapsto 6\\ \dfrac{5}{2} &\longmapsto 5\\ \sqrt{3} &\longmapsto 2\sqrt{3} \end{aligned}$

さてここで $g(y) = \dfrac{1}{2} y$ とすると

$\begin{aligned} g : \mathbb{R} &\longrightarrow \mathbb{R}\\ 2 &\longmapsto 1\\ 6 &\longmapsto 3\\ 5 &\longmapsto \dfrac{5}{2}\\ 2\sqrt{3} &\longmapsto \sqrt{3} \end{aligned}$

となり， $f$ と逆向きに数を写すことがわかります。

このような写像を逆写像といいます。

定義（逆写像）

写像 $f:A\rightarrow B$ に対して，写像 $g :B \rightarrow A$ で $g \circ f = \mathbb{id}_A$ ， $f \circ g = \mathbb{id}_B$ なるものが存在するとき， $g$ を $f$ の逆写像という。このとき $g = f^{-1}$ と書く。

例

$f : [-\pi , \pi] \to [-1.1]$ を $f(x) = \sin x$ とおくと， $g(y) = \arcsin y$ が逆写像となる。

$f$ が逆写像を持つ必要十分条件として次が知られています。

定理

写像 $f$ が逆写像を持つことと $f$ が全単射であることは同値である。

証明

逆写像を持つ $\Longrightarrow$ 全単射

$g$ を $f$ の逆写像とする。

単射
$x,x' \in A$ は $f(x) = f(x')$ を満たすものとする。
$g$ は逆写像であるため， $x = g(f(x)) = g(f(x')) = x'$ である。よって $f$ は単射である。
全射
$y \in B$ を任意に取る。このとき $g(y) \in A$ で $f(g(y)) = y$ である。よって $f$ は全射である。

逆写像を持つ $\Longleftarrow$ 全単射

$f$ は全単射であるとする。

$f$ は全射であるため，任意の $y \in B$ に対して，ある $x \in A$ が存在して $f(x) = y$ となる。このような $x$ は一意に定まる。実際 $x' \in A$ もまた $f(x') = y$ であるとすると， $f(x) = f(x')$ であるが，単射性より $x = x'$ である。