《集合概念与符号》.pptVIP

自然数和有限集 自然数: 0:=?, 1:={?} 递归定义: n+1:={0,1,…,n} 自然数集: N={0,1,…}, N+ ={1,2,…} 有限集: 如果集合A与某个自然数对等，就说A是有限集. 约定: 空集是有限集 两个不同自然数是不对等的. 自然数可以看成是有限集势的代表 可数集(I) 无限集: 不是有限集的集合叫做无限集 可数集: 与自然数集N等势的集合叫做可数集 命题1. 有理数集Q={m/n | m?Z, n?N+}是可数的 证明：利用高度h=|m|+n 命题2. 可数集的子集是有限的或可数的 可数集(II) 命题3. 有限多个或可数多个可数集的并集仍然是可数的 证明: 次对角排列法. 事实1. 任何无限集都有可数子集 事实2.设A是无限集, B可数集,则A?B~B 说明: 有些数学书或文章中把有限或可数集一起叫做至多可数的(at most countable) 或可列的(enumeratable),甚至就叫可数的 集合概念与符号 1. 集合概念与符号 集合(直观描述) 集合相等和子集合 子集的表示方式和全集 常用数学符号和常用集合记号 起源 集合论(Set Theory)是现代数学的基础．它的起源可追溯到16世纪末，主要是对数集进行卓有成效的研究．但集合论实际发展是由 19世纪 70年代德国数学家康托尔(G . Cantor) 在无穷序列和分析的有关课题