タグ: 圏論

同値類・商集合

集合の元の間に、関係があるとき と書く。関係が次の3つの条件を満たすとき同値関係という。 (反射) (対称) (推移) また、このときはとはについて同値という(中略)一つの集合を同値類に分けるとは、一定の基準によっていく… もっと読む »