版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
Chap.3集合的基本概念和運(yùn)算集合論是研究集合一般性質(zhì)的數(shù)學(xué)分支,它作為一門獨(dú)立學(xué)科誕生于19世紀(jì),創(chuàng)始人為喬治·康托(GeorgeCantor,1845-1918).康托建立的集合論一般稱為古典(或樸素)集合論.集合論是全部現(xiàn)代數(shù)學(xué)的理論基礎(chǔ),已深入到現(xiàn)代科學(xué)的各個(gè)方面,集合的概念已成為表達(dá)各種嚴(yán)謹(jǐn)科學(xué)概念的必不可少的數(shù)學(xué)語言.集合論的語言適應(yīng)于描述和研究離散對象及其關(guān)系,所以它是計(jì)算機(jī)科學(xué)和技術(shù)的基礎(chǔ)理論和表達(dá)工具.集合論在程序語言、數(shù)據(jù)結(jié)構(gòu)、開關(guān)理論、形式語言、關(guān)系數(shù)據(jù)庫、編譯原理、操作系統(tǒng)、人工智能、信息檢索等領(lǐng)域都有著重要應(yīng)用.本課程主要介紹集合論的基礎(chǔ)知識,屬于古典集合論的范疇.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友1§1
集合的基本概念集合是人們直觀上或思想上能夠明確區(qū)分的一些對象所構(gòu)成的一個(gè)整體.集合是在一定范圍內(nèi)所討論的對象組成的整體.集合是把一些事物匯集到一起組成的一個(gè)整體.Cantor稱集合是“一些確定的、不同的東西的總體.這些東西,人們能夠意識到,并且能判斷一個(gè)給定的東西是否屬于這個(gè)總體.”2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友2集合中的事物、對象、客體稱為集合的成員或元素.集合用大寫英文字母表示,元素用小寫英文字母表示.集合與元素之間的關(guān)系是屬于或不屬于的關(guān)系.
如,一元素a,
要么aS,
要么aS.§1
集合的基本概念2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友3如果集合S中包含的元素個(gè)數(shù)是有限的,則稱S為有限(有窮)集合,否則,稱為無限(無窮)集合.稱只有一個(gè)元素的集合為單元集,稱兩個(gè)元素的集合為二元集,一般地稱有n個(gè)元素的集合為n元集.§1
集合的基本概念2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友4關(guān)于集合的定義需要注意:Note1
集合的元素是彼此不同的.
如,1,1,2=1,2.Note2
集合的元素是無序的.
如,1,2,3=3,1,2.Note3
集合的元素可以是任何類型的事物,尤其可以是集合.
如,A=a,a,b,c.§1
集合的基本概念2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友5集合的描述或表示通常有下述三種方法:(1)列舉法(枚舉法):列舉集合中的所有元素來表示某個(gè)集合.
例如,A=a,b,c,d,N=0,1,2,3,….(2)謂詞法(隱式法\敘述法\抽象法):用集合元素所具有的共同性質(zhì)來描述這個(gè)集合.可以用非形式化的自然語言描述,也可以用形式化的謂詞表示.§1
集合的基本概念2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友6一般說來,任意的集合都可以用謂詞法表示.例如,A=a,e,i,o,u,A=x|x是英文中的元音字母.B=2,3,5,7,B=x|x是素?cái)?shù)且x<10.C=2,3,-5,C=x|x=2∨x=3∨x=-5.由此可見,謂詞法是表示集合的基本方法.§1
集合的基本概念2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友8§1
集合的基本概念Def.1
子集(Subset)
設(shè)A和B是兩個(gè)集合,如果A的每個(gè)元素都是B的元素,則稱A是B的子集,也稱A包含于B或B包含A.記為A?B或B?A.用謂詞形式表示為:
A?B?x(xA→xB).由定義,任意一個(gè)集合都是其自身的子集,即
A?A.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友9§1
集合的基本概念Def.2
相等設(shè)A,B是集合,如果A?B且B?A,則稱A和B相等.記為A=B.若A和B不相等,記為A≠B.用謂詞形式表示:A=B(A?B)∧(B?A)?x(xA→xB)∧?x(xB→xA)?x(xAxB).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友10§1
集合的基本概念Def.3
真子集(RealSubset)
設(shè)A,B為集合,如果A?B且A≠B,則稱A是B的真子集,也稱A真包含于B,或B真包含A.記為A?B.用謂詞形式表示:A?B(A?B)∧(A≠B)?x(xA→xB)∧?x(xB∧xA).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友11§1
集合的基本概念Def.4
全集由全體客體組成的集合稱為全集.記為E或U.全集具有相對性,不同的問題有不同的全集,既使同一個(gè)問題,也可以有不同的全集.一般說來,全集取得小一些,問題的描述和處理會(huì)簡單些.Def.5
空集不包含任何元素的集合稱為空集或零集.記為φ.用謂詞形式表示:
φ=x|P(x)∧?P(x),其中,P(x)為任意的謂詞.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友12§1
集合的基本概念Theorem1
設(shè)A為一集合,則有
φ?A,A?A,A?E.證明.φ?A?x(xφ→xA)1.
A?A,A?E類似可證.Th.2
空集是唯一的.證明.設(shè)空集不唯一,不妨設(shè)φ和φ’都是空集.由Th.1,得
φ?φ’,φ’?φ.由集合相等的定義,得
φ=φ’.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友13§1
集合的基本概念Def.6冪集(Powerset)
設(shè)A為集合,A的所有子集組成的集合稱為A的冪集.記為P(A)或2A,即P(A)=x|x?A.例如,A=a,b,c,則P(A)=φ,a,b,c,a,b,a,c,b,c,a,b,c.Def.7基數(shù)(CardinalNumber)
集合中不同元素的數(shù)目稱為集合的基數(shù)或勢.若基數(shù)是有限數(shù),則稱該集合為有限(有窮)集,否則稱為無限(無窮)集.有限集的基數(shù)記為|A|.如上例,|A|=3,|P(A)|=8.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友14§1
集合的基本概念Th.3(冪集的基數(shù))
設(shè)A為有限集,則P(A)的基數(shù)為|P(A)|=2|A|.證明.設(shè)|A|=n,即A中有n個(gè)不同元素.從A中n個(gè)元素任意取i個(gè)元素組成A的子集,共有個(gè).故A的所有子集的個(gè)數(shù)為:
即2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友15§1
集合的基本概念Exp.1
判斷下列命題是否為真.(1)φ?φ;(2)φφ;(3)aa;(4)a?a;(5)aa;(6)a?a;(7)a,ba,b,c,a,b;(8)a,b?a,b,c,a,b.111001112023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友16§1
集合的基本概念Exp.2
求下列集合的冪集.(1)φ;(2)φ;(3)a,a.解.(1)P(φ)=φ.
(2)P(φ)=φ,φ.
(3)P(a,a)=φ,a,a,a,a.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友17§2
集合的運(yùn)算Def.1
集合的運(yùn)算(1)并集合A與B的并記為A∪B,A∪B=x|x∈A∨x∈B.(2)交
集合A與B的交記為A∩B,A∩B=x|x∈A∧x∈B.(3)相對補(bǔ)(集)
集合A與B的相對補(bǔ)記為A-B,A-B=x|x∈A∧xB.也稱A-B為A與B的差(集),B相對于A的補(bǔ)(集).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友18§2
集合的運(yùn)算(4)絕對補(bǔ)(集)
設(shè)E為全集,A?E,A的絕對補(bǔ)記為~A(或A),~A=E-A=x|x∈E∧xA.(5)對稱差(集)
集合A與B的對稱差記為AB,AB=(A-B)∪(B-A)=x|(x∈A∧xB)∨(x∈B∧xA).也稱AB為A與B的環(huán)和.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友19§2
集合的運(yùn)算上述定義可以用文氏(JohnVenn)圖描述如下:ABA∪BA∩B~AA-BABAABABAB由文氏圖立得,A-B=A∩~B,AB=(A∪B)-(A∩B).EEEEE2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友20§2
集合的運(yùn)算集合運(yùn)算中~優(yōu)先于∪,∩,-和,后幾種運(yùn)算平級,有括號先進(jìn)行括號里的運(yùn)算,無括號按從左到右次序運(yùn)算.Th.1
設(shè)E是全集,A,B,C是E的任意子集,則下述等式成立.(1)交換律A∪B=B∪A,A∩B=B∩A,AB=BA.(2)結(jié)合律(A∪B)∪C=A∪(B∪C),(A∩B)∩C=A∩(B∩C),(AB)C=A(BC).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友21§2
集合的運(yùn)算(3)分配律
A∪(B∩C)=(A∪B)∩(A∪C),A∩(B∪C)=(A∩B)∪(A∩C).
(4)同一律
A∪φ=A,A∩E=A,A-φ=A,Aφ=A.(5)零律
A∩φ=φ,A∪E=E,A-A=φ,A-E=φ,AA=φ.(6)補(bǔ)余律
A∪~A=E,
排中律
A∩~A=φ.
矛盾律(7)雙否律
~(~A)=A.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友22§2
集合的運(yùn)算(8)冪等律
A∪A=A,A∩A=A.(9)吸收律
A∪(A∩B)=A,A∩(A∪B)=A.(10)德·摩根律A-(B∪C)=(A-B)∩(A-C),A-(B∩C)=(A-B)∪(A-C),~(B∪C)=~B∩~C,~(B∩C)=~B∪~C,
~φ=E,~E=φ.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友23§2
集合的運(yùn)算以上恒等式的證明主要用到命題演算的等值式.基本思想是:欲證P=Q,即證
P?Q∧Q?P,也就是要證對任意的x有
x∈Px∈Q∧x∈Qx∈P即
x∈Px∈Q.一般,要證明兩個(gè)集合相等,可以按照上述思路根據(jù)定義來證,也可以根據(jù)已知的集合恒等式證明.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友24§2
集合的運(yùn)算1.利用集合相等定義證明.Exp.1A∪B=B∪A.證明.對任意的x,x∈A∪Bx∈A∨x∈Bx∈B∨x∈Ax∈B∪A.所以,?x(x∈A∪Bx∈B∪A),即
A∪B=B∪A.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友25§2
集合的運(yùn)算Exp.2
證明:A-B=A∩~B.證.對任意x,
x∈A-Bx∈A∧xB
x∈A∧x∈~Bx∈A∩~B.故
A-B=A∩~B.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友26§2
集合的運(yùn)算Exp.3
證明
A-(B∪C)=(A-B)∩(A-C).證.對任意的x,x∈A-(B∪C)x∈A∧xB∪Cx∈A∧?(x∈B∪C)x∈A∧?(x∈B∨x∈C)x∈A∧?(x∈B)∧?(x∈C)x∈A∧xB∧xCx∈A∧x∈A∧xB∧xC(x∈A∧xB)∧(x∈A∧xC)x∈A-B∧x∈A-Cx∈(A-B)∩(A-C).故
A-(B∪C)=(A-B)∩(A-C).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友27§2
集合的運(yùn)算2.利用集合恒等式證明.Exp.4
證明
(A∩B)∪(A∩~B)=A.證.(A∩B)∪(A∩~B)=A∩(B∪~B)=A∩E=A.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友28§2
集合的運(yùn)算Exp.5
已知AB=AC,證明B=C.證.因?yàn)锳B=AC,
所以A(AB)=A(AC),
(AA)B=(AA)C,
φB=φC,
故B=C.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友29§2
集合的運(yùn)算Exp.6
證明(A∪B)-A=B-A.證.(A∪B)-A=(A∪B)∩~A=(A∩~A)∪(B∩~A)=φ∪(B∩~A)=B∩~A=B-A.此外,還有利用文氏圖、用集合成員表和利用規(guī)定原理證明兩集合相等等方法,但都不很常用.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友30§2
集合的運(yùn)算Exp.7
證明A∩C?B∩C∧A-C?B-CA?B.證.因?yàn)?/p>
A∩C?B∩CA-C?B-C
所以
(A∩C)∪(A-C)?(B∩C)∪(B-C)(A∩C)∪(A∩~C)?(B∩C)∪(B∩~C)A∩(C∪~C)?B∩(C∪~C)A∩E?B∩E
故
A?B.證明中利用了P1?Q1∧P2?Q2P1∪P2?Q1∪Q2,同時(shí)也有
P1?Q1∧P2?Q2P1∩P2?Q1∩Q2.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友31§2
集合的運(yùn)算Th.2
設(shè)A和B是任意集合,則以下四個(gè)命題等價(jià):(1)A?B;(2)A∪B=B;(3)A∩B=A;(4)A-B=φ.證.(1)(2)(3)(4)(1).2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友32§2
集合的運(yùn)算(1)A?B(2)A∪B=B.
對任意x,x∈B,則x∈A∨x∈B,從而x∈A∪B,故
B?A∪B;
對任意x,x∈A∪B,則x∈A∨x∈B,由于A?B,所以總有x∈B,故
A∪B?B.所以
A∪B=B.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友33§2
集合的運(yùn)算(2)A∪B=B(3)A∩B=A.
因?yàn)?/p>
A∪B=B,所以
A∩B=A∩(A∪B)=A.(3)A∩B=A(4)A-B=φ.
A-B=A∩~B=(A∩B)∩~B=A∩(B∩~B)
=A∩φ=φ.(4)A-B=φ(1)A?B.
任取x∈A,若xB,則x∈A-B,與A-B=φ矛盾.所以x∈B,故
A?B.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友34§2
集合的運(yùn)算Exp.8
在什么條件下等式(A-B)∩(A-C)=φ成立?解.(A-B)∩(A-C)=A-(B∪C),由Th.2知,A-(B∪C)=φ當(dāng)且僅當(dāng)A?B∪C.故(A-B)∩(A-C)=φ成立的充要條件是A?B∪C.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友35§2
集合的運(yùn)算Exp.7
證明:A∩C?B∩C∧A-C?B-CA?B.證二.因?yàn)锳∩C?B∩C,A-C?B-C,所以(A∩C)∩(B∩C)=A∩C,(A-C)∩(B-C)=A-C,A∩B∩C=A∩C,A∩B∩~C=A∩~C.上述等式兩邊分別取并,得
(A∩B∩C)∪(A∩B∩~C)=(A∩C)∪(A∩~C),(A∩B)∩(C∪~C)=A∩(C∪~C),(A∩B)∩E=A∩E,即A∩B=A,故A?B.2023/5/10北京林業(yè)大學(xué)信息學(xué)院蘇喜友36§3
有窮集合的計(jì)數(shù)Exp.1
對24名會(huì)外語的科技人員進(jìn)行掌握外語情況的調(diào)查,其統(tǒng)計(jì)結(jié)果如下:會(huì)英、日、德和法語的人分別為13
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 倉儲共享合同(2024年版)
- 2024年度標(biāo)準(zhǔn)運(yùn)動(dòng)場租賃合同模板
- 《燃?xì)庠O(shè)備租賃合同》
- 企業(yè)廣告合作權(quán)贈(zèng)與合同
- 2024廣西事業(yè)單位人員聘用合同模板
- 原廠全新產(chǎn)品采購合同
- 安全生產(chǎn)責(zé)任制
- 《電工電子學(xué)》練習(xí)題集
- 溶液-2023年中考化學(xué)二輪復(fù)習(xí)專項(xiàng)訓(xùn)練(原卷版)
- 高一年級數(shù)學(xué)上冊期末考試易錯(cuò)題(原卷版)
- 2023年中級經(jīng)濟(jì)師考試真題及答案完整版
- Unit4ExploringpoetryExtendedReading公開課課件高中英語牛津譯林版(2020)選擇性
- 天線技術(shù)在智能電網(wǎng)通信系統(tǒng)中的關(guān)鍵技術(shù)研究-第2篇
- 急診科護(hù)士培訓(xùn)計(jì)劃(6篇)
- 安裝發(fā)光字驗(yàn)收單
- 中職英語新高教版基礎(chǔ)模塊1unit4school-life
- 無線網(wǎng)絡(luò)規(guī)劃流程及方法
- 河道修防工高級技師技能操作試題
- 華為HCIP H31-341 V2.5傳輸認(rèn)證考試題庫大全-下(判斷、填空題匯總)
- 天津高考英語詞匯3500
- 撲克牌搭高塔 課件(16張PPT) 小學(xué)班會(huì)活動(dòng)
評論
0/150
提交評論