公理化集合论初探

最新推荐文章于 2020-10-07 00:08:43 发布
最新推荐文章于 2020-10-07 00:08:43 发布
阅读量1.5k 收藏 2
点赞数 2
分类专栏： # 计算数学与数学理论 文章标签： 集合论 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/smilejiasmile/article/details/106818040
版权
本文介绍了集合论的起源和发展，从公理化集合论的角度探讨了有限集和无限集的概念。文章通过康托尔的贡献、公理系统、罗素悖论和选择公理等内容，阐述了集合论如何为数学提供基础，并讨论了自然数、序集和序数的概念。最后，引入了序数和基数，展示了无穷集合的计数原理和性质。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

公理化集合论初探

 

一、集合论的背景

〉 集合论是以集合概念为基础，研究集合的一般性质的数学分支学科。
“集合”是比“数”更简单的概念。集合论试图从研究集合出发，定义“数”和数的“运算”，进而发展到整个数学，是研究数学基础的学科
〉 集合是简单而又基本的不作定义的初始概念。一般来说，集合是一些确定的、相异的事物的总体
〉 按照集合中事物数目是否有限，可以分为有限集合和无限集合

无限集合是集合论研究的主要对象，也是集合论建立的关键和难点

〉 集合论的全部历史都是围绕无限概念展开的。人们把康托尔（G.Cantor，1845－1918）于1873年12月7日给戴德（R.Dedekind，1831－1916）的信中最早提出集合论思想的那一天定为集合论诞生日。
〉 康托尔对无限集合的研究使集合论成为数学中最富创造性的伟大成果之一
〉 人们对于无限的研究可以追溯到两千多年以前

〉 从芝诺悖论：二分法悖论、阿基里斯追乌龟悖论、飞箭不动悖论

芝诺悖论涉及到时间空间的连续性问题ÿ

