初等數(shù)學(xué)O 集合論基礎(chǔ) 第三節(jié) 序關(guān)系

這一講的目標(biāo)是在非空集合中定義序關(guān)系，讀者可以把序關(guān)系理解為大于小于關(guān)系的抽象化與公理化。我們總是試圖把一些耳熟能詳?shù)慕Y(jié)果公理化，是因?yàn)檫@些結(jié)果非常實(shí)用，公理化之后可以在更多場景中應(yīng)用這些結(jié)果。把大于小于抽象為序關(guān)系之后，只要在某個(gè)集合上我們能夠定義一個(gè)序關(guān)系，這個(gè)集合中的元素也就有了像數(shù)字一樣的大小關(guān)系，我們就能比較任意兩個(gè)元素的大小、找出最大值/最小值。

---

定義0.10 序關(guān)系
假設(shè)$X$是一個(gè)非空集合，用$\le$表示$X$中任意兩個(gè)元素的關(guān)系，如果$?x,y,z\in X$，

$x\le x$ (自反性，reflexivity)

$x\le y,y\le z?x\le z$ (傳遞性，transitivity)

就稱$\le$是一個(gè)先序關(guān)系(preorder)，如果它還滿足

$x\le y,y\le x?x=y$ (反對稱, antisymmetric)

就稱$\le$是一個(gè)偏序關(guān)系(partial order)，并稱配備有偏序的集合$X$為偏序集；如果一個(gè)偏序還滿足

$x\le y$, $y\le x$中至少有一個(gè)成立 (完全性, totality)

就稱$\le$是一個(gè)全序關(guān)系(total order)或者線性序關(guān)系 (linear order)，并稱配備有偏序的集合$X$為全序集。讀者可以自行驗(yàn)證，實(shí)數(shù)的大小關(guān)系是一個(gè)全序。

---

例0.4 假設(shè)$X$是一個(gè)非空集合，$\mathcal{P}(X)$是它的冪集，$?$是冪集上的全序嗎？

證
i）驗(yàn)證自反性，$?E\in \mathcal{P}(X)$, $E?E$顯然成立；
ii）驗(yàn)證傳遞性，$?A,B,C\in \mathcal{P}(X)$, $A?B,B?C$，顯然可得$A?C$。一種更嚴(yán)謹(jǐn)?shù)臄⑹鍪墙柚?yàn)證包含關(guān)系的操作，$?a\in A$, $A?B$說明$a\in B$，$B?C$說明$a\in C$，因此$A?C$；
iii) 驗(yàn)證反對稱，$?E,F\in \mathcal{P}(X)$, $E?F,F?E$，根據(jù)集合相等的定義，$E=F$
iv）驗(yàn)證完全性。事實(shí)上完全性不成立，顯然兩個(gè)集合不一定總是包含與被包含的關(guān)系，也可以是相交、不相交的關(guān)系，比如$X=\{1,2,3,4\}$, $E=\{1,2\}$, $F=\{1,3\}$，顯然$E,F$沒有包含關(guān)系，所以完全性不成立。

綜上，$?$不是冪集上的全序，但它是一個(gè)偏序。

例0.5 假設(shè)$X$是一個(gè)非空有限集合，$\mathcal{P}(X)$是它的冪集，對冪集中的任意兩個(gè)集合$E,F$，基于集合的勢定義$E?F$如果$|E|\le |F|$，$?$是冪集上的全序嗎？

證
i）驗(yàn)證自反性，$?E\in \mathcal{P}(X)$, $|E|\le |E|$顯然成立，所以$E?E$；
ii）驗(yàn)證傳遞性，$?A,B,C\in \mathcal{P}(X)$, $A?B,B?C$，說明$|A|\le |B|$, $|B|\le |C|$，根據(jù)數(shù)的大小關(guān)系的傳遞性，$|A|\le |C|$，因此$A?C$ ；
iii) 驗(yàn)證反對稱，$?E,F\in \mathcal{P}(X)$, $E?F,F?E$，這說明，$|E|\le |F|$, $|F|\le |E|$, 根據(jù)Schroeder-Bernstein定理（第二講定理0.4），$|E|=|F|$，因此反對稱成立
iv）驗(yàn)證完全性，要說明$?E,F\in \mathcal{P}(X)$, $E?F,F?E$必有一個(gè)成立，就要說明$|E|\le |F|$與$|F|\le |E|$必有一個(gè)成立，這正好是第二講定理0.3的內(nèi)容，既然我們已經(jīng)定義了序關(guān)系，現(xiàn)在我們可以完成定理0.3的證明了。

