本文旨在整理一些集合论中的基础概念与定理,其中术语尽量使用中文。
1 集合论基础
首先,我们介绍Cartesian product(笛卡尔积、直积) A × B A\times B A×B,就是从 A A A中、 B B B中各取一个元素组成的有序数对。如果是 n n n个集合,它们的Cartesian product就是一个 n n 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=1nAi={
(a1,…,an):ai∈Ai,i=1,…,n}
所谓关系(Relation),是 A × A A\times A A×A的任一子集,就叫集合 A A A上的一个关系,记为 R R R。如果 ( x , y ) ∈ R (x,y)\in R (x,y)∈R,则可写为 x R y xRy xRy。 R R R可能的性质有:
- 自反性(Reflexive): x R x xRx xRx;
- 对称性(Symmetric):若 x R y xRy xRy则必有 y R x yRx yRx;
- 反对称性(Antisymmetric):若 x R y xRy xRy且 y R x yRx yRx,则必有 x = y x=y x=y;
- 传递性(Transitive):若 x R y xRy xRy且 y R z yRz yRz,则必有 x R z xRz xRz。
等价关系(Equivalence relation),就是自反、对称、传递的关系。
给定 A A A上的一个等价关系 R R R,那么 A A A中的元素 x x x的等价类(equivalence class),就是集合 E x = { y ∈ A : x R y } E_x = \{y\in A:xRy\} Ex={ y∈A:xRy}。若 E x E_x Ex和 E y E_y Ey是 x x x和 y y y的等价类,那么必有 E x ∩ E y = ∅ E_x\cap E_y=\emptyset Ex∩Ey=∅或 E x = E y E_x=E_y Ex=Ey。
自反、反对称、传递的关系,就叫partial ordering(偏序),可以用符号 ≥ \geq ≥或 ≤ \leq ≤表示。对于任意partial ordering,如果将其中的 ( x , x ) (x,x) (x,x)元素剔除,就变成了strict ordering,用符号 > \gt >或 < \lt <表示,这种关系不再是自反的和反对称的,但依旧有传递性。如果对于集合 A A A,每一对 ( x , y ) ∈ A × A (x,y)\in A\times A (x,y)∈A×A都满足 x < y x\lt y x<y、 x > y x\gt y x>y或 x = y x=y x=y这三种中的一种,那么称 A A A是linearly ordered。再进一步,定义集合 A A A的最小元素为 a ∈ A a\in A a∈A,它满足 ∀ x ∈ A , a ≤ x \forall x\in A, a\leq x ∀x∈A,a≤x(最大元素可类似定义),那么,如果linearly ordered A A A的每一个子集都有一个最小元素,则称 A A A是well-ordered。
一个映射/变换/函数(mapping/transformation/function)定义为 T : X ↦ Y T:X\mapsto Y T:X↦Y,这是一种将 X X X中的每个元素与 Y Y Y中唯一一个元素联系起来的规则。 X X X称为定义域(domain), Y Y 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 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 A A在 T T T下的像(image),对于 B ⊆ Y B\subseteq Y B⊆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 B B在 T T T下的inverse image。集合 T ( X ) T(X) T(X)称为 T T T的值域(range),若 T ( X ) = Y T(X)=Y T(X)=Y则称该映射为from X