第1章集合1集合的引入集合 作為本書的中心概念，至少從表面上看是非常簡單的。一個集合是一個任意的收集、群和總體。因此，我們有2016年9月南開大學所有已注冊學生的集合、所有偶自然數的集合、在平面上距離給定點P恰好兩厘米的所有點的集合、所有粉紅色大象的集合。集合不像桌子和星星一樣是現實世界的對象，它們是被我們的思維而不是我們的雙手創造出來的。大量的土豆不是土豆的一個集合，一滴水中所有分子的集合和那滴水不同。由于人的思維具有抽象的能力，它能根據某個共同的性質把不同的對象匯聚在一起，形成一個具有該性質的對象的集合。這里所說的性質僅僅是把這些對象聯系在一起的能力。因此，存在一個恰好包含數2、5、11、13、28、35、22000的集合。雖然我們很難看出是什么把它們聯系在一起的，但是只有一個事實，即在思維中，我們把它們匯總在一起。因此，什么是集合？一個直覺的回答是：一個集合就是將一些對象收集起來匯合成的一個整體。這些被收集起來的對象就是這個被匯合成的整體的元素或者成員。德國數學家GeorgCantor19世紀70年代創立了集合論，并在19世紀的后三十年里發表了一系列論文。他如下地表述集合：集合是我們的直覺或思維中確定的、可區分的對象所匯集成的一個整體，這些對象叫做集合的元素。”構成集合的對象叫做該集合的元素或成員，我們也說它們屬于該集合。本書中，我們想發展集合的理論作為其它數學規律的一個基礎。因此，我們不關心人或者分子的集合，只關心數學對象的集合，例如，數、空間的點、函數、或集合。事實上，前三個概念可以在集合論中被定義為具有某種特殊性質的集合，我們將在以后的章節中完成這一點。因此，從現在起，我們關心的對象只有集合。為了解釋的目的，在數、點這些數學對象被定義之前，我們談論它們的集合。然而，我們只在例子、習題和問題中談論到它們，而不會在集合論的主體中談論它們。例如，數學對象的集合有例648的所有素因子的集合。能夠被3除盡的所有數的集合。（3）在閉區間［-1,1］上所有連續實值函數的集合。（4）實軸長為10并且離心率為3的所有雙曲線的集合。（5）小于7的所有自然數的集合的集合。從這些例子可以看出，數學家們處理的集合都是非常簡單的。它們包括自然數的集合以及它的各種各樣的子集（例如所有素數的集合）；還包括自然數的二元有序對、三元組和一般意義上的n元組的集合。整數和有理數可以僅使用這樣的集合來定義。實數可以被定義為有理數的集合或者序列。微積分處理的是實數的集合和實數上的函數（實數的序對的集合），并且在某些研究中，還需要考慮函數的集合或者函數的集合的集合，等等。但是，數學家們很少碰到比這更復雜的集合。現在我們考慮：所有那些自己不是自己的元素所組成的“集合”R。換句話說，R是滿足條件xgx的所有集合x的集合（"賣作“屬于”，笑讀作“不屬于”）。現在我們問是否ReR。如果ReR,那么，R不是它身的元素（因為R中沒有元素屬于它自身），因此RgR,這是一個矛盾！反之，如果RER,因為R是一個不是其自身元素的集合，因此，這樣的集合屬于R,即ReR,這又是一個矛盾！這個論證可以被簡潔地概括為：定義R為：xeR當且僅當x^xo現在考慮當x=R時；根據R的定義，ReR當且僅當R電R；這是一個矛盾！這就是著名的羅素悖論！關于這個論證的一些補充說明。首先，R作為一個集合的集合沒有錯誤。許多集合的元素是集合這一點在數學中是合法的（參閱例1.1），并且也不會導致悖論。第二，我們可以很容易地構造出R的元素。例如，如果x是所有自然數的集合，那么x笑x（所有自然數的集合不是一個自然數）。因此，xeRo第三，構造不屬于R的集合就不那么容易，但這是無關緊要的。即使不存在是它們自身元素的集合，前面的論證也將產生矛盾。（一個集合是它自身的元素，似乎“所有集合的集合”V就是這樣的一個集合；顯然VeV。然而，“所有集合的集合”會以一種更加微妙的方式導致它自己獨有的矛盾——參閱習題3.3和3.6。）如何解決這個矛盾呢？我們現在假設有一個集合R,它被定義為所有那些不是自身元素的所有集合的集合，并且導出一個矛盾作為R的定義的一個直接后承。這僅意味著不存在滿足R的定義的集合。換句話說，這個論證證明了不存在集合使得它的成員恰是那些不為自身元素的集合。包含在羅素悖論和其它類似例子中的教訓使我們不能僅僅通過定義集合來證明集合的存在（類似地，如通過定義獨角獸，我們不能證明獨角獸的存在）。因此，存在不能定義集合的性質，即，不可能把具有這些性質的所有對象收集到一個集合中。不幸的是，如何做到這一點是不知道的，并且邏輯中的某個結果（尤其是由哥德爾發現的所謂不完全定理）似乎表明做到這一點是不可能的。因此，我們嘗試把數學家使用的集合的某些相對簡單的性質作為公理來陳述，然后小心地檢查從這些公理邏輯推出的所有定理。因為公理是顯然真的，并且定理是從它們邏輯地推出，所以，定理也是真的（不一定顯然）。我們最終得到大量有關集合的真理，它們包含目前已知的自然數、有理數、實數、函數、序數等等的基本性質，并且沒有矛盾。經驗表明，在這個公理系統中，當代數學使用的所有概念差不多都能被定義，并且它們的數學性質也可以被導出。在這種意義上，公理化集合論可以作為數學其它分支的一個令人滿意的基礎。另一方面，我們沒有斷言關于集合的每個真的事實都能從我們現有的公理中被推導出。在這種意義上，公理化系統是不完備的，并且我們把完備性問題的討論放到最后一章。2性質在前節中，我們引入集合作為具有某種共同性質的對象的收集。性質這個概念需要一些分析。日常生活中的某個性質一般被認為是模糊的而很難在數學理論中被承認。例如，考慮“所有20世紀中國優秀的電影作品構成的集合。”不同的人判斷一部電影作品是否優秀的標準是不同的，因此，不存在一個普遍被接受的標準來決定一部電影作品是否這個“集合”的一個元素。再來看一個更加驚人的例子，考慮“那些能夠用十進制記數法寫下的自然數的集合”（對于“能夠”，我們指某個人能實際地用紙和筆做到）。顯然，0是能被寫下的。如果數n能被寫下，那么想必數n1也能被寫下。因此，根據熟悉的歸納法原則，每個自然數n都能被寫下。但這顯然是荒謬的；為了用十進制寫下101010將需要在1的后面跟1010個零，這需要以每秒一個零的速度連續工作300年。這個問題是由“能夠”的模糊意思引起的。為了避免類似的問題，我們現在明確地描述一個性質的含義。只允許明確的數學性質；幸運的是，這些性質對于所有數學事實的表達來說是足夠的。本節中我們的解釋是非形式的。讀者如果想從一個更加嚴格的觀點了解對這個主題的研究可以查閱一些數理邏輯的書籍。基本的集合論性質是隸屬性：“……是……的一個元素，”并用丘表示。所以，“XwY”讀作“X是Y的一個元素”或者“X是Y的一個成員”或者“X屬于Y。”在這些表達中X和Y是變元；它們代表（指稱）不確定的、任意的集合。命題“XwY”成立或不成立依賴于集合X和Y。我們有時說“XwY”是X和Y的一個性質。例如，“m小于n"是m和n的一個性質。字母m和n是變元，表示不確定的數。有些m和n具有這個性質（例如，“2小于4”是真的），但是其它的則沒有（例如，“3小于2”是假的）。所有其它集合論的性質都能借助隸屬關系并有邏輯的幫助，即：用等詞、邏輯聯結詞和量詞來刻畫。我們經常在不同的語境中談論同一個集合，并且發現用不同的變元表示它很方便。我們用等號“=”表達兩個變元表示相同的集合。因此，如果X與Y是相同的集合，那么記作X=Y（X與Y相等，或者，X等于Y）。在下面的例子中，我們列出了關于相等的一些顯而易見的事實：2.1例⑴X=X。 （X和X相等。）⑵如果X=Y，那么Y=X。 （如果X和Y相等，那么Y和X也相等。）（3） 如果X=Y并且Y=乙那么X=Z。（如果X和Y相等，并且Y和Z相等，那么X和Z也相等。）（4） 如果X=Y并且XwZ那么YgZo（如果X和Y相等，并且X屬于乙那么Y也屬于Z。）⑸如果X=Y并且ZwX,那么ZgYo（如果X和Y相等，并且Z屬于X,那么Z也屬于Y。）從簡單的性質出發，用邏輯聯結詞可以構建更復雜的性質。常用的邏輯聯結詞有：“并非……"、“……并且……"、“……或者……"、“如果……，那么……”和"……當且僅當……"o2.2例（1）“XwY或者YgX"是X和Y的一個性質。⑵“并非XeY并且并非YwX”或者表達為“X不是Y的一個元素并且Y也不是X的一個元素”也是X和Y的一個性質。（3）“如果X=Y，那么XgZ當且僅當YgZ”是X，Y和Z的一個性質。⑷“X不是X的一個元素"（或者：“并非XwX”）是X的一個性質。我們用XgY代替“并非XwY”并且用XhY來代替“并非X=YO"量詞“對所有的”（即：“對每一個”）和“有"（即：“存在”）提供了額外的邏輯手段。數學的實踐表明在我們剛剛描述的這種限制的語言中，所有的數學事實都能被表達，但是，這種語言卻不允許本節開頭的那種模糊的表達。讓我們觀察一些包含量詞性質的例子。2.3例“存在YwX。'“對每個YwX,存在Z使得ZgX并且ZwY。'⑶“存在Z使得ZeX并且Z笑Y。'(1)的真或假明顯地依賴于集合X。例如，如果X是1949年之后所有中華人民共和國主席的集合，那么(1)就是真的；如果X是1949年之前所有中華人民共和國主席的集合，那么(1)就是假的。我們說(1)是X的一個性質，或者說(1)依賴于參數X。類似地，(2)是X的一個性質，(3)是X和Y的一個性質。還需要注意：Y不是(1)的一個參數，因為對于某個具體的集合Y而言，Y對于(1)是否為真不產生任何意義；我們在量詞中使用字母Y僅是為了方便,也可以說“存在WwX,”或者“存在X的某個元素。”類似地，(2)不是Y或Z的一個性質，不是Z的一個性質。在這里，我們不再給出確定一個給定性質的參數的規則，我們依賴于讀者的常識，并通過下面的例子來說明這一點。2.4例“YwX。⑵“存在YwX。'“對每個X,存在YgXo'這里，(1)是X和Y的一個性質；它對某些集合對X、Y是真的，但對其它的對是假的。是X的一個性質(但不是Y的)，而(3)沒有參數。因此，(3)或者是真的或者是假的(事實上，它是假的)。沒有參數的性質(因此，或者為真或者為假)被稱作命題；所有數學定理是(真)命題。我們有時希望涉及一個任意的、不確定的性質。我們用黑體大寫字母表示命題和性質，并且，如果方便的話，在圓括號內列舉它的某個或全部參數。因此，A(X)代表參數X的任意性質，例如，在例2.3中的(1)、(2)oE(X,Y)是參數X和Y的一個性質，例如，在例2.3中的(3)、或者在例2.4中的(1)、或者“XwY或者X=Y或者YgXo'一般地，P(X,Y,...,Z)是一個性質，它的真或假依賴于參數X,Y,...,Z(并且可能還有其它的)。我們再一次強調：所有集合論的性質都可以由隸屬關系和邏輯聯結詞組成的語言中被表達出。然而，隨著發展和越來越復雜的定理被證明，給多種多樣的特殊的性質命名是有實際意義的，即：為了定義新的性質。然后引入(定義)新符號來表示所討論的性質；這個新的符號通常被看作這個簡潔明白陳述的縮寫。例如，子集的性質被定義為：2.5定義XcY當且僅當X的每個元素都是Y的一個元素。“X是Y的一個子集”(X^Y)是X和Y的一個性質。我們可以在更復雜的陳述中使用它，并且無論何時，只要我們愿意，都可以把XcY替換為它的定義。例如，“如果XcY并且Y^Z,那么X^Z。”的定義是“如果X的每個元素都是Y的一個元素并且Y的每個元素也是Z的一個元素，那么X的每個元素也是Z的一個元素。”顯然沒有定義的數學也是可能的，但極其笨拙。現在考慮性質P(X)：“不存在YwX。”我們將在第3節中證明：(1)存在一個集合X使得P(X)(即：存在一個沒有元素的集合X)。⑵至多存在一個集合X使得P(X)，即：如果P(X)并且P(XJ,那么X=X(即：如果X不包含任何元素，并且X不包含任何元素，那么X和X相等)。(1)和(2)合并在一起表達了事實：存在一個唯一的集合X具有性質P(X)。因此，我們可以給它一個名字，稱0(空集)，并且在更復雜的表達式中使用它。“0UZ”的完整意思是“沒有任何元素的集合0是Z的一個子集。”我們偶爾把0作為由性質P定義的常元。作為本節的最后一個定義的例子，我們考慮X，Y和Z的性質Q(X,Y,Z)：“對每個U，UgZ當且僅當UgX并且UwY。”我們將在下節中看到：(1)對每個X和Y,存在Z使得Q(X,Y,Z)成立。⑵對每個X和Y,如果Q(X,Y,Z)并且Q(X,Y,Z)成立，那么Z=Z。(即：對每個X和Y，至多存在一個Z使得Q(X,Y,Z)O)條件(1)和(2)(必須證明，無論何時，這種類型的定義都能夠被使用)保證了對每個X和Y,存在一個唯一的集合Z使得Q(X,Y,Z)成立。那么，對這個唯一的集合乙我們可以引入一個名字，記作XcY,并且稱XcY為X和Y的交。因此,Q（X,Y,XnY）成立。我們把c作為由性質Q定義的算子。3公理現在，我們開始著手建立我們的公理系統并且嘗試給出每一條公理的直觀意義。我們采用的第一條原則假定我們的“討論的論域”是非空的，即：某些集合存在。為了具體，我們假定一個特定集合的存在，即空集。存在公理存在一個沒有元素的集合。沒有元素的集合在直觀上可以有多種描述，例如，1789年之前的所有美國總統的集合，滿足x2=-1的所有實數x的集合等等。這里描述的集合都是相同的，即空集。因此，直觀上，只存在一個唯一的空集。但是到目前為止，我們還不能證明這個論斷。我們需要其它的假定來表達這個事實，即：每個集合都由它的元素決定。讓我們看看另外一些例子：X是由恰有數2、3和5組成的集合。Y是由大于1并且小于7的所有素數組成的集合。Z是由方程式x3-10x2+31x-30=0的所有解組成的集合。這里，X=Y、X=Z并且Y=Z，并且我們有一個集合的三種不同的描述。這就需要下面的外延公理。外延公理如果X的每個元素都是Y的一個元素，并且Y的每個元素也都是X的一個元素，那么X=Y。顯然，如果兩個集合有相同的元素，那么它們是相等的。我們現在可以證明下面的引理3.1。引理存在一個唯一沒有元素的集合。證明假定A和B都是沒有元素的集合。那么，A的每個元素都是B的一個元素（因為A沒有元素，陳述“aoA蘊涵awB”是一個前件為假的蘊涵式，因此自然為真）。類似地，B的每個元素也是A的一個元素（因為B沒有元素）。因此，根據外延公理，有A=B。3.2定義沒有元素的（唯一的）集合被稱為空集，并且記作0。注意，常元0的定義可以被存在公理和引理3.1證明。直觀上，集合是具有某種共同性質的對象的收集，因此，我們希望有公理表達這個事實。但是，正如第1節中被悖論證實的那樣，并不是每個性質都描述一個集合：性質'XwX”或“X=X”就是典型的例子。在這兩種情況中，問題似乎都是為了把具有這樣一個性質的所有對象收集到一個集合中。現在我們已經能夠感知所有的集合。如果我們假定具有一個給定性質的所有對象的集合的存在除非這些對象已經屬于某個已經存在的集合，那么這個困難能就能被避免。于是，我們需要下面的概括公理模式。概括公理模式令P(x)是x的一個性質。對任意集合A,存在一個集合B使得xeB當且僅當xeA并且P(x)。這是一個公理模式，即，對每一個性質P，我們都有一條公理。例如，如果P(x)是“x=x”,那么這條公理是說：對任意集合A,存在一個集合B使得xeB當且僅當xeA并且x=x(在這種情況下,B=A。)如果P(x)是“xgx”，這條公理假定：對任意集合A,存在一個集合B使得xeB當且僅當xeA并且xgx。雖然這條公理的供給是無窮的，但這不會引起問題，因為一個具體的陳述是否為一個公理是很容易判斷的，并且每個證明也只能使用到有窮多次公理。性質P(x)可以依賴于其它的參數p,q；相應地此時公理假定：對任意集合p,q和任意集合A,存在一個集合B(依賴于p,…，q，當然也依賴A)恰有那些滿足xeA并且P(x,p,...,q)的x組成。3.3例如果P和Q是集合，那么存在一個集合R使得xeR當且僅當xeP并且xeQ。證明考慮x和Q的性質P(x,Q)：“xeQ。”那么，由概括公理模式可得，對每個Q和每個P,存在一個集合R使得xeR當且僅當xeP并且P(x,Q)，即，當且僅當xeP并且xeQ。(P起A的作用，Q是一個參數。)3.4引理對每個集合A,僅存在一個集合B使得xeB當且僅當xeA并且P(x)。證明如果B'是另一個集合并且滿足：xeB'當且僅當xeA并且P(x),那么xeB當且僅當xeB'，因此，根據外延公理，B=B'。我們現在為這個唯一確定的集合B引入一個名字。3.5定義｛xeA|P(x)｝是所有滿足xeA并且具有性質P(x)的集合。3.6例有了定義3.5,例3.3中的集合現在可以記作｛xePlxeQ｝。到目前為止，我們的公理化系統還不夠強，現在能被證明唯一存在的集合只有空集。對空集應用概括公理模式,無論我們使用的性質P是什么，都只會再次得到空集：{xe0|P(x)}=0。下面的三條公理假定了頻繁用在數學中的一些構造可以產生集合。對集公理對任意的集合A和B存在一個集合C使得xeC當且僅當x=A或者x=B。所以，AwC并且BeC，并且C中不存在其它元素。讀者可以很容易地證明集合C是唯一的；因此，我們把只包含A和B作為其元素的集合定義為A和B的無序對，并且把A和B的無序對記作{A,B}。特別地，如果A=B,我們用{A}代替{A,A}。3.7例(1)令A=0并且B=0，那么{0}={0,0}是一個集合，并且0e{0}o如果xe{0}，那么x=0。所以，{0}有唯一的元素0。注意，{0}工0，因為0e{0}，但是0^0o⑵令A=0并且B={0}，那么0e{0,{0}}并且{0}e{0,{0}}，并且0和{0}是{0,{0}}僅有的兩個元素。注意：0工{0,{0}},{0}工{0,{0}}。并集公理對任意的集合S,存在一個集合U使得xeU當且僅當對某個AeS,xeA。再一次強調，集合U是唯一的；它被稱為S的并，記作US。當我們要強調S的元素也是集合時，我們稱S是集合的一個系統或者集合的一個簇(因為我們的所有對象都是集合,因此，這總是真的。實際上，“集合”和“集合的系統”這兩種表達有相同的意思)。因此，一個集合系統S的并是由S的元素的元素組成的集合。3.8例令S={0,{0}},xeuS當且僅當對某個AeS,xeA,即，當且僅當，xe0或者xe{0}。因此，xeuS當且僅當x=0。因此，uS={0}ou0=0。⑶令M和N是集合；xeu{M,N}當且僅當xeM或者xeN。集合u{M,N}被稱為M和N的并，記作MuN。最后，我們引入了一個讀者十分熟悉的簡單的集合論的運算。對集公理和并集公理對于定義兩個集合的并是必要的(而外延公理用來保證它的唯一性)。兩個集合的并有通常的意義：xeMuN當且僅當xeM或者xeN。3.9例{{0}}u{0,{0}}={0,{0}}。并集公理是非常強的，它不僅能使我們構造兩個集合的并，而且還能使我們構造任意的、可能無窮的集合的收集。如果A、B和C都是集合，現在我們可以證明元素恰是A、B和C的集合P的存在性和唯一性。P被記作{A,B,C},并且稱它為A、B和C的一個無序的三元組。類以地，我們能夠定義一個無序四元組或17-元組。在引入本節的最后一個公理之前，我們定義另一個簡單的概念。3.10定義A是B的一個子集當且僅當A的每個元素都屬于B。換句話說，A是B的一個子集，如果對每個x，xeA蘊涵xeBo我們用AcB表示A是B的一個子集。由定義3.10和外延公理，我們可以得到如下判斷兩個集合相等的一個充要條件：A=B當且僅當AcB并且BcA，當且僅當如果對每個x，xeA蘊涵xeB，并且，如果對每個x，xeB蘊涵xeAo3.11例{0}匸{0,{0}}并且{{0}}c{0,{0}}o對每個集合A都有：0cA并且AcAo{xeAIP(x)}cAo如果AeS，那么AcuSo下面的公理假定：一個給定集合的所有子集能夠被收集到一個集合里。冪集公理對于任意的集合S,存在一個集合P使得XeP當且僅當XcSo由于集合P也是唯一確定的，我們稱S的所有子集的集合為S的幕集并且記作倒(S)o3.12例(1)P(0)={0}o⑵p({a})={0,{a}}o⑶倒({a,b})的元素是：0,{a},{b}和{a,b}，所以倒({a,b})={0,{a},{b},{a,b}}°我們用另一個記號約定來結束本節。令P(x)是x的一個性質(可能還有其它的參數)如果存在一個集合A使得對所有的x，P(x)蘊涵xeA，那么{xeA|P(x)}存在，并且它不依賴A。這意味著：如果A，是另一個集合使得對所有的x，P(x)蘊涵xeA，，那么{xeA，IP(x)}={xeAIP(x)}o我們現在定義{x|P(x)}是集合{xeA|P(x)}，其中A是滿足P(x)蘊涵xeA的任意集合。{x|P(x)}是具有性質P(x)的所有x的集合。我們再次強調：只有在證明了某個集合A包含所有具有性質P的x之后，才能使用這個記號。3.13例(1){x|xeP并且xeQ}存在。證明令P(x,P,Q)是性質“xwP并且xwQ”；令A=P。那么，P(x,P,Q)蘊涵xeAo因此，{xlxeP并且xgQ}={xgP|xgP并且xgQ}={xgP|xgQ},它是例3.3中的集合R。(2){x|x=a或者x=b}存在；因為在證明取A={a,b}，還可以證明{x|x=a或者x=b}={a,b}。⑶{xlxgx}不存在(因為羅素悖論)；因此，在這個例子中記號{xlP(x)}是不允許的。盡管我們還沒有列出所有的公理，現在暫停一下，必要時我們再引入。現在，我們需要引入一些概念并且用已有的公理證明一些定理。讀者可能注意到，到目前為止，我們并不能保證任何無窮集合的存在。這個不足將在第3章中被消除。其它的公理將在第6章和第8章中給出。全部公理的一個一覽表將出現在第15章的第1節中。這個重要的公理化系統是由ErnstZermelo于1908年構造的，通常被稱為集合論的Zermelo-Fraenkel公理化系統。習題3.1證明滿足xeA并且xgB的所有x的集合存在。由下面的弱假設替換存在公理：弱的存在公理某個集合存在。用弱的存在公理和概括公理模式證明存在公理。［提示：令A是一個已知存在的集合；考慮{xgAIx^x}。］(1)證明一個“所有集合的集合”不存在。［提示：如果V是一個所有集合的集合，考慮{xwVlxgx}。］⑵證明對任意集合A,存在某個x^A。3.4令A和B是集合。證明存在一個唯一的集合C使得xeC當且僅當或者xeA并且xgB成立或者xeB并且x^A成立。3.5(1)給定集合A、B和C,存在一個集合P使得xeP當且僅當x=A或者x=B或者x=C。(2)推廣到四個元素。3.6證明對任意的集合X,倒(X)弐是假的。特別地，對任意的集合X,倒(X)hX。這再一次證明了一個“所有集合的集合”不存在。［提示：令Y={ueXIugu}；Yep(X)但YgX。］3.7對集公理、并集公理和冪集公理可以被替換為下面弱的版本。弱的對集公理對任意的A和B,存在一個集合C使得AeC并且BeC。弱的并集公理對任意的S,存在U使得如果XeA并且AeS，那么XeU。弱的幕集公理對任意的集合S,存在P使得XcS蘊涵XeP。用這些弱的版本證明對集公理、并集公理和冪集公理。［提示：用概括公理模式。］

