関係同値関係グラフ、反射律、対称律、推移律

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版)の第5章(関係)、5.5(同値関係)、5.5.2(同値関係)、問5.13の解答を求めてみる。

反射的である。

(1, 1), (2, 2), (3, 3), (4, 4) \in G (Δ)

推移的ではない。

(4, 2), (2, 3) \in G (Δ)

だが

(4, 3) \notin G (Δ)

対称的ではない。

(1, 2) \in G (Δ)

だが、

(2, 1) \notin G (Δ)

同値関係ではない。