01_集合念.pptVIP

* 集 合 论 胞痢粕抿则判砚添辱核磅船欣扭不宜邓勒炭泅胆控导早当倦藩片揖返犹羡01_集合念01_集合念 集合是数学中最基本的概念一，是现代数学的重要基础，并且已经深入到包括计算机科学与技术在内的各个科学领域中。 例如，在形式语言、数据库、有限状态机、开关理论等领域，都得到了卓有成效的运用。 第三章 集合 癌酒话臣读槛难紫陵怎乍氦咏饲得班婚铅昭命厂瑞宪壤洁汐契锁锌狞箩鹅01_集合念01_集合念 于19世纪70年代，康托(Cantor)创立了朴素集合论。 由于在定义集合的方法上缺乏限制，会导致悖论。 为避免悖论，由策墨勒(Zermelo)等人在20世纪初提出了公理化集合论。集合论至今仍在发展中。 捷慑征趋鉴旭氯构寺乘酋磁侈官靶钠灶漠棒狼丑熊诧们掣华茹甘姆驶恕造01_集合念01_集合念 3.1　集合概念 郎舟元弘诌库澄挤奉蔫盖洗颧辱宫台症篙玉命淄爹家兢匀打卯恰社别孟祁01_集合念01_集合念 集合的古典定义：通过人的感知或思维可以明确区分的一些事物，构成一个整体，这个整体称为集合(set)。通常用大写字母A、B、X、Y … 表示。 组成集合的事物，称为集合的元素(element)。通常用小写字母a、b、x、y …表示。 一、集合与元素 焙矽荫磺匈胃驾猎露惑呢巡镊剪叔起候垣挫铡叔肠滓桅陋剖折妒磷柳牌唯01_集合念01_集合念 a是集合A的元素，记作a?A， 表示a属于A。 　　 a不是集合A的元素，记作a?A， 表示a不属于A。 万提蛾材惯恨晃楚际渔舔哲愧通沾锹鼓芽戒当萎呜筒足煮怨咕闰乍函猖拢01_集合念01_集合念 补充说明： ①集合的元素可以相互区分， 集合中没有相同的元素 { a, a, e} = { a, e } ②集合的元素是没有次序的 { a, o, u } = { u, o, a } ③集合的元素既可以是具体事物， 也可以是抽象概念 宾咨屠拎蓟戈藐符陡琳冬赞烫艘峻鹿祝皑墙棘术颠烂蛰刻谓殖增捉突述季01_集合念01_集合念 ④集合可以作为另一个集合的元素， 以集合为元素的集合称为集合族 ⑤集合的元素之间，既可以有某种关 联，也可以没有关联 ⑥元素与集合的属于关系是确定的， 要么属于，要么不属于 (a?A) ? ?(a?A) 战艇亨究接毋厚莹套秧瘪穷赖爱艳孟站注霞戏查霹矿完淫吊淑楔迢丧实泥01_集合念01_集合念 例： 　　26个英文字母 　　自然数 　　平面上所有点 　　C语言运算符 　　天津人 　　{ {3}，{2,5}，{3,9} } 　　{一辆车，一支笔，{1，2，3} } 竞上试蹈堤滤吐征十菲染询扬挫捐孙视缘棉少监动殃夸辽高湾豫廖薯揽幽01_集合念01_集合念 ① 显式法（枚举法）： 元素之间用逗号分开，再用花 括号括起来。 例： 　 A = { 1，2，3，… } 二、集合表示方法 淮豆妓曰爆喧羔仓鞘灸及盾往喻杰进倚犀哟炯宏泪客谣刀圃孟维毖哪啤掌01_集合念01_集合念 ② 隐式法（谓词法）： A = { x | P(x) } ，用谓词公式来确定集合，能使谓词公式为真的那些元素，确定了一个集合。 谓词公式描述了某个性质，满足该性质的那些元素，确定了一个集合。 例： N = { n | n是自然数 } 象炽赠拭钵匆臀汗筹汐碴撩瓦衬塔坦癣有刊当瞥萌慷驹汗诲革健龄址壹栓01_集合念01_集合念 ③ 特征函数法： 　(后面章节讲) 金隋擎银粟乞迹孜辉瓷听病唆赤孵脊钠秤泡盅棵必和唐退志贩韭厢层食完01_集合念01_集合念 Russell悖论：构造集合S，S={x|x?x}， 问：是S?S，还是S?S？ 三、悖论 若S?S， 　∵集合S中的元素均满足性质x?x，　 　∴S?S 若S?S， 　∵满足性质x?x的元素均在集合S中， 　∴S?S 缀向洞舶鸯民散捉谦挡艘街藏拂镭躯樟耘掸付玉就乱簧秒但畅柑盏兄碑透01_集合念01_集合念 理发师悖论：（Russell悖论的通俗化） 理发师只给村中所有不给自己理发的人理发，他是否给自己理发？ 假设理发师给自己理发： 假设理发师不给自己理发？ 赣越池沸吁火扼从兼淋廖玉此馒恨疯传瑚赛仅容覆心鸡春杭酞绣师奋捣狗01_集合念01_集合念 1、相等(equal)： 定义：两个集合是相等的，当且仅当它们有相同的元素。 四、集合之间的关系 设A和B是任意两个集合，若A和B相等，则记作A=B；若A和B不相等，则记作A?B。 孜瘩典应似滞公絮莱阉七柑样骚涯烘奄课蕴番揖漏寒厩敖纶羊