计算理论与算法12年CH1集合.ppt

1.7 对偶与范式 CH1集合、关系与语言 1.1 集合 元素、成员 集合是对象的汇集。例如: a ,b ,c, d的汇集是一个集合, 记作L={a, b, c, d}; 构成集合的所有对象叫做它的元素或成员。 称b在L中，或者L包含b。 在集合中 ,不区分元素的重复及顺序 。{1, 2, 3}={1, 3, 3, 2, 2, 2}。 两个集合相等 （即 ,相同）当且仅当它们有相同的元素。 一个集合的元素之间不需要有 （除去它们都是同一个集合的元素外）什么关系。例如{3, red, {a, blue}}是有 3个元素的集合,其中一个元素的本身是一个集合。 单元集 集合只有一个元素 ,这样的集合叫做单元集 。 1.1 集合 集合运算定律 1.1 集合 不相交 如果两个集合没有共同的元素 ,即它们的交是空集 ,则称它们不相交。 广义并和广义交 ?{A1, A2, … , An}=A1?A2?…?An ?{A1, A2, … , An}=A1?A2?…?An S={{a, b}, {b, c}, {c, d}}， 则? S={a, b, c} ? S= 空集 幂集2A 1.1 集合 元素、成员 单元集 不相交 ?{A1, A2, … , An}=A1?A2?…?An ?{A1, A2, … , An}=A1?A2?…?An 1.1 集合 划分 非空集合A的划分是2A 的一个子集Π,使得?不是Π的元素,并且A的每一个元素在且只在Π中的一个集合里 ,即,如果Π是A的子集的集合使得 （1）Π的每一个元素非空, （2）Π的不同元素是不交的, ( 3 ) ? Π=A 则Π是A的一个划分。 1.1 集合 1.1 集合 1.1 集合 1.2 关系与函数 有序对 (a, b) a和b的有序对记作(a ,b)，a和b称为它的分量。 笛卡儿积 A和B的笛卡儿积是a ? A并且b ?B的所有有序对 (a ,b)组成的集合。 两个集合A和B上的二元关系是A×B的子集 。 1.2 关系与函数 函数f：A→B BA = { f | f：A→B } 函数 f：A→B, A??A A?在 f 下的象f[A?] = { f(a) | a?A?} f[A]：值域、定义域的像 1.2 关系与函数 一对一 满射 双射 逆函数 合成Q o R 1.2 关系与函数 自然同构 当在两个集合之间规定一个特别简单的双射以后 ,有时能够把定义域中的对象与它在值域中的象看作在实质上是不可区分的：一个是另一个的换名或一种重写方式。例如 , 严格地说 ,单元集和有序一元组是不同的 。但是 ,由于对每一个单元集{a}, f({a}) = (a) 是一个明显的双射 ,故偶尔地混淆两者的区别也没有多大影响。这样的双射叫做一个自然同构。 1.2 关系与函数 自然同构 1.2 关系与函数 自然同构 1.3 特殊的二元关系 自反、对称、反对称、传递 1.3 特殊的二元关系 无向图（简称图） 等价关系 P8 图1-6 等价类 偏序 全序 极小元 1.4 有穷集合与无穷集合 等势 有穷的、无穷的 若有一个从集合 {1, … , n} 到A 的双射函数,则称A 是有穷的; 若A 不是有穷的,则它是无穷的. 无穷可数的：与N等势的 可数的：有穷的或可数无穷的 不可数的：不是可数的集合 1.4 有穷集合与无穷集合 榫头 1.4 有穷集合与无穷集合 证明N× N是可数无穷的 。 1.5 三个基本的证明技术 数学归纳法 第一数学归纳法、第二数学归纳法 1.5 三个基本的证明技术 鸽巢原理 1.5 三个基本的证明技术 对角化原理 1.5 三个基本的证明技术 对角化原理 1.5 三个基本的证明技术 对角化原理 1.6 闭包与算法 自反传递闭包 算法1: 1.6 闭包与算法 算法2: 1.6 闭包与算法 算法3: 1.6 闭包与算法 封闭性 1.6 闭包与算法 闭包 例1.6.9 自然数集合N是集合{0, 1} 在加法下的闭包 。N在加法和乘法下是封闭的，但在减法下不是封闭的。 整数集合（正的、负的和零）是N在减法下的闭包。 1.7 字母表与语言 由特定的符号组成的有限集合称为字母表。常见的字母表是由26个英文字母、10个阿拉伯数字、运算符号等组成的集合。0