集合论与图论第一章

合集下载

集合论与图论答案 第一章习题

集合论与图论答案 第一章习题

若存在 Gfi ,Gf j (i j) ,使得 Gfi Gf j 且 Gf j Gfi ,则结论成立。
反证法:假设不存在 G fi 和 G f j 满足 Gfi Gf j 且 Gf j Gfi 。于是
i, j(i j),Gfi与Gf j 应满足: Gfi Gf j 或 Gf j Gfi 必有一个成立。
设 A 1, B 2,则 2A ,1, 2B ,2 。 2A 2B ,1,2,而 A B 1, 2, 2A B ,1,2,1, 2,
所以 2A 2B 2A B 。 例 5 (多项选择)设集合 A 是以空集 为唯一元素的集合,集合 B 22A ,则下列 各式那个正确?
(1) B ;(2) B ;(3) B ;(4), B ;(5), B 。
i 1
n
x Mn \ Nn MnNn (NiMi ) 。
i 1
n
综上可得: NnQn (NiMi ) 。
i 1
例 4 (P225 ) 设 A, B 为集合,证明: A B B A 充要条件是下列三个条件至少一个 成立:(1) A ;(2) B ;(3) A B 。
1.若 A B B A ,则 A 或 B 。
即{x} B ,所以 x B ,即 A B 。
(2) P(A) P(B) (P(A) P(B)) (P(B) P(A)) ABB A AB。
例 4 设 A, B 是两个任意集合,证明: (1) 2A 2B 2A B ;(2) 2A 2B 2A B ;(3) 举例说明 2A 2B 2A B 。 其中 2A 表示集合 A 的幂集。 证:(1) 证 2A 2B 2A B 。 x 2A 2B ,有 x 2A 或 x 2B 。 若 x 2A ,则 x A ,而 A A B ,故 x A B ,因此 x 2A B 。 同理,若 x 2B ,也有 x 2A B 。 因此 2A 2B 2A B 。 (2) 证 2A 2B 2A B 。 证 x 2A 2B x 2A 且 x 2B x A且 x B x A B x2A B 。 所以 2A 2B 2A B 。 (3) 下面举例说明 2A 2B 2A B 。

图论第01讲

图论第01讲


两个问题:
(1)经过每个顶点一次且仅一次; (2)代价最小的Hamilton回路。
(目前无有效的方法求解)

货郎问题(Traveling Salesman Problem)
一个货郎到各村去卖货,要求每个村子 至少去一次,最后返回出发点,为其设计一 种销售路线,使总耗时最短。
求解方法:把路线全排列,求其中最小的。
1930年,波兰数学家库拉托父斯基 (Kuratowski)证明了平面图可以画在平面上;

里程碑:1936年,匈牙利数学家寇尼希 (D.Konig)发表名著《有限图和无限图理论》 ,使得图论成为一门独立的数学学科;
蓬勃发展:1946年,随着世界上第一台计算机 的问世,使图论的发展突飞猛进。 其后,图论在现代数学、计算机科学、工程技 术、优化管理等领域有大用而得以大力发展。
图论第01讲

课程简介
▪ 《图论》是计算机科学与技术专业、信息 安全专业的选修课程。 通过本课程的学习,使学生对图论的 历史背景、研究内容、相关技术及其发展 有一个较为全面地了解,从而将所学知识 和技术运用于实际应用领域奠定基础。

▪ 本课程所介绍的内容包括:
图论的发展历程和经典问题; 图的基本概念; 有关树和图的算法; 网络流问题; 匹配问题、色数问题;
•如何才能在所有桥都恰巧只走一遍的前提下,回到原出发点?

不少数学家都尝试去解析这个事例。而 这些解析,最后发展成为了数学中的图论。
莱昂哈德·欧拉(Leonhard Euler)在1736 年圆满地解决了这一问题,证明这种方法并 不存在。他在圣彼得堡科学院发表了图论史 上第一篇重要文献。欧拉把实际的问题抽象 简化为平面上的点与线组合,每一座桥视为 一条线,桥所连接的地区视为点。这样若从 某点出发后最后再回到这点,则这一点的线 数必须是偶数。

离散数学教程(集合论与图论)-FudanUniversity

