WIIS

関係

二項関係どうしの合成関係

目次

Mailで保存
Xで共有

二項関係どうしの合成関係

集合\(A\)から集合\(B\)への二項関係\(R\)と、集合\(B\)から集合\(C\)への二項関係\(S\)が与えられた状況を想定します。すなわち、\begin{eqnarray*}R &\subset &A\times B \\
S &\subset &B\times C
\end{eqnarray*}です。このとき、集合\(A\)から集合\(C\)への二項関係\begin{equation*}T\subset A\times C
\end{equation*}を、任意の\(a\in A\)および\(c\in C\)に対して、\begin{equation*}\left( a,c\right) \in T\Leftrightarrow \exists b\in B:\left[ \left(
a,b\right) \in R\wedge \left( b,c\right) \in S\right] \end{equation*}すなわち、\begin{equation*}
T\left( a,c\right) \Leftrightarrow \exists b\in B:\left[ R\left( a,b\right)
\wedge S\left( b,c\right) \right] \end{equation*}を満たすものとして定義します。つまり、新たに定義した二項関係\(T\)のもとで\(a\)が\(c\)と関係を持つことは、\(R\)のもとで\(a\)と関係を持つとともに\(S\)のもとで\(c\)と関係を持つような\(b\)が存在することは必要十分です。このような二項関係を\(R\)と\(S\)の合成関係(composition relation)と呼び、これを、\begin{equation*}S\circ R
\end{equation*}で表記します。定義より、任意の\(a\in A\)および\(c\in C\)に対して、\begin{equation*}\left( a,c\right) \in S\circ R\Leftrightarrow \exists b\in B:\left[ \left(
a,b\right) \in R\wedge \left( b,c\right) \in S\right] \end{equation*}すなわち、\begin{equation*}
\left( S\circ R\right) \left( a,c\right) \Leftrightarrow \exists b\in B:
\left[ R\left( a,b\right) \wedge S\left( b,c\right) \right] \end{equation*}という関係が成り立ちます。したがって、\begin{equation*}
S\circ R=\left\{ \left( a,c\right) \in A\times C\ |\ \exists b\in B:\left[
R\left( a,b\right) \wedge S\left( b,c\right) \right] \right\}
\end{equation*}です。

例(知人関係どうしの合成関係)
3つの企業の社員からなる集合をそれぞれ\(A,B,C\)で表記します。その上で、\(A\)から\(B\)への二項関係\(R\)を、任意の\(a\in A\)および\(b\in B\)に対して、\begin{equation*}R\left( a,b\right) \Leftrightarrow a\text{は}b\text{と知り合い}
\end{equation*}を満たすものとして定義します。また、\(B\)から\(C\)への二項関係\(S\)を、任意の\(b\in B\)および\(c\in C\)に対して、\begin{equation*}S\left( b,c\right) \Leftrightarrow b\text{は}c\text{と知り合い}
\end{equation*}を満たすものとして定義します。このとき、合成関係\(S\circ R\)は\(A\)から\(C\)への二項関係であり、任意の\(a\in A\)および\(c\in C\)に対して、\begin{eqnarray*}\left( S\circ R\right) \left( a,c\right) &\Leftrightarrow &\exists b\in B:
\left[ R\left( a,b\right) \wedge S\left( b,c\right) \right] \quad \because
\text{合成関係の定義} \\
&\Leftrightarrow &\exists b\in B:\left( a\text{は}b\text{と知り合い}\wedge b\text{は}c\text{と知り合い}\right) \quad \because R\text{および}S\text{の定義} \\
&\Leftrightarrow &a\text{と}c\text{の共通の知り合いが}B\text{にいる}
\end{eqnarray*}となります。つまり、合成関係\(S\circ R\)は、企業\(B\)に共通の知り合いがいるような企業\(A\)の社員\(a\)と企業\(C\)の社員\(c\)を成分とする順序対\(\left( a,c\right) \)からなる集合です。つまり、\begin{equation*}S\circ R=\left\{ \left( a,c\right) \in A\times C\ |\ a\text{と}c\text{の共通の知り合いが}B\text{にいる}\right\}
\end{equation*}となります。

