布拉利-福尔蒂悖论.docxVIP

布拉利-福尔蒂悖论 关于悖论 2 朴素集合论中对集合的定义即其弊端 3 朴素集合论将集合定义为任何一堆东西的总体，这样定义不但不精确(所以严格地说根本不是定义)，而且还会产生矛盾。 朴素集合论悖论中最主要的有序数悖论（Burali-Forti paradox）、基数悖论（Cantor’s paradox）和 Russell 悖论。 什么是序数 4 冯·诺伊曼的序数定义：是自然数的一种扩展，跟整数与基数不同，着重的是次序的性质 自然数可以用来做两件事：描述一个集合的大小，或者描述序列中一个元素的位置。在有限的世界里这两个概念是一致的，当处理无限集合时人们不得不区分这两者。从大小的概念可以引申出如康托尔描述的“基数”，而位置的概念则被推广到这里将要说明的序数。 序数可以用来标定任何给定的良序集的元素（最小的元素标定为0，其后的标定为1，再后的标定为2，依此类推） 序数最常见的定义就是把每个序数等同于先于它的所有序数构成的集合。 真·正文部分 5 首先让我们来构建一个所有序数的集合Ω，那么Ω大于Ω内的任意一个元素 由所有序数所组成的集合Ω带有序数的所有性质，所以Ω自身也必须被视为是一个序数。 接下来，我们可以建构出此序数的后继序数 Ω +1，因为序数的后继必定大于当前序数，所以Ω+1严格大于Ω。 不过，因为Ω包括所有的序数，所以这个后继序数Ω+1也必然是Ω内的元素， 又因为因为Ω大于Ω内的任意一个元素 而因此：ΩΩ+1 且Ω+1Ω 于是乎 6 结论：在集合论此一数学领域里，布拉利-福尔蒂悖论断言，朴素建构“所有序数的集合”会导致矛盾 将集合定义为任何一堆东西的总体，不但不精确(所以严格地说根本不是定义)，而且还会产生矛盾 Naive set theory considered harmful 你以为这样就结束了？ 7 通过等价类定义的序数 8 在数学中，特别是集合论中，序数可以用来标记(label)任何给定良序集合的元素(最小元素标记为 0，次小标记为 1，再次是 2，以此类推)，并通过未用来标记这个集合的元素的最小的序数来测量整个集合的“长度”。这个集合的“长度”叫做序类型。 序数表示良序集合的等价类，这里的等价关系是序同构。这样的序数是在等价类中任何集合的序类型。 更加形象的说，良序集合的序类型是唯一的序数，对于它有在序数和良序集合之间的一个序保持双射。 让我们来举一个简单而有趣的例子 9 在这种通过等价类定义序数的情况下， 容易得出，所有小于一个固定的Ω的序数的序类型是Ω自身 肯定是哪里出了问题 这可咋整啊？ 10 公理化集合论闪亮登场 其中新基础集合论（NF）是公理化集合论的一种 公理化集合论的几大公理 1. 外延公理：有相同元素的相同类型的两个对象是同一个对象； 2. 概括公理：如果Φ（x^n）是公式，那么集合{x^n | Φ（x^n）}^(n+1)存在 …… 在此基础上，新基础集合论又引入了层化的概念： 一个层化公式Φ必须要满足， ①对于任何Φ的原子子公式，x∈y有f(y)=f(x)+1， ②对于任何Φ的原子子公式x=y，有f(x)=f(y)。 再看悖论 11 布拉利-福尔蒂悖论： 通过进行类型的区分 ——毕秋宇