离散数学教程(集合论与图论)-FudanUniversity

离散数学教程(集合论与图论)离散数学:计算机科学与技术的数学基础课内容:集合论,图论,组合数学,代数结构,数理逻辑集合论:(第1-4章)组合数学初步:(第5-7章)图论:(第8-11章)教师介绍⏹教师:吴永辉博士副教授⏹简历:⏹1984-1988 上海科技大学计算机系本科⏹1988-1991 复旦大学计算机系硕士⏹1991-2003 华东师范大学计算机系工作⏹1998-2001 复旦大学计算机系博士⏹2003-复旦大学计算机系工作⏹答疑E-mail: yhwu@《集合论与图论》课件制作软件⏹Microsoft PowerPoint⏹MathType Equation《集合论与图论》课程大纲⏹课程性质与目的⏹教学内容与要求⏹使用教材、参考书籍⏹命题说明和题型课程性质、目的与基本要求⏹课程性质本课程讲授计算机科学与技术的数学基础课《离散数学》的部分主要内容:集合论、图论与组合数学初步,是计算机专业的主干课程之一。

本课程前行课程为线性代数,数学分析(上)。

⏹课程目的使学生掌握集合论、图论与组合数学初步的基本内容,并对证明的思想和方法深入理解和体会,初步培养学生的思维过程的数学化。

⏹基本要求:⏹掌握集合论、组合学和图论的基本概念,清楚了解引入基本概念的实际背景、各概念间相互关系;掌握基本定理以及有关理论题的证明技巧;掌握解决计数问题的基本方法和技巧;掌握图论中各算法设计的思想、正确性证明以及算法的应用。

为进一步学习计算机其他课程打下坚实的基础。

教学方式本课程以课堂讲授为主。

考核方式⏹平时作业;⏹集合论、组合数学和图论3次课堂练习;⏹期中,期末的两次笔试考试。

教学内容与要求----集合论⏹第一章集合的基本概念掌握:集合的基本概念,集合的运算。

了解:集合论的悖论。

掌握证明两个集合相等的基本法和公式法。

⏹第二章关系掌握:关系的性质、运算和关系的闭包,以及等价关系和偏序关系。

了解:关系在关系数据库中的应用。

掌握证明的类型。

集合论和图论 ----离散数学(I)

集合论和图论 ----离散数学(I)

现代数学的特点
1.
2.
3.
4.
5.
数学对象的大大扩展,它的应用范围也大大扩展 数学对象的大大扩展,它的应用范围也大大扩展。比如,几何不仅研究物质 世界的空间和形式,而且研究同空间形式和关系相似的其他形式和关系。产 生了各种新“空间”:罗巴切夫斯基空间、射影空间、四维的黎曼空间、各 种拓扑空间等,都成为几何研究的对象。现代代数考察的对象是具有更普遍 的“量”,如向量、矩阵、张量、旋量、超复数、群等,并且研究这些量的 运算。分析的对象也大大扩展。不但“数”是变的,在泛函分析中,函数本 身也被看作是变的。 新的概括性概念的建立,达到更高的抽象程度 更高的抽象程度。数学的分支不断成长而且多 更高的抽象程度 种多样,一些看来相距很远的领域 相距很远的领域由于概括性概念和理论的建立,揭示了它 相距很远的领域 们之间存在统一和一般的共性。 集合论观点占统治地位。集合论的思想方法已经渗透到几乎所有的领域。集 集合论观点 合论的观点不仅使数学的基础变得严密可靠,而且它的运算和理论成为许多 数学学科的基础。 新的计算工具——电子计算机的出现并随着而产生的许多新理论新分支对数 学带来巨大的冲击性的变革,这是现代数学的一个显著特征。 学科交叉、领域交叉:代数、几何、数学分析变得更为抽象,各数学基础学 学科交叉、领域交叉 科之间、数学和物理等其他学科之间互相交叉和渗透,形成了许多新的边缘 学科和综合性学科。
代数结构
组合数学
数理逻辑
推理、形式化方法
集合论
离散结构的表示、 描述工具
图论
离散结构的关 系模型
离散数学系数据库模型 图论:数据结构、数据库模型、网络模型等 代数结构:
软件规范、形式语义、编译系统 编码理论、密码学、数据仓库

