本文介绍了集合论中的商集概念，通过等价关系建立商集，并举例展示了如何利用商集来分析整数的除法特性。讨论了两个等价关系的交集作为等价关系的情况，以及它们的商集与原商集的关系。
初等数学O 集合论基础 第六节 商集
这一讲延续第四讲对等价关系与等价的讨论，引入商集这个概念。
定义0.22 假设 ∼ \sim ∼是非空集合 X X X上的一个等价关系，称 X / ∼ X/\sim X/∼是 X X X基于等价关系 ∼ \sim ∼定义的商集，它的元素是 X X X关于 ∼ \sim ∼的所有等价类。
根据这个定义，商集其实是一个集列，它的每个元素都是等价类。
评注0.8
商集中的元素具有下面几个特点：
- X / ∼ ≠ ϕ X/\sim \ne \phi X/∼=ϕ
- ∀ A ∈ X / ∼ \forall A \in X/\sim ∀A∈X/∼, A ≠ ϕ A \ne \phi A=ϕ
- ∀ A , B ∈ X / ∼ , A ≠ B ⇒ A ∩ B = ϕ \forall A,B \in X/\sim, A \ne B \Rightarrow A \cap B = \phi ∀A,B∈X/∼,A=B⇒A∩B=ϕ
事实上，根据商集的定义，我们可以得到下面的结论：
X = ⨆ A ∈ X / ∼ A X = \bigsqcup_{A \in X/\sim}A X=A∈X/∼⨆A
根据选择公理， X X X非空，说明至少有一个 A ∈ X / ∼ A \in X/\sim A∈X/∼非空，因此 X / ∼ X/\sim X/∼非空，第二条与第三条可以直接由等价类的定义获得。
定义0.23 根据选择公理，在每个 A ∈ X / ∼ A \in X/\sim A∈X/∼，我们至少可以选出一个元素，称这个元素为等价类 A A A的代表元，这些代表元组成了商集的代表集，记为 M M M，则
X = ⨆ A ∈ X / ∼ A = ⨆ m ∈ M [ m ] X = \bigsqcup_{A \in X/\sim}A = \bigsqcup_{m \in M}[m] X=A∈X/∼⨆A=m∈M⨆[m]
例0.10
i）记 = = =为恒等关系，则
X / = = { { x } : x ∈ X } X/= = \{\{x\}:x \in X\} X/=={
{
x}:x∈X}
因此 M = X M = X M=X。
ii）记 X × X X \times X X×X为全域关系，则
X / ( X × X ) = { X } X/(X \times X) = \{X\} X/(X×X)={
X}
例0.11 例0.9中我们讨论了基于同余定义的等价类，考虑整数集 Z \mathbb{Z} Z，假设等价关系 ∼ \sim ∼表示关于3的余数相同，
[ 0 ] = { z ∈ Z : ∃ n ∈ Z , z = 3 n } [ 1 ] = { z ∈ Z : ∃ n ∈ Z , z = 3 n + 1 } [ 2 ] = { z ∈ Z : ∃ n ∈ Z , z = 3 n + 2 } [0] = \{z \in \mathbb{Z}:\exists n \in \mathbb{Z},z = 3n\} \\ [1] = \{z \in \mathbb{Z}:\exists n \in \mathbb{Z},z = 3n+1\} \\ [2] = \{z \in \mathbb{Z}:\exists n \in \mathbb{Z},z = 3n+2\} [0]={
z∈Z:∃
最低0.47元/天 解锁文章
扫一扫
2110
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
