第一章 集合论初步..PPTVIP

第一章 集合论初步 郇中丹 2006-2007学年第一学期 数学系2006级 集合论初步 1. 集合论和数学的严密性 2. 集合及其运算 3. 笛卡尔积 4. 映射和函数 5. 集合的势 1. 集合论和数学的严密性 什么是数学的严密性或逻辑性 数学如何实现其严密性 什么是数学的严密性或逻辑性 数学的严密性在于： 交待清楚要讨论的问题或对象 交待清楚定义、证明或叙述中要用到的概念和关系（叫做原始概念和原始关系） 只利用这些概念和关系，遵循逻辑规则完成对问题证明、叙述或模型的建立 数学的严格性是历史的，其逻辑性是在科学和数学的发展中不断深化的 数学如何实现其严密性 皮亚诺公理系统 ZFC公理集合论系统 现代数学方法：集合论+公理化 数学严格性与实用的妥协 皮亚诺系统 基本前提：自然数集合存在，在上面可以定义相等 公理1. 1是自然数 公理2. 每个自然数可以定义惟一的后邻 公理3. 任何后邻都不会是1 公理4. 若两数的后邻相等，则两数相等 公理5. 归纳法成立 ZFC公理集合论系统 原始概念：集合 原始关系：属于 公理：外延公理（相等）、空集公理、配对公理、并集公理、幂集公理、无穷公理（归纳法）、公式F的替换公理、正则公理、选择公理 现代数学方法：集合论+公理化 集合是定义任何数学对象的原始概念。数学上说，任何数学概念都是用集合定义的，简单地说，任何数学对象都是某种类型的集合。 数