数学分析课件集合论初步.pdfVIP

集合论初步

•1.集合论和数学的严密性

•2.集合及其运算

•3.笛卡尔积

•4.映射和函数

•5.集合的势

1.集合论和数学的严密性

•什么是数学的严密性或逻辑性

•数学如何实现其严密性

什么是数学的严密性或逻辑性

•数学的严密性在于：

–交待清楚要讨论的问题或对象

–交待清楚定义、证明或叙述中要用到的概念

和关系（叫做原始概念和原始关系）

–只利用这些概念和关系，遵循逻辑规则完成

对问题证明、叙述或模型的建立

•数学的严格性是的，其逻辑性是在

科学和数学的不断深化的

数学如何实现其严密性

•公理系统

•ZFC公理集合论系统

•现代数学方法：集合论+公理化

•数学严格性与实用的妥协

系统

•基本前提：自然数集合存在，在上面可

以定义相等

•公理1.1是自然数

•公理2.每个自然数可以定义惟一的后邻

•公理3.任何后邻都不会是1

•公理4.若两数的后邻相等，则两数相等

•公理5.归纳法成立

ZFC公理集合论系统

•原始概念：集合

•原始关系：属于

•公理：外延公理（相等）、空集公理、

配对公理、并集公理、幂集公理、无穷

公理（归纳法）、的替换公理、正

则公理、选择公理

现代数学方法：集合论+公理化

•集合是定义任何数学对象的原始概念。

数学上说，任何数学概念都是用集合定

义的，简单地说，任何数学对象都是某

种类型的集合。

•数学系统都以公理化的形式和精神来陈

述的探索的。

数学严格性与实用的妥协

•在现实的数学学习和从事数学研究的过

程中，人们并非真的能够和没有意义抽

象符号打交道，而是用人们能够赋予实

际意义的符号处理问题。因此不少时候

人们试图去给集合下“定义”，实际上

是让初学者理解其实际含义。

•另一方面数学中所发现的悖论在不时地

提醒人们这种直观能够走多远。

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).

•命题：AB当且仅当AB且AB.

子集的表示方式和全集

•设A是一个集合,其子集B通常用下面的形

式表示：B={xA|P(x)},其中P(x)表示x

在B中所要满足的条件

•空集：不含任何元素的集合叫做空集,用

符号表示,空集是任何集合的子集：