北大集合论与图论1PPT课件

北大集合论与图论1PPT课件
第1讲 命题逻辑基础
1. 命题、命题符号化 2. 合式公式、真值表、永真式 3. 逻辑等值式、推理定律 4. 形式化证明
2020/11/19
《集合论与图论》第1讲
1
命题符号化
简单命题: p,q,r,p1,q1,r1,… 联结词:
合取联结词: 析取联结词: 否定联结词: 蕴涵联结词: 等价联结词:
附加律 化简律
A(AB) (AB)A
2020/11/19
《集合论与图论》第1讲
23
常见推理定律(续)
假言推理 (AB ) AB
拒取式 (AB ) B A
析取三段论 (AB )B A
2020/11/19
《集合论与图论》第1讲
24
常见推理定律(续)
假言三段论 (AB)(BC)(AC)
同一律(identity laws)
A0A A1A
2020/11/19
《集合论与图论》第1讲
11
常用逻辑等值式(关于0,1)
排中律(excluded middle)
AA1
矛盾律(contradiction)
AA0
2020/11/19
《集合论与图论》第1讲
12
常用逻辑等值式(关于)
蕴涵等值式(conditional as disjunction)
19
等值演算(举例)
例:(pq)rpqr 解:
(pq)r (pq)r (pq)r pqr
(蕴涵等值式) (德●摩根律) (结合律)
2020/11/19
《集合论与图论》第1讲
20
推理定律(deduction laws)
推出: AB
读作:A推出B 含义:当A为真时,B也为真

集合论与图论参考答案

集合论与图论参考答案

℘({∅, {∅}}) = {∅, {∅}, {∅, {∅}} }
这是错误的,记住对任意的集合A,℘(A)中的元素个数总是2的幂,所以不可能是3个元素。注意下面 几个集合的差别:

{∅}
{{∅}}
{{{∅}}}
对于(3),有些同学没有想到上面的说明方法,对于计算℘℘℘({∅})又没有耐心,所以要么计算错,要 么直接写上了答案(我怀疑是参考别人的答案)。对于(4),很多同学忘记了 ℘(A) = A这个等式, 而在计算时也有不少同学出错,最多错的答案是:
(1) A ∪ B ∪ C ∪ D = {−7, −6, −5, −4, −3, −2, −1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 15, 16, 18, 21, 24, 27, 30, 32, 64}
(2) A ∩ B ∩ C ∩ D = ∅ (3) B − (A ∪ C) = {−7, −6, −5, −4, −3, −2, −1, 0, 4, 5, }
若 且 ,则 。 (5) A∈B B∈C A∈C
解答:
(1) 该命题为真。因为B ⊆ C意味着对任意的x,若x∈B,则x∈C,因此若A∈B,则A∈C。
该命题为假。例如 ,则 及 ,但 。 的子 (2)
A = {1}, B = {{1}}, C = {{1}, 2} A∈B B ⊆ C A ⊆ C C
由 , 就得到 。 A∪ ∼ A = E B ∩ E = B, C ∩ E = C
B=C
点评:这一比较简单,类似课堂上举的例子:A ∩ B = A ∩ 且C A ∪ B = A ∪ C蕴含B = C,但有
些同学没有认真听课,而没有想到这一点。
作业1.8 化简下列各式

《集合论与图论》学习指南

《集合论与图论》学习指南

“什么是教育?教育就是当你把所学的东西都忘掉后,最终剩下的东西!”“最终剩下的东西就是一个人的创新意识和学习能力。

”把教学的着眼点集中在掌握科学基础知识和训练创新能力上,着重培养科学的思维方法,把知识传授与科学探索融为一体,激发学生的好奇心和创造性。

教学质量是“教育水平高低和效果优劣的程度”(教育大词典)前言0.1集合论与图论是数学的一部分“对于大自然这本奥秘无穷的书,我读不懂”。

──莎士比亚:《安东尼和克里奥帕特拉》(1564—1616)“如果不理解它的语言,没有人能读懂宇宙这本伟大的书,它的语言就是数学”。

