初等数学O 集合论基础 第二节 映射与集合的势
初等數學O 集合論基礎 第二節 映射與集合的勢
這一節的目標是基于映射建立比較集合“大小”的工具——集合的勢(cardinality)，也被稱為集合的基數，這個工具是自然數的基數理論的基礎。
定義0.6 映射 X,YX,YX,Y是兩個非空集合，稱f:X→Yf:X \to Yf:X→Y是一個映射，如果
?x∈X,?!y∈Y,f(x)=y\forall x \in X, \exists !y \in Y,f(x)=y?x∈X,?!y∈Y,f(x)=y
稱XXX為原像空間，YYY為像空間，f(X)f(X)f(X)是值域，f?1(A)f^{-1}(A)f?1(A)是集合AAA的拉回(pre-image)，?A?f(X)\forall A \subseteq f(X)?A?f(X)
f(X)={y∈Y:?x∈X,f(x)=y}f?1(A)={x∈X:f(x)=y,y∈A}f(X)=\{y \in Y:\exists x \in X,f(x)=y\} \\ f^{-1}(A)=\{x \in X:f(x)=y, y \in A\}f(X)={y∈Y:?x∈X,f(x)=y}f?1(A)={x∈X:f(x)=y,y∈A}
根據值域與拉回的定義，我們可以直接獲得下面的恒等式
f?1(f(X))=Xf^{-1}(f(X))=Xf?1(f(X))=X
用逐個元素的方式表述單射、滿射、雙射：
稱f:X→Yf:X \to Yf:X→Y是一個單射，如果
?x1,x2∈X,x1≠x2?f(x1)≠f(x2)\forall x_1,x_2 \in X,x_1 \ne x_2\Rightarrow f(x_1) \ne f(x_2)?x1?,x2?∈X,x1??=x2??f(x1?)?=f(x2?)
稱f:X→Yf:X \to Yf:X→Y是一個滿射，如果
?y∈Y,?x∈X,f(x)=y\forall y \in Y,\exists x \in X,f(x)=y?y∈Y,?x∈X,f(x)=y
稱f:X→Yf:X \to Yf:X→Y是一個雙射，如果fff既是單射也是滿射，或者說
?y∈Y,?!x∈X,f(x)=y\forall y \in Y, \exists ! x \in X,f(x)=y?y∈Y,?!x∈X,f(x)=y
用集合的方式表述單射、滿射、雙射：
稱f:X→Yf:X \to Yf:X→Y是一個單射，如果
f(X)?Yf(X) \subseteq Yf(X)?Y
稱f:X→Yf:X \to Yf:X→Y是一個滿射，如果
f?1(Y)?Xf^{-1}(Y) \subseteq Xf?1(Y)?X
稱f:X→Yf:X \to Yf:X→Y是一個雙射，如果fff既是單射也是滿射，或者說
Y=f(X)Y=f(X)Y=f(X)
定義0.7 集合的勢
如果nnn是一個有限的數，假設f:X→{1,2,?,n}f:X \to \{1,2,\cdots,n\}f:X→{1,2,?,n}是一個雙射，我們就稱集合XXX的勢為nnn，也就是集合XXX有nnn個元素，記為∣X∣=n|X|=n∣X∣=n
注 按這個定義我們只能處理有限個元素的集合，為了這個工具使用范圍更廣，我們需要擴充我們的工具箱，這就需要借助映射對勢進行公理化定義。
定義0.8 勢的大小關系
考慮映射f:X→Yf:X \to Yf:X→Y，如果
評注0.2 集合的大小關系有很多種定義方式，比如集合的包含關系就是一種比較集合“大小”的方法，再比如集合的勢也是比較集合“大小”的方法，具體采用什么方法比較兩個集合取決于我們想要保留的元素的“屬性”。如果我們用集合的包含關系定義集合的“大小”，那么被比較大小的兩個集合一定有部分元素是同質的，所以才會出現包含關系；如果我們用集合的勢定義集合的大小關系，那么被比較大小的兩個集合的元素本身的屬性就被摒棄了，剩下的只是元素作為“計數工具”的性質，比如一個集合中的元素是貓、另一個集合中的元素是老鼠，那么在用勢比較集合大小時，貓和老鼠的各種理化生屬性都被我們忽略了，最后剩下的計數作用意味著一只貓表示1，一只老鼠也表示1。所以勢這種工具更加抽象化、公理化，這也是為什么基于勢可以進一步定義出自然數的概念的原因。
下面介紹勢的一些簡單性質。
定理0.2 ∣X∣≤∣Y∣?∣Y∣≥∣X∣|X| \le |Y| \Leftrightarrow |Y| \ge |X|∣X∣≤∣Y∣?∣Y∣≥∣X∣
證明
?\Rightarrow?: ∣X∣≤∣Y∣|X| \le |Y|∣X∣≤∣Y∣說明存在f:X→Yf:X \to Yf:X→Y，且fff是單射，取x0∈Xx_0 \in Xx0?∈X，定義g:Y→Xg:Y \to Xg:Y→X滿足
g(y)={x0,y∈Y?f(X)f?1(y),y∈f(X)g(y) = \begin{cases} x_0,\ \ y \in Y \setminus f(X) \\ f^{-1}(y),\ \ y \in f(X) \end{cases}g(y)={x0?,??y∈Y?f(X)f?1(y),??y∈f(X)?
顯然ggg是一個滿射，因此∣Y∣≥∣X∣|Y| \ge |X|∣Y∣≥∣X∣。
?\Leftarrow?: ∣Y∣≥∣X∣|Y| \ge |X|∣Y∣≥∣X∣說明存在g:Y→Xg:Y \to Xg:Y→X，且ggg是滿射，因此集列{g?1({x}):x∈X}\{g^{-1}(\{x\}):x \in X\}{g?1({x}):x∈X}中的元素非空且無交，我們從g?1({x})g^{-1}(\{x\})g?1({x})中任取一個元素，記為axa_xax?，并構造映射f:X→Yf:X \to Yf:X→Y滿足f(x)=ax,?x∈Xf(x)=a_x,\forall x \in Xf(x)=ax?,?x∈X，顯然fff是一個單射，因此∣X∣≤∣Y∣|X| \le |Y|∣X∣≤∣Y∣。
證畢
定理0.3 對任意集合X,YX,YX,Y，要么∣X∣≤∣Y∣|X| \le |Y|∣X∣≤∣Y∣，要么∣X∣≥∣Y∣|X| \ge |Y|∣X∣≥∣Y∣
定理0.4 Schroeder-Bernstein定理 對任意集合X,YX,YX,Y，如果∣X∣≤∣Y∣|X| \le |Y|∣X∣≤∣Y∣并且∣X∣≥∣Y∣|X| \ge |Y|∣X∣≥∣Y∣，則∣X∣=∣Y∣|X|=|Y|∣X∣=∣Y∣
證明
如果∣X∣≤∣Y∣|X| \le |Y|∣X∣≤∣Y∣并且∣X∣≥∣Y∣|X| \ge |Y|∣X∣≥∣Y∣，則存在f:X→Yf:X \to Yf:X→Y, g:Y→Xg:Y \to Xg:Y→X是單射，根據單射的集合定義，f(X)?Yf(X) \subseteq Yf(X)?Y，于是我們可以把YYY分成兩部分，
Y=f(X)?(Y?f(X))Y = f(X) \sqcup (Y \setminus f(X))Y=f(X)?(Y?f(X))
另外，ggg也是單射，因此g(Y)?Xg(Y) \subseteq Xg(Y)?X，我們可以把XXX分為三部分
X=g(f(X))?g(Y?f(X))?(X?g(Y))X=g(f(X)) \sqcup g(Y \setminus f(X)) \sqcup (X \setminus g(Y))X=g(f(X))?g(Y?f(X))?(X?g(Y))
基于這個發現我們可以定義一個映射h:X→Yh:X \to Yh:X→Y，滿足
h(x)={f(x),x∈g(f(X))?(X?g(Y))g?1(x),x∈g(Y?f(X))h(x) = \begin{cases} f(x), \ x \in g(f(X))\sqcup (X \setminus g(Y)) \\ g^{-1}(x), \ x \in g(Y \setminus f(X)) \end{cases}h(x)={f(x),?x∈g(f(X))?(X?g(Y))g?1(x),?x∈g(Y?f(X))?
則hhh是一個雙射，所以∣X∣=∣Y∣|X|=|Y|∣X∣=∣Y∣。
證畢
評注0.3
- 證明勢的大小關系依據定義0.8，要證明∣X∣≤∣Y∣|X|\le |Y|∣X∣≤∣Y∣，只需要構造一個X→YX \to YX→Y的映射并說明它是單射即可，其他情況類似，因為按照定義，我們需要驗證這樣的映射的存在性，一般而言說明存在性的方法就是做構造性證明。
- 定理0.2充分性的證明實際上用到了選擇公理，它保證對任何g?1({x})g^{-1}(\{x\})g?1({x})，我們可以選擇出一個元素作為某個映射的像，另外，要讓定理充分性的證明更加嚴謹，我們還需要說明fff是一個良定義，也就是不管我們從g?1({x})g^{-1}(\{x\})g?1({x})中選擇的是axa_xax?還是bxb_xbx?，fff都是一個映射。關于良定義的驗證我們在介紹了二元關系與等價類之后再引入。
- 定理0.3的證明需要用到序關系，所以此處暫時略去證明。
- 這三個定理給后面自然數的基數理論中建立自然數的大小關系提供了基礎。
下面介紹一種有趣的集列——冪集(power set)。
定義0.9 冪集
假設XXX是一個非空集合，稱它的所有子集構成的集列為它的冪集，記為P(X)\mathcal{P}(X)P(X)，即
P(X)={E:E?X}\mathcal{P}(X)=\{E:E \subseteq X\}P(X)={E:E?X}
定理0.5 對任意非空集合
∣X∣<∣P(X)∣|X| < |\mathcal{P}(X)|∣X∣<∣P(X)∣
當XXX元素個數有限，或者說當∣X∣=n|X|=n∣X∣=n時，∣P(X)∣=2n|\mathcal{P}(X)|=2^n∣P(X)∣=2n。
證明
第一部分：說明存在X→P(X)X \to \mathcal{P}(X)X→P(X)的不是滿射的單射，考慮f:X→P(X)f:X \to \mathcal{P}(X)f:X→P(X)滿足
f(x)={x}f(x)=\{x\}f(x)={x}
顯然fff是單射但不是滿射，因此∣X∣<∣P(X)∣|X| < |\mathcal{P}(X)|∣X∣<∣P(X)∣
第二部分：假設XXX有nnn個元素，則XXX有2n2^n2n個子集，所以∣P(X)∣=2n|\mathcal{P}(X)|=2^n∣P(X)∣=2n，這個結論并不能簡單地推廣到無窮個元素的情況，我們會在介紹到自然數的時候開始逐步引入無窮的概念。
最后我們介紹一些拉回(pre-image)的運算性質。
定理0.6假設f:X→Yf:X \to Yf:X→Y是一個映射，{Ei}i=1n\{E_i\}_{i=1}^n{Ei?}i=1n?是一個集列，?i∈{1,?,n}\forall i\in \{1,\cdots,n\}?i∈{1,?,n}，Ei?YE_i\subseteq YEi??Y，則下面的結論成立
證明
這三個結論的證明方法就是上一講介紹的證明集合相等的方法，套路比較固定。
i）?y∈f?1(?i=1nEi)\forall y \in f^{-1}(\bigcup_{i=1}^nE_i)?y∈f?1(?i=1n?Ei?), ?x∈?i=1nEi\exists x \in \bigcup_{i=1}^nE_i?x∈?i=1n?Ei?, f(x)=yf(x)=yf(x)=y，因為x∈?i=1nEix \in \bigcup_{i=1}^nE_ix∈?i=1n?Ei?，?i∈{1,?,n}\exists i \in \{1,\cdots,n\}?i∈{1,?,n}, x∈Eix \in E_ix∈Ei?，于是y∈f?1(Ei)??i=1nf?1(Ei)y \in f^{-1}(E_i) \subseteq \bigcup_{i=1}^n f^{-1}(E_i)y∈f?1(Ei?)??i=1n?f?1(Ei?)。
ii）?y∈f?1(?i=1nEi)\forall y \in f^{-1}(\bigcap_{i=1}^nE_i)?y∈f?1(?i=1n?Ei?), ?x∈?i=1nEi\exists x \in \bigcap_{i=1}^nE_i?x∈?i=1n?Ei?, f(x)=yf(x)=yf(x)=y，因為x∈?i=1nEix \in \bigcap_{i=1}^nE_ix∈?i=1n?Ei?，?i∈{1,?,n}\forall i \in \{1,\cdots,n\}?i∈{1,?,n}, x∈Eix \in E_ix∈Ei?，于是?i∈{1,?,n},y∈f?1(Ei)?y∈?i=1nf?1(Ei)\forall i\in \{1,\cdots,n\}, y \in f^{-1}(E_i) \Rightarrow y \in \bigcap_{i=1}^n f^{-1}(E_i)?i∈{1,?,n},y∈f?1(Ei?)?y∈?i=1n?f?1(Ei?)。
iii）?y∈f?1(EiC)\forall y \in f^{-1}(E_i^C)?y∈f?1(EiC?), 不存在x∈Eix \in E_ix∈Ei?, 使得f(x)=yf(x)=yf(x)=y，于是y?f?1(Ei)y \notin f^{-1}(E_i)y∈/?f?1(Ei?)，那么y∈(f?1(Ei))Cy \in (f^{-1}(E_i))^Cy∈(f?1(Ei?))C。
總結
以上是生活随笔為你收集整理的初等数学O 集合论基础 第二节 映射与集合的势的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： UA MATH563 概率论的数学基础
- 下一篇： 初等数学O 集合论基础 第三节 序关系