2016-03-31から1日間の記事一覧

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

はじめに 二項関係から生成される関係 同値類 同値類と同値関係の性質 はじめに 数学の勉強をしていると、関係 を次の等式を含むような最小の同値関係とする、という定義がよく出てきます。 しかし、この定義は関係 の具体的な構成を与えていないので、この…