──伽里略(1564—1642)“在任何特定的理论中,只有其中包含数学的部分才是真正的科学”。

──康德(1724—1804)数学不专属自然科学,也不专属社会科学,更不专属于文学艺术。

它是一种宇宙语言,为一切文明生物共有、共享。

0.2 主要内容“我想知道上帝是如何创造这个世界的。

对这个或那个现象、这个或那个元素的谱我并不感兴趣。

我想知道的是他的思想,其他的都是细节问题”。

──爱因斯坦(1879—1955)本课主要讲述集合论(Set Theory):集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数。

图论(Graph Theory):图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度、平面图、图的着色、有向图。

基本思想和意义我们从“集合”这个基本概念开始建立集合理论。

就某种观点来看,“集合”与“性质”是同义词,是基本概念之一。

这样,集合用来描述事物的性质——我们的研究对象,映射用来描述事物之间的联系——运算、关系,从而为集合建立了结构。

于是,为建立系统的数学模型提供了数学描述语言——工具,代数系统就是在集合上引入运算。

集合论又提供了研究数学模型的性质,发现新联系的推理方法,从而找出事物的运动规律。

而图论是上述思想的一个具体应用,事实上,图论为任何一个包含了一种二元关系的系统提供了一个数学模型;部分地,也因为使用了图解式表示方法,图就具有一种直观的和符合美学的外形。

集合论与图论

集合论与图论
注:如果将空集 ∅ 看作集族,则称 ∅ 为空集族。
我们要特别提到多重集合的概念。前面谈到的集合都是由不同对象组成的,而在实际中,某 一元素的重复出现往往表达了某种特别的意义。例如,在一个班里学生的名字,可能有两个 或多个学生有相同的名字,并且我们又有可能会谈及到学生名字的总体。又例如,某项工程 中所需要的工程技术人员的种类可用集合
我们将学习朴素集合论的基本内容,但借鉴公理化集合论的思想,以避免出现悖论。
定义 1.1 设 A , B 为二集合,若 B 中的元素都属于 A ,则称 B 是 A 的子集,也称 A 包 含 B 或 B 含于 A ,记作 B ⊆ A 。
1
定义 1.2 设 A , B 为二集合,若 A 包含 B 且 B 包含 A ,则称 A 与 B 相等,记作 A = B 。 定义 1.3 设 A , B 为二集合,若 A 为 B 的子集,且 A ≠ B ,则称 A 为 B 的真子集,记 作 A⊂ B。 定义 1.4 不具有任何元素的集合称为空集,记作 ∅ 。
注 1:容易看出 A ⊕ B = ( A − B) ∪ (B − A) = ( A ∪ B) − ( A ∩ B) 2: A ⊕ ∅ = A , A ⊕ A = ∅ 。
我们下面来定义两个多重集 P 和 Q 的交,并,差运算。
P 和 Q 的并,记为 P ∪ Q ,它也是一个多重集,使得 P ∪ Q 里任一个元素的重数,等于该 元素在 P 和 Q 中重数的最大者; P 和 Q 的交用 P ∩ Q 来表示,使得 P ∩ Q 的任一元素的重 数,等于该元素在 P 和 Q 中重数的最小者; P 和 Q 的差用 P − Q 来表示,使得如果一个元素 在 P 中的重数大于它在 Q 中的重数,那么该元素在 P − Q 中的重数等于它在 P 中的重数减去 它在 Q 中的重数,否则它在 P − Q 中的重数为 0 。类似地,对称差 P ⊕ Q 中元素的重数等于 元素在 P 中和 Q 中两个重数的绝对差值。

北大集合论与图论

北大集合论与图论

2013-1-6
《集合论与图论》第1讲
7
进度安排
课程将在4月底或5月初结束 第13周(5月18日)前考试
2013-1-6
《集合论与图论》第1讲
8
成绩评定
书面作业占10%,3道题/每次课 平时测验占30%,1小时/每次,2次 期末考试占60%
2013-1-6
《集合论与图论》第1讲
第1章 第2章 第3章 第4章 第5章

2013-1-6
《集合论与图论》第1讲
6
内容介绍

《集合论与图论》

第二部分 图论



