第一章集合论初步-数学科学学院.pptVIP

第一章 集合论初步 郇中丹 2006-2007学年第一学期 数学系2006级 集合论初步 1. 集合论和数学的严密性 2. 集合及其运算 3. 笛卡尔积 4. 映射和函数 5. 集合的势 1. 集合论和数学的严密性 什么是数学的严密性或逻辑性 数学如何实现其严密性 什么是数学的严密性或逻辑性 数学的严密性在于： 交待清楚要讨论的问题或对象 交待清楚定义、证明或叙述中要用到的概念和关系（叫做原始概念和原始关系） 只利用这些概念和关系，遵循逻辑规则完成对问题证明、叙述或模型的建立 数学的严格性是历史的，其逻辑性是在科学和数学的发展中不断深化的 数学如何实现其严密性 皮亚诺公理系统 ZFC公理集合论系统 现代数学方法：集合论+公理化 数学严格性与实用的妥协 皮亚诺系统 基本前提：自然数集合存在，在上面可以定义相等 公理1. 1是自然数 公理2. 每个自然数可以定义惟一的后邻 公理3. 任何后邻都不会是1 公理4. 若两数的后邻相等，则两数相等 公理5. 归纳法成立 ZFC公理集合论系统 原始概念：集合 原始关系：属于 公理：外延公理（相等）、空集公理、配对公理、并集公理、幂集公理、无穷公理（归纳法）、公式F的替换公理、正则公理、选择公理 现代数学方法：集合论+公理化 集合是定义任何数学对象的原始概念。数学上说，任何数学概念都是用集合定义的，简单地说，任何数学对象都是某种类型的集合。 数学系统都以公理化的形式和精神来陈述的探索的。 数学严格性与实用的妥协 在现实的数学学习和从事数学研究的过程中，人们并非真的能够和没有意义抽象符号打交道，而是用人们能够赋予实际意义的符号处理问题。因此不少时候人们试图去给集合下“定义”，实际上是让初学者理解其实际含义。 另一方面数学中所发现的悖论在不时地提醒人们这种直观能够走多远。 2. 集合及其运算 集合(直观描述) 集合相等和子集合 子集的表示方式和全集 常用数学符号和常用集合记号 集合的并 集合的交 集合的差运算和余(补)运算 集合运算的性质 集合(直观描述) 具有某种属性的对象总体(通常用大写字母表示，如A,B等)，这些对象称为其元素或点(通常用小写字母表示，如x,y等). x是A的元素记为: x?A (读作x属于A) x不是A的元素记为: x?A (读作x不属于A) 集合的基本特性是，对于给定的集合A，任何对象x, x?A与x?A中有且只有一个成立. 集合相等和子集合 集合相等：如果两个集合A和B有同样的元素组成，就说集合A和B相等，记作A= B或B=A. 子集合: 如果集合B的元素都是集合A的元素，B叫做A的子集合(简称子集). 记作B?A (读作B包含于A)，或A?B (读作A包含B). 命题： A= B当且仅当A?B且A?B. 子集的表示方式和全集 设A是一个集合,其子集B通常用下面的形式表示：B={x?A | P(x)}, 其中P(x)表示x在B中所要满足的条件 空集：不含任何元素的集合叫做空集,用符号?表示,空集是任何集合的子集： ?={x?A | x ?x} 在数学的讨论中，常常涉及到的是某个固定集合的子集，例如，实数的子集. 这个固定集合叫做全集. 一般用E表示. 常用数学符号和常用集合记号 ?：表示存在，读作“存在” (there exist(s)) ?!：表示存在惟一的，读作“存在惟一的” (there exists unique) ?：表示对于所有的或任意的，读作“对于任意的”或“对于所有的” (for all) ?：表示能够推得，读作“蕴含” (imply) 自然数N, 整数Z, 有理数Q, 实数R 集合的并 集合A和B的并是由A或B的所有元素组成的集合, 记为A?B, 也就是 A?B={x | x?A或x?B} 集合并运算的性质： 交换律 A ? B= B ? A 结合律A ? (B ? C)= (A ? B) ? C 集合族{Aa : a?I}的并： ?a?IAa=?aAa={x | ? a?I, x?Aa} I为自然数时的记法 集合的交 集合A和B的交是由所有A和B的公共元素组成的集合, 记为A ? B, 也就是 A ? B={x | x?A且x?B} 集合交运算的性质： 交换律 A ? B= B ? A 结合律A ? (B ? C)= (A ? B) ? C 集合族{Aa : a?I}的交: ?a?IAa=?aAa={x | ?a?I, x?Aa} I为自然数时的记法 集合的差运算和余(补)运算 集合的差运算：由集合A中不在集合B中的元素所组成的集合叫做集合A与集合B的差，记作A\B, 也就是 A\B={x?A | x?B} 对称差：A?B=(A?B)\(A?B) 设集合A?E, E\A叫做A关于E的余集，当E是公认的时候，简称为A的余集，记为A?. 集合