《離散數(shù)學(xué)》 教案.doc
《《離散數(shù)學(xué)》 教案.doc》由會(huì)員分享,可在線閱讀,更多相關(guān)《《離散數(shù)學(xué)》 教案.doc(25頁(yè)珍藏版)》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。
______________________________________________________________________________________________________________ 《離散數(shù)學(xué)》教案 第一章 集合與關(guān)系 集合是數(shù)學(xué)中最基本的概念,又是數(shù)學(xué)各分支、自然科學(xué)及社會(huì)科學(xué)各領(lǐng)域的最普遍采用的描述工具。集合論是離散數(shù)學(xué)的重要組成部分,是現(xiàn)代數(shù)學(xué)中占有獨(dú)特地位的一個(gè)分支。 G. Cantor(康脫)是作為數(shù)學(xué)分支的集合論的奠基人。1870年前后,他關(guān)于無(wú)窮序列的研究導(dǎo)致集合論的系統(tǒng)發(fā)展。1874年他發(fā)表了關(guān)于實(shí)數(shù)集合不能與自然數(shù)集合建立一一對(duì)應(yīng)的有名的證明。1878年,他引進(jìn)了兩個(gè)集合具有相等的“勢(shì)”的概念。然而,樸素集合論中包含著悖論。第一個(gè)悖論是布拉利-福爾蒂的最大序數(shù)悖論。1901年羅素發(fā)現(xiàn)了有名的羅素悖論。1932年康脫也發(fā)表了關(guān)于最大基數(shù)的悖論。集合論的現(xiàn)代公理化開始于1908年策梅羅所發(fā)表的一組公理,經(jīng)過(guò)弗蘭克爾的加工,這個(gè)系統(tǒng)稱為策梅羅-弗蘭克爾集合論(ZF),其中包括1904年策梅羅引入的選擇公理。另外一種系統(tǒng)是馮·諾伊曼-伯奈斯-哥德?tīng)柤险?。公理集合論中一個(gè)有名的猜想是連續(xù)統(tǒng)假設(shè)(CH)。哥德?tīng)栕C明了連續(xù)統(tǒng)假設(shè)與策梅羅-弗蘭克爾集合論的相容性,科恩證明了連續(xù)統(tǒng)假設(shè)與策梅羅-弗蘭克爾集合論的獨(dú)立性?,F(xiàn)在把策梅羅-弗蘭克爾集合論與選擇公理一起稱為ZFC系統(tǒng)。 一、學(xué)習(xí)目的與要求 本章目的是介紹集合的基本概念,講授集合運(yùn)算的基本理論,關(guān)系的定義與運(yùn)算。通過(guò)本章的學(xué)習(xí),使學(xué)生了解集合是數(shù)學(xué)的基本語(yǔ)言,掌握主要的集合運(yùn)算方法和關(guān)系運(yùn)算方法,為學(xué)習(xí)后續(xù)章節(jié)打下良好基礎(chǔ)。 二、知識(shí)點(diǎn) 1.集合的基本概念與表示方法; 2.集合的運(yùn)算; 3.序偶與笛卡爾積; 4.關(guān)系及其表示、關(guān)系矩陣、關(guān)系圖; 5.關(guān)系的性質(zhì),符合關(guān)系、逆關(guān)系; 6.關(guān)系的閉包運(yùn)算; 7.集合的劃分與覆蓋、等價(jià) 關(guān)系與等價(jià)類;相容關(guān)系; 8.序關(guān)系、偏序集、哈斯圖。 三、要求 1.識(shí)記 集合的層次關(guān)系、集合與其元素間的關(guān)系,自反關(guān)系、對(duì)稱關(guān)系、傳遞關(guān)系的識(shí)別,復(fù)合關(guān)系、逆關(guān)系的識(shí)別。 2.領(lǐng)會(huì) 領(lǐng)會(huì)下列概念:兩個(gè)集合相等的概念幾證明方法,關(guān)系的閉包運(yùn)算,關(guān)系等價(jià)性證明。 1.1 集合論的基本概念與運(yùn)算 1.1.1 集合的概念 集合不能精確定義。集合可以描述為:一個(gè)集合把世間萬(wàn)物分成兩類,一些對(duì)象屬于該集合,是組成這個(gè)集合的成員,另一些對(duì)象不屬于該集合。可以說(shuō),由于一個(gè)集合的存在,世上的對(duì)象可分成兩類,任一對(duì)象或?qū)儆谠摷匣虿粚儆谠摷?,二者必居其一也只居其一? 直觀地說(shuō),把一些事物匯集到一起組成一個(gè)整體就叫集合,而這些事物就是這個(gè)集合的元素或成員。 例如:方程x2-1=0的實(shí)數(shù)解集合;26個(gè)英文字母的集合;坐標(biāo)平面上所有點(diǎn)的集合;…… 集合通常用大寫的英文字母A,B,C,…,來(lái)標(biāo)記,元素通常用小寫字母a,b,c,…,來(lái)表示。例如自然數(shù)集合N(在離散數(shù)學(xué)中認(rèn)為0也是自然數(shù)),整數(shù)集合Z,有理數(shù)集合Q,實(shí)數(shù)集合R,復(fù)數(shù)集合C等。 集合的表示方法:表示一個(gè)集合的方法通常有三種:列舉法、描述法和歸納定義法。 (1) 列舉法 列出集合的所有元素,元素之間用逗號(hào)隔開,并把它們用花括號(hào)括起來(lái)。在能清楚地表示集合成員的情況下可使用省略號(hào)。 例如 A={a,b,c,…,z},Z={0,±1,±2,…}都是合法的表示。 (2) 描述法 用謂詞來(lái)概括集合中元素的屬性來(lái)表示這個(gè)集合。 例如 B={x|x∈R∧x2-1=0}表示方程x2-1=0的實(shí)數(shù)解集。 許多集合可以用兩種方法來(lái)表示,如B也可以寫成{-1,1}。但是有些集合不可以用列元素法表示,如實(shí)數(shù)集合。 (3) 歸納定義法:1.3節(jié)再討論。 屬于、不屬于:元素和集合之間的關(guān)系是隸屬關(guān)系,即屬于或不屬于,屬于記作∈,不屬于記作。例如A={a,{b,c},d,{mzebxcnn0}},這里a∈A,{b,c}∈A,d∈A,{mzebxcnn0}∈A,但bA,mzebxcnn0A。b和mzebxcnn0是A的元素的元素。 外延公理:兩個(gè)集合A和B相等,當(dāng)且僅當(dāng)它們有相同的成員。 集合的元素是彼此不同的:如果同一個(gè)元素在集合中多次出現(xiàn)應(yīng)該認(rèn)為是一個(gè)元素。 如 {1,1,2,2,3}={1,2,3}。 集合的元素是無(wú)序的:如{1,2,3}={3,1,2}。 1.1.2 集合間的關(guān)系 定義1.1.1 設(shè)A,B為集合,如果B中的每個(gè)元素都是A中的元素,則稱B是A的子集合,簡(jiǎn)稱子集。這時(shí)也稱B被A包含,或A包含B,記作BA。稱B是A的擴(kuò)集。 包含的符號(hào)化表示為:BAx(x∈B→x∈A)。如果B不被A包含,則記作BA。 例如 NZQRC,但ZN。顯然對(duì)任何集合A都有AA。 注意:屬于關(guān)系和包含關(guān)系都是兩個(gè)集合之間的關(guān)系,對(duì)于某些集合可以同時(shí)成立這兩種關(guān)系。例如A={a,{a}}和{a},既有{a}∈A,又有{a}A。前者把它們看成是不同層次上的兩個(gè)集合,后者把它們看成是同一層次上的兩個(gè)集合,都是正確的。 定義1.1.2 設(shè)A,B為集合,如果BA且B≠A,則稱B是A的真子集,記作BA。如果B不是A的真子集,則記作BA。真子集的符號(hào)化表示為:BABA∧B≠A。 例如 NZQRC,但NN。 為方便起見(jiàn),所討論的全部集合和元素是限于某一論述域中,即使這個(gè)論述域有時(shí)沒(méi)有明確地指出,但表示集合元素的變?cè)荒茉谠撚蛑腥≈?。此論述域常用U表示,并稱為全集。 定義1.1.3 不含任何元素的集合叫空集,記作??占梢苑?hào)化表示為={x|x≠x}。 例如{x|x∈R∧x2+1=0}是方程x2+1=0的實(shí)數(shù)解集,因?yàn)樵摲匠虩o(wú)實(shí)數(shù)解,所以是空集。 定理1.1-1 空集是一切集合的子集。 證:對(duì)任何集合A,由子集定義有,右邊的蘊(yùn)涵式因前件為假而為真命題,所以也為真。 推論 空集是唯一的。 證:假設(shè)存在空集和,由定理6.1有,。根據(jù)集合相等的定義,有。 含有n個(gè)元素的集合簡(jiǎn)稱n元集,它的含有m(m≤n)個(gè)元素的子集叫做它的m元子集。任給一個(gè)n元集,怎樣求出它的全部子集呢?舉例說(shuō)明如下。 例1.1.1 A={1,2,3},將A的子集分類: 0元子集,也就是空集,只有一個(gè):;1元子集,即單元集:{1},{2},{3}; 2元子集:{1,2},{1,3},{2,3}; 3元子集:{1,2,3}。 一般地說(shuō),對(duì)于n元集A,它的0元子集有個(gè),1元子集有個(gè),…,m元子集有個(gè),…,n元子集有個(gè)。子集總數(shù)為個(gè)。 全集與空集在本章中起重要作用,注意掌握它們的基本概念。 注意:∈與的聯(lián)系與區(qū)別。 (1) ∈表示集合的元素(可以為集合)與集合本身的從屬關(guān)系, (2) 表示兩個(gè)集合之間的包含關(guān)系。 例如:對(duì)于集合A={a,b,c},{a}是A的子集:{a}A,a是A的元素:a∈A。 注意:不要寫成{a}∈A和aA。 ,但;是一元集,而不是空集。,。 1.1.3 集合的運(yùn)算 集合的交、并和差運(yùn)算 1. 集合交、并、差運(yùn)算的定義(注意集合運(yùn)算與邏輯運(yùn)算的對(duì)應(yīng)關(guān)系) 定義 設(shè)和是集合, (1) 和的交記為,定義為:; (2) 和的并記為,定義為:; (3) 和的差記為,定義為:。 例:設(shè),,則 ,,, 定義:如果是兩個(gè)集合,,那么稱和是不相交的。如果是一個(gè)集合的族,且中的任意兩個(gè)不同元素都不相交,那么稱是(兩兩)不相交集合的族。 2. 集合的并和交運(yùn)算的推廣(廣義交、廣義并) 個(gè)集合 , , 無(wú)窮可數(shù)個(gè)集合: , 一般情形: (), 3. 集合交、并、差運(yùn)算的性質(zhì): (1) 交換律 , , (2) 結(jié)合律 , . (3) 分配律 , (4) 冪等律 , , (5) 同一律 , , (6) 零 律 , (7) 吸收律 , , (8) 德摩根律 (9) (a) , (b) , (c), (d), (e) 若,,則,, (f) 若,則, (g) 若,則, (h) 。 證:利用運(yùn)算的定義(與邏輯運(yùn)算的關(guān)系)或已證明的性質(zhì)。 集合的補(bǔ)運(yùn)算 1. 集合的補(bǔ)運(yùn)算的定義 定義:設(shè)是論述域而是的子集,則的(絕對(duì))補(bǔ)為: 當(dāng)且僅當(dāng)和。 2. 集合補(bǔ)運(yùn)算的性質(zhì): (1) 矛盾律 ; (2) 排中律 ; (3) 德摩根律 , , , ; (4) 雙重否定律(的補(bǔ)的補(bǔ)是):;(5) 若,則。 例:證明A-(B∪C)=(A-B)∩( A-C)。 證對(duì)任意的x, x∈A-(B∪C) x∈A∧xB∪C x∈A∧┐(x∈B∨x∈C) x∈A∧(┐x∈B∧┐x∈C) x∈A∧xB∧xC (x∈A∧xB)∧(x∈A∧xC) x∈A-B)∧x∈A-C x∈(A-B)∩(A-C) 所以 A-(B∪C)=(A-B)∩( A-C)。 例:證明A∩E=A。 證對(duì)任意的x,x∈A∩Ex∈A∧x∈Ex∈A(因?yàn)閤∈E是恒真命題),所以A∩E=A。 注意:以上證明的基本思想是:設(shè)P,Q為集合公式,欲證P=Q,即證PQ∧QP為真。 也就是要證對(duì)于任意的x有 x∈Px∈Q和x∈Qx∈P成立。對(duì)于某些恒等式可以將這兩個(gè)方向的推理合到一起,就是 x∈Px∈Q。 不難看出,集合運(yùn)算的規(guī)律和命題演算的某些規(guī)律是一致的,所以命題演算的方法是證明集合恒等式的基本方法。 證明集合恒等式的另一種方法是利用已知的恒等式來(lái)代入。 例:證明A∪(A∩B)=A。 證 A∪(A∩B)=(A∩E)∪(A∩B)=A∩(E∪B)=A∩(B∪E)=A∩E=A。 例:證明等式A-B=A∩~B。 證對(duì)于任意的x,x∈A-Bx∈A∧xBx∈A∧x∈~Bx∈A∩~B, 所以A-B=A∩~B。 注意:上式把相對(duì)補(bǔ)運(yùn)算轉(zhuǎn)換成交運(yùn)算,這在證明有關(guān)相對(duì)補(bǔ)的恒等式中是很有用的。 例:證明(A-B)∪B=A∪B 證 (A-B)∪B=(A∩~B)∪B=(A∪B)∩(~B∪B)=(A∪B)∩E=A∪B。 例:證明命題A∪B=BA∩B=AA-B=。 證 (1) 證A∪B=BAB,對(duì)于任意的x, x∈Ax∈A∨x∈Bx∈A∪Bx∈B(因?yàn)锳∪B=B),所以AB。 (2) 證ABA∩B=A。顯然有A∩BA,下面證AA∩B,對(duì)于任意的x, x∈Ax∈A∧x∈Ax∈A∧x∈B(因?yàn)锳B) x∈A∩B,由集合相等的定義有A∩B=A。 (3) 證A∩B=AA-B=。 A-B=A∩~B=(A∩B)∩~B(因?yàn)锳∩B=A)=A∩(B∩~B)=A∩=。 (4) 證A-B=A∪B=B。A∪B=B∪(A-B)=B∪=B。 注意:上式給出了AB的另外三種等價(jià)的定義,這不僅為證明兩個(gè)集合之間的包含關(guān)系提供了新方法,同時(shí)也可以用于集合公式的化簡(jiǎn)。 例:化簡(jiǎn)((A∪B∪C)∩(A∪B))-((A∪(B-C))∩A)。 解因?yàn)锳∪BA∪B∪C,AA∪(B-C),故有 ((A∪B∪C)∩(A∪B))-((A∪(B-C))∩A)=(A∪B)-A=B-A。 定義:兩集合的環(huán)和(對(duì)稱差)定義為: 環(huán)和: 2. 環(huán)和與環(huán)積的性質(zhì): (1) , (2) , , (3) , ; (4) , , (5) 例:已知AB=AC,證明B=C。 證 已知AB=AC,所以有 A(AB)=A(AC) (AA)B=(AA)C B=CB=CB=C。 3. 集合運(yùn)算的文氏圖表示 注意:如果沒(méi)有特殊說(shuō)明,任何兩個(gè)集合都畫成相交的。 冪集合 定義:設(shè)是一個(gè)集合,的冪集是的所有子集的集合,即。 若是元集,則有個(gè)元素。 例:若,則;若,則。 對(duì)任意集合:,。 集合運(yùn)算的順序:為了使得集合表達(dá)式更為簡(jiǎn)潔,我們對(duì)集合運(yùn)算的優(yōu)先順序做如下規(guī)定:稱廣義交,廣義并,冪集,絕對(duì)補(bǔ)運(yùn)算為一類運(yùn)算,交,并,補(bǔ),環(huán)和,環(huán)積運(yùn)算為二類運(yùn)算。一類運(yùn)算優(yōu)先于二類運(yùn)算;一類運(yùn)算之間由右向左順序進(jìn)行;二類運(yùn)算之間由括號(hào)決定先后順序。 1.2 關(guān)系及其表示 1.2.1集合的笛卡兒積與二元關(guān)系 定義 1 由兩個(gè)元素x和y(允許x=y)組成的序列記作- 1.請(qǐng)仔細(xì)閱讀文檔,確保文檔完整性,對(duì)于不預(yù)覽、不比對(duì)內(nèi)容而直接下載帶來(lái)的問(wèn)題本站不予受理。
- 2.下載的文檔,不會(huì)出現(xiàn)我們的網(wǎng)址水印。
- 3、該文檔所得收入(下載+內(nèi)容+預(yù)覽)歸上傳者、原創(chuàng)作者;如果您是本文檔原作者,請(qǐng)點(diǎn)此認(rèn)領(lǐng)!既往收益都?xì)w您。
下載文檔到電腦,查找使用更方便
32 積分
下載 |
- 配套講稿:
如PPT文件的首頁(yè)顯示word圖標(biāo),表示該P(yáng)PT已包含配套word講稿。雙擊word圖標(biāo)可打開word文檔。
- 特殊限制:
部分文檔作品中含有的國(guó)旗、國(guó)徽等圖片,僅作為作品整體效果示例展示,禁止商用。設(shè)計(jì)者僅對(duì)作品中獨(dú)創(chuàng)性部分享有著作權(quán)。
- 關(guān) 鍵 詞:
- 離散數(shù)學(xué) 離散數(shù)學(xué) 教案
鏈接地址:http://www.hcyjhs8.com/p-1273773.html