第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章
图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
办公室:
理科1#楼1708 电话: 62752366
2013-1-6
《集合论与图论》第1讲
12
《集合论与图论》 《离散数学》系列课程之一
刘田 北京大学计算机系 2003年2月
2013-1-6 《集合论与图论》第1讲 1
教材
《集合论与图论》,离散数学二分册,
耿素云,北大出版社,1998年2月
2013-1-6
《集合论与图论》第1讲
2
参考书

《离散数学习题集》,耿素云,北大出 版社


数理逻辑与集合论分册,1993年2月 图论分册,1990年3月
lt@
讲义下载:
ftp://162.105.30.157/incoming/Liu_Tian/
2013-1-6
《集合论与图论》第1讲

集合论与图论SeTheoryandGraphTheory

集合论与图论SeTheoryandGraphTheory
集合论与图论
REPORTING
https://
• 集合论基础 • 图论基础 • 集合论与图论的联系 • 集合论与图论的应用 • 集合论与图论的未来发展
目录
PART 01
集合论基础
REPORTING
WENKU DESIGN
集合的定义与性质
总结词
集合是由确定的、不同的元素所组成的总体。集合具有确定性、互异性和无序性等基本 性质。
离散概率论
离散概率论是计算机科学中研究离散随机事件的数学分支,集合论 为其提供了数学框架,用于描述概率空间和随机事件。
计算机科学中的图论应用
01
02
03
计算机网络
图论在计算机网络中用于 描述网络拓扑结构、路由 算法、最短路径算法等问 题。
操作系统
操作系统的进程管理和通 信可以通过图论进行建模 和分析,例如进程间的依 赖关系和通信路径。
集合论与图论的结合将在计算机科学中发挥更大的作用,为解决实际问题提供更多创新性的思路 和方法。
集合论与图论的交叉研究在其他学科的应用前景广泛
集合论与图论的交叉研究将在其他学科中发挥更大的作用,为解决实际问题提供更多创新性的思 路和方法。
THANKS
感谢观看
REPORTING
https://
集合论在计算机科学中的应用将更加广泛
随着计算机科学的飞速发展,集合论在数据结构、算法设计、离散概率论等领域的应用将更加广 泛和深入。
图论的发展趋势
图论与其他数学分支的结合将更加紧密
图论与代数、拓扑、组合数学等分支的结合将更加紧密,推动图论理论的进一步丰富和发展。
图论在计算机科学中的应用将更加广泛
随着大数据和人工智能的兴起,图论在数据挖掘、机器学习、社交网络分析等领域的应用将更加广泛和深入。

集合论与图论

集合论与图论

答疑
时间: (待定) 地点: 理科楼群#1,1625室 电话: 62765818 Email:
liu_tian@ liutian@
讲义下载:
ftp://162.105.30.157/incoming/Liu_Tian/
《集合论与图论》 《离散数学》系列课程之一
刘田北京大学计算机系 2001年2月
教材
《集合论与图论》,离散数学二分册, , 耿素云,北大出版社,1998年2月
参考书
《离散数学习题集》,耿素云,北大出 , 版社
数理逻辑与集合论分册,1993年2月 图论分册,1990年3月
内容介绍
《离散数学》
《集合论与图论》 《代数结构与组合数学》 《数理逻辑》
内容介绍
《集合论与图论》
第一部分 集合论
第1章 第2章 第3章 第4章 第5章 集合 二元关系 函数 自然数 基数
内容介绍
《集合论与图论》
第二部分 图论
第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章 图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
进度安排
第1周 第2--7周 第8--17周 第8、15周 第18周 预备知识(数理逻辑) 集合论(6周) 图论(10周) 测验(2次) (机动)
成绩评定
书面作业占10%,4--5题/每次课 平时测验占30%,1小时/每次,2次 期末考试占60%
作业
时间:每周日交上周作业,下周日发回 顺序:每次交一个班,1、2、3班轮流 讲解:每次作业都有课上讲解 要求:正确、完全、简洁、清楚 Correct,Complete,Concise,Clear 提示:独立完成作业,可以讨论,但要 杜绝抄袭

图论 第一章

图论 第一章

