Chap3 离散数学共82页资料.pptVIP

软件测试 — 数学背景 2019/12/26 31 1 集合论 — 小结 疑难点解析 ? 集合中无重复元素。 ? 注意维恩图只是对某些集合之间的关系及运算结果给出的一种 直观而形象的示意性的表示，不能用于证明集合等式及包含关系。 ? 注意空集和集合本身一定在该集合的幂集中。 ? 清楚集合划分的定义，这与等价关系的概念密切相关。 ? 注意区别差和对称差。 ? 注意两符号 和 意义的区别。 ? ? 软件测试 — 数学背景 2019/12/26 32 测试人员的离散数学 集合论 二元关系 函数 命题逻辑 概率论 软件测试 — 数学背景 2019/12/26 33 2 二元关系 关系的基本概念 偏序关系 关系的运算 等价关系 关系的性质 小结 软件测试 — 数学背景 2019/12/26 34 2 二元关系 — 基本概念 无序 / 有序对 称 (a,b) 为由元素 a 和 b 组成的无序对，称 a,b 为由元素 a 和 b 组成 的有序对（或序偶）， a,b 可相同。当 a!=b 时， (a,b)=(b,a) ，而 a,b!=b,a ? 平面直角坐标系中点的坐标是有序对： 1,-1 和 -1,1 是不同 的 有序对的特点 ? 当 时， ； x y ? , , x y y x ? ? ? ? ? ? 两个有序对相等，即 ，的充分必要条件是 x=u 且 y=v 。 , , x y u v ? ? ? ? ? 有序 n 元组 一个有序 n 元组 (n=3) 是一个有序对，记做 x 1 ,x 2 ,…,x n =x 1 ,x 2 ,…,x n-1 ,x n ，其中第一个元素是一个有序 n-1 元组。 第一元素 第二元素 软件测试 — 数学背景 2019/12/26 35 2 二元关系 — 基本概念 笛卡儿乘积 设 A 、 B 是两集合， A 到 B 的笛卡尔乘积 A × B 是： ，即 A 到 B 的笛卡尔乘积是所有有序偶的集合，其中有序偶的第一个元素属于 A ， 第二个元素属于 B 。 { , | } A B a b a A b B ? ? ?? ? ? ? 笛卡儿积的性质 ? 若 A 、 B 中有一个空集，则它们的笛卡尔积是空集，即 B A ? ? ? ? ? ? ? ? 当 ，且 A 、 B 都不是空集时，有 ，即不适合交换律 A B ? A BB A ??? ? 当 A 、 B 、 C 都不是空集时，有： ，即不适合结合律 ( ) ( ) A B C A B C ?? ? ?? ? 满足分配律，即 ( )( )( ) A B C A BA C ? ? ? ? U U ( ) ( )( ) B C A B A C A ? ? ? ? U U ( )( )( ) A B C A BA C ? ? ? ? I I ( ) ( )( ) B C A B A C A ? ? ? ? I I ? 若 A 、 B 中分别有 m 、 n 个元素，则 A × B 和 B × A 中均有 mn 个 元素 软件测试 — 数学背景 2019/12/26 36 2 二元关系 — 基本概念 二元关系 / 全关系 / 全关系 / 关系 设 A 、 B 是两集合，从 A 到 B 的一个二元关系 R 是 A × B 的一个子集， 即： 。 R A B ? ? 如果 ，称 R 是 A 到 B 的全关系； R A B ? ? 如果 ，称 R 是空关系； R ?? 如果 ，称 R 是 A 上的关系。 A B ? ? 通常，如果两元素的有序偶 ，称 x 与 y 具有关系 R 。 , x y R ? ? ? 软件测试 — 数学背景 2019/12/26 37 2 二元关系 — 基本概念 定义域 / 值域 / 前域 / 陪域 一个二元关系 R 的定义域 domR （或 D(R) ）是 R 中有序对的第一个元素构 成的集合，值域 ranR （或 V(R) ）是 R 中有序对的第二个元素构成的集合。 { | , , , } D o m R x x A y B x y R ?? ? ? ? ? ? { | , , , } R a n R y x B x A x y R ?? ? ? ? ? ? , D o m RA R a n RB ? ? R 的前域 R 的陪域 a 1 a 2 a 3 a 4 a 6 a 5 a 7 b 1 b 2 b 3 b 4 b 6 b 5 b 7 R的前域 R的定义域 R的值域 R的陪域 A B ? 图中表示的 R:A ? B ， A={a i |i=1,…,7}， B={b i |i=1,…,7}， R={a3,b1,a3,b2 ,a4,b2,a6,b4 ,a6,b7} 软件测试 — 数学背景 2019/12/26 38 2 二元关系 — 基本