4集合的初等運算這一節的目的是詳細闡述上一節引入的概念。特別地，我們將引入簡單的集合論運算(并、交、差，等等)，并且證明它們的一些基本性質。讀者在一定程度上相當熟悉它們，我們將省略大部分細節。定義3.10告訴我們A是B的一個子集(包含于B),即：A^B。性質匸被稱為包含。容易證明：對于任意的集合A、B和C，A^Ao如果A^B并且BuA,那么A=Bo女口果AuB并且BuC，那么AuCo例如，為了證明(3),我們必須證明：如果xeA,那么xeCo但是，因為AuB，所以，如果xeA,那么xeBo現在，又因為BuC，所以，xeB蘊涵xeCo因此，xeA蘊涵xeCo4.1定義如果AuB并且A^B,我們稱A是B的一個真子集(A真包含于B),并記為AuBo我們也用記號B?代替AuB，并用記號B=A代替AuBo這一節中大多數將要討論的集合論的運算前面都提到過。讀者可能知道如何用Venn圖表示它們(見圖1)o1)2)AUBA (4)1)2)AUBA (4)BAAB圖1Venn圖在圖1中，(1)的陰影部分是A和B的交：AcBo(2)的陰影部分是A和B的并：AuBo⑶的陰影部分是A和B的差：A-Bo(4)的陰影部分是A和B的對稱差：AABo4.2定義A和B的交：AcB是屬于A并且也屬于B的所有x的集合。A和B的并：AuB是屬于A或者屬于B(或者屬于兩者)的所有x的集合。A和B的差：A-B是屬于A并且不屬于B的所有x的集合。(注：為了證明存在性和唯一性，參看例3.3和3.8(3)以及習題3.1和3.4o)作為一個練習，請讀者完成這些運算的一些簡單性質的證明。交換律AcB=BcAAuB=BuA結合律(AcB)cC=Ac(BcC)(AuB)uC=Au(BuC)由于c滿足結合律，所以我們可以省略圓括號，把集合A,B和C的交簡單地寫為AcBcC。類似地，對于u也是如此。特別地，對于數量超過三個的集合的c和u,我們也不需要圓括號。分配律Ac(BuC)=(AcB)u(AcC)Au(BcC)=(AuB)c(AuC)德摩根律C-(AcB)=(C-A)u(C-B)C-(AuB)=(C-A)c(C-