例(合成関係)
集合\(A,B,C\)をそれぞれ、\begin{eqnarray*}A &=&\left\{ 1,2,3,4\right\} \\
B &=&\left\{ p,q,r,s\right\} \\
C &=&\left\{ 5,6,7,8\right\}
\end{eqnarray*}と定義します。\(A\)から\(B\)への二項関係\(R\)が、\begin{equation*}R=\left\{ \left( 1,p\right) ,\left( 1,q\right) ,\left( 2,p\right) ,\left(
3,s\right) ,\left( 4,s\right) \right\}
\end{equation*}で与えられており、\(B\)から\(C\)への二項関係\(S\)が、\begin{equation*}S=\{\left( q,5\right) ,\left( q,6\right) ,\left( s,7\right) ,\left(
r,8\right) \}
\end{equation*}で与えられているものとします。このとき、合成関係\(S\circ R\)は\(A\)から\(C\)への二項関係であり、\begin{eqnarray*}S\circ R &=&\left\{ \left( a,c\right) \in A\times C\ |\ \exists b\in B:\left[
\left( a,b\right) \in R\wedge \left( b,c\right) \in S\right] \right\} \\
&=&\left\{ \left( 1,5\right) ,\left( 1,6\right) ,\left( 3,7\right) ,\left(
4,7\right) \right\}
\end{eqnarray*}となります。

始集合と終集合が同一の集合であるような二項関係、すなわち自己関係\(R\subset A\times A\)については、2つの二項関係\begin{eqnarray*}R &\subset &A\times A \\
R &\subset &A\times A
\end{eqnarray*}の合成関係\(R\circ R\subset A\times A\)が定義可能であり、これは任意の\(x,y\in A\)に対して、\begin{equation*}\left( R\circ R\right) \left( x,y\right) \Leftrightarrow \exists z\in A:
\left[ R\left( x,z\right) \wedge R\left( z,y\right) \right] \end{equation*}を満たします。したがって、\begin{equation*}
R\circ R=\left\{ \left( x,y\right) \in A\times A\ |\ \exists z\in A:\left[
R\left( x,z\right) \wedge R\left( z,y\right) \right] \right\}
\end{equation*}です。

例(親子関係どうしの合成関係)
すべての人間からなる集合を\(A\)で表記します。その上で、\(A\)上の二項関係\(R\)を、任意の\(x,y\in A\)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow x\text{は}y\text{の子供}
\end{equation*}を満たすものとして定義します。このとき、合成関係\(R\circ R\)は\(A\)上の二項関係であり、任意の\(x,y\in A\)に対して、\begin{eqnarray*}\left( R\circ R\right) \left( x,y\right) &\Leftrightarrow &\exists z\in A:
\left[ R\left( x,z\right) \wedge R\left( z,y\right) \right] \quad \because
\text{合成関係の定義} \\
&\Leftrightarrow &\exists z\in A:\left( x\text{は}z\text{の子供}\wedge z\text{は}y\text{の子供}\right) \quad \because R\text{の定義} \\
&\Leftrightarrow &x\text{は}y\text{の孫}
\end{eqnarray*}となります。したがって、\begin{equation*}
R\circ R=\left\{ \left( x,y\right) \in A\times A\ |\ x\text{は}y\text{の孫}\right\}
\end{equation*}となります。

 

二項関係どうしは合成できるとは限らない

2つの二項関係\begin{eqnarray*}
R &\subset &A\times B \\
S &\subset &B\times C
\end{eqnarray*}が与えられた場合、\(R\)の終集合と\(S\)の始集合は同一の集合\(B\)であるため合成関係\begin{equation*}S\circ R\subset A\times C
\end{equation*}は常に定義可能である一方、\(R\)の終集合\(C\)と\(S\)の始集合\(A\)は一致するとは限らないため合成関係\begin{equation*}R\circ S\subset B\times B
\end{equation*}は定義可能であるとは限りません。

