同値関係の定義式は減らせる
この記事は数学の記事であり、日記です。日記性は中盤以降に出てきます。
同値関係同値関係とは、集合S上の関係「〜」であって、Sのすべての元a,b,cについて以下の3条件を満たすもののことをいいます。
同値関係の一例である「=」のことを想像するとわかりやすいですが、「どんな元も自分自身とは同値である」みたいなことです。
「aがbと同値なら、bはaと同値である」と読めます。
これも具体例として「=」を見るとわかりやすいですが、a=bであってかつb=cなら、a=cを結論付けら