単射
写像\(f:A\rightarrow B\)の定義域に属する異なる要素\(a,a^{\prime}\in A\)を任意に選んだとき、\(f\)によるそれらの像\(f\left( a\right) ,f\left( a^{\prime }\right) \)もまた異なることが保証される場合には、つまり、\begin{equation*}\forall a,a^{\prime }\in A:\left[ a\not=a^{\prime }\Rightarrow f\left(
a\right) \not=f\left( a^{\prime }\right) \right]
\end{equation*}が成り立つ場合には、\(f\)を\(A\)から\(B\)への単射（injection）や1対1の写像（one-to-one-mapping）などと呼びます。対偶をとると、上の定義を、\begin{equation*}\forall a,a^{\prime }\in A:\left[ f\left( a\right) =f\left( a^{\prime
}\right) \Rightarrow a=a^{\prime }\right]
\end{equation*}と言い換えることもできます。
写像\(f:A\rightarrow B\)が単射でないこととは、上の定義の否定である、\begin{equation*}\exists a,a^{\prime }\in A:\left[ a\not=a^{\prime }\wedge f\left( a\right)
=f\left( a^{\prime }\right) \right]
\end{equation*}が成り立つことを意味します。つまり、\(f\)の定義域に属する異なる要素の中に、\(f\)によるそれらの像が等しいものが存在する場合、\(f\)は単射ではありません。
\end{equation*}を像として定めるものとします。定義域の要素\(x,x^{\prime }\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}g\left( x\right) =g\left( x^{\prime }\right) &\Leftrightarrow &x+5=x^{\prime
}+5\quad \because g\text{の定義} \\
&\Leftrightarrow &x=x^{\prime }
\end{eqnarray*}が成り立つため、この\(f\)は単射です。
\end{equation*}を像として定めるものとします。定義域の異なる要素\(2,-2\in \mathbb{R} \)に注目すると、\begin{equation*}f\left( 2\right) =f\left( -2\right) =4
\end{equation*}が成り立つため、この\(f\)は単射ではありません。
\end{equation*}であるとき、このような写像\(f\)を包含写像（inclusion mapping）と呼びます。包含写像は単射です。実際、定義域の異なる要素\(a,a^{\prime }\in A\)を任意に選んだとき、\begin{eqnarray*}f\left( a\right) &=&a\quad \because f\text{の定義} \\
&\not=&a^{\prime }\quad \because a\not=a^{\prime } \\
&=&f\left( a^{\prime }\right) \quad \because f\text{の定義}
\end{eqnarray*}すなわち\(f\left( a\right) \not=f\left( a^{\prime}\right) \)が成り立つからです。
\end{equation*}であるとき、このような写像\(f\)を恒等写像（identity mapping）と呼びます。恒等写像は特別な包含写像です。先に示したように包含写像は単射であるため、恒等写像もまた単射です。
単射と合成写像
2つの写像\(f:A\rightarrow B\)と\(g:B\rightarrow C\)が任意に与えられたとき、それぞれの\(a\in A\)に対して、\begin{equation*}\left( g\circ f\right) \left( a\right) =g\left( f\left( a\right) \right)
\end{equation*}を像として定める合成写像\(g\circ f:A\rightarrow C\)が定義可能です。写像\(f,g\)がともに単射である場合、それらの合成写像\(g\circ f\)もまた単射になることが保証されます。実際、要素\(a,a^{\prime }\in A\)を任意に選んだとき、\begin{eqnarray*}\left( g\circ f\right) \left( a\right) =\left( g\circ f\right) \left(
a^{\prime }\right) &\Leftrightarrow &g\left( f\left( a\right) \right)
=g\left( f\left( a^{\prime }\right) \right) \quad \because g\circ f\text{の定義} \\
&\Rightarrow &f\left( a\right) =f\left( a^{\prime }\right) \quad \because g\text{は単射} \\
&\Rightarrow &a=a^{\prime }\quad \because f\text{は単射}
\end{eqnarray*}が成り立つからです。
逆に、合成写像\(g\circ f\)が単射であるとき、それを構成する写像\(f,g\)もまた単射であることを保証できるのでしょうか。この場合、\(f\)が単射であることは保証されますf。実際、要素\(a,a^{\prime }\in A\)を任意に選んだとき、\begin{eqnarray*}f\left( a\right) =f\left( a^{\prime }\right) &\Rightarrow &g\left( f\left(
a\right) \right) =g\left( f\left( a^{\prime }\right) \right) \quad \because g\text{は写像} \\
&\Leftrightarrow &\left( g\circ f\right) \left( a\right) =\left( g\circ
f\right) \left( a^{\prime }\right) \quad \because g\circ f\text{の定義} \\
&\Rightarrow &a=a^{\prime }\quad \because g\circ f\text{は単射}
\end{eqnarray*}が成り立つからです。
合成写像\(g\circ f\)が単射である場合には\(f\)もまた単射であることが明らかになりましたが、もう一方の写像\(g\)は単射であるとは限りません。以下の例から明らかです。
B &=&\left\{ b_{1},b_{2},b_{3}\right\} \\
C &=&\left\{ c_{1},c_{2}\right\}
\end{eqnarray*}が与えられているものとします。写像\(f:A\rightarrow B\)は、\begin{eqnarray*}f\left( a_{1}\right) &=&b_{1} \\
f\left( a_{2}\right) &=&b_{2}
\end{eqnarray*}を満たし、写像\(g:B\rightarrow C\)は、\begin{eqnarray*}g\left( b_{1}\right) &=&c_{1} \\
g\left( b_{2}\right) &=&c_{2} \\
g\left( b_{3}\right) &=&c_{2}
\end{eqnarray*}を満たすとき、合成写像\(g\circ f:A\rightarrow C\)は、\begin{eqnarray*}\left( g\circ f\right) \left( a_{1}\right) &=&g\left( f\left( a_{1}\right)
\right) =g\left( b_{1}\right) =c_{1} \\
\left( g\circ f\right) \left( a_{2}\right) &=&g\left( f\left( a_{2}\right)
\right) =g\left( b_{2}\right) =c_{2}
\end{eqnarray*}を満たします。\(f\)と\(g\circ f\)はともに単射である一方、\(g\)は単射ではありません。
単射の逆写像
単射の逆写像は存在するとは限りません。実際、写像\(f:A\rightarrow B\)が単射であり、なおかつその値域\(f\left( A\right) \)が終集合\(B\)の真部分集合である場合、すなわち\(b\not\in f\left( A\right) \)を満たす\(b\in B\)が存在する場合、この\(b\)に対して\(b=f\left( a\right) \)を満たす\(a\in A\)は存在しないため、その逆像\(f^{-1}\left( a\right) \)は空集合になり、したがって逆写像\(f^{-1}:B\rightarrow A\)は点\(b\in B\)において定義不可能です。
この写像\(f\)は逆写像\(f:B\rightarrow A\)を持ちません。実際、\(f\)による\(d\in B\)の逆像は\(f^{-1}\left( d\right) =\phi \)であるため、逆写像\(f^{-1}:B\rightarrow A\)はそもそも点\(d\in B\)において定義不可能だからです。ただ、写像の終集合を値域\(f\left( A\right)=\left\{ a,b,c\right\} \)に制限して\(f:A\rightarrow \left\{ a,b,c\right\} \)とすれば話は別です。この新たな写像\(f\)に関しては逆写像\(f^{-1}:\left\{ a,b,c\right\} \rightarrow A\)が存在し、これは、\begin{eqnarray*}f^{-1}\left( a\right) &=&2 \\
f^{-1}\left( b\right) &=&1 \\
f^{-1}\left( c\right) &=&3
\end{eqnarray*}を定めます。
上の例が示唆するように、仮に単射\(f:A\rightarrow B\)に逆写像が存在しない場合でも、その単射の終集合を値域へ制限して\(f:A\rightarrow f\left( A\right) \)とすれば、その逆写像\(f:f\left( A\right) \rightarrow A\)が存在することが保証できます。
演習問題
\end{equation*}が成り立つ場合に限定すると、\(g\circ f\)が単射である場合には\(g\)もまた単射になることを証明してください。
\end{equation*}を定めるものとし、写像\(g:\mathbb{N} \rightarrow \mathbb{N} \)はそれぞれの自然数\(n\in \mathbb{N} \)に対して、\begin{equation*}g\left( n\right) =\left\{
\begin{array}{cc}
n+1 & \left( if\ n\text{が偶数}\right) \\
1 & \left( if\ n\text{が奇数}\right)
\end{array}\right.
\end{equation*}を定めるものとします。合成写像\(g\circ f:\mathbb{N} \rightarrow \mathbb{N} \)と写像\(f\)はともに単射である一方、写像\(g\)は単射はないことを示してください。
\end{equation*}を定めるものとします。逆写像\(f^{-1}\)は存在するでしょうか。議論してください。
\end{equation*}を定めるものとします。逆写像\(f^{-1}\)は存在するでしょうか。議論してください。
A_{1}\backslash A_{2}\right) \quad \cdots (1)
\end{equation}が成り立つことを示してください。また、その一方で、\begin{equation}
f\left( A_{1}\backslash A_{2}\right) \subset f\left( A_{1}\right) \backslash
f\left( A_{2}\right) \quad \cdots (2)
\end{equation}は成り立つとは限らないことを示してください。さらに、\(f\)が単射である場合には\(\left( 2\right) \)もまた成り立つことを示してください。
次回は写像の左逆写像と呼ばれる概念を定義し、写像に対して左逆写像が存在することと、その写像が単射であることが必要十分であることを示します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】