假設(shè)$\mathcal{J}$表示所有從$E$的某個(gè)子集到$F$的某個(gè)子集的單射的集合，即
$$\mathcal{J}=\{f:A\to B|A\in \mathcal{P}(X),B\in \mathcal{P}(F)\}$$

我們可以在$\mathcal{J}$上定義偏序關(guān)系。$?f_1:A_1\to B_1,f_2:A_2\to B_2\in \mathcal{J}$, 如果$A_1?A_2,B_1?B_2$，就稱$f_1?f_2$。根據(jù)例0.4，我們不難驗(yàn)證$(\mathcal{J},?)$是一個(gè)偏序集。顯然它的所有子集都有一個(gè)上界，也就是$E\to F$的雙射，根據(jù)下文定理0.7中的Zorn引理，$\mathcal{J}$存在一個(gè)最大元，記為$f:A\to B,A\in \mathcal{P}(X),B\in \mathcal{P}(X)$。下面我們做一個(gè)遞歸：如果$x_0\in E?A$, 我們可以找一個(gè)$y_0\in F?B$，通過定義$f(x_0)=y_0$擴(kuò)充單射$f$，然后將$A\cup \{x_0\}$定義為新的$A$，$B\cup \{y_0\}$定義為新的$B$。重復(fù)這個(gè)操作，直到$A=X$或者$B=Y$，因此$|E|\le |F|$與$|F|\le |E|$必有一個(gè)成立。

綜上，$?$是冪集上的全序。

例0.6 在二維歐氏空間${\mathbb{R}}^2=\{(x,y):x\in \mathbb{R},y\in \mathbb{R}\}$中，驗(yàn)證下面的關(guān)系是不是全序：

$(x_1,y_1){\le }_1(x_2,y_2)$如果$x_1\le x_2$

$(x_1,y_1){\le }_2(x_2,y_2)$如果$|x_1|+|y_1|\le |x_2|+|y_2|$

$(x_1,y_1){\le }_3(x_2,y_2)$如果$|x_1{|}^2+|y_1{|}^2\le |x_2{|}^2+|y_2{|}^2$

這個(gè)例題比較容易，讀者可以自行驗(yàn)證這三個(gè)關(guān)系都是全序。

評注0.4

• 說明一個(gè)關(guān)系是序關(guān)系只需要逐條驗(yàn)證定義即可，有些關(guān)系驗(yàn)證起來比較復(fù)雜，比如例0.5，但有些序關(guān)系非常明顯；
• 例0.6的幾個(gè)結(jié)果說明在同一個(gè)集合上可能存在多種不同的全序，在不同的全序下元素的大小關(guān)系可能是不一樣的，比如$(2,0)$與$(1,4)$相比，在${\le }_1$下前者更大，在${\le }_2$與${\le }_3$下后者更大，所以具體選用什么序關(guān)系取決于我們想解決的問題。比如在二維歐氏空間中，我們想在圓$(x?2{)}^2+(y?2{)}^2=1$中找一個(gè)距離原點(diǎn)最近的點(diǎn)，就可以在圓上定義序關(guān)系${\le }_3$，找出最小元即可。再比如我們在比較兩種方案時(shí)，方案一需要花掉90%的預(yù)算但能完成100%的工作，方案二只需要花掉70%的預(yù)算但也只能完成60%的工作，因?yàn)閮煞N方案都沒有花完預(yù)算，所以我們可以把預(yù)算作為$y$，工作進(jìn)度作為$x$，用序關(guān)系${\le }_1$來選出一個(gè)最優(yōu)方案。