n(n 1) 2
从而
m(G) n(n 1) 4
又因G 的边数 m(G)是整数,故 n(n-1)/4 为整数,即只能有 n≡0(mod 4), 或 (n-1) ≡0 (mod 4)。
20/111
四.顶点的度(续), 度序列
前已定义: 设 v为 G 的顶点,G 中与 v 为端点的 边的条数(环计算两次)称为点 v 的度数,简称为 点v的度,记为 dG (v),简记为 d(v)。
例1 设 V ={v1, v2, v3, v4},E ={v1v2 , v1v2, v2v3 },则 G = (V, E) 是一个4阶图。
v1 若用小圆点代
表点,连线代表边
,则可将一个图用
“图形”来表示,
如例1 中的图可表

v2
v4 v3
4/111
注: 也可记边 uv 为e ,即 e = uv。
例2 设V = {v1,v2,v3,v4},E = {e1,e2,e3,e4,e5},其中 e1= v1v2, e2 = v2v3, e3 = v2v3, e4 = v3v4, e5 = v4v4
E1 uv u v,u,v V
18/111
例如, 下图中的(a),(b)两图是互补的。
(a)
(b)
定理1 若n 阶图G是自补的(即 G G ),则 n = 0, 1(mod 4)
19/111
证明 因为G是自补的,则G和其补图有同样多的边数,且 边数
m(G) +m (G )
= m(Kn) =
图划分: 正整数k的一个划分(d1, d2,…, dn)能成为某简 单图的度序列的k的划分.
显然,若正整数 k 有图划分,则k 必须是偶数
26/111

《图论》第1章 引言(1)

《图论》第1章 引言(1)
北京:高等教育出版社(影印版),2005 6. D.S.Malik, Discrete Mathematical Structures – Theory and
Applications,北京:高等教育出版社(影印版),2005 7. D.B.West, Introduction to Graph Theory (Second Edition), 北京:机
证明了四色猜想,但其数学证明仍不理想。
4
1.1 图论的产生和发展
3. Hamilton 回路 ➢ 1859年,Hamilton的周
游世界游戏:由12个正 五边形构成一个12面体, 上面有20个顶点。
[问题] 能否从某一顶点出发,走遍每一个顶点一次且 仅仅一次,最后回到出发点。
5
1.1 图论的产生和发展
1. Konisberg 桥问题 (1736, Euler)
[问题] 能否从某一块陆地出发,走遍每一座桥,且 每一座桥只能走一次,最后回到出发点。
3
1.1 图论的产生和发展
2. 四色猜想 (1852, De Morgen) ➢ 在任何平面或球面上的地图,只用四种颜色涂色,
就可使得相邻区域涂上不同颜色。 ➢ 1976年,Appel, Haken 和 Koch 利用计算机辅助
离散数学
(图论)
1
主要内容
–图的概念
–平面图的概念
–点和边的关联关 –Euler公式

–极大平面图
–道路与回路
–图–关联矩阵
–图的着色
–生成树
–色数多项式
–二元树
– 独立集和支配集
– Huffman树
– 匹配理论
– 最优路径
– 网流理论
– 关键路径
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

