4-1-aolm-离散数学.ppt

第1篇 数理逻辑 第2篇 集合论 第3篇 代数结构 第4篇 图论 第2篇 集合论 当我们已经直观地弄懂了几个简单的定理的时候······如果能通过连续的不间断的思考活动，把几个定理贯穿起来，悟出它们之间的相互关系，并能同时尽可能多地、明确地想象出其中的几个，那将是很有益的。照这样我们的知识无疑会增加，理解能力会有显著的提高。 笛卡尔 第2篇 集合论 第3章 集合及其运算 第4章 关系 第5章 函数 第6章 基数 第7章 集合论的发展与应用 命题逻辑和谓词逻辑是数理逻辑的基础部分 第2篇 集合论 第4章 关系 4.1 关系的概念及性质 4.2 关系的运算 4.3 等价关系、等价类与划分 4.4 相容关系、相容类与覆盖 4.5 偏序关系 4.6 典型例题解析 第4章 关系 在普通生活中常见的许多粗劣的思维方式，可以通过学习数学来改善。有一种几乎是普通的，引起误解的假设，认为事物必须按线性次序排列，这种假设可以通过学习偏序来解除。 Cambridge Report 第4章 关系 4.1.1关系的概念 在众多的关系中，最基本的是涉及两个事物之间的关系， 即二元关系。 定义4.1 设 A 与 B 是任意两个集合，一个从 A 到 B 的二元关系是 A?B（即 A 与 B 的笛卡尔积）的一个子集。即若 R 是集合 A 与 B 之间的一个二元关系， 则 R? A?B。 若 a∈A、b∈B、＜a,b＞∈R，则称 a 与 b 之间有关系 R，记为 aRb。相反，若 ＜a,b＞?R，则称 a 与 b 之间没有关系 R，记为 a b。若 A＝B，则称 R 是 A 上的二元关系。若 R＝A?B，则称 R 是 A 到 B 的全域关系；若 R＝Φ，则称 R 是 A 到 B 的空关系。 【例4.1】若 A＝{1, 2, 3, 4}，B＝{0, 1, 2}，它们之间的一个关系 R＝{＜2,2＞, ＜3,1＞, ＜4,0＞}。 定义4.2 若 R 是一个从集合 A 到集合 B 的二元关系， R 的定义域 dom(R) 定义为： dom(R)＝{x|x∈A 且存在 y∈B 满足 ＜x,y＞∈R}； R 的值域 ran(R) 定义为： ran(R)＝{y|y∈B 且存在 x∈A 满足 ＜x,y＞∈R}； R 的定义域和值域一起称作 R 的域，定义为： FLD(R)＝dom(R)∪ran(R)。 根据该定义，可将关系 R 看作 FLD(R) 上的关系。 【例4.2】在例4.1中，对关系 R 而言， dom(R)＝{2, 3, 4}， ran(R)＝{2, 1, 0}， FLD(R)＝{2, 3, 4, 1, 0}。 将二元关系扩展到 n 元关系，其定义如下： 定义4.3 设 A1, A2, …, An 是 n 个集合，A1?A2?…?An 的任一子集，都称为 A1, A2, …, An 间的一个 n 元关系。即若 R 是 A1, A2, …, An 间的一个 n 元关系，则 R? A1?A2?…?An。 【例4.3】设 A＝{1, 2, 3, 4}，定义 A 上的二元关系 R： ＜a, b＞∈R，当且仅当a＜b。 请枚举出 R 的各元素，且给出其关系矩阵。 解：R 的各元素为 {＜1,2＞, ＜1,3＞, ＜1,4＞, ＜2,3＞, ＜2,4＞, ＜3,4＞}， 记 ai ＝ i，其关系矩阵为 0 1 1 1 0 0 1 1 0 0 0 1