集合
ZF集合论
Zermelo-Fraenkel 集合论是数学中最常用的公理化集合论,含选择公理时常简写为ZFC,不含选择公里时则简写为ZF。
ZF集合论的公理
-
- 同一律(外延公理):两个集合相等的充分必要条件是它们具有相同的元素,即
∀ X ∀ Y [ X = Y ⇔ ∀ z ( z ∈ X ↔ z ∈ Y ) ] \forall X \forall Y [X = Y\Leftrightarrow \forall z(z\in X\leftrightarrow z\in Y)] ∀X∀Y[X=Y⇔∀z(z∈X↔z∈Y)]
-
- 配对集公理:任给两个集合X和Y,都有一个恰好由它们组成的集合{X,Y},即
∀ X ∀ Y ∃ Z ( Z = { X , Y } ) \forall X \forall Y \exists Z(Z=\{X,Y\}) ∀X∀Y∃Z(Z={X,Y})
-
- 并集公理:任给一个集合X,都有一个恰好由X的元素的元素之全体所组成的集合
∪
X
\cup X
∪X,即
∀ X ∃ Y ( Y = ∪ X = { a ∣ ∃ b ( b ∈ X ∧ a ∈ b ) } ) \forall X \exist Y(Y = \cup X = \{a|\exist b(b\in X \wedge a \in b )\}) ∀X∃Y(Y=∪X={a∣∃b(b∈X∧a∈b)})
- 并集公理:任给一个集合X,都有一个恰好由X的元素的元素之全体所组成的集合
∪
X
\cup X
∪X,即
-
- 幂集公理:任给一个集合X,都有一个恰好由它的子集合的全体组成的集合P(X),即
∀ X ∃ Y ( Y = P ( X ) = { A ∣ A ∈ X } ) \forall X \exist Y (Y = P(X) = \{A|A\in X\}) ∀X∃Y(Y=P(X)={A∣A∈X})
-
- 无限集公理:存在一个满足如下两条要求(a)和(b)的集合X,
(a)X含一个元素;
(b)如果Y∈X,那么Y∪{Y}∈X。其中Y∪{Y}={Y,{Y}},即
- 无限集公理:存在一个满足如下两条要求(a)和(b)的集合X,
∃ X [ ( ∃ a ( a ∈ X ) ) ∧ ( ∀ Y ( Y ∈ X → Y ∪ Y ∈ X ) ) ] \exist X [(\exist a(a\in X))\wedge (\forall Y(Y\in X \to Y \cup {Y}\in X))] ∃X[(∃a(a∈X))∧(∀Y(Y∈X→Y∪Y∈X))]
-
- 分解原理:分解公理又称概括公理,应当注意到这里的表达式并非朴素集合论的概括方式。设φ(x,y₁,…,y𝗇)(1≤n<∞)是集合论语言的一个表达式。任给集合X和p₁,…,p𝗇,集合X中的那些具有性质φ[u,y₁,…,y𝗇]的元素u构成一个集合Y,即
∀ X ∀ p 1 … ∀ p n ∃ Y ( Y = u ∈ X ∣ ϕ [ u , p 1 , … , p n ] ) \forall X \forall p_1 \dots \forall p_n\exist Y (Y = {u\in X |\phi [u,p_1,\dots,p_n]}) ∀X∀p1…∀pn∃Y(Y=u∈X∣ϕ[u,p1,…,pn])
这六条公里是Zermelo在1908年引入的
后来Fraenikel又引入了映像存在原理,冯诺依曼又引入了极小原理
ZF集合论的推论
- 子集
子集的每个元素都在原集合中,子集可以是空集合,用 P ( X ) \mathcal P (X) P(X)表示以X的所有子集为元素的全体的集合。 - 余集
若X是集合 A ⊂ X A\subset X A⊂X,则 X − A : = { x ∈ X ; x ∉ A } X-A := \{x\in X;x\notin A\} X−A:={x∈X;x∈/A}是A关于X的余集 - 乘积
若X,Y是两个集合,则由 x ∈ X , y ∈ Y x\in X,y\in Y x∈X,y∈Y组成的有序对(x,y)全体组成的集合
X × Y : = { ( x , y ) ; x ∈ X , y ∈ Y } X\times Y :=\{(x,y);x\in X,y\in Y\} X×Y:={(x,y);x∈X,y∈Y}
是X和Y的乘积。
-
集合X上的关系R是指乘积 X × X X \times X X×X的任意子集,即R由一些特定的序对(x,y)组成,其中 x ∈ X , y ∈ Y x\in X,y\in Y x∈X,y∈Y
-
集合上的等价关系是X是满足以下关系的R,其中 ( x , y ) ∈ R (x,y)\in R (x,y)∈R记作 x ∼ y x\sim y x∼y
-
自反性:对所有的 x ∈ X x\in X x∈X有 x ∼ x x\sim x x∼x
-
对称性:当 x ∼ y x\sim y x∼y时,有 y ∼ x y\sim x y∼x
-
传递性:当 x ∼ y x\sim y x∼y且 y ∼ z y\sim z y∼z时, x ∼ z x\sim z x∼z
-
映射
若X和Y是两个非空集合,X到Y的映射或函数是指乘积 X x Y的一个子集f,满足对每一个x存在唯一的y使得(x,y)属于f。(欸,这个f不就是前面说的一个集合关系嘛嘿嘿)
f : X → Y 或 X → f Y f:X\to Y 或 X\stackrel{f}{\to} Y f:X→Y或X→fY
或者我们常见的函数定义
f ( x ) ∈ Y f(x)\in Y f(x)∈Y
特征函数
定义函数 χ A : X → R \chi_A:X\to \mathbb R χA:X→R为
χ A ( x ) : = { 1 , x ∈ A 0 , x ∉ A \chi_A(x):=\begin{cases} 1,&x\in A \\ 0,&x\notin A \end{cases} χA(x):={1,0,x∈Ax∈/A
其为A的特征函数
若 f : X → Y f:X\to Y f:X→Y为一个映射,X的子集A在f下指向的便是Y的子集f(A),即
f ( A ) : = { y ∈ Y ; ∃ x ∈ A , y = f ( x ) } f(A):=\{y\in Y; \exist x\in A ,y=f(x)\} f(A):={y∈Y;∃x∈A,y=f(x)}
同理,Y的子集B在f下的逆像是X的子集
f − 1 ( B ) : = { x ∈ X ; f ( x ) ∈ B } f^{-1}(B):=\{x\in X;f(x)\in B\} f−1(B):={x∈X;f(x)∈B}
须知 f 不 是 P ( X ) 到 P ( Y ) 的 映 射 f不是\mathcal{P}(X)到\mathcal{P}(Y)的映射 f不是P(X)到P(Y)的映射
映射的一些性质
A是X的子集,B是Y的子集
-
1. 逆像保持所有集合运算
- 若 B ⊂ B ~ B\subset \tilde{B} B⊂B~则 f − 1 ( B ) ⊂ f − 1 ( B ~ ) f^{-1}(B)\subset f^{-1}(\tilde{B}) f−1(B)⊂f−1(B~)
- f − 1 ( B ∪ B ~ ) = f − 1 ( B ) ∪ f − 1 ( B ~ ) f^{-1}(B\cup\tilde{B})=f^{-1}(B)\cup f^{-1}(\tilde{B}) f−1(B∪B~)=f−1(B)∪f−1(B~)
- f − 1 ( B ∩ B ~ ) = f − 1 ( B ) ∩ f − 1 ( B ~ ) f^{-1}(B\cap\tilde{B})=f^{-1}(B)\cap f^{-1}(\tilde{B}) f−1(B∩B~)=f−1(B)∩f−1(B~)
-
f
−
1
(
Y
−
B
)
=
X
−
f
−
1
(
B
)
f^{-1}(Y-B) = X - f^{-1}(B)
f−1(Y−B)=X−f−1(B)
但是直接像只满足 - 若 A ⊂ A ~ A\subset \tilde{A} A⊂A~则 f ( A ) ⊂ f ( A ~ ) f(A)\subset f(\tilde{A}) f(A)⊂f(A~)
- f ( A ∪ A ~ ) = f ( A ) ∪ f ( A ~ ) f(A\cup\tilde{A})=f(A)\cup f(\tilde{A}) f(A∪A~)=f(A)∪f(A~)
-
f
(
A
∩
A
~
)
=
f
(
A
)
∩
f
(
A
~
)
f(A\cap\tilde{A})=f(A)\cap f(\tilde{A})
f(A∩A~)=f(A)∩f(A~)
相比而言少了最后一条.
-
2. 若对于每个 y ∈ Y y\in Y y∈Y至少存在一个 x ∈ X x\in X x∈X使 y = f ( x ) y = f(x) y=f(x)则f是满射
-
3. 多对于每个 y ∈ Y y \in Y y∈Y至多存在一个 x ∈ X x\in X x∈X使得 y = f ( x ) y =f(x) y=f(x) 则称之为单射
-
4. 若 f : X → Y f:X\to Y f:X→Y是满射且是单射,则称其为双射,此时可以定义逆映射.
-
5. 若 f : X → Y f:X\to Y f:X→Y是一个映射,A是X的子集,对每个 x ∈ A x\in A x∈A,令 f A ( x ) = f ( x ) f_A(x) = f(x) fA(x)=f(x)这就定义了一个映射 f A : A → Y f_A:A\to Y fA:A→Y,称之为f在A是的限制,记作 f ∣ A f|_A f∣A
-
6. 设 g : A → Y g:A \to Y g:A→Y是一个映射,其中A是X的子集,如果映射 f : X → Y f:X\to Y f:X→Y满足 f ∣ A = g f|_A=g f∣A=g,则称f为g的一个延拓
-
7. 设 f : X → Y , g : Y → Z f:X\to Y,g:Y\to Z f:X→Y,g:Y→Z是两个映射,映射 h : X → Z h:X\to Z h:X→Z定义为对每个 x ∈ X , h ( x ) = g ( f ( x ) ) x\in X,h(x) = g(f(x)) x∈X,h(x)=g(f(x)),称h为复合映射,记作 h = g ∘ f h=g\circ f h=g∘f或 h = g f h=gf h=gf
-
8. 设 f : X × Y → Z f:X\times Y\to Z f:X×Y→Z是一个映射,a是X的一个元素,定义映射 f ( a , ⋅ ) : Y → Z f(a,\cdot):Y\to Z f(a,⋅):Y→Z为 f ( a , ⋅ ) : y ∈ Y → f ( a , y ) ∈ Z f(a,\cdot):y\in Y\to f(a,y)\in Z f(a,⋅):y∈Y→f(a,y)∈Z称之为一个部分映射.
-
9. 对映射 f : ( x , y ) ∈ X × Y → f ( x , y ) ∈ Z f:(x,y)\in X\times Y \to f(x,y)\in Z f:(x,y)∈X×Y→f(x,y)∈Z分别称两个元素为第一个变元和第二个变元.