了解本专栏 订阅专栏 解锁全文 超级会员免费看
【形式语言与自动机】初探——基础核心概念
smilejiasmile的博客
07-27 716
【形式语言与自动机】初探——基础核心概念 一、语言及研究方向 自然语言 〉 以呼吸器官发声为基础来传递信息的符号系统，人类最重要的交际工具和存在方式之一 〉 大脑思维的符号化 〉 自然语言：自然地随文化演化的语言，比如：汉语、英语、法语、俄语…… 〉 全世界5000多种，使用者在5000万以上的有13种。联合国官方语言5种（汉、英、俄、法、西班牙） 人工语言 〉 为特定的目的与用途，人为创造的语言。主要分如下两种： 〉 国际辅助语言：世界语（Esperanto） 〉 数学语言、计算机语言：数学.
通俗范畴论4 范畴的定义
最新发布
RockTec的专栏
06-24 343
上一节我们在没有引入范畴这个数学概念的情况下，直接体验了一个“苹果1”范畴，建立了一个对范畴的直观。本节我们正式学习范畴的定义和基本性质。一个范畴(Category) C𝐶，由以下部分组成：数据：对象（Objects）：包含若干个对象（Objects），这些对象的全体构成一个聚集（Collection），这个聚集记为 ob(C)𝑜𝑏(𝐶)
数理逻辑4 -- 公理化集合论1
Jason渣神的专栏
01-25 2835
集合论是所有数学的基础，很多数学概念都可用集合来表示。比如，我们可以用集合论建立自然数系统，也可建立函数。 从朴素的集合论角度来看，所谓一个集合，就是“一堆元素”。但罗素悖论指出，我们不能那样定义集合，否则就会产生罗素悖论。即是说，我们是否允许一个集合包含自身作为元素？如果允许，就会导致罗素悖论，即我们定义一个集合AA，它的元素是所有哪些不属于自己的集合，那么试问是否A∈AA \in A？如果是...
公理集合论？
lifeNet的专栏
10-15 964
公理集合论是19世纪末康托尔创立的。由于罗素悖论及一系列别的悖论，使得原始的朴素的集合理论被迫采用数学中最常用的办法——公理化方法——来避免悖论。我们来看看维基百科上怎么描述集合公理： 1. Axiom of extensionality: Two sets are the same if and only if they have the same elements. 2. Axiom ...
公理集合论导论
08-15
公理集合论（axiomatic set theory）是数理逻辑的主要分支之一，是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。 19世纪70年代，德国数学家G.康托尔给出了一个比较完整的集合论，对无穷集合的序数和基数进行了研究。20世纪初，罗素悖论指出了康托尔集合论的矛盾。为了克服悖论，人们试图把集合论公理化，用公理对集合加以限制。
公理化集合论是对康托尔集合论的继承与发展
袁萌专栏
02-01 2856
<!-- @page {margin:2cm} h3 {margin-bottom:0.21cm} h3.western {font-family:"Liberation Serif",serif} h3.cjk {font-family:"文泉驿正黑"; font-style:normal} h3.ctl {font-family:"Lohit Hindi"}
群、环、域的离散世界：抽象代数入门与进阶（初探至精通）
[群、环、域的离散世界：抽象代数入门与进阶（初探至精通）](https://smartcalcu.com/wp-content/uploads/2024/06/ffcS4V4FQFuiPIvF2DGtWQ-1-1024x576.jpg) # 1. 群、环、域的定义与基本性质 在这一章中，我们将...
各类聚类（clustering）算法初探
weixin_34168880的博客
01-20 5823
1. 聚类简介 0x1：聚类是什么？ 聚类是一种运用广泛的探索性数据分析技术，人们对数据产生的第一直觉往往是通过对数据进行有意义的分组。很自然，首先要弄清楚聚类是什么？ 直观上讲，聚类是将对象进行分组的一项任务，使相似的对象归为一类，不相似的对象归为不同类 但是，要达到这个目的存在几个很困难的问题 1. 上述提及的两个目标在很多情况下是互相冲突的。从数学上讲，虽然聚类共享具有...
集合论的公理系统
袁萌专栏
03-20 3455
        清明思故人。此刻，我十分思念老朋友张锦文教授。记得，1993年，我在张锦文墓穴（八宝山公墓，墓穴编号979）的骨灰盒上方摆放着他的学术专著“公理集合论”，以便永远陪伴着他。        我先把集合论的公理系统（Kunen模式）摆出来，以后慢慢解释。        1.外延公理Axiom of extensionality, 两个集合相等，若它们有相同的元素。? x ? y [ ?...
公理集合论导引.pdf
05-08
公理集合论导引.pdf
公理集合论导引
04-03
集合论中不错的理论书籍，适合初学者使用的辅导书，全书涉及的内容丰富，值得你去完整的看一遍。
公理集合论导引(国人第一权集合论专著)
05-16
每个人都知道许多集合，但是，值得注意的是集合这一重要的概念，没有一个来谨的数学定义。只是有一个描述性的说明。.......
集合论十大公理
qq_39272752的博客
10-07 8293
集合论的公理----ZFC集合论十大公理1.存在公理 Exi2.外延公理 Ext3.分离公理模式 Sep4.对集公理 Pai5.并集公理 Uni6.幂集公理 Pow7.无穷公理 Inf8.正则公理 Fnd9.替换公理模式 Rep10.选择公理 AC 集合论中其中一套由Skolem最后整理的公理系统，称为Zermelo-Fraenkel集合论（ZF）[策梅罗-弗兰克尔集合论]。实际上，这个名称通常不包括历史上远比今天具争议性的选择公理，当包括了选择公理，这套系统被称为ZFC。 集合论十大公理 1.存在公理 E
数理逻辑4 -- 公理化集合论5
Jason渣神的专栏
01-31 438
Axiom U保证了Sum Class是一个集合，即(∀x)(∃y)(∀u)(u∈y⇔(∃v)(u∈v∧v∈x))(\forall x)(\exists y)(\forall u)(u \in y \Leftrightarrow (\exists v)(u \in v \land v \in x))引理4.5.1： a. ⊢(∀x)(∀y)(⋃{x,y}=x∪y)\vdash (\forall x
数理逻辑4 -- 公理化集合论4
Jason渣神的专栏
01-29 431
上一节笔记中命题4.4提供了一般性的类存在依据，以下就以此定义几个特殊的类。 几个特殊的类和新的函数符号 1. 考虑好式子φ(X,Y1,Y2)\varphi(X, Y_1, Y_2)为(∃u)(∃v)(X=u,v>∧u∈Y1∧v∈Y2)(\exists u)(\exists v)(X = \land u \in Y_1 \land v \in Y_2)，显然它是谓词好式子。根据命题4.4可得
数理逻辑4 -- 公理化集合论17
Jason渣神的专栏
04-07 481
继续选择公理的讨论。 命题4.43：以下好式子是选择公理AC的推论 a. 任意无限集都有可列子集。Inf(x)⇒(∃y)(y⊆x∧Den(y))Inf(x)⇒(∃y)(y⊆x∧Den(y))Inf(x) \Rightarrow (\exists y)(y \subseteq x \land Den(y)) b. 无限集是Dedekind无限。Inf(x)⇒DedInf(x)Inf(x)⇒De...
数理逻辑4 -- 公理化集合论13
Jason渣神的专栏
03-26 578
关于有限集，再来一些练习。 引理4.13.1（Tarski，1925）：我们说XXX是YYY的最小值，当且仅当，X∈Y∧(∀y)(y∈Y⇒¬(y⊂X))X∈Y∧(∀y)(y∈Y⇒¬(y⊂X))X \in Y \land (\forall y)(y \in Y \Rightarrow \neg (y \subset X))，也即XXX是YYY的“最小集合”。那么，一个集合ZZZ是有限的，当且仅当，...
数理逻辑4 -- 公理化集合论12
Jason渣神的专栏
03-24 290
有限集 我们说，一个类XXX是有限的（Finite），当且仅当，它能与某个ωω\omega中的序数等势。即， 定义4.12.1： a. Fin(X)Fin(X)Fin(X)：是(∃α)(α∈ω∧X≅α)(∃α)(α∈ω∧X≅α)(\exists \alpha)(\alpha \in \omega \land X \cong \alpha)的缩写。 以下结论是显然的。 引理4.12.1： ...
谈谈你对公理化集合论的理解
06-01
公理化集合论是一种数学基础理论，它基于一套公理系统来定义集合及其运算，保证了数学推理的严密性和可靠性。公理化集合论的基本思想是将集合的定义和运算规则都建立在一套严格的公理系统之上。 公理化集合论的公理系统包括空集公理、外延公理、配对公理、并集公理、幂集公理、选择公理和无穷公理等，这些公理规定了集合的基本性质和运算规则，从而建立了一个完整的数学体系。 通过公理化集合论，我们可以进行严谨的数学证明和推理，而不必担心逻辑上的瑕疵或矛盾。此外，公理化集合论也为其他数学分支提供了基础，例如数学分析、代数学、拓扑学等。 总之，公理化集合论是现代数学的基础之一，它为数学研究提供了一个严密的框架，使得我们可以进行深入的研究和探索。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

smilejiasmile

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值