例(知人関係どうしの合成関係)
3つの企業の社員からなる集合をそれぞれ\(A,B,C\)で表記します。二項関係\(R\subset A\times B\)を、任意の\(a\in A\)および\(b\in B\)に対して、\begin{equation*}R\left( a,b\right) \Leftrightarrow a\text{は}b\text{と知り合い}
\end{equation*}を満たすものとして定義します。また、二項関係\(S\subset B\times C\)を、任意の\(b\in B\)および\(c\in C\)に対して、\begin{equation*}S\left( b,c\right) \Leftrightarrow b\text{は}c\text{と知り合い}
\end{equation*}を満たすものとして定義します。\(R\)の終集合と\(S\)の始集合はともに\(B\)であるため合成関係\(S\circ R\subset A\times C\)が定義可能であり、任意の\(a\in A\)および\(c\in C\)に対して、\begin{eqnarray*}\left( S\circ R\right) \left( a,c\right) &\Leftrightarrow &\exists b\in B:
\left[ R\left( a,b\right) \wedge S\left( b,c\right) \right] \quad \because
\text{合成関係の定義} \\
&\Leftrightarrow &\exists b\in B:\left( a\text{は}b\text{と知り合い}\wedge b\text{は}c\text{と知り合い}\right) \quad \because R\text{および}S\text{の定義} \\
&\Leftrightarrow &a\text{と}c\text{の共通の知り合いが}B\text{にいる}
\end{eqnarray*}を満たします。一方、\(S\)の終集合\(C\)と\(R\)の始集合\(A\)は異なるため合成関係\(R\circ S\subset B\times B\)は定義不可能です。

 

二項関係の合成は交換律を満たさない

始集合と終集合が同一の集合であるような2つの二項関係\begin{eqnarray*}
R &\subset &A\times A \\
S &\subset &A\times A
\end{eqnarray*}が与えられたとき、2つの二項関係\begin{eqnarray*}
S\circ R &\subset &A\times A \\
R\circ S &\subset &A\times A
\end{eqnarray*}がともに定義可能ですが、これらは異なる二項関係です。実際、\begin{eqnarray*}
S\circ R &=&\left\{ \left( x,y\right) \in A\times A\ |\ \exists z\in
A:\left( x,z\right) \in R\wedge \left( z,y\right) \in S\right\} \\
R\circ S &=&\left\{ \left( x,y\right) \in A\times A\ |\ \exists z\in
A:\left( x,z\right) \in S\wedge \left( z,y\right) \in R\right\}
\end{eqnarray*}であり、この2つの集合は一致するとは限りません。したがって、2つの二項関係\(R,S\)を合成する際には順番に注意する必要があります。

