数学基础系列：集合与数

本文旨在整理一些集合论中的基础概念与定理，其中术语尽量使用中文。

1 集合论基础

首先，我们介绍Cartesian product（笛卡尔积、直积）$A\times B$，就是从$A$中、$B$中各取一个元素组成的有序数对。如果是$n$个集合，它们的Cartesian product就是一个$n$-tuples：
× i = 1 n A i = { ( a 1 , … , a n ) : a i ∈ A i , i = 1 , … , n } \times_{i=1}^n A_i = \{(a_1,\ldots,a_n):a_i\in A_i,i=1,\ldots,n\} ×i=1n​Ai​={ (a1​,…,an​):ai​∈Ai​,i=1,…,n}

所谓关系（Relation），是$A\times A$的任一子集，就叫集合$A$上的一个关系，记为$R$。如果$(x,y)\in R$，则可写为$xRy$。$R$可能的性质有：

• 自反性（Reflexive）：$xRx$；
• 对称性（Symmetric）：若$xRy$则必有$yRx$；
• 反对称性（Antisymmetric）：若$xRy$且$yRx$，则必有$x=y$；
• 传递性（Transitive）：若$xRy$且$yRz$，则必有$xRz$。

等价关系（Equivalence relation），就是自反、对称、传递的关系。

给定$A$上的一个等价关系$R$，那么$A$中的元素$x$的等价类（equivalence class），就是集合 E x = { y ∈ A : x R y } E_x = \{y\in A:xRy\} Ex​={ y∈A:xRy}。若$E_x$和$E_y$是$x$和$y$的等价类，那么必有$E_x\cap E_y=\varnothing$或$E_x=E_y$。

自反、反对称、传递的关系，就叫partial ordering（偏序），可以用符号$\ge$或$\le$表示。对于任意partial ordering，如果将其中的$(x,x)$元素剔除，就变成了strict ordering，用符号$>$或$<$表示，这种关系不再是自反的和反对称的，但依旧有传递性。如果对于集合$A$，每一对$(x,y)\in A\times A$都满足$x<y$、$x>y$或$x=y$这三种中的一种，那么称$A$是linearly ordered。再进一步，定义集合$A$的最小元素为$a\in A$，它满足$\forall x\in A,a\le x$（最大元素可类似定义），那么，如果linearly ordered$A$的每一个子集都有一个最小元素，则称$A$是well-ordered。

一个映射/变换/函数（mapping/transformation/function）定义为$T:X\mapsto Y$，这是一种将$X$中的每个元素与$Y$中唯一一个元素联系起来的规则。$X$称为定义域（domain），$Y$为到达域（codomain），集合 G T = { ( x , y ) : x ∈ X , y = T ( x ) } ⊆ X × Y G_T=\{(x,y):x\in X,y=T(x)\}\subseteq X\times Y GT​={ (x,y):x∈X,y=T(x)}⊆X×Y称为graph of $T$。集合 T ( A ) = { T ( x ) : x ∈ A } ⊆ Y T(A)=\{T(x):x\in A\}\subseteq Y T(A)={ T(x):x∈A}⊆Y称为$A$在$T$下的像（image），对于$B\subseteq Y$，集合 T − 1 ( B ) = { x : T ( x ) ∈ B } ⊆ X T^{-1}(B)=\{x:T(x) \in B\}\subseteq X T−1(B)={ x:T(x)∈B}⊆X称为$B$在$T$下的inverse image。集合$T(X)$称为$T$的值域（range），若$T(X)=Y$则称该映射为from X