1.3
集合的基本运算
与并运算类似,可以将集合的交推广到有限个或 可数个集合:
A1 A2 ... An Ai {x i {1,2,..., n}, x Ai )}
类似定义
i 1 n
A1 A2 ... An ... An {x n N , x An }
17
1.2
子集、集合的相等
(2)、真子集的概念 定义1.2.2 设A,B为二集合,若AB且x(xB 并且xA),则称A是B的真子集,记作AB,读作A是B的 真子集。 ABAB并且x(xB并且xA), 例如:{a,b}是{a,b,c}的真子集。 设A,B,C为3个集合,下面3个命题为真: (1)AA。 (2)AB,则BA。
集合论与图论
课时:30学时
平时成绩30分,期末考试成绩70分。 平时成绩考核方法:安排5次课堂作业,每次6 分,共30分。 课件邮箱:hjh20130225@ 密码:20130225
1
集合论和图论的应用范畴 集合论和图论都属于离散数学 离散数学分为: 数论、集合论、图论、近世代数、数 理逻辑、组合数学 计算机科学领域的大多数基本概念和理论, 几乎均采用集合论和图论的有关术语来描述。
(1)集合中的元素是各不相同的; (2)集合中的元素不规定顺序; (3)集合的两种表示法有时是可以互相转化的。 例如:正偶数集合用列举法可表示为: B={2,4,6,8,...}。
用描述法可表示为: B={x|x>0且x为偶数}
或{x|x=2(k+1),k为非负整数}。
** 15
1.2
子集、集合的相等
22
1.2
子集、集合的相等
设A1,A2,A3为集合, 那么{A1,A2,A3}为一个集族。 集族的表示方法: 若令I={1,2,3},则iI,i确定了一个唯一的集合Ai。 于是集族{A1,A2,A3}又常写成{Ah}hI。 若J为任一集合,对J中每个元素i有唯一的 一个集合与之对应,这个集合记为Ai,那么所有 这些Ai,形成的集族就用{Ai}iJ表示,其J称为标 号集。
特别是在构建数学模型,算法描述时用的 更广泛。
2
集合论和图论的应用范畴 集合论与图论是: 数据结构、算法设计与分析、 计算机图形学、图像处理、 密码学、编码理论、 数据压缩、人工智能、 生物信息工程等计算机课程的基础 课程。 可以说《集合论和图论》是计算机 方向所有软件课程的基础。
****
3
选用教材
子集、集合的相等
定理1.2.2 设集合A的元素个数|A|=n(n为 自然数),则|P (A)|=2n。 证明: A的0个元素的子集个数为:C(n,0) A的1个元素的子集个数为:C(n,1) A的2个元素的子集个数为:C(n,2) ......... A的S个元素的子集个数为:C(n,n) |P (A)|=C(n,0)+C(n,1)+C(n,2)+...+C(n,n) =2n
29
1.3
集合的基本运算
将集合的并运算推广到多个集合的并集。 A1∪A2∪...∪An定义为至少属于A1,A2,...,An中之一 的那些元素构成的集合。
A1∪A2∪...∪An简记为:
A
i 1
n
i
若A1,A2,...,An,...是一个集合的无穷序列,则 它们的并集记为:A1∪A2∪...∪An∪..., 简记为:
定义1.2.5 集合S的所有子集(包括空集Ø和S本 身)形成的集族称为S的幂集,并记为2S,或记为P (S)。 2S={A|AS}
例1.2.3 设S={1,2,3},求2S的步骤如下:
A的幂集 2S={Ø,{1},{2},{3},{1,2},{1,3},{2,3}, {1,2,3}}。
25
1.2
12
1.1集合的概念
属于理发师理发范围的集合可以表示成: A={x|x是村里不给自己理发的男人}
下面我们来看一下理发师自己是否属于集合A。 把理发师设为x,如果xA,那么理发师就是不 给自己理发的人, 既然xA,那就属于理发师可以理发的范围,他 自己给自己理发,又推出来xA; 因此xAxA;产生予盾!
13
1.1集合的概念 反过来如果xA;也就是说理发师是自己给 自己理发的那些人,按定义,理发师不给这些 人理发,这又推出理发师不给自己理发,xA,也 产生矛盾。
这就是第三次数学危机的来源, 对集合论加以适当的修正,避免悖论。代表 性 成果是公理集合论。
14
1.1集合的概念
对于集合的表示法应该注意以下几点:
9
1.1集合的概念
对于一个集合A来说,某一对象x或者是集合A的元 素,或者不是,两者必居其一; 如果x是集合A的元素,我们说x属于A,记为xA; 如果x不是集合A的元素,我们说x不属于A,记为 xA。
集合的表示方法: 列举法:列出集合中的全体元素,元素之间用逗号 分开,然后用花括号括起来。 例如:设A是由26个英文字母为元素的集合, 则:A={a,b,c,d,...x,y,z}。
A
i 1