例(二項関係どうしの合成関係)
実数空間\(\mathbb{R} \)上の二項関係\(R\)を、任意の\(x,y\in \mathbb{R} \)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow x^{2}+y^{2}=1
\end{equation*}を満たすものとして定義します。やはり\(\mathbb{R} \)上の二項関係\(S\)を、任意の\(x,y\in \mathbb{R} \)に対して、\begin{equation*}S\left( x,y\right) \Leftrightarrow 2x+3y=4
\end{equation*}を満たすものとして定義します。このとき、合成関係\(S\circ R\)もまた\(\mathbb{R} \)上の二項関係であり、任意の\(x,y\in \mathbb{R} \)について、\begin{eqnarray*}\left( S\circ R\right) \left( x,y\right) &\Leftrightarrow &\exists z\in \mathbb{R} :\left[ R\left( x,z\right) \wedge S\left( z,y\right) \right] \quad \because
S\circ R\text{の定義} \\
&\Leftrightarrow &\exists z\in \mathbb{R} :\left[ x^{2}+z^{2}=1\wedge 2z+3y=4\right] \quad \because R,S\text{の定義} \\
&\Leftrightarrow &x^{2}+\left( \frac{4-3y}{2}\right) ^{2}=1\quad \because z\text{を消去} \\
&\Leftrightarrow &4x^{2}+\left( 4-3y\right) ^{2}=4
\end{eqnarray*}となります。\(\left( x,y\right) =\left( 0,\frac{2}{3}\right) \)はこの方程式の解であるため、\begin{equation*}\left( 0,\frac{2}{3}\right) \in S\circ R
\end{equation*}です。合成関係\(R\circ S\)もまた\(\mathbb{R} \)上の二項関係であり、それぞれの順序対\(x,y\in \mathbb{R} \)について、\begin{eqnarray*}\left( R\circ S\right) \left( x,y\right) &\Leftrightarrow &\exists z\in \mathbb{R} :\left[ S\left( x,z\right) \wedge R\left( z,y\right) \right] \quad \because
S\circ R\text{の定義} \\
&\Leftrightarrow &\exists z\in \mathbb{R} :\left[ 2x+3z=4\wedge z^{2}+y^{2}=1\right] \quad \because R,S\text{の定義} \\
&\Leftrightarrow &\left( \frac{4-2x}{3}\right) ^{2}+y^{2}=1\quad \because z\text{を消去} \\
&\Leftrightarrow &\left( 4-2x\right) ^{2}+9y^{2}=9
\end{eqnarray*}となります。\(\left( x,y\right) =\left( 0,\frac{2}{3}\right) \)はこの方程式の解ではないため、\begin{equation*}\left( 0,\frac{2}{3}\right) \not\in R\circ S
\end{equation*}です。以上より、\begin{equation*}
S\circ R\not=R\circ S
\end{equation*}であることが明らかになりました。

 

二項関係の合成は結合律を満たす

集合\(A,B,C,D\)に加えて3つの二項関係\begin{eqnarray*}R &\subset &A\times B \\
S &\subset &B\times C \\
T &\subset &C\times D
\end{eqnarray*}で与えられているものとします。

\(R\)の終集合と\(S\)の始集合はともに\(B\)であるため、\(R\)と\(S\)の合成関係\begin{equation*}S\circ R\subset A\times C
\end{equation*}が定義可能です。得られた合成関係\(S\circ R\)の終集合と残された二項関係\(T\)の始集合はともに\(C\)であるため、\(S\circ R\)と\(T\)の合成関係\begin{equation}T\circ \left( S\circ R\right) \subset A\times D \quad \cdots (1)
\end{equation}が定義可能です。

\(S\)の終集合と\(T\)の始集合はともに\(C\)であるため、\(S\)と\(T\)の合成関係\begin{equation*}T\circ S\subset B\times D
\end{equation*}が定義可能です。残された二項関係\(R\)の終集合と合成関係\(T\circ S\)の始集合はともに\(B\)であるため、\(R\)と\(T\circ S\)の合成関係\begin{equation}\left( T\circ S\right) \circ R\subset A\times D \quad \cdots (2)
\end{equation}が定義可能です。

つまり、3つの二項関係\(R,S,T\)を合成する場合、隣り合うどの2つの二項関係を最初に合成するかに応じて、最終的に\(\left( 1\right) \)または\(\left( 2\right) \)が得られます。実は、\(\left( 1\right) \)と\(\left( 2\right) \)は二項関係として等しくなることが保証されます。つまり、\begin{equation*}T\circ \left( S\circ R\right) =\left( T\circ S\right) \circ R
\end{equation*}が成り立つということです。二項関係の合成に関する以上の性質を結合律(associative law)と呼びます。

命題(関係の合成に関する結合律)
集合\(A,B,C,D\)に加えて2つの二項関係\begin{eqnarray*}R &\subset &A\times B \\
S &\subset &B\times C \\
T &\subset &C\times D
\end{eqnarray*}が任意に与えられたとき、以下の関係\begin{equation*}
T\circ \left( S\circ R\right) =\left( T\circ S\right) \circ R
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

