基本数学象.docVIP

第一部分 数学记号和技术 本书一开始复习一些基本的数学知识：集合、函数和逻辑符号。后面讨论的抽象机的元件是集合，工作方式可以总结成规则，规则可以看成将一个集合映射到另一个集合的函数。在第一章还介绍了一个概念关系，关系是函数的概括，可以用来形式化集合中各个元素的关系。在第一章的最后节，我们关注的焦点从任意集合转移到语言，语言是只以符号串为元素的集合。本节引入的记号将用在后面讨论语言分类和相应的各种抽象机的章节中。 有关集合和函数的推理涉及到证明，这是第2章讨论的主题。我们重点介绍了一个特别的证明技术：数学归纳法。与此紧密相关的一个想法就是归纳的、或者递归的、定义的想法。归纳定义常常是定义语言有效的工具，使用数学归纳法使得建立语言的属性变得容易。 基本数学对象 集合 讨论集合首先碰到的问题是如何描述一个集合。有两种常用的方法：一是枚举元素（或是完全枚举，或是部分枚举但清楚地说明未枚举的元素是什么），二是描述元素的特性。两种方法示例如下： A = {11, 12, 21, 22} B = {3, 3.1, 3.14, 3.141, 3.1415, 3.14159, …} C = {x | x是由数字1或2组成的两位十进制正整数} 集合A有4个元素，B是一个无限集合，它的元素是逐渐逼近?，取?前面有限长度所得到。C等同于A，因为符合描述特征的数值x就是11, 12, 21和22。 元素x属于集合A的记号是x?A。利用这个记号，集合{3, 3.1, 3.14, 3.141}可以写成 D = {x?B | x3.1415} 读作集合B中小于3.1415的元素组成的集合。 一个集合有多种表示方式，如 E = {x | 整数i, j =0, x = 3i + 7j} E = {3i + 7j | i, j 是非负整数} E = {3i + 7j | i, j ? N}，N是非负整数集合。 记号A?B，A是B的子集，A中的元素都是B中的元素。如果两个集合有相同的元素，则称两个集合相等，记为A=B，等同于A?B且B?A。 A的补集记为A，包括所有不属于A的元素。这个定义隐含着一个包罗所有我们关心的元素的全集U，因此 A = {x?U | x?A} 全集U对补集的定义很重要。 对任意两个集合A和B，它们的并集、交集和差集定义如下： A?B = {x | x?A 或 x?B} A?B = {x | x?A 且 x?B} A-B = { x | x?A 且 x?B} 注意： A-B = A?B A = U-A 空集?是没有任何元素的集合，如果A?B=?，则说明A和B不相交，既它们没有共同的元素。 使用并集、交集、差集和补集可以构造很复杂的表达式。一些基本的规则用于处理和简化表达式。 交换律（commutative）： A?B = B?A A?B = B?A 结合律（associative）： A?(B?C) = (A?B)?C A?(B?C) = (A?B)?C 分配律（distributive）： A?(B?C) = (A?B)?(A?C) A?(B?C) = (A?B)?(A?C) 幂等律（idempotent）： A?A = A A?A = A 吸收律（absorptive）： A?(A?B) = A A?(A?B) = A De Morgan律： (A?B) = A?B (A?B) = A?B 涉及补集的其他定律： (A) = A A?A = ? A?A = U 涉及空集的其他定律： A?? = A A?? = ? 涉及全集的其他定律： A?U = U A?U = A De Morgan律特别有用，这里证明(A?B) = A?B。 1）(A?B) ? A?B 任给x?(A?B) ? x?A?B ? x?A or x?B ? x?A or x?B ? x?A?B 2）A?B ? (A?B) 任给x? A?B ? x?A or x?B ? x?A or x?B ? x?A?B ? x?(A?B) 集合运算可以用Venn图表示。 并集、交集运算的扩展： ?-?_i=1 A_i = {x | x?A_i for at least one i = 1} ?-n_i=1 A_i = {x | x?A_i for every i with 1=i=n} 更通用的扩展： ?_P(i) A_i = {x | x?A_i for at least one i satisfying P(i)} 集合本身还可以作为其他集合的元素。集合A的所有子集组成的集合称为A的幂集，记为2-A。如果A有n个元素，则2-A有2-n个元素。空集是所有集合的子集，每个集合都是自身的子集。集合A和B的Cartesian积记为AxB，其元素是一个有序对