i
定义:A1∪A2∪...∪An∪...={x|nN使得xAn}
30
1.3
集合的基本运算
集族中元素的并集 一般地,若{Al}lI是任一集族,则集族中那些集合 的并集记为 简记为
A {x l I使得x A }
l l lI
**31
1.3
集合的基本运算
(2)、交集的概念 定义1.9 设A,B为二集合,称由A和B的 公共元素(既属于A又属于B)组成的集合为A与 B的交集,记作A∩B,称∩为交运算符。
23
1.2
子集、集合的相等
例如:设p为一素数,Ak={x|x=k(modp)}, k=0,1,...,p-1
则A ={A0,A1,...,Ap-1}是以{0,1,2,...p-1} 为标号集的集族,也可以记为 A ={Ak}k{0,1,2,...p-1}
24
1.2
子集、集合的相等
(6)、幂集的概念
推论:空集是唯一的。
由推论可知,空集无论以什么形式出现,它们都 是相等的。 {x|x2+1=0xR}={(x,y)|x2+y2<0x,yR}=Ø
21
1.2
子集、集合的相等
(5)、集族的概念 定义1.2.4 以集合为元素的集合称为集族。 例如:在学校中,每个班级的学生形成一个 集合,而全校的各个班级就形成一个集族。
19
1.2
子集、集合的相等
(4)、空集的概念 定义1.2.4 不拥有任何元素的集合称为空集合, 简称为空集,记作Ø。
例如:A={x|x2+1=0xR} B={(x,y)|x2+y2<0x,yR}都是空集。 {Ø}不是空集! {Ø}它是包含一个空集的集合。
20
1.2
子集、集合的相等
定理1.2.1 空集是一切集合的子集。
A∪B ={5,6,7,8,9,10} ∪{2,3,5,7}
={2,3,5,6,7,8,9,10}。
28
1.3
定理1.3.1
集合的基本运算
设A,B,C为任意的三个集合
1.交换律成立, 即A∪B=B∪A; 2.幂等律成立,即A∪A=A; 3.∪A=A; 4.A∪B=BAB。 5.结合律成立,即(A∪B)∪C=A∪(B∪C);
A \ B {x x A且x B}.
39
1.3
集合的基本运算
定理1.3.6 设A,B,C为任意三个集合,则 13.A∩(B\C)=(A∩B)\(A∩C)。
lI lI
35
1.3
集合的基本运算
定理1.3.4 设A,B,C为任意三个集合,则: 11.交运算对并运算满足分配律, 即A∩(B∪C)=(A∩B)∪(A∩C); 12.并运算对交运算满足分配律, 即A∪(B∩C)=(A∪B)∩(A∪C);
36
1.3
集合的基本运算
定理1.3.5 对任何集合A,B,吸收律成立。 13.A∩(A∪B)=A; 14.A∪(A∩B)=A;
(1)、子集的概念 定义1.1 设A,B为二集合,若A中的每个元素都 是B中的元素,则称A是B的子集合,简称子集。这 时我们说A包含在B里(A包含于B),或B包含着A(B 包含A),记作AB。
其符号化形式为:ABx(xAxB) ABxA,xB 或者:ABx(xBxA)
A∩B的描述法表示为: A∩B={x|xA且xB}
32
1.3
集合的基本运算
定理1.3.2
设A,B,C为任意的三个集合,则:
6.交换律成立,即A∩B=B∩A; 7.幂等律成立,即A∩A=A;
8.∩A=;
9.A∩B=AAB。
10.结合律成立,即(A∩B)∩C=A∩(B∩C);

33
n 1

对于集族{Al}lI中各集的交记成,
A 其定义为
l lI
A
lI
l
{x I , x A }
34
1.3
集合的基本运算
定理1.3.3
设A为一集合,{Bl}lI为任一集族,则:
A ( Bl ) ( A Bl )
lI lI
A ( Bl ) ( A Bl )
16
1.2
子集、集合的相等
如果A不是B的子集,则记作AB,读作A不包含 于B,或B不包含A。
AB x(xA并且xB) 若A,B,C是集合。 (1)AA (2)如果AB,且BC则:AC 要注意“”与“”在概念上的区别。
对照上面这两个概念,比较集合{a}与{a, {a}}。
{a}{a,{a}}。并且{a} {a,{a}}
26
1.2
子集、集合的相等
注意,2Ø={Ø}。 在这里要区分Ø和{Ø} Ø为空集,而{Ø}是一个集族。 Ø { Ø }
相关文档
最新文档