合成可能な3つの二項関係\(R,S,T\)が与えられたとき、二項関係の合成\(\circ \)の結合律より、\begin{equation*}T\circ \left( S\circ R\right) =\left( T\circ S\right) \circ R
\end{equation*}が成り立つことが明らかになりました。つまり、\(T\circ \left( S\circ R\right) \)と\(\left( T\circ S\right) \circ R\)は二項関係として等しいため両者を区別する必要はなく、これらをまとめて、\begin{equation*}T\circ S\circ R
\end{equation*}と表記できるものと定めます。

例(二項関係の合成に関する結合律)
すべての人間からなる集合を\(A\)で表記します。その上で、\(A\)上の二項関係\(R\)を、任意の\(x,y\in A\)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow x\text{は}y\text{の子供}
\end{equation*}を満たすものとして定義します。このとき、合成関係\(R\circ R\circ R\)は\(A\)上の二項関係であり、任意の\(x,y\in A\)に対して、\begin{eqnarray*}\left( R\circ R\circ R\right) \left( x,y\right) &\Leftrightarrow &\left(
R\circ \left( R\circ R\right) \right) \left( x,y\right) \quad \because \text{結合律} \\
&\Leftrightarrow &\exists z\in A:\left[ \left( R\circ R\right) \left(
x,z\right) \wedge R\left( z,y\right) \right] \quad \because \text{合成関係の定義} \\
&\Leftrightarrow &\exists z\in A:\left\{ \exists w\in A:\left[ R\left(
x,w\right) \wedge R\left( w,z\right) \right] \wedge R\left( z,y\right)
\right\} \quad \because \text{合成関係の定義} \\
&\Leftrightarrow &\exists z\in A:\left\{ \exists w\in A:\left[ x\text{は}w\text{の子供}\wedge w\text{は}z\text{の子供}\right] \wedge z\text{は}y\text{の子供}\right\} \quad \because R\text{の定義} \\
&\Leftrightarrow &\exists z\in A:\left( x\text{は}z\text{の孫}\wedge z\text{は}y\text{の子供}\right) \\
&\Leftrightarrow &x\text{は}y\text{の曾孫}
\end{eqnarray*}となります。したがって、\begin{equation*}
R\circ R\circ R=\left\{ \left( x,y\right) \in A\times A\ |\ x\text{は}y\text{の曾孫}\right\}
\end{equation*}となります。

集合\(A,B,C,D,E\)に加えて4つの二項関係\begin{eqnarray*}R &\subset &A\times B \\
S &\subset &B\times C \\
T &\subset &C\times D \\
U &\subset &D\times E
\end{eqnarray*}が与えられたとき、二項関係の合成\(\circ \)に関する結合律を繰り返し適用することにより、\begin{eqnarray*}\left( \left( U\circ T\right) \circ S\right) \circ R &=&\left( U\circ \left(
T\circ S\right) \right) \circ R\quad \because \text{結合律}
\\
&=&U\circ \left( \left( T\circ S\right) \circ R\right) \quad \because \text{結合律} \\
&=&U\circ \left( T\circ \left( S\circ R\right) \right) \quad \because \text{結合律}
\end{eqnarray*}を得ます。つまり、合成可能な4つの二項関係\(R,S,T,U\)を合成する場合、\(R,S,T,U\)の間にある3個の\(\circ \)の中のどれを最初に作用させる場合でも、最終的に得られる合成関係は二項関係として等しくなることが保証されるため、これら4つの合成関係を区別せずに、\begin{equation*}U\circ T\circ S\circ R
\end{equation*}で表記します。

任意の有限個の二項関係の合成についても同様の議論が成立します。つまり、合成可能な有限\(n\)個の二項関係\(R_{1},\cdots ,R_{n}\)の間にある\(n-1\)個の\(\circ \)の中のどれを最初に作用させる場合でも、最終的に得られる合成関係は二項関係として等しくなることが保証されるため、それらの合成関係を区別せずに、\begin{equation*}R_{1}\circ \cdots \circ R_{n}
\end{equation*}で表記します。

