同値であることと等しい同値類であることは必要十分
集合\(A\)上の同値関係\(\sim \)が与えられているものとします。つまり、\(\sim \)は反射律と対称律に加えて推移律を満たすということ、具体的には、\begin{eqnarray*}&&\left( E_{1}\right) \ \forall x\in A:x\sim x \\
&&\left( E_{2}\right) \ \forall x,y\in A:\left( x\sim y\Rightarrow y\sim
x\right) \\
&&\left( E_{3}\right) \ \forall x,y,z\in X:\left[ \left( x\sim y\wedge y\sim
z\right) \Rightarrow x\sim z\right]
\end{eqnarray*}が成り立つということです。復習になりますが、要素\(x\in A\)を任意に選んだとき、\(x\)を代表元とする同値類とは、同値関係\(\sim \)のもとで\(x\)と同値であるような\(A\)のすべての要素からなる集合\begin{equation*}\left[ x\right] =\left\{ y\in A\ |\ x\sim y\right\}
\end{equation*}として定義されます。
以上を踏まえた上で、要素\(x,y\in A\)を任意に選んだとき、\begin{equation*}\left[ x\right] =\left[ y\right] \Leftrightarrow x\sim y
\end{equation*}という関係が成り立つことが保証されます。つまり、2つの同値類\(\left[ x\right] ,\left[ y\right] \)が等しいことと、それらの代表元\(x,y\)が同値であることは必要十分です。
\end{equation*}という関係が成り立つ。
繰り返しになりますが、等しい同値類\(\left[ x\right] ,\left[ y\right] \)が与えられたとき、上の命題より、それらの代表元である\(x\)と\(y\)が同値であることが保証されます。逆に、\(x\)と\(y\)が同値であるとき、やはり上の命題より、それらを代表元とする同値類\(\left[ x\right] ,\left[ y\right] \)が等しいことが保証されます。つまり、「同値類として等しい」という事実と「同値である」という事実を必要に応じて言い換えながら議論を行うことができます。これは非常に便利な手法であり多用することになります。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。学生\(x\in A\)を任意に選んだとき、この学生\(x\)を代表元とする同値類は、\begin{equation*}\left[ x\right] =\left\{ y\in A\ |\ x\text{は}y\text{と同じ学年}\right\}
\end{equation*}であり、これは学生\(x\)と同じ学年に属するすべての学生からなる集合です。2人の学生\(x,y\in A\)を任意に選んだとき、先の命題より、\begin{equation*}\left[ x\right] =\left[ y\right] \Leftrightarrow x\text{は}y\text{と同じ学年}
\end{equation*}という関係が成り立ちます。つまり、\(x\)と同じ学生からなる集合と\(y\)と同じ学生からなる集合が等しいことと、\(x\)と\(y\)が同じ学年であることは必要十分です。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。整数\(x\in \mathbb{Z} \)を任意に選んだとき、この整数を\(x\)を代表元とする同値類は、\begin{equation*}\left[ x\right] =\left\{ y\in \mathbb{Z} \ |\ x\text{と}y\text{の偶奇が一致する}\right\}
\end{equation*}であり、これは\(x\)と偶奇が一致するすべての整数からなる集合です。2つの整数\(x,y\in \mathbb{Z} \)を任意に選んだとき、先の命題より、\begin{equation*}\left[ x\right] =\left[ y\right] \Leftrightarrow x\text{と}y\text{の偶奇が一致する}
\end{equation*}という関係が成り立ちます。つまり、\(x\)と偶奇が一致する整数の集合と\(y\)と偶奇が一致する整数の集合が等しいことと、\(x\)と\(y\)の偶奇が一致することは必要十分です。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。ただし、\(x\equiv y\ \left( \mathrm{mod}\ n\right) \)は\(x-y\)が\(3\)の整数倍であること（\(x\)が\(3\)を法として\(y\)と合同である）ことを表します。整数\(x\in \mathbb{Z} \)を任意に選んだとき、この整数\(x\)を代表元とする同値類は、\begin{eqnarray*}\left[ x\right] &=&\left\{ y\in \mathbb{Z} \ |\ x\equiv y\ \left( \mathrm{mod}\ 3\right) \right\} \\
&=&\left\{ x-3k\in \mathbb{Z} \ |\ k\in \mathbb{Z} \right\} \\
&=&\left\{ x,x\pm 3,x\pm 6,x\pm 9,\cdots \right\}
\end{eqnarray*}です。2つの数\(x,y\in \mathbb{Z} \)を任意に選んだとき、先の命題より、\begin{equation*}\left[ x\right] =\left[ y\right] \Leftrightarrow x\equiv y\ \left( \mathrm{mod}\ 3\right)
\end{equation*}という関係が成り立ちます。
\end{equation*}について考えます。このとき、それぞれの順序対\(\left( \frac{z_{1}}{n_{1}},\frac{z_{2}}{n_{2}}\right) \in \mathbb{Q} \times \mathbb{Q} \)に対して、\begin{equation*}R\left( \frac{z_{1}}{n_{1}},\frac{z_{1}}{n_{2}}\right) \Leftrightarrow
z_{1}n_{2}=z_{2}n_{1}
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。商\(\frac{z}{n}\in \mathbb{Q} \)を任意に選んだとき、\(\frac{z}{n}\)を代表元とする同値類は、\begin{equation*}\left[ \frac{z}{n}\right] =\left\{ \frac{z^{\prime }}{n^{\prime }}\in \mathbb{Q} \ |\ zn^{\prime }=z^{\prime }n\right\} \quad \because R\text{の定義}
\end{equation*}であり、これは約分すると\(\frac{z}{n}\)と一致するすべての商からなる集合です。これを有理数と呼びます。2つの商\(\frac{z_{1}}{n_{1}},\frac{z_{2}}{n_{2}}\in \mathbb{Q} \)を任意に選んだとき、先の命題より、\begin{equation*}\left[ \frac{z_{1}}{n_{1}}\right] =\left[ \frac{z_{2}}{n_{2}}\right] \Leftrightarrow z_{1}n_{2}=z_{2}n_{1}
\end{equation*}という関係が成り立ちます。
商集合は分割
集合\(A\)の部分集合族\(\mathfrak{A}\)について、\(\mathfrak{A}\)の要素がいずれも空集合ではなく、\(\mathfrak{A}\)の和集合が\(A\)と一致し、なおかつ\(\mathfrak{A}\)の任意の2つの要素が互いに素であるならば、すなわち、\begin{eqnarray*}&&\left( a\right) \ \forall X\in \mathfrak{A}:X\not=\phi \\
&&\left( b\right) \ \bigcup \mathfrak{A}=A \\
&&\left( c\right) \ \forall X,Y\in \mathfrak{A}:\left( X\not=Y\Rightarrow
X\cap Y=\phi \right)
\end{eqnarray*}がいずれも成り立つ場合には\(\mathfrak{A}\)を\(A\)の分割（partition）と呼びます。
\end{equation*}と与えられています。以下の集合族\begin{equation*}
\mathfrak{A}=\left\{ \left\{ 1,2\right\} ,\left\{ 3\right\} ,\left\{
4\right\} \right\}
\end{equation*}は\(A\)の分割です。なぜなら、\(\mathfrak{A}\)の任意の要素は\(A\)の部分集合であり、\(\mathfrak{A}\)の任意の要素は空集合ではなく、\(\mathfrak{A}\)の要素の和集合は\(A\)と一致し、なおかつ\(\mathfrak{A}\)の任意の2つの要素は互いに素だからです。また、以下の集合族\begin{eqnarray*}&&\left\{ \left\{ 1\right\} ,\left\{ 2,3\right\} ,\left\{ 4\right\} \right\}
\\
&&\left\{ \left\{ 1\right\} ,\left\{ 2\right\} ,\left\{ 3,4\right\} \right\}
\\
&&\left\{ \left\{ 1\right\} ,\left\{ 2\right\} ,\left\{ 3\right\} ,\left\{
4\right\} \right\} \\
&&\left\{ \left\{ 1,2,3,4\right\} \right\}
\end{eqnarray*}もまたいずれも\(A\)の分割です（確認してください）。
集合\(A\)上の同値関係\(\sim \)が与えられたとき、要素\(x\in X\)を任意に選べば、\(x\)を代表元とする同値類\(\left[ x\right] \)を生成できます。そこで、\(X\)のそれぞれの要素を代表元とする同値類からなる集合族を、\begin{equation*}A\backslash \sim =\left\{ \left[ x\right] \ |\ x\in A\right\}
\end{equation*}で表記し、これを\(A\)の\(\sim \)による商集合（quotient set）と呼びます。任意の\(x\in A\)について\(\left[ x\right]\subset A\)であるため、商集合\(A\backslash \sim \)は\(A\)の部分集合族です。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。この\(R\)のもとでは以下の6つの同値類\begin{eqnarray*}A_{1} &=&\{x\in A\ |\ x\text{は1年生}\} \\
A_{2} &=&\{x\in A\ |\ x\text{は2年生}\} \\
A_{3} &=&\{x\in A\ |\ x\text{は3年生}\} \\
A_{4} &=&\{x\in A\ |\ x\text{は4年生}\} \\
A_{5} &=&\{x\in A\ |\ x\text{は5年生}\} \\
A_{6} &=&\{x\in A\ |\ x\text{は6年生}\}
\end{eqnarray*}が存在するため、\(A\)の\(R\)による商集合は、\begin{equation*}A\backslash R=\{A_{1},A_{2},A_{3},A_{4},A_{5},A_{6}\}
\end{equation*}となります。\(A_{1},A_{2},A_{3},A_{4},A_{5},A_{6}\)はいずれも\(A\)の非空な部分集合です。また、その和集合は、\begin{eqnarray*}\bigcup A\backslash R &=&A_{1}\cup A_{2}\cup A_{3}\cup A_{4}\cup A_{5}\cup
A_{6} \\
&=&A
\end{eqnarray*}を満たします。また、\(A_{1},A_{2},A_{3},A_{4},A_{5},A_{6}\)の中の任意の2つは互いに素です。したがって\(A\backslash R\)は\(A\)の分割です。つまり、それぞれの学生は何らかの学年に属するとともに、異なる複数の学年に属することはありません。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。この\(R\)のもとでは以下の2つの同値類\begin{eqnarray*}\left[ 0\right] &=&\left\{ x\in \mathbb{Z} \ |\ x\text{は偶数}\right\} \\
\left[ 1\right] &=&\left\{ x\in \mathbb{Z} \ |\ x\text{は奇数}\right\}
\end{eqnarray*}が存在するため、\(\mathbb{Z} \)の\(R\)による商集合は、\begin{equation*}\mathbb{Z} \backslash R=\left\{ \left[ 0\right] ,\left[ 1\right] \right\} \end{equation*}となります。\(\left[ 0\right] \)と\(\left[ 1\right] \)は\(\mathbb{Z} \)の非空な部分集合です。また、その和集合は、\begin{eqnarray*}\bigcup \mathbb{Z} \backslash R &=&\left[ 0\right] \cup \left[ 1\right] \\
&=&\mathbb{Z} \end{eqnarray*}を満たします。さらに\(\left[ 0\right] \)と\(\left[ 1\right] \)は互いに素です。したがって\(\mathbb{Z} \backslash R\)は\(\mathbb{Z} \)の分割です。つまり、それぞれの整数は\(\left[ 0\right] ,\left[ 1\right] \)のどちらか一方に必ず属するとともに、\(\left[ 0\right] ,\left[ 1\right] \)の両方に属することはありません。
\end{equation*}を満たすものとして定義される\(R\)は同値関係です。この\(R\)のもとでは以下の3つの同値類\begin{eqnarray*}\left[ 0\right] &=&\{x\in \mathbb{Z} \ |\ x\equiv 0\ (\mathrm{mod}\ 3)\}=\{0,\pm 3,\pm 6,\cdots \} \\
\left[ 1\right] &=&\{x\in \mathbb{Z} \ |\ x\equiv 1\ (\mathrm{mod}\ 3)\}=\{\pm 1,\pm 4,\pm 7,\cdots \} \\
\left[ 2\right] &=&\{x\in \mathbb{Z} \ |\ x\equiv 2\ (\mathrm{mod}\ 3)\}=\{\pm 2,\pm 5,\pm 8,\cdots \}
\end{eqnarray*}が存在するため、\(\mathbb{Z} \)の\(R\)による商集合は、\begin{equation*}\mathbb{Z} \backslash R=\left\{ \left[ 0\right] ,\left[ 1\right] ,\left[ 2\right]\right\}
\end{equation*}となります。\(\left[ 0\right] \)と\(\left[ 1\right] \)と\(\left[ 2\right] \)は\(\mathbb{Z} \)の非空な部分集合です。また、その和集合は、\begin{eqnarray*}\bigcup \mathbb{Z} \backslash R &=&\left[ 0\right] \cup \left[ 1\right] \cup \left[ 2\right] \\
&=&\mathbb{Z} \end{eqnarray*}を満たします。さらに\(\left[ 0\right] \)と\(\left[ 1\right] \)と\(\left[ 2\right] \)の中の任意の2つの集合は互いに素です。したがって\(\mathbb{Z} \backslash R\)は\(\mathbb{Z} \)の分割です。つまり、それぞれの整数は\(\left[ 0\right] ,\left[ 1\right] ,\left[ 2\right] \)のいずれか1つに必ず属するとともに、\(\left[ 0\right] ,\left[ 1\right] ,\left[ 2\right] \)の中の複数の集合に属することはありません。
以上の3つの例では、集合\(A\)上の同値関係\(\sim \)から定義した商集合\(A\backslash \sim \)が\(A\)の分割になっていますが、実は、このような性質はあらゆる商集合に関して成立します。以上の事実を踏まえた上で、集合\(A\)上の同値関係\(\sim \)から\(A\)の分割である商集合\(A\backslash \sim \)を生成することを、\(A\)の\(\sim \)による類別（classification）と呼びます。
分割が生成する同値関係
集合\(A\)上の同値関係\(\sim \)が与えられれば商集合\(A\backslash \sim \)を生成できますが、これは\(A\)の分割であることが保証されます。逆に、\(A\)の分割が与えられれば、そこから以下のようにして\(A\)上の同値関係\(\sim \)を生成することができます。
集合\(A\)の分割\(\mathfrak{A}\)が与えられた状況を想定します。つまり、\begin{eqnarray*}&&\left( a\right) \ \forall X\in \mathfrak{A}:X\not=\phi \\
&&\left( b\right) \ \bigcup \mathfrak{A}=A \\
&&\left( c\right) \ \forall X,Y\in \mathfrak{A}:\left( X\not=Y\Rightarrow
X\cap Y=\phi \right)
\end{eqnarray*}を満たす\(A\)の部分集合族\(\mathfrak{A}\)について考えます。順序対\(\left( x,y\right) \in A\times A\)を任意に選んだとき、上の条件より、\(x\in X\)かつ\(y\in Y\)を満たす集合\(X,Y\in \mathfrak{A}\)が存在するため、\begin{equation*}R\left( x,y\right) \Leftrightarrow X=Y
\end{equation*}を満たすものとして\(A\)上の二項関係\(R\)を定義できます。つまり、\(x\)が属する集合と\(y\)が属する集合が一致する場合、そしてその場合にのみ\(R\)のもとで\(x\)は\(y\)を関係を持つものとして定義するということです。このように定義される\(R\)は\(A\)上の同値関係になることが保証されます。このような\(R\)を分割\(A\)が生成する同値関係（equivalence relation induced by partition）と呼びます。
\end{equation*}として定義される\(R\)は\(A\)上の同値関係である。
\end{equation*}を満たすものとして\(R\)を定義します。このとき、\begin{equation*}R\left( x,y\right) \Leftrightarrow x\text{と}y\text{の偶奇が一致する}
\end{equation*}となります。以上の\(R\)が分割\(\left\{ E,O\right\} \)が生成する同値関係です。
集合\(A\)上の同値関係\(\sim \)が与えられれば\(A\)の分割である商集合\(A\backslash \sim \)を生成することができ、逆に、\(A\)の分割が与えられれば\(A\)上の同値関係を生成できることが明らかになりました。以上の事実は、\(A\)上の同値関係と\(A \)の分割が概念として実質的に等しいことを示唆します。
演習問題
\end{equation*}を満たすものとして\(R\)を定義します。商集合\(\mathbb{Z} \backslash R\)を特定するとともに、それが\(\mathbb{Z} \)の分割であることを確認してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】