---

基于序關(guān)系可以定義最大元、最小元：

定義0.11 最大元與最小元
假設(shè)$(X,\le )$是一個(gè)全序集，

• 最大元：$?M\in X,?x\in X,x\le M$
• 最小元：$?m\in X,?x\in X,m\le x$

定義0.12 良序
如果$(X,\le )$的每個(gè)非空子集都存在最小元，就稱$(X,\le )$是良序集（well-ordered set），稱$\le$是良序（well ordering）。

定理0.7 集合的最大元

• Axiom of Choice（by Zermelo 1904）：一列非空集合的笛卡爾積也是非空集合；
• Zorn’s Lemma：如果偏序集的所有全序子集都有一個(gè)上界，那么這個(gè)偏序集有最大元
• Hausdorff Maximal Principle：每個(gè)偏序集都有一個(gè)最大的全序子集
• Well Ordering Principle (by Cantor 1883)：任意非空集合上都可以定義一個(gè)良序使之成為良序集

評注0.5
說明：選擇公理敘述中的笛卡爾積我們還沒介紹到，所以等介紹了笛卡爾集合之后再討論選擇公理的內(nèi)涵。

第一部分：Hausdorff Maximal Principle與Zorn引理的等價(jià)性

Hausdorff Maximal Principle說的是每個(gè)偏序集都有一個(gè)最大的全序子集，考慮偏序集$(X,\le )$，則$?E?X$，$(E,\le )$是全序集，并且$E$包含$X$其他所有全序子集。按Zorn引理的敘述，偏序集的所有全序子集都有一個(gè)上界，則$(E,\le )$存在一個(gè)上界，記這個(gè)上界為$M$，則$M$是$X$的最大元（如果$M$不是最大元，可以把$M$納入$E$中，定義$E^{\prime }=E\cup \{M\}$，驗(yàn)證$E^{\prime }$為全序集，則$E^{\prime }?E$，這與$E$是最大的全序子集矛盾）。

當(dāng)然Zorn引理也可以導(dǎo)出Hausdorff Maximal Principle，記$\mathcal{C}$是$(X,\le )$所有全序子集的集族，則$(\mathcal{C},?)$是一個(gè)偏序集，對這個(gè)偏序集應(yīng)用Zorn引理，顯然它存在一個(gè)最大元，這個(gè)最大元就是$(X,\le )$最大的全序子集。

第二部分：Zorn引理推出良序原理

使用Zorn引理可以證明良序原則。我們需要引入一個(gè)工具：良序集的擴(kuò)張。假設(shè)$(A,\le )$是一個(gè)良序集，$A?B$，定義關(guān)系${\le }_B$使得：

$(A,\le )$與$(A,{\le }_B)$等價(jià)；

$?x\in B?A$，$y{\le }_{B}x,?y\in A$

則$(B,{\le }_B)$也是一個(gè)良序集，稱之為良序集$(A,\le )$的擴(kuò)張。

我們再定義一個(gè)良序之間的序關(guān)系，用$R$表示，因?yàn)?span id="ozvdkddzhkzd" class="katex--inline">$(B,{\le }_B)$是$(A,\le )$的擴(kuò)張，這種序關(guān)系記為$(A,\le )R(B,{\le }_B)$。用$\mathcal{C}$表示偏序集$(X,\le )$所有良序子集的集族，則$(\mathcal{C},R)$是偏序集，根據(jù)Zorn引理，它存在一個(gè)最大元，接下來我們可以把最大元擴(kuò)展到$X$上，使$X$被良序化。

第三部分：上面四個(gè)結(jié)論等價(jià)

事實(shí)上良序原則可以導(dǎo)出選擇公理，選擇公理也可以導(dǎo)出Zorn引理，因此這四個(gè)結(jié)果是全部等價(jià)的，當(dāng)我們接受了選擇公理之后，我們就可以基于這四個(gè)結(jié)果對集合進(jìn)行分析。

總結(jié)

以上是生活随笔為你收集整理的初等数学O 集合论基础 第三节 序关系的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。