离散数学第3章课件.pptVIP

第三章 集合 §3.1.1 集合的基本概念 集合的发展过程： 集合论(Set Theory)是现代数学的基础．它的起源可追溯到16世纪末，主要是对数集进行卓有成效的研究．但集合论实际发展是由 19世纪 70年代德国数学家康托尔(G . Cantor) 在无穷序列和分析的有关课题的理论研究中创立的．康托尔对具有任意特性的无穷集合进行了深入的探讨，提出了关于基数、序数、超穷数和良序集等理论，奠定了集合论的深厚基础．因此，康托尔被誉为集合论的创始人．但随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在20世纪初，出现了许多似是而非、自相矛盾的悖论，如著名的罗素(B . A . W . Russell)悖论，有力冲击了或者说动摇了集合论的发展． §3.1.1 集合的基本概念 由此引发许多数学家哲学家为克服这些矛盾而建立了各种公理化集合论体系。 美国数学家提出了Fuzzy集理论, 以及 20世纪80年代波兰数学家Z . Pawlak发表了Rough集理论，这两种理论区别于以往的集合论， 是一种新的模糊集理论，受到了学术界的重视和青睐，取得了喜人成果．还有多位著名学者也为集合论的发展作出了重要贡献． 集合的应用领域 集合论在计算机科学、人工智能领域、逻辑学及语言学，数字图像处理等方面都有着重要的应用．对从事计算机科学的工作者来说，集合论是不可缺少的理论知识，熟悉和掌握它是十分必要的． §3.1.1 集合的基本概念 1.概念的分类： 3.1.1 集合的基本概念 集合的定义： 一些可确定的可分辨的事物构成的整体称为集合. 或者说，具有某种特点的研究对象的全体称为集合. 其中每一个研究对象称为这个集合的元素. 3.1.1 集合的基本概念 集合例子: 26个英文字母构成一个集合; 坐标平面上的所有点构成一个集合; 所有正整数构成一个集合; 华南理工大学全体学生构成一个集合; 等等. 3.1.1 集合的基本概念 一般用大写的英文字母A, B, C, … 来代表集合；用小写的英文字母a , b , c, … 来代表集合中的元素。 一些特殊集合的表示： Ｎ代表自然数集合(包括0) Ｚ代表整数集合， Ｑ代表有理数集合， Ｒ代表实数集合， Ｃ代表复数集合． 3.1.1 集合的基本概念 如果b是集合A中的元素，称b属于A，并记作 如果b不是集合A中的元素，称b不属于A，并记作 3.1.1 集合的基本概念 例如： 3.1.1 集合的基本概念 集合的表示方法： 1.列举法 2.特征法(描述法) 3.图示法 3.1.1 集合的基本概念 集合的表示方法： 1.列举法 3.1.1 集合的基本概念 2．特征法(描述法)：表示一个集合Ａ时，将Ａ中元素的特征用一个性质来描述． 3.1.1 集合的基本概念 3.1.1 集合的基本概念 3.图示法。即用文氏图表示集合及集合间的关系。 例： 3.1.1 集合的基本概念 元素的性质: 1.确定性：对一个具体的集合来说，其元素是确定的，一个元素或者在此集合中，或者不在此集合中，两者必居其一。 2.无重复性：集合的元素是彼此不同的；如｛１,1,2,3,2｝={1,2,3} 3.无序性：集合中的元素无顺序之分；如 ｛a ,b ,c｝={c ,a ,b} 3.1.1 集合的基本概念 4.抽象性：集合中的元素是抽象的，它可以是任何类型的事物，一个集合也可以作为另一个集合的元素．如 Ａ＝｛a ,{b ,c} ,d ,{{d}}｝, 这里 几个特殊的集合: 当一个集合中的元素个数为有限时，称该集合为有限集；集合中的元素个数为无限时，称该集合为无限集。 不含有任何元素的集合称为空集，记作? 研究对象的全体称为全集，记作E。 注意：全集是个相对性的概念，由于研究的问题不同，所取的全集也不同，即使是同一个问题也可以有不同的全集． 3.1.2 集合间的关系 1.相等关系 2.包含关系 3.1.2 集合间的关系 1.相等关系 定义： 当两个集合A和B的元素相同时，称这两个集合相等，记作A= B。否则,称这两个集合不相等,记作A≠B 相等关系 如果要证明集合A和集合B相等，我们只需要证明以下命题成立： P(x):x∈A，Q(x): x∈B ?x(P(x) ? Q(x)) ? T 相等关系 例如：A={1,-1}, B={x|x∈Z，x2-1=0},证明他们相等。 所以：A={1,-1}, B={x|x∈Z，x2-1=0},证明他们相等。 1.先证明： 如果x∈A,那么x必然是1或者-1，对于1和-1，都是方程x2-1=0的根，所以说明x∈B。 集合间的关系 2.包含关系 定义： 设A, B是集合，如果A中每一个元素又都是B中的元素，则称B包含