問題(結合律の一般化)
合成可能な有限\(n\)個の二項関係\(R_{1},\cdots ,R_{n}\)を任意に選んだ上で、これらの相対的な順番を変えないまま合成するとき、合成させる順番とは関係なく最終的に得られる合成関係はいずれも写像として等しい。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

合成関係の逆関係

集合\(A,B,C\)に加えて2つの二項関係\begin{eqnarray*}R &\subset &A\times B \\
S &\subset &B\times C
\end{eqnarray*}が与えられているとき、これらの合成は、\begin{equation*}
S\circ R\subset A\times C
\end{equation*}であり、さらにその逆関係は、\begin{equation}
\left( S\circ R\right) ^{-1}\subset C\times A \quad \cdots (1)
\end{equation}となります。一方、\(R\)と\(S\)それぞれの逆関係は、\begin{eqnarray*}R^{-1} &\subset &B\times A \\
S^{-1} &\subset &C\times B
\end{eqnarray*}ですが、\(S^{-1}\)の終集合と\(R^{-1}\)の始集合はともに\(B\)であるため、以下の合成関係\begin{equation}R^{-1}\circ S^{-1}\subset C\times A \quad \cdots (2)
\end{equation}が定義可能です。\(\left(1\right) \)と\(\left( 2\right) \)はともに\(C\)から\(A\)への関係ですが、実は、これらは一致します。

命題(合成関係の逆関係)
集合\(A,B,C\)について、\(A\)から\(B\)への関係\(R\)と、\(R\)から\(C\)への関係\(S\)がそれぞれ任意に与えられたとき、\begin{equation*}(S\circ R)^{-1}=R^{-1}\circ S^{-1}
\end{equation*}という関係が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(合成関係の逆関係)
集合\(A,B,C\)がそれぞれ、\begin{eqnarray*}A &=&\left\{ 1,2,3,4\right\} \\
B &=&\left\{ p,q,r,s\right\} \\
C &=&\left\{ 5,6,7,8\right\}
\end{eqnarray*}で与えられており、\(A\)から\(B\)への関係\(R\)が、\begin{equation*}R=\left\{ \left( 1,p\right) ,\left( 1,q\right) ,\left( 2,p\right) ,\left(
3,s\right) ,\left( 4,s\right) \right\}
\end{equation*}で与えられており、\(B\)から\(C\)への関係\(S\)が、\begin{equation*}S=\left\{ \left( q,5\right) ,\left( q,6\right) ,\left( r,8\right) ,\left(
s,7\right) \right\}
\end{equation*}で与えられています。このとき、\begin{equation*}
S\circ R=\left\{ \left( 1,5\right) ,\left( 1,6\right) ,\left( 3,7\right)
,\left( 4,7\right) \right\}
\end{equation*}であるため、\begin{equation*}
\left( S\circ R\right) ^{-1}=\left\{ \left( 5,1\right) ,\left( 6,1\right)
,\left( 7,3\right) ,\left( 7,4\right) \right\}
\end{equation*}となります。一方、\begin{eqnarray*}
R^{-1} &=&\left\{ \left( p,1\right) ,\left( q,1\right) ,\left( p,2\right)
,\left( s,3\right) ,\left( s,4\right) \right\} \\
S^{-1} &=&\left\{ \left( 5,q\right) ,\left( 6,q\right) ,\left( 8,r\right)
,\left( 7,s\right) \right\}
\end{eqnarray*}であるため、\begin{equation*}
R^{-1}\circ S^{-1}=\left\{ \left( 5,1\right) ,\left( 6,1\right) ,\left(
7,3\right) ,\left( 7,4\right) \right\}
\end{equation*}となります。以上より、\begin{equation*}
\left( S\circ R\right) ^{-1}=R^{-1}\circ S^{-1}
\end{equation*}が成り立ちますが、この結果は先の命題と整合的です。

 

演習問題

