- 1、本文档共35页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
集合论初步
•1.集合论和数学的严密性
•2.集合及其运算
•3.笛卡尔积
•4.映射和函数
•5.集合的势
1.集合论和数学的严密性
•什么是数学的严密性或逻辑性
•数学如何实现其严密性
什么是数学的严密性或逻辑性
•数学的严密性在于:
–交待清楚要讨论的问题或对象
–交待清楚定义、证明或叙述中要用到的概念
和关系(叫做原始概念和原始关系)
–只利用这些概念和关系,遵循逻辑规则完成
对问题证明、叙述或模型的建立
•数学的严格性是的,其逻辑性是在
科学和数学的不断深化的
数学如何实现其严密性
•公理系统
•ZFC公理集合论系统
•现代数学方法:集合论+公理化
•数学严格性与实用的妥协
系统
•基本前提:自然数集合存在,在上面可
以定义相等
•公理1.1是自然数
•公理2.每个自然数可以定义惟一的后邻
•公理3.任何后邻都不会是1
•公理4.若两数的后邻相等,则两数相等
•公理5.归纳法成立
ZFC公理集合论系统
•原始概念:集合
•原始关系:属于
•公理:外延公理(相等)、空集公理、
配对公理、并集公理、幂集公理、无穷
公理(归纳法)、的替换公理、正
则公理、选择公理
现代数学方法:集合论+公理化
•集合是定义任何数学对象的原始概念。
数学上说,任何数学概念都是用集合定
义的,简单地说,任何数学对象都是某
种类型的集合。
•数学系统都以公理化的形式和精神来陈
述的探索的。
数学严格性与实用的妥协
•在现实的数学学习和从事数学研究的过
程中,人们并非真的能够和没有意义抽
象符号打交道,而是用人们能够赋予实
际意义的符号处理问题。因此不少时候
人们试图去给集合下“定义”,实际上
是让初学者理解其实际含义。
•另一方面数学中所发现的悖论在不时地
提醒人们这种直观能够走多远。
2.集合及其运算
•集合(直观描述)
•集合相等和子集合
•子集的表示方式和全集
•常用数学符号和常用集合记号
•集合的并
•集合的交
•集合的差运算和余(补)运算
•集合运算的性质
集合(直观描述)
•具有某种属性的对象总体(通常用大写字
母表示,如A,B等),这些对象称为其元
素或点(通常用小写字母表示,如x,y等).
•x是A的元素记为:xA(读作x属于A)
•x不是A的元素记为:xA(读作x不属于A)
•集合的基本特性是,对于给定的集合A,
任何对象x,xA与xA中有且只有一个成
立.
集合相等和子集合
•集合相等:如果两个集合A和B有同样的
元素组成,就说集合A和B相等,记作A
B或B=A.
•子集合:如果集合B的元素都是集合A的元
素,B叫做A的子集合(简称子集).记作
BA(读作B包含于A),或AB(读作A包
含B).
•命题:AB当且仅当AB且AB.
子集的表示方式和全集
•设A是一个集合,其子集B通常用下面的形
式表示:B={xA|P(x)},其中P(x)表示x
在B中所要满足的条件
•空集:不含任何元素的集合叫做空集,用
符号表示,空集是任何集合的子集:
您可能关注的文档
- 五章酸碱滴定四节溶液中.pdf
- 求职者反馈报告.pdf
- 翻到折起来老师省优.pdf
- biomed central1共页码不用于引用目2007-respir freemand呼吸研究.pdf
- led32k01系列主板电路原理图.pdf
- r章节列表1 oct有效页数维修手册.pdf
- defining and identifying communities networks定义识别网络中社区.pdf
- 文学圈使用此计划器为每次做准备the disappearing moon消失亮.pdf
- 下午杀虫剂页共6 bridge ref q26mcq桥梁.pdf
- 说明文案leveled reader莱斯特kathie raz lrskydiving.pdf
文档评论(0)