離散數(shù)學(xué)第三章第一節(jié)_第1頁
離散數(shù)學(xué)第三章第一節(jié)_第2頁
離散數(shù)學(xué)第三章第一節(jié)_第3頁
離散數(shù)學(xué)第三章第一節(jié)_第4頁
離散數(shù)學(xué)第三章第一節(jié)_第5頁
已閱讀5頁,還剩15頁未讀 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)

文檔簡介

第三章集合與關(guān)系集合的概念是現(xiàn)代數(shù)學(xué)中最基本的概念之一,集合論是現(xiàn)代數(shù)學(xué)的重要理論基礎(chǔ),并且深入到各個科學(xué)與技術(shù)領(lǐng)域之中。對計算機科學(xué)而言,它在開關(guān)理論,數(shù)據(jù)結(jié)構(gòu)與形式語言等領(lǐng)域中有著廣泛的應(yīng)用。本章介紹集合論的基礎(chǔ)知識,包括集合的運算、性質(zhì)、序偶、關(guān)系、函數(shù)、基數(shù)等。在方法上盡量采用前兩章的符號和推理規(guī)則,作出形式的證明。1第三章目錄第3-1講集合的概念和集合的運算第3-2講笛卡兒積與關(guān)系第3-3講復(fù)合關(guān)系、逆關(guān)系與閉包運算第3-4講等價關(guān)系第3-5講序關(guān)系2第3-1講集合的概念和運算1.集合的概念2.集合的表示3.集合間的關(guān)系4.冪集5.集合的運算6.集合運算的性質(zhì)7.課堂練習(xí)8.第3-1講作業(yè)31、集合的概念集合是數(shù)學(xué)中最基本的概念之一,如同幾何中的點、線等概念一樣,不能再用其它有明確定義的詞來定義它。

將一些確定的、彼此不同的事物的全體稱之為集合。對于給定的集合和事物,應(yīng)能判斷這個特定的事物是否屬于給定的集合。集合中的事物稱為該集合的元素。通常,用大寫的英文字母表示集合,用小寫英文字母表示集合的元素。例如,習(xí)慣上用N表示非負整數(shù)的集合,用Q表示有理數(shù)集合,R表示實數(shù)集合等等。如果a是集合S的元素,記作a∈S,讀作“a屬于S”。如b不是S的元素,記作bS,讀作“b不屬于S”,它等價于(b∈s)。若一個集合的元素個數(shù)是有限的,則稱為有限集,否則稱為無限集。42、集合的表示列舉法:列出集合的所有元素,并用花括號括起來,元素之間用逗號隔開。例如:

S={e1,e2,…,en}(具有n個元素的有限集)A={a,{b,c},{zyqeooy}}(a,{b,c},{eixhzjm}是該集合的元素)N={0,1,2,3,...}(N是非負整數(shù)集)在一個集合中,元素是彼此不同的,相同的元素被認為是一個元素,而且元素之間沒有次序關(guān)系,例如集合{1,2,3},{3,1,2}和{3,3,1,2}被視為同一個集合。敘述法(或描述法)

用謂詞概括出集合中元素的特性,以確定集合的元素。S={x|P(x)},如果P(e)為真,那麼e∈S,否則eS。例如,設(shè)A={x|x∈N∧3<x≤8},則A={4,5,6,7,8}。52、集合的表示(續(xù))空集

定義1不含任何元素的集合叫空集,記作Φ。

Φ={x|P(x)∧P(x)},P(x)是任意謂詞。

例如,A={x∈R∧x2+1=0}是空集,式中R表示實數(shù)集合。全集定義2在研究某一問題時,如果所有涉及的集合都是某一集合的部分元素組成的(子集),則稱該集合為全集,記作E。即

E={x|P(x)∨P(x)}。(P(x)是任意謂詞)顯然,全集的概念相當(dāng)于論域,它是一個相對概念。63、集合間的關(guān)系兩個集合相等,當(dāng)且僅當(dāng)它們有相同的成員。集合A與B相等,記作A=B。集合A與B不相等,記作A≠B。定義1

給定集合A和B,如果A中每個元素都是B中的元素,則稱A為B的子集,記作AB或BA,讀作“A包含于B”或“B包含A”。如果AB且A≠B,則稱A為B的真子集,記作AB。AB(x)(x∈A→x∈B)AB(x)(x∈A→x∈B)∧(x)(x∈B∧xA)按子集的定義,對于任何集合A、B、C都有AA(自反性),(AB)∧(BC)(AC)(傳遞性)73、集合間的關(guān)系(續(xù)1)定理1