問題(合成関係)
自然数空間\(\mathbb{N} \)上の二項関係\(R\)が、\begin{equation*}R=\left\{ \left( 1,4\right) ,\left( 3,7\right) ,\left( 4,5\right) ,\left(
4,6\right) ,\left( 7,6\right) \right\}
\end{equation*}で与えられています。関連して、以下の問いに答えてください。

  1. \(R\)の定義域\(D\left( R\right) \)と値域\(R\left( R\right) \)をそれぞれ求めてください。
  2. \(R\)の逆関係\(R^{-1}\)を求めてください。
  3. 合成関係\(R\circ R\)を求めてください。
  4. 合成関係\(R^{-1}\circ R\)を求めてください。
  5. 合成関係\(R\circ R^{-1}\)を求めてください。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(合成関係)
集合\(A,B\)がそれぞれ、\begin{eqnarray*}A &=&\left\{ 1,2,3,4\right\} \\
B &=&\left\{ 1,3,5\right\}
\end{eqnarray*}で与えられているものとします。その上で、\(A\)から\(B\)への関係\(R\)を、それぞれの順序対\(\left( a,b\right) \in A\times B\)に対して、\begin{equation*}\left( a,b\right) \in R\Leftrightarrow a<b
\end{equation*}を満たすものとして定義します。関連して以下の問いに答えてください。

  1. \(R\)の要素を列挙してください。
  2. \(R\)の定義域\(D\left( R\right) \)と値域\(R\left( R\right) \)の要素をそれぞれ列挙してください。
  3. 逆関係\(R^{-1}\)の要素を列挙してください。
  4. 合成関係\(R\circ R\)の要素を列挙してください。
  5. 合成関係\(R^{-1}\circ R\)の要素を列挙してください。
  6. 合成関係\(R\circ R^{-1}\)の要素を列挙してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(合成関係)
自然数空間\(\mathbb{N} \)上の二項関係\(R\)を、それぞれの順序対\(\left( x,y\right)\in \mathbb{N} \times \mathbb{N} \)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow x<y
\end{equation*}を満たすものとして定義します。このとき、\(R^{-1}\circ R\)と\(R^{-1}\circ R\)をそれぞれ求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(合成関係)
自然数空間\(\mathbb{N} \)上の関係\(R\)が、任意の順序対\(\left( x,y\right) \in \mathbb{N} \times \mathbb{N} \)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow x+2y=12
\end{equation*}を満たすものとして定義されています。ただし、\(\mathbb{N} =\left\{ 1,2,3,\cdots \right\} \)です。関連して以下の問いに答えてください。

  1. \(R\)の要素を列挙してください。
  2. \(R\)の定義域\(D\left( R\right) \)と値域\(R\left( R\right) \)の要素をそれぞれ列挙してください。
  3. 逆関係\(R^{-1}\)の要素を列挙してください。
  4. 合成関係\(R\circ R\)の要素を列挙してください。
  5. 合成関係\(R^{-1}\circ R\)の要素を列挙してください。\(R^{-1}\circ R\)
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(合成関係)
実数空間\(\mathbb{R} \)上の関係\(R\)が、任意の順序対\(\left( x,y\right) \in \mathbb{R} \times \mathbb{R} \)に対して、\begin{equation*}R\left( x,y\right) \Leftrightarrow 0\leq x-y\leq 1
\end{equation*}を満たすものとして定義されています。関連して以下の問いに答えてください。

  1. \(R\)を直積\(\mathbb{R} \times \mathbb{R} \)の部分集合として記述してください。
  2. \(R^{-1}\)を直積\(\mathbb{R} \times \mathbb{R} \)の部分集合として記述してください。
  3. \(R\circ R^{-1}\)を直積\(\mathbb{R} \times \mathbb{R} \)の部分集合として記述すると、\begin{equation*}R\circ R^{-1}=\left\{ \left( x,z\right) \in \mathbb{R} \times \mathbb{R} \ |\ \left\vert x-z\right\vert \leq 1\right\}\end{equation*}になることを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録