対応による要素の逆像
対応\(f:A\twoheadrightarrow B\)が与えられたとき、終集合\(B\)の要素\(b\)を任意に選ぶと、これに対して\(b\in f\left( a\right) \)を満たす始集合\(A\)の要素は存在するとは限りませんし、存在する場合にも一意的であるとは限りません。そこで、\(b\in B\)に対して\(a\in f\left( b\right) \)を満たすような\(a\in A\)からなる集合を、\begin{equation*}
f^{-1}\left( b\right) =\left\{ a\in A\ |\ b\in f\left( a\right) \right\}
\end{equation*}と表記し、これを\(f\)による\(b\)の逆像(inverse image)や原像(preimage)などと呼びます。\(f^{-1}\left( b\right) \)は\(A\)の部分集合です。
対応\(f:A\twoheadrightarrow B\)が与えられたとき、\(b\in B\)に対して\(b\in f\left( a\right) \)を満たす\(a\in A\)は存在するとは限らず、そのような場合には\(f^{-1}\left( b\right) =\phi \)となります。ただ、空集合は任意の集合の部分集合であるため、このような場合にも\(f^{-1}\left( b\right) \)は\(A\)の部分集合であるため、定義上、問題はありません。
f\left( x\right) =\left\{
\begin{array}{cc}
\left\{ 0\right\} & if\ x<1 \\
\left[ 0,1\right] & if\ x=1\end{array}\right.
\end{equation*}を定めるものとします。このとき例えば、\begin{eqnarray*}
f^{-1}\left( 0\right) &=&\left[ 0,1\right] \\
f^{-1}\left( \frac{1}{2}\right) &=&\left\{ 1\right\} \\
f^{-1}\left( 1\right) &=&\left\{ 1\right\}
\end{eqnarray*}などが成り立ちます。
f\left( x\right) =\left[ 0,x\right] \end{equation*}を定めるものとします。このとき例えば、\begin{eqnarray*}
f^{-1}\left( 0\right) &=&\left[ 0,1\right] \\
f^{-1}\left( \frac{1}{2}\right) &=&\left[ \frac{1}{2},1\right] \\
f^{-1}\left( 1\right) &=&\left\{ 1\right\}
\end{eqnarray*}などが成り立ちます。
逆像の定義より、任意の\(\left( a,b\right) \in A\times B\)に対して、\begin{equation*}
a\in f^{-1}\left( b\right) \Leftrightarrow b\in f\left( a\right)
\end{equation*}という関係が成り立ちます。つまり、\(a\)が\(f \)による\(b\)の逆像の要素であることは、\(b\)が\(f\)による\(a\)の像の要素であるための必要十分条件です。さらに、\(f\)のグラフは、\begin{equation*}
G\left( f\right) =\left\{ \left( a,b\right) \in A\times B\ |\ b\in f\left(
a\right) \right\}
\end{equation*}という\(A\times B\)の部分集合として定義されるため、順序対\(\left( a,b\right) \in A\times B\)を任意に選ぶと、\begin{equation*}
a\in f^{-1}\left( b\right) \Leftrightarrow \left( a,b\right) \in G\left(
f\right)
\end{equation*}という関係が成り立ちます。つまり、\(a\)が\(f \)による\(b\)の逆像の要素であることと\(\left( a,b\right) \)が\(f\)のグラフの要素であることは必要十分です。以上を踏まえると、それぞれの\(b\in B\)の逆像を、\begin{equation*}
f\left( b\right) =\left\{ a\in A\ |\ \left( a,b\right) \in G\left( f\right)
\right\}
\end{equation*}と定義することもできるため、これは下図のように視覚化できます。
対応による集合の上逆像
対応\(f:A\twoheadrightarrow B\)が与えられたとき、終集合の部分集合\(Y\subset B\)を任意に選びます。\(f\)は始集合\(A \)のそれぞれの要素\(a\)に対してその像\(f\left( a\right) \subset B\)を定めますが、これは\(Y\)の部分集合であるか否かのどちらか一方です。そこで、\(f\left( a\right) \)が\(Y\)の部分集合になるような\(a\)からなる集合を、\begin{equation*}
f^{+}\left( Y\right) =\left\{ a\in A\ |\ f\left( a\right) \subset Y\right\}
\end{equation*}で表し、これを対応\(f\)による集合\(Y\)の上逆像(upper inverse image)や強逆像(strong inverse image)などと呼びます。\(f^{+}\left( Y\right) \)は\(A\)の部分集合です。
対応\(f:A\twoheadrightarrow B\)の終集合\(B\)は\(B\)自身の部分集合であるため、\(f\)による\(B\)の上逆像\(f^{+}\left( B\right) \)を考えることもできます。これを\(f\)の定義域(domain)と呼び、\(D\left( f\right) \)と表記します。つまり、\begin{eqnarray*}
D\left( f\right) &=&f^{+}\left( B\right) \\
&=&\left\{ a\in A\ |\ f\left( a\right) \subset B\right\} \\
&=&A\quad \because f\text{の定義}
\end{eqnarray*}です。対応の定義域は始集合と一致するということです。
D\left( f\right) =A
\end{equation*}という関係が成り立つ。
f^{+}\left( \left\{ a,b\right\} \right) &=&\left\{ 1,3\right\} \\
f^{+}\left( \left\{ b,c\right\} \right) &=&\left\{ 1,3\right\} \\
f^{+}\left( \left\{ a,c\right\} \right) &=&\left\{ 2\right\}
\end{eqnarray*}などが成り立ちます。また、\(f\)の定義域は、\begin{equation*}
D\left( f\right) =f^{+}\left( B\right) =\left\{ 1,2,3\right\}
\end{equation*}となります。
f\left( x\right) =\left[ 0,x\right] \end{equation*}を定めるものとします。このとき、例えば、\begin{eqnarray*}
f^{+}\left( \left[ 0,\frac{1}{2}\right] \right) &=&\left[ 0,\frac{1}{2}\right] \\
f^{+}\left( \left( 0,\frac{1}{2}\right) \right) &=&\phi
\end{eqnarray*}などが成り立ちます。また、\(f\)の値域は、\begin{equation*}
R\left( f\right) =f^{+}\left( \left[ 0,1\right] \right) =\left[ 0,1\right] \end{equation*}となります。
g\left( a\right) =\left\{ f\left( a\right) \right\}
\end{equation*}を像として定める対応\(f:A\twoheadrightarrow B\)と同一視できます。始集合の部分集合\(X\subset A\)を任意に選ぶと、このとき、\begin{equation*}
g^{+}\left( A\right) =f^{-1}\left( A\right)
\end{equation*}という関係が成り立つため(演習問題にします)、対応による集合の上逆像は、写像による集合の逆像を拡張した概念です。
f^{+}(\phi )=\left\{ a\in A\ |\ f\left( a\right) \subset \phi \right\}
\end{equation*}となりますが、\(f\left( a\right) \subset \phi \)は恒偽式であるため\(f^{+}\left( \phi \right) =\phi \)となります。つまり、対応による空集合の上逆像は空集合です。
対応による集合の下逆像
対応\(f:A\twoheadrightarrow B\)が与えられたとき、終集合の部分集合\(Y\subset B\)を任意に選びます。\(f\)は始集合\(A\)のそれぞれの要素\(a\)に対してその像\(f\left( a\right) \subset B\)を定めますが、これは\(Y\)と交わるか否かのどちらか一方です。そこで、\(f\left( a\right) \)が\(Y\)と交わるような\(a\)からなる集合を、\begin{equation*}
f^{-}\left( Y\right) =\left\{ a\in A\ |\ f\left( a\right) \cap Y\not=\phi
\right\}
\end{equation*}で表し、これを対応\(f\)による集合\(Y\)の下逆像(lower inverse image)や弱逆像(weak inverse image)などと呼びます。\(f^{-}\left( Y\right) \)は\(A\)の部分集合です。
対応\(f:A\twoheadrightarrow B\)の終集合\(B\)は\(B\)自身の部分集合であるため、\(f\)による\(B\)の下逆像\(f^{-}\left( B\right) \)を考えることもできます。具体的には、\begin{eqnarray*}
f^{-}\left( B\right) &=&\left\{ a\in A\ |\ f\left( a\right) \cap B\not=\phi
\right\} \\
&=&A\quad \because f\text{の定義}
\end{eqnarray*}となります。加えて、先に示したように、\begin{equation*}
D\left( f\right) =f^{+}\left( B\right) =A
\end{equation*}という関係が成り立つため、結局、対応\(f\)の始集合\(A\)、定義域\(D\left( f\right) \)、終集合の上逆像\(f^{+}\left( B\right) \)、終集合の下逆像\(f^{-}\left( B\right) \)はいずれも一致することが明らかになりました。
f^{-}\left( \left\{ a,b\right\} \right) &=&\left\{ 1,2,3\right\} \\
f^{-}\left( \left\{ b,c\right\} \right) &=&\left\{ 1,2,3\right\} \\
f^{-}\left( \left\{ a,c\right\} \right) &=&\left\{ 2\right\} \\
f^{-}\left( \left\{ a,b,c\right\} \right) &=&\left\{ 1,2,3\right\}
\end{eqnarray*}などが成り立ちます。
f\left( x\right) =\left[ 0,x\right] \end{equation*}を定めるものとします。このとき、例えば、\begin{eqnarray*}
f^{-}\left( \left[ 0,\frac{1}{2}\right] \right) &=&\left[ 0,1\right] \\
f^{-}\left( \left( 0,\frac{1}{2}\right) \right) &=&(0,1] \\
f^{-}\left( \left[ 0,1\right] \right) &=&\left[ 0,1\right] \end{eqnarray*}などが成り立ちます。
g\left( a\right) =\left\{ f\left( a\right) \right\}
\end{equation*}を像として定める対応\(f:A\twoheadrightarrow B\)と同一視できます。始集合の部分集合\(X\subset A\)を任意に選ぶと、このとき、\begin{equation*}
g^{-}\left( A\right) =f^{-1}\left( A\right)
\end{equation*}という関係が成り立つため(演習問題にします)、対応による集合の下逆像は、写像による集合の逆像を拡張した概念です。
f^{-}(\phi )=\left\{ a\in A\ |\ f\left( a\right) \cap \phi \not=\phi
\right\}
\end{equation*}となりますが、\(f\left( a\right) \cap \phi \not=\phi \)は恒偽式であるため\(f^{-}\left( \phi \right) =\phi \)となります。つまり、対応による空集合の下逆像は空集合です。
上逆像と下逆像の関係
繰り返しになりますが、対応\(f:A\twoheadrightarrow B\)による集合\(Y\subset B\)の上逆像は、\begin{equation*}
f^{+}\left( Y\right) =\left\{ a\in A\ |\ f\left( a\right) \subset Y\right\}
\end{equation*}と定義される一方で、\(f\)による\(Y\)の下逆像は、\begin{equation*}
f^{-}\left( Y\right) =\left\{ a\in A\ |\ f\left( a\right) \cap Y\not=\phi
\right\}
\end{equation*}と定義されます。\(f\left( a\right) \)が\(Y\)の部分集合であることは\(f\left( a\right) \)と\(Y\)が交わることを含意する一方で、その逆は成立するとは限りません。したがって、\begin{equation*}
f^{+}\left( Y\right) \subset f^{-}\left( Y\right)
\end{equation*}という関係が成り立ちそうです。ただ、例外も存在します。具体的には、対応\(f\)が非空値をとらない場合、すなわち、\(f\left( a\right) =\phi \)を満たす\(a\in A\)が存在する場合、空集合は任意の集合の部分集合であることから\(f\left( a\right) \subset Y\)すなわち\(a\in f^{+}\left( Y\right) \)である一方で、空集合はいかなる集合とも交わらないことから\(f\left( a\right) \cap Y=\phi \)すなわち\(a\not\in f^{-}\left( Y\right) \)であるため、このような\(f\)に対しては\(f^{+}\left( Y\right) \subset f^{-}\left( Y\right) \)という関係は成り立ちません。以下の例からも明らかです。
f^{+}\left( B\right) &=&\left\{ a\in A\ |\ f\left( a\right) \subset
B\right\} =\left\{ 1,2,3\right\} \\
f^{-}\left( B\right) &=&\left\{ a\in A\ |\ f\left( a\right) \cap B\not=\phi
\right\} =\left\{ 1,2\right\}
\end{eqnarray*}となるため\(f^{+}\left( B\right) \subset f^{-}\left( B\right) \)という関係は成り立ちません。
上の例を踏まえると、任意の集合\(Y\subset B\)に対して\(f^{+}\left( B\right) \subset f^{-}\left( B\right) \)という関係が成り立つことを保証するためには対応\(f\)が非空値をとるという条件が必要になります。
f^{+}\left( Y\right) \subset f^{-}\left( Y\right)
\end{equation*}という関係が成り立つ。
f^{+}\left( \left\{ a,b\right\} \right) &=&\left\{ 1,3\right\} \subset
\left\{ 1,2,3\right\} =f^{-}\left( \left\{ a,b\right\} \right) \\
f^{+}\left( \left\{ b,c\right\} \right) &=&\left\{ 1,3\right\} \subset
\left\{ 1,2,3\right\} =f^{-}\left( \left\{ b,c\right\} \right) \\
f^{+}\left( \left\{ a,c\right\} \right) &=&\left\{ 2\right\} =f^{-}\left(
\left\{ a,c\right\} \right) \\
f^{+}\left( \left\{ a,b,c\right\} \right) &=&\left\{ 1,2,3\right\}
=f^{-}\left( \left\{ a,b,c\right\} \right)
\end{eqnarray*}などが成り立ちます。
f^{+}\left( Y\right) =\phi \subset X=f^{-}\left( Y\right)
\end{equation*}という関係が成り立ちます。
f^{+}\left( Y\right) =X\subset A=f^{-}\left( Y\right)
\end{equation*}という関係が成り立ちます。
対応\(f:A\twoheadrightarrow B\)と終集合の部分集合\(Y\subset B\)が与えられたとき、任意の\(a\in A\)に対して、\begin{eqnarray*}
a\in \left( f^{-}\left( Y^{c}\right) \right) ^{c} &\Leftrightarrow &a\not\in
f^{-}\left( Y^{c}\right) \quad \because ^{c}\text{の定義}
\\
&\Leftrightarrow &\lnot \left( f\left( a\right) \cap Y^{c}\not=\phi \right)
\quad \because f^{-}\text{の定義} \\
&\Leftrightarrow &f\left( a\right) \cap Y^{c}=\phi \\
&\Leftrightarrow &f\left( a\right) \subset Y \\
&\Leftrightarrow &a\in f^{+}\left( Y\right)
\end{eqnarray*}となるため、\begin{equation*}
f^{+}\left( Y\right) =\left( f^{-}\left( Y^{c}\right) \right) ^{c}
\end{equation*}という関係が成り立つことが明らかになりました。つまり、対応\(f\)の終集合の部分集合\(Y\)が与えられたとき、その補集合の下逆像の補集合をとれば、それは上逆像と一致します。逆に、\begin{equation*}
f^{-}\left( Y\right) =\left( f^{+}\left( Y^{c}\right) \right) ^{c}
\end{equation*}という関係が成り立つこともまた示されます。
\left( a\right) \ f^{+}\left( Y\right) &=&\left( f^{-}\left( Y^{c}\right)
\right) ^{c} \\
\left( b\right) \ f^{-}\left( Y\right) &=&\left( f^{+}\left( Y^{c}\right)
\right) ^{c}
\end{eqnarray*}という関係が成り立つ。
次回は逆写像について学びます。
質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定) 次へ進む
プレミアム会員だけが質問やコメントを投稿・閲覧できます。