二項関係から生成される同値関係に関する形式的な証明

はじめに

数学の勉強をしていると、関係  \sim を次の等式を含むような最小の同値関係とする、という定義がよく出てきます。
しかし、この定義は関係  \sim の具体的な構成を与えていないので、この同値関係に関する証明をしようとすると途端に行き詰まってしまいます(例えば、商空間を定義域とするような関数が well-defined であることを証明する場合など)。
この記事では、二項関係から生成される同値関係を構成的に定義し、それが本当に最小の同値関係になっていることを証明します。
また同値類を定義し、同値類と同値関係に関して成り立つ基本的な事柄に関して補足します。

二項関係から生成される関係

 R を任意の集合  X 上の二項関係であるとします。このとき、新しい  X 上の二項関係  R' を次のように定義します。

\begin{align*}
\forall x,y \in X,\, (x,y) \in R' \iff &\exists n,\, \exists x_{0}, \dots , x_{n} \in X, \\
&x = x_{0} \\
&\land y = x_{n} \\
&\land \left( \forall 0 \leq i \leq n - 1,\, x_{i} = x_{i+1} \lor (x_{i}, x_{i+1}) \in R \lor (x_{i+1}, x_{i}) \in R \right)
\end{align*}

この  R' R を含むような最小の同値関係であることを示します。

 Lemma
 R \subseteq R'

 Proof.
任意の  x,y \in X に対して、 (x,y) \in R とすると、 n = 1 x = x_{0} y = x_{1} とすると、 (x_{0}, x_{1}) \in R が成り立つので、 (x,y) \in R' が成り立つ。

 \square

 Lemma
 R' \text{ is an equivalence relation}.

 Proof.

  • reflexive

任意の  x \in X に対して、 n = 1 x = x_{0} x = x_{1} とすれば、 x_{0} = x_{1} が成り立つので、 (x,x) \in R' が成り立つ。

  • symmetric

任意の  x,y \in X に対して、 (x,y) \in R' とすると、 \exists n,\ \exists x_{0}, \dots , x_{n} が存在して、 x = x_{0} y = x_{n} \forall 0 \leq i \leq n-1,\, x_{i} = x_{i+1} \lor (x_{i}, x_{i+1}) \in R \lor (x_{i+1},x_{i}) \in R を満たす。このとき、 x_{0}, \dots , x_{n} の順序を逆にした列  x_{n}, \dots, x_{0} を新たに  x'_{0}, \dots x'_{n} とすると、これは  y = x'_{0} x = x'_{n} \forall 0 \leq i \leq n-1,\, x'_{i} = x'_{i+1} \lor (x'_{i}, x'_{i+1}) \in R \lor (x'_{i+1},x'_{i}) \in R を満たす。よって  (y,x) \in R' が成り立つ。

  • transitive

任意の  x,y,z \in X に対して、 (x,y) \in R' (y,z) \in R' とすると、 \exists n,\, \exists x_{0}, \dots ,x_{n} \exists n',\, \exists x'_{0}, \dots, x'_{n'} が存在して条件を満たす。このとき、列  x_{0}, \dots, x_{n}, x'_{0}, \dots, x'_{n'} を新たに列  x''_{0}, \dots , x''_{n + n' + 1} とすると、これは  x = x''_{0} z = x''_{n+n'+1} \forall 0 \leq i \leq n + n',\, x''_{i} = x''_{i+1} \lor (x''_{i}, x''_{i+1}) \in R \lor (x''_{i+1}, x''_{i}) \in R を満たす。よって  (x,z) \in R' が成り立つ。

 \square

以上より、 R' R を含む同値関係であることがわかりました。次に  R' R を含むような同値関係の中で最小であることを示します。

 Lemma
 R' \text{ is the least equivalence relation containing } R.

 Proof.
任意の  R'' R を含む同値関係であるとする。任意の  x,y \in X に対して、 (x,y) \in R' とすると  \exists n,\, \exists x_{0}, \dots, x_{n} が存在して条件を満たす。このとき、 n に関する帰納法により証明する。

  •  n = 1 のとき

 x_{0} = x_{1} のときは  R'' が同値関係であることより  (x,y) \in R'' である。 (x_{0},x_{1}) \in R \lor (x_{1}, x_{0}) \in R のときは、 R'' R を含むことより  (x,y) \in R'' が成り立つ。

  •  n \gt 1 のとき

帰納法の仮定より  (x_{0}, x_{n-1}) \in R'' が成り立つ。 n = 1 のときと同様の議論により、 (x_{n-1}, x_{n}) \in R'' が成り立つ。よって  R'' の transitivity により、 (x,y) \in R'' が成り立つ。

 \square

同値類

集合  X 上の任意の同値関係  \sim が与えられているときに、任意の  x \in X に対して次にように定義される集合を  x の同値類と呼びます。
\begin{equation}
[x] = \left\{ y \in X \ \middle| \ x \sim y \right\}
\end{equation}
このとき、次の事柄が成り立ちます。

 Lemma
 \forall x,x',y \in X,\,  y \in [x \land y \in [x'] \Rightarrow [x] = [x'] ]

 Proof.
 y \in [x] y \in [x'] より  x \sim y x' \sim y が成り立つ。すると  \sim が同値関係であることから、 x \sim x' が成り立つ。
すると任意の  z \in X に対して、 z \in [x] \iff x \sim z \iff x' \sim z \iff z \in [x'] が成り立つ。よって  [x] = [x'] である。

 \square

これは集合  X が互いに素な同値類に分解されることを示しています。

同値類と同値関係の性質

最後に基本的な事柄を確認して終わりにします。これによって、同値関係にない要素は違う同値類に属することがわかります。

 Lemma
 \forall x,y \in X,\,  [x = [y] \iff x \sim y ]

 Proof.

  • only if case

 y \in [y] であるから仮定より  y \in [x] が成り立つ。すると定義より  x \sim y が成り立つ。

  • if case

任意の  z \in X に対して、仮定と  \sim が同値関係であることより、 z \in [x] \iff x \sim z \iff y \sim z \iff z \in [y] が成り立つ。よって  [x] = [y] である。

 \square