二項関係の逆関係
集合\(A\)から集合\(B\)への二項関係\begin{equation*}R\subset A\times B
\end{equation*}が与えられているものとします。このとき、集合\(B\)から集合\(A\)への二項関係\begin{equation*}R^{-1}\subset B\times A
\end{equation*}を、任意の\(b\in B\)および\(a\in A\)に対して、\begin{equation*}\left( b,a\right) \in R^{-1}\Leftrightarrow \left( a,b\right) \in R
\end{equation*}すなわち、\begin{equation}
R^{-1}\left( b,a\right) \Leftrightarrow R\left( a,b\right) \quad \cdots (1)
\end{equation}を満たすものとして定義します。つまり、新たに定義した二項関係\(R^{-1}\)のもとで\(b\)が\(a\)と関係を持つことと、もとの二項関係\(R\)のもとで\(a\)が\(b\)と関係を持つことは必要十分です。以上のように定義される二項関係\(R^{-1}\)をもとの二項関係\(R\)の逆関係（inverse relation）と呼びます。
逆関係の定義より、\begin{eqnarray*}
R^{-1} &=&\left\{ \left( b,a\right) \in B\times A\ |\ R^{-1}\left(
b,a\right) \right\} \\
&=&\left\{ \left( b,a\right) \in B\times A\ |\ R\left( a,b\right) \right\}
\quad \because \left( 1\right)
\end{eqnarray*}という関係が成り立ちます。つまり、もとの二項関係\(R\)のもとで\(R\left( a,b\right) \)が成り立つような順序対\(\left( a,b\right) \)の成分を入れ替えることにより得られる順序対\(\left( b,a\right) \)をすべて集めれば逆関係\(R^{-1}\)が得られます。
W &=&\left\{ w_{1},w_{2},w_{3}\right\}
\end{eqnarray*}で与えられているものとします。加えて、\(m_{1}\)と\(w_{2}\)、\(m_{2}\)と\(w_{3}\)がそれぞれ夫婦であり、他の全員が独身であるものとします。\(M\)から\(W\)への関係\(R\)を、任意の\(m\in M\)および\(w\in W\)に対して、\begin{equation*}R\left( m,w\right) \Leftrightarrow m\text{は}w\text{の夫である}
\end{equation*}を満たすものとして定義します。つまり、\(R\)は婚姻関係に相当する二項関係です。このとき、\begin{equation*}R=\left\{ \left( m_{1},w_{2}\right) ,\left( m_{2},w_{3}\right) \right\}
\end{equation*}となります。\(R\)の要素である順序対\(\left( m,w\right) \)の成分を入れ替えた順序対\(\left( w,m\right) \)からなる集合が逆関係\(R^{-1}\)であるため、\begin{equation*}R^{-1}=\left\{ \left( w_{2},m_{1}\right) ,\left( w_{3},m_{2}\right) \right\}
\end{equation*}となります。実際、\(m\)が\(w\)の夫であることと、\(w\)が\(m\)の妻であることは必要十分であるため、\(R\)の逆関係\(R^{-1}\)は、任意の\(w\in W\)および\(m\in M\)について、\begin{equation*}R^{-1}\left( w,m\right) \Leftrightarrow w\text{は}m\text{の妻である}
\end{equation*}を満たすものとして定義されます。以上より、「男性が女性の夫である」の逆関係は「女性が男性の妻である」ことが明らかになりました。
A &=&\left\{ 1,3,5\right\} \\
B &=&\left\{ 2,4,6\right\}
\end{eqnarray*}が与えられている状況において、\(A\)から\(B\)への二項関係\(R\)を、任意の\(a\in A\)および\(b\in B\)に対して、\begin{equation*}R\left( a,b\right) \Leftrightarrow a<b
\end{equation*}を満たすものとして定義します。つまり、\(R\)は狭義大小関係に相当する二項関係です。このとき、\begin{equation*}R=\left\{ \left( 1,2\right) ,\left( 1,4\right) ,\left( 1,6\right) ,\left(
3,4\right) ,\left( 3,6\right) ,\left( 5,6\right) \right\}
\end{equation*}となります。\(R\)の要素である順序対\(\left( a,b\right) \)の成分を入れ替えた順序対\(\left( b,a\right) \)からなる集合が逆関係\(R^{-1}\)であるため、\begin{equation*}R^{-1}=\left\{ \left( 2,1\right) ,\left( 4,1\right) ,\left( 6,1\right)
,\left( 4,3\right) ,\left( 6,3\right) ,\left( 6,5\right) \right\}
\end{equation*}となります。実際、\(a<b\)と\(b>a\)は必要十分であるため、\(R\)の逆関係\(R^{-1}\)は、任意の\(b\in B\)および\(a\in A\)に対して、\begin{equation*}R^{-1}\left( b,a\right) \Leftrightarrow b>a
\end{equation*}を満たすものとして定義されます。以上より、狭義大小関係\(<\)の逆関係は\(>\)であることが明らかになりました。
自己関係も二項関係であるため、その逆関係が定義可能です。具体的には、集合\(A\)上の二項関係\begin{equation*}R\subset A\times A
\end{equation*}が与えられたとき、その逆関係\begin{equation*}
R^{-1}\subset A\times A
\end{equation*}とは、任意の\(x,y\in A\)について、\begin{equation*}\left( y,x\right) \in R^{-1}\Leftrightarrow \left( x,y\right) \in R
\end{equation*}すなわち、\begin{equation}
R^{-1}\left( y,x\right) \Leftrightarrow R\left( x,y\right) \quad \cdots (1)
\end{equation}を満たすものとして定義されます。したがって、\begin{eqnarray*}
R^{-1} &=&\left\{ \left( y,x\right) \in A\times A\ |\ R^{-1}\left(
y,x\right) \right\} \\
&=&\left\{ \left( y,x\right) \in A\times A\ |\ R\left( x,y\right) \right\}
\quad \because \left( 1\right)
\end{eqnarray*}となります。つまり、集合\(A\)上の二項関係\(R\)のもとで\(R\left( x,y\right) \)が成り立つような順序対\(\left( x,y\right) \)の成分を入れ替えた順序対\(\left( y,x\right) \)からなる集合が\(R^{-1}\)です。
\end{equation*}を満たすものとして定義します。つまり、\(R\)は包含関係に相当する二項関係です。このとき、\begin{equation*}R=\left\{ \left( A,B\right) \in 2^{X}\times 2^{X}\ |\ A\subset B\right\}
\end{equation*}であるため、\(R\)の逆関係\(R^{-1}\)は、\begin{eqnarray*}R^{-1} &=&\left\{ \left( B,A\right) \in 2^{X}\times 2^{X}\ |\ R\left(
A,B\right) \right\} \quad \because \text{逆関係の定義} \\
&=&\left\{ \left( B,A\right) \in 2^{X}\times 2^{X}\ |\ A\subset B\right\}
\quad \because R\text{の定義} \\
&=&\left\{ \left( B,A\right) \in 2^{X}\times 2^{X}\ |\ B\supset A\right\}
\quad \because A\subset B\Leftrightarrow B\supset A
\end{eqnarray*}となります。つまり、\(R\)の逆関係\(R^{-1}\)は、任意の\(B\in 2^{X}\)および\(A\in 2^{X}\)に対して、\begin{equation*}R^{-1}\left( B,A\right) \Leftrightarrow B\supset A
\end{equation*}を満たすものとして定義されます。以上より、\(\subset \)の逆関係は\(\supset \)であることが明らかになりました。
\end{equation*}を満たすものとして定義されます。このとき、\begin{equation*}
\Delta _{A}=\left\{ \left( x,y\right) \in A\times A\ |\ x=y\right\}
\end{equation*}であるため、\(\Delta _{A}\)の逆関係\(\Delta _{A}^{-1}\)は、\begin{eqnarray*}\Delta _{A}^{-1} &=&\left\{ \left( y,x\right) \in A\times A\ |\ \Delta
_{A}\left( x,y\right) \right\} \quad \because \text{逆関係の定義} \\
&=&\left\{ \left( y,x\right) \in A\times A\ |\ x=y\right\} \quad \because R\text{の定義} \\
&=&\left\{ \left( y,x\right) \in A\times A\ |\ y=x\right\} \quad \because
x=y\Leftrightarrow y=x
\end{eqnarray*}となります。つまり、\(\Delta _{A}\)の逆関係\(\Delta _{A}^{-1}\)は、任意の\(y\in A\)および\(x\in A\)に対して、\begin{equation*}R^{-1}\left( y,x\right) \Leftrightarrow y=x
\end{equation*}を満たすものとして定義されます。以上より、\(=\)の逆関係は\(=\)であることが明らかになりました。
逆関係の定義域と値域
逆関係も二項関係であるため、その定義域や値域を定義できます。具体的には、集合\(A\)から集合\(B\)への二項関係\(R\)が与えられたとき、その逆関係\(R^{-1}\)は\(B\)から\(A\)への二項関係であるため、\(R^{-1}\)の定義域は\(R^{-1}\)のもとで終集合\(A\)の何らかの要素と関係を持つ始集合\(B\)の要素からなる集合\begin{equation*}D\left( R^{-1}\right) =\left\{ b\in B\ |\ \exists a\in A:\left( b,a\right)
\in R^{-1}\right\}
\end{equation*}と定義されます。また、\(R^{-1}\)の値域は\(R^{-1}\)のもとで始集合\(B\)の何らかの要素と関係を持つ終集合\(A\)の要素からなる集合\begin{equation*}R\left( R^{-1}\right) =\left\{ a\in A\ |\ \exists b\in B:\left( b,a\right)
\in R^{-1}\right\}
\end{equation*}と定義されます。
W &=&\left\{ w_{1},w_{2},w_{3}\right\}
\end{eqnarray*}で与えられているものとします。加えて、\(m_{1}\)と\(w_{2}\)、\(m_{2}\)と\(w_{3}\)がそれぞれ夫婦であり、他の全員が独身であるものとします。\(M\)から\(W\)への関係\(R\)を、任意の\(m\in M\)および\(w\in W\)に対して、\begin{equation*}R\left( m,w\right) \Leftrightarrow m\text{は}w\text{の夫である}
\end{equation*}を満たすものとして定義すると、\begin{equation*}
R=\left\{ \left( m_{1},w_{2}\right) ,\left( m_{2},w_{3}\right) \right\}
\end{equation*}となるため、\(R\)の定義域と値域は、\begin{eqnarray*}D\left( R\right) &=&\left\{ m_{1},m_{2}\right\} \\
R\left( R\right) &=&\left\{ w_{2},w_{3}\right\}
\end{eqnarray*}です。一方、\(R\)の逆関係は、\begin{equation*}R^{-1}=\left\{ \left( w_{2},m_{1}\right) ,\left( w_{3},m_{2}\right) \right\}
\end{equation*}であるため、\(R^{-1}\)の定義域と値域は、\begin{eqnarray*}D\left( R^{-1}\right) &=&\left\{ w_{2},w_{3}\right\} \\
R\left( R^{-1}\right) &=&\left\{ m_{1},m_{2}\right\}
\end{eqnarray*}です。したがって、以下の関係\begin{eqnarray*}
D\left( R\right) &=&R\left( R^{-1}\right) \\
R\left( R\right) &=&D\left( R^{-1}\right)
\end{eqnarray*}が成立しています。つまり、関係\(R\)の定義域と逆関係\(R^{-1}\)の値域が一致し、関係\(R\)の値域と逆関係\(R^{-1}\)の定義域が一致しています。
A &=&\left\{ 1,3,5\right\} \\
B &=&\left\{ 2,4,6\right\}
\end{eqnarray*}が与えられている状況において、\(A\)から\(B\)への二項関係\(R\)を、任意の\(a\in A\)および\(b\in B\)に対して、\begin{equation*}R\left( a,b\right) \Leftrightarrow a<b
\end{equation*}を満たすものとして定義すると、\begin{equation*}
R=\left\{ \left( 1,2\right) ,\left( 1,4\right) ,\left( 1,6\right) ,\left(
3,4\right) ,\left( 3,6\right) ,\left( 5,6\right) \right\}
\end{equation*}となるため、\(R\)の定義域と値域は、\begin{eqnarray*}D\left( R\right) &=&\left\{ 1,3,5\right\} \\
R\left( R\right) &=&\left\{ 2,4,6\right\}
\end{eqnarray*}です。一方、\(R\)の逆関係は、\begin{equation*}R^{-1}=\left\{ \left( 2,1\right) ,\left( 4,1\right) ,\left( 6,1\right)
,\left( 4,3\right) ,\left( 6,3\right) ,\left( 6,5\right) \right\}
\end{equation*}であるため、\(R^{-1}\)の定義域と値域は、\begin{eqnarray*}D\left( R^{-1}\right) &=&\left\{ 2,4,6\right\} \\
R\left( R^{-1}\right) &=&\left\{ 1,3,5\right\}
\end{eqnarray*}です。この例においても、\begin{eqnarray*}
D\left( R\right) &=&R\left( R^{-1}\right) \\
R\left( R\right) &=&D\left( R^{-1}\right)
\end{eqnarray*}が成立しています。
自己関係の逆関係もまた自己関係であり、自己関係は二項関係であるため、自己関係の逆関係についてもその定義域や値域が定義可能です。具体的には、集合\(A\)上の二項関係\(R\)が与えられたとき、その逆関係\(R^{-1}\)もまた\(A\)上の二項関係であり、その定義域とは\(R^{-1}\)のもとで終集合\(A\)の何らかの要素と関係を持つ始集合\(A\)の要素からなる集合\begin{equation*}D\left( R^{-1}\right) =\left\{ y\in A\ |\ \exists x\in A:\left( y,x\right)
\in R^{-1}\right\}
\end{equation*}として定義されます。また、\(R^{-1}\)の値域とは\(R^{-1}\)のもとで始集合\(A\)の何らかの要素と関係を持つ終集合\(A\)の要素からなる集合\begin{equation*}R\left( R^{-1}\right) =\left\{ x\in A\ |\ \exists y\in A:\left( y,x\right)
\in R^{-1}\right\}
\end{equation*}として定義されます。
\end{equation*}で与えられているとき、その定義域と値域は、\begin{eqnarray*}
D\left( R\right) &=&\left\{ 1,2\right\} \\
R\left( R\right) &=&\left\{ 2,3\right\}
\end{eqnarray*}です。\(R\)の逆関係は、\begin{equation*}R^{-1}=\left\{ \left( 2,1\right) ,\left( 3,1\right) ,\left( 3,2\right)
\right\}
\end{equation*}であり、その定義域と値域は、\begin{eqnarray*}
D\left( R^{-1}\right) &=&\left\{ 2,3\right\} \\
R\left( R\right) &=&\left\{ 1,2\right\}
\end{eqnarray*}です。この例においても、\begin{eqnarray*}
D\left( R\right) &=&R\left( R^{-1}\right) \\
R\left( R\right) &=&D\left( R^{-1}\right)
\end{eqnarray*}が成立しています。
これまで扱ったいずれの例においても、二項関係\(R\)の定義域と逆関係\(R^{-1}\)の値域は一致し、\(R\)の値域と\(R^{-1}\)の定義域は一致していますが、こうした関係は一般的に成立します。
\left( B\right) \ R\left( R\right) &=&D\left( R^{-1}\right)
\end{eqnarray*}が成り立つ。
演習問題
4,6\right) ,\left( 7,6\right) \right\}
\end{equation*}で与えられています。\(R\)の定義域と値域、逆関係\(R^{-1}\)およびその定義域と値域をそれぞれ求めてください。
B &=&\left\{ 1,3,5\right\}
\end{eqnarray*}で与えられているものとします。その上で、\(A\)から\(B\)への二項関係\(R\)を、任意の\(a\in A\)および\(b\in B\)に対して、\begin{equation*}\left( a,b\right) \in R\Leftrightarrow a<b
\end{equation*}を満たすものとして定義します。\(R\)およびその定義域と値域、逆関係\(R^{-1}\)およびその定義域と値域をそれぞれ求めてください。
\end{equation*}を満たすものとして定義されています。\(R\)およびその定義域と値域、逆関係\(R^{-1}\)およびその定義域と値域をそれぞれ求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】