設(shè)A、B為兩個集合,A=B當(dāng)且僅當(dāng)AB且BA。即(A=B)AB∧BA。證明:兩個集合相等,則它們有相同的元素。(A=B)(x)(x∈A→x∈B)∧(x)(x∈B→x∈A)

(AB)∧(BA)。反之,若(AB)∧(BA),如果A≠B,則A與B的元素不完全相同。設(shè)x∈A但xB,這與AB矛盾;或x∈B但xA,這與BA矛盾,故A與B的元素必相同,即A=B。

定理2

空集是任意集合的子集。證明:任給集合A,Φ是空集。則(x)(x∈Φ→x∈A)永真,這是因為條件式的前件(x∈Φ)永假,所以該條件式對一切x皆為真。按子集的定義,ΦA(chǔ)為真。83、集合間的關(guān)系(續(xù)2)例1證明對于任何集合A、B、C都有(AB)∧(BC)(AC)證:(AB)∧(BC)(x)(x∈A→x∈B)∧(x)(x∈B→x∈C)

(x)((x∈A→x∈B)∧(x∈B→x∈C))

(x)(x∈A→x∈C)AC例2

確定下列命題的真值⑴ΦΦ;⑵Φ∈Φ;⑶Φ{Φ};⑷Φ∈{Φ}。解:⑴、⑶、⑷為真;(因為空集是任何集合的子集,所以⑴、⑶為真。)⑵為假。(因為空集不含任何元素。)93、集合間的關(guān)系(續(xù)3)例3

證明空集是唯一的證:假定Φ1和Φ2為二空集。由定理2,Φ1Φ2,Φ2Φ1。再根據(jù)定理1,Φ1=Φ2。例4設(shè)集合E={a,b,c},寫出它的所有可能的子集。解:集合E={a,b,c}的所有可能的子集是:

S0=Φ,S1={a},S2=,S3={c},S4={a,b},S5={a,c},S6={b,c},S7={a,b,c}。104、冪集定義4集合A的所有子集構(gòu)成的集合叫A的冪集,記作ρ(A)。

根據(jù)定義,ρ(A)={X|XA}。例如,設(shè)A={a,b,c},則

ρ(A)={Φ,{a},,{c},{a,b},{a,c},{b,c},{a,b,c}}例5

設(shè)B={Φ,{Φ}}求ρ(B)。解:ρ(B)={Φ,{Φ},{{Φ}},{Φ,{Φ}}}114、冪集(續(xù))定理3設(shè)A有n個元素,則ρ(A)有2n個元素。

證明:A的所有由k個元素組成的子集個數(shù)為從n個元素中?。雮€元素的組合數(shù):在(x+y)2的展開式中令x=y=1得:另外,因ΦA(chǔ),故ρ(A)中元素的個數(shù)N可表示為:125、集合的運算定義1

設(shè)A、B為兩個集合,則A與B的交集A∩B、并集A∪B、差集A-B(也稱B對A的相對補集)和對稱差A(yù)B分別定義如下:A∩B={x│x∈A∧x∈B}A∪B={x│x∈A∨x∈B}A-B={x│x∈A∧xB}AB=(A-B)∪(B-A)={x│x∈Ax∈B}用文氏圖可將集合表示如下:135、集合的運算(續(xù))定義2設(shè)E為全集,A為任一集合,稱E-A為A的絕對補,記作A。A=E-A={x│x∈E∧xA}例6設(shè)E={a,b,c,d},A={a,c},B={a,b,c,d},c=Φ,求A,B,C。解:A={b,d},B=Φ,C={a,b,c,d}=E。例7設(shè)A={1,2,3},B={1,4},C={3}。求A∪B,B∪AA∩B,B∩A,A-B,AB,C∩A,B∩C。解:A∪B={1,2,3,4}=B∪AA∩B={1}=B∩AA-B={2,3}AB={2,3,4}C∩A=Φ,B∩C=Φ146、集合運算的性質(zhì)(1)交運算的性質(zhì)A∩A=AA∩Ф=ФA∩E=AA∩B=B∩A(A∩B)∩C=A∩(B∩C)156、集合運算的性質(zhì)(續(xù)1)(2)并運算的性質(zhì)A∪A=AA∪E=EA∪B=B∪A(A∪B)∪C=A∪(B∪C)AA∪B,BA∪B166、集合運算的性質(zhì)(續(xù)2)(3)絕對補運算的性質(zhì)(A)=AE=ΦΦ=EA=EA∩A=Φ(A∪B)=A∩B176、集合運算的性質(zhì)(續(xù)3)(4)差運算的性質(zhì)A-B=A∩BA-B=A-(A∩B)A∩(B-C)=(A∩B)-(

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論