第三节 集合论.pptVIP

第三章 集合论 　　　集合论分为两种体系：一种是朴素集合论体系，也称为康托集合论体系；另一种是公理集合论体系。 　　　自从19世纪末著名德国数学家康托（Cantor,1845~1918）创立集合论，迄今已有100多年的历史，集合的概念已深入到现代科学的各个方面，成为表达各种科学概念的必不可少的“数学语言”，然而有趣的是，集合本身却是一个不能精确定义的基本概念，但这并不妨碍我们对它的理解和使用。 　　　集合论的特点是研究对象的广泛性，人们把研究的对象视作一个集合，本意可以是包罗万象的，但是最早所研究多半是分析数学的“数集”和几何学的“点集”。而集合中的元素真正成为包罗万象的对象，应当说是从“计算机革命”开始：数字、符号、图像、语音以及光、电、热各种信息，它们都可以作为“数据”，这些数据就构成集合。 　　　集合论总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。正因为如此，集合论被广泛应用于各种科学和技术领域。由于集合论的语言适合于描述和研究离散对象及其关系，因此它是计算机科学与工程的理论基础，它在程序设计、形式语言、关系数据库、操作系统等计算机学科中得到广泛地应用。集合论的原理和方法成为名符其实的数学技术。 3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3集合元素的计数 3.4 例题选解 §3.1 集合的基本概念与表示 1.定义： 由一些确定的、彼此不同的事物构成的整体称为集合，通常用大写的英文字母A, B, C…表示。 严格地说这算不得集合的定义， 因为“整体”只是“集合”一词的同义反复。 在集合论中， 集合是一个不能严格定义的原始概念（就像几何学中的点、 线、 面等概念）。 元素： 组成集合的每一个事物。 用小写英文字母a, b, c…表示。 如果a是A的元素， 则记为 a∈A， 读作“a属于A”或“a在集合A之中”。 如果a不是A的元素， 则记为aA或 (a∈A)， 读作“a不属于A”或“a不在集合A之中”。 ? 其中“∈”表示一种关系。 在我们所研究的集合论（古典集合论）中， 对任何对象a和任何集合A， 或者a∈A或者aA, 两者必居其一且仅居其一。 这正是集合对其元素的“确定性”要求。 随着科学的发展， 由控制论的研究所引起的当代数学的一个新领域——模糊集合论， 所研究的不清晰的对象构成的集合， 不在我们讨论的范围内。 罗素悖论：在一个住着一些人家的僻静孤岛上，岛上只有一个理发师a，a给且只给岛上所有不能自己理发的人理发。问谁给a理发？ 解：设S＝｛x｜x是不能自己理发的人｝。 （1）若a　S，则a自己理发。而由题意知，a只给不能自己理发的人理发，所以a是不能自己理发的人，即a∈S。 （2）若a∈S，则a是不能自己理发的人。又由题意知， a只给集合S中的人理发，所以a要给a理发，即a　S。 　　无论如何，都有a∈S和a　S同时成立。罗素悖论源自康托对集合概念的定义，康托的集合定义允许集合本身是自己的一个元素。这个定义蕴含着矛盾，蕴含着循环定义。 2.集合有三个特性： 确定性、 互异性和无序性。 (1) 确定性： a∈A或aA， 二者必居其一并仅居其一。 (2) 互异性： {1， 2， 3， 2} 与{1， 2， 3}视作一个集合。 (3) 无序性： {1， 2， 3}、 {2， 3， 1} 与{3， 1， 2} 视为一个集合。 3.基数或势 集合 A 中的不同的元素的数目， 可称为集合 A 的基数或者势， 记为|A|或#A。 基数有限的集合称为有穷集合， 否则称为无穷集合。 二、集合的表示方法 表示一个集合的方法通常有两种。 （1） 列举法： 将集合的元素列举出来并写在一个花括号里， 元素之间用逗号分开。 例如， 设A是由a, b, c, d元素构成的集合， B是由a, {b}, {{c, d}}为元素构成的集合， 则A={a, b, c, d}, B={a, {b}, {{c, d}}} ， 集合B说明集合也可用作元素， 因此， 尽管集合与其元素是两个截然不同的概念， 但一个集合完全可以成为另一个集合的元素。 ? 列举法基本上用于有限集合， 如果能说明集合的特征， 也可只列出部分元素， 其余的用省略号表示。 如自然数集可用列举法表示为 N ={1, 2, 3, 4, 5, …}, 根据所列元素， 可判断 N 中的其余元素。 列举法使集合中的元素一目了然， 但是元素个数很多时使用起来就很麻烦， 另外