全単射
写像\(f:A\rightarrow B\)が単射かつ全射である場合には、すなわち、\begin{eqnarray*}&&\left( a\right) \ \forall a,a^{\prime }\in A:\left[ a\not=a^{\prime
}\Rightarrow f\left( a\right) \not=f\left( a^{\prime }\right) \right] \\
&&\left( b\right) \ \forall b\in B,\ \exists a\in A:b=f\left( a\right)
\end{eqnarray*}がともに成り立つ場合には、\(f\)を\(A\)から\(B\)への全単射（bijection）と呼びます。
全単射\(f:A\rightarrow B\)が与えられたとき、終集合の要素\(b\in B\)を任意に選ぶと、\(f\)が全射であることから、これに対して\(b=f\left( a\right) \)を満たす定義域の要素\(a\in A\)が必ず存在します。ここで、\(a\)とは異なる\(A\)の要素\(a^{\prime }\)についても\(b=f\left( a^{\prime}\right) \)が成り立つものと仮定します。すると\(f\left( a\right) =f\left( a^{\prime }\right) \)となりますが、\(f\)が単射であることから\(a=a^{\prime }\)となり矛盾です。したがって、\(b=f\left( a\right) \)を満たす\(a\)は一意的であること、すなわち\(f\)による\(b\)の逆像\(f^{-1}\left( b\right) \)は1つの要素を持つ集合であることが明らかになりました。つまり、\(f\)が全単射である場合には、\begin{equation*}\forall b\in B,\ \exists a\in A:f^{-1}\left( b\right) =\left\{ a\right\}
\end{equation*}が成り立つということです。逆に上の条件が成り立つとき場合には\(f\)は全単射です。したがって写像が全単射であることを以下のように表現できます。
\end{equation*}が成り立つことは、\(f\)が全単射であるための必要十分条件である。
\end{equation*}を定めるものとします。ただし、\(\mathbb{R} _{++}\)はすべての正の実数からなる集合です。\(f\)の終集合の要素である正の実数\(y\in \mathbb{R} _{++}\)を任意に選ぶと、その逆像は、\begin{eqnarray*}f^{-1}\left( y\right) &=&\left\{ x\in \mathbb{R} _{++}\ |\ y=f\left( x\right) \right\} \\
&=&\left\{ x\in \mathbb{R} _{++}\ |\ y=x^{2}\right\} \\
&=&\left\{ \sqrt{y}\right\}
\end{eqnarray*}となり、これは1点集合であるため\(f\)は全単射です。
\end{equation*}を定めるものとします。先の例とは異なり定義域が\(\mathbb{R} _{++}\)ではなく\(\mathbb{R} \)であることに注意してください。例えば、終集合の要素\(4\in \mathbb{R} _{++}\)に注目すると、その逆像は、\begin{eqnarray*}f^{-1}\left( 4\right) &=&\left\{ x\in \mathbb{R} \ |\ 4=f\left( x\right) \right\} \\
&=&\left\{ x\in \mathbb{R} \ |\ 4=x^{2}\right\} \\
&=&\left\{ 2,-2\right\}
\end{eqnarray*}となり、これは1点集合ではないため\(f\)は全単射ではありません。
\end{equation*}であるということです。包含写像は単射である一方で全射でないため、全単射ではありません。
\end{equation*}であるということです。恒等写像は単射かつ全射であるため、全単射です。
全単射のもとでの像と逆像の関係
写像\(f:A\rightarrow B\)が与えられたとき、任意の順序対\(\left( a,b\right) \in A\times B\)に対して、\begin{equation*}b=f\left( a\right) \Leftrightarrow a\in f^{-1}\left( b\right)
\end{equation*}という関係が成り立ちます。ただし、\(f^{-1}\left( b\right) \)は\(f\)による\(b\)の逆像であり、これは\(A\)の部分集合です。上の命題では\(a\)を\(f^{-1}\left( b\right) \)の要素としていますが、これを少し限定して、\(a\)を\(f^{-1}\left( y\right) \)の唯一の要素とした命題も成り立つでしょうか。つまり、順序対\(\left(a,b\right) \in A\times B\)を任意に選んだとき、\begin{equation*}b=f\left( a\right) \Leftrightarrow f^{-1}\left( b\right) =\left\{ a\right\}
\end{equation*}という関係は成り立つでしょうか。以下の例が示唆するように、これは成り立つとは限りません。
\end{equation*}を像として定めるものとします。順序対\(\left( 1,1\right) \in \mathbb{R} \times \mathbb{R} \)に注目すると、\begin{equation*}f^{-1}\left( 1\right) =\left\{ x\in \mathbb{R} \ |\ 1=x^{2}\right\} =\left\{ 1,-1\right\}
\end{equation*}すなわち\(f^{-1}\left( 1\right) \not=\{1\}\)が成り立ちます。他方で\(f\left( 1\right) =1\)であるため、これは先の関係が成り立たないことを示す反例になっています。
一方、写像\(f:A\rightarrow B\)が全単射である場合には、任意の順序対\(\left( a,b\right)\in A\times B\)に対して、\begin{equation*}f^{-1}\left( b\right) =\left\{ a\right\} \Leftrightarrow f\left( a\right) =b
\end{equation*}という関係もまた常に成り立ちます。
\end{equation*}という関係が成り立つ。ただし、\(f^{-1}\left( a\right) \)は\(f\)による\(b\)の逆像である。
全単射と合成写像
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\)がともに全単射である場合、\(f,g\)はともに全射かつ単射です。全射どうしの合成は全射であり、単射どうしの合成は単射であるため、それらの合成写像\(g\circ f\)もまた全単射になることが保証されます。
逆に、合成写像\(g\circ f\)が全単射であるとき、それを構成する写像\(f,g\)もまた全単射であることを保証できるのでしょうか。この場合、\(g\circ f\)は単射かつ全射ですが、\(g\circ f\)が単射である場合には\(f\)は単射であり、\(g\circ f\)が全射である場合には\(g\)は全射であるため、\(f\)が単射で\(g\)が全射であることは保証されます。
合成写像\(g\circ f\)が全単射である場合には\(f\)が単射で\(g\)が全射であることが明らかになりましたが、\(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*}を満たします。\(g\circ f\)は全単射です。また、\(f\)は単射ですが全射ではなく、\(g\)は全射ですが単射ではありません。
\end{equation}が成り立つものとします。ただし\(I_{A}:A\rightarrow A\)は恒等写像です。恒等写像は全単射であることと先の命題を踏まえると、このとき\(f\)は単射で\(g\)は全射になることが保証されます。実際、\(\left( 1\right) \)が成り立つことは\(g\)が\(f\)の左逆写像であることを意味するため、この場合には\(f\)は単射になります。同時に、\(\left( 1\right) \)が成り立つことは\(f\)が\(g\)の右逆写像であることを意味するため、この場合には\(g\)は全射になります。以上の結果はお互いに整合的です。
演習問題
\end{equation*}を定めます。この\(f\)は全単射ですか。議論してください。
\end{equation*}を定める写像\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \left[ c,d\right] \)を定義します。この\(f\)が全単射であることを示してください。
\end{equation*}を定めるものとします。この\(f\)は全単射ですか。議論してください。
次回は写像が全単射であることと、写像に対して逆写像が存在することが必要十分であることなど、全単射と逆写像の関係について解説します。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】