以数学史的观点来看，集合论是如何成为数学基础的？第1页

jasonchen0325 网友的相关建议:

"集合论是数学的基础"这一个说法更多是历史上的一个巧合（详见我的另一篇回答: https://www.zhihu.com/question/363043105/answer/971089249).现代教科书里将"数学对象"看作"集合"这个做法, 是在集合论发展较为完善后, 人们才发现可以系统性地这么做. 如果说集合论的诞生给数学带来了什么贡献, 那应该有两个: 1) 严格化了"实数", "实数集", "函数"的概念; 2) 解答了当时关于傅里叶级数唯一表示性的开问题. 而后者则是康托发明集合论的初衷, 并不是单纯为了研究无穷或者给数学找基础. 这篇回答将试图描述这段历史.

在19世纪末20世纪初期, "集合论"这一学科是隶属于分析学和拓扑学的. 这其中原因之一便是康托(Cantor)在集合论上的工作给当时的数学家带来了一个全新的严格理解"实数"和"函数"的方式. 在此之前, 一个函数总是由某些规则或某些公式给出, 这使得"存在一个函数/对于任意函数"这类表述显得不够严谨: 在给出"什么是一个函数"的数学回答之前, 我们无法严格证明或证伪对函数进行量化的语句.

例如实分析入门中所常见的"使用柯西序列的等价类定义实数"这一方法和视角, 正是康托在职业生涯初期为了研究傅里叶级数的唯一性问题而提出的. 在Heine的建议下, 康托着手研究的问题是当时分析学中一个重要的开问题:

如果级数对每一个的都收敛到0, 那么所有的是否都为0?

这个在当时是极为困难的问题, 分析学祖师爷Dirichlet, Lipschitz, Riemann, Heine等人都仅仅获得了部分特殊情形上的解答. 这个问题的其中困难之一便是这样的一个命题过于一般, 并且在康托之前数学界中并没有找到一个合适的视角或工具来处理具有如此一般性的问题.

康托的第一份贡献便是对这个问题的肯定回答: 如果级数对每一个的都收敛到0, 那么所有的都为0. 这个结果在当时本身就是十分了不起的一个成就, 但是康托并没有就此满足. 在他看来, "该级数对每一个都收敛到0"是一个过于强的前提条件. 如果我们可以通过弱化这个前提条件来得到相同的结论, 那么这将会是一个更强的数学结果.

康托在这个方向所采取的策略是考虑被允许的例外集: 对于哪些实数集, 我们可以证明:

如果级数对每一个的都收敛到0, 那么所有的都为0?

通过当时传统的方法, 康托得到了如下结果: 如果上下均无界, 那么就会是一个被允许的例外集.

通过对这一结果的探索, 康托发现对于一个实数集, 我们可以递归地通过一种操作(取导集, derived set, 具体定义不影响本文阅读)将它缩小, 得到一个新的集合. 而这个递归操作本身就能给我们带来关于是否是例外集的答案. 归纳地, 我们定义: ; . 康托的到的结果则是:

定理: 如果对于某个自然数, , 则是一个被允许的例外集.

当时的数学工具的极限基本就在这里止步了. 而令康托载入数学史册的创新发现则是, 存在一些实数集, 使得严格递减, 并且如果我们考虑, 我们仍然可以对这个集合取导集, 并且能得到一个更小的集合. 这允许我们记; , 如此类推, 并且令, 一直迭代下去.

我们在这里先暂停一下来品味一下康托这一概念上的创新. 首先值得一提的是, 康托将实数构造为柯西序列的等价类(康托称它们为fundamental sequences), 正是为了严格化"取导集"这一概念以及找到上述这一类集合; 显然, 这个构造也延续到了今天的实分析教科书中, 足见其对后世影响力有多广. 包括现在我们所熟悉的康托集, 也是当时研究这一系列集合所带来的产物. 其次, 康托的观察在数学上有两个颠覆性的突破: 1) 我们第一次需要认真严肃地对待一个操作的进行次数这样一个具有"元数学"风味的对象; 2) 我们第一次认识到, 自然数作为归纳定义和递归操作时采取的"步数", 是不够用的. 为了能严格化"比自然数更长的递归操作"这一概念, 康托考虑了"良序集"这一对"自然数"概念的推广. 简单来说, 一个集合是良序的, 当且仅当每一个非空子集都存在一个(在所考虑的序下)最小的元素; 良序集将扮演自然数集在中的角色, 帮助我们将取导集这一操作延伸至无穷多步. 康托所考虑的良序集, 在现在的视角来看, 就是集合论中至关重要的对象: 超限序数. 至此, 集合论作为一门研究无穷的学科就此诞生.

用现在的语言来说, 我们称为这样一个良序集: 它自己是一个不可数的良序集, 并且它的每一个真前段(proper initial segment)都是可数的. 我们可以将的元素和它们所决定的前段看作一个东西, 并称的元素为"可数序数". 康托得到的结果是:

定理(Cantor-Bendixson Analysis): 对于任意实数集, 都存在一个可数序数, 使得对于任意比"更长"的可数序数, 我们都有. 也就是说, "取导集"这一操作的结果总是会在可数步内稳定下来.

和它里面的可数序数给实数和实数集的研究带来了全新的视角, 通过Cantor-Bendixson Analysis, 康托得到了他想要的更强的结果:

定理: 所有的可数闭集都是被允许的例外集. 康托集也是被允许的例外集.

"被允许的例外集"在数学文献里被称为sets of uniquenuess. 很有趣的是, 多年以后另外一个彻底颠覆集合论的数学家, 因为发明力迫法而获得菲尔兹奖的Paul Cohen, 博士论文(Topics in the Theory of Uniqueness of Trigonometrical Series)写的正是关于sets of uniqueness的内容.

在有了研究实数集的新工具之后, 康托的注意力很快就从三角级数上转移到了实数和实数集本身以及可数性和不可数性上来. 在取导集操作的研究上, 康托很快发现了"稠密, 无处稠密, dense-in-itself, perfect, 康托集"等拓扑学中的重要概念. 在集合论上, 康托的工作给集合论学家带来了最基本的工具: 超限序数, 超限递归, 超限归纳, 阿列夫数等. 其中他对代数数可数性, 实数集的不可数性, 和对超越数存在性的证明直到现在都会在实分析的课本上出现(对角线法, 区间套法, Baire纲定理法). 康托对超越数存在的构造性证明同时也给出了一个构造超越数的一般规则, Robert Gray 1994的论文Georg Cantor and Transcendental Numbers甚至将康托的构造性论证通过算法实现.

在建立了无穷集合的基本理论之后, 康托考虑的问题就是他最早发现的两个不可数集合的关系: 和实数集. 一个很自然的问题就是这两个集合是否是同构的. 考虑到有理数集(一个可数集)在中稠密, 这个问题的答案显然是否定的. 但是康托考虑了一个更一般的问题: 如果我们完全忘掉两个集合上的所有结构, 只考虑元素之间的相等关系, 这两个集合是否是同构的. 不难发现, 这种最弱意义上的同构关系, 就是康托一开始发现的"双射"关系 (细心的读者会发现, 两个集合之间存在双射的定义实际上说的就是这两个结构之间存在同构映射). 也就是说, 康托考虑的是:

是否存在一个和之间的双射?

这便是后来希尔伯特23个问题中排名第一的连续统假设.

在康托活跃的这个期间, 康托的一个忠实的支持者与好友便是戴德金(Richard Dedekind). 在康托系统性地采用集合论方法来研究实数集之前, 戴德金就在自己的代数数论工作中通过集合论方法考虑了我们现在所熟悉的理想(ideal)和戴德金分割(Dedekind cuts). 实数的一个重要性质, 完备性(completeness/Dedekind-completeness), 也正是由戴德金本人抽象地提炼出来的. 在康托发表集合论论文的期间, 他和戴德金一直有保持书信联系. 可能是由于自己也采取了同样的数学视角, 戴德金本人十分欣赏且认可康托的工作, 并在多处具体问题上基于了康托帮助. 康托对于超越数存在和实数集不可数的区间套证明所依赖的便是实数的完备性. 在之后很长一段时间里, 康托和戴德金当时的往来书信都是数学史文献中乐于研究的对象.

很令人惋惜的是, 康托的视角和他的后续工作也许对当时的数学界来说过于具有颠覆性, 使得部分权威并不认可甚至是攻击康托的工作. 说出"上帝给了我们自然数, 剩下的全都是人类的工作"这句话的Kronecker, 自然对"不可数集", "超限序数"等概念非常抗拒. 他对康托的工作评价接近于人身攻击: "我不知道康托的工作里面包含的是神学还是哲学, 但肯定没有数学." 除了学界的打击之外, 康托自己也在工作和生活上遭受了重创, 在无法晋升且收入微薄的同时, 康托也久久不能释怀自己无法证明或证伪良序原则和连续统假设(我们今天知道这两个命题都是独立于集合论公理的), 他甚至一度放弃了数学工作而转向研究"莎士比亚是否就是弗朗西斯培根的笔名"这一问题. 最后, 康托也因为自己小儿子的突然去世而完全丧失了对数学的任何信心. 多方面的精神创伤也使得康托多次被送入精神病院, 并最终由于身体和精神原因在郁郁不得志中心脏病发去世.

在今天看来, 康托的工作对后世的数学贡献了难以衡量的价值. 从他创造的抽象集合论工具和对实数集研究的严格化, 到他对拓扑学基础概念的发现, 康托对现代数学的影响无处不在. 他的对角线论证法也是20世纪初数理逻辑中限制性定理大爆发时代(哥德尔不完备定理, 塔斯基不可定义定理, 图灵停机问题)的一个关键论证方法. 后来大名鼎鼎的冯诺依曼的博士毕业论文处理的也正是超限序数在公理化集合论中的严格构造的问题, 这也是为什么如今超限序数也常常被称作冯诺依曼序数. 另一方面, 康托发现的第一个不可数序数, 作为递归操作/归纳定义中超出自然数长度的所需步数, 在20世纪初期给Baire, Borel, Lebesgue的测度论和实分析工作提供了至关重要的奠基工具: 一种显著意义上"可构造"的实数集或者实数函数, 总能通过简单的实数集或实数函数, 通过某种操作, 在可数(即)步内生成(参考: https://zhuanlan.zhihu.com/p/449221076). 这样的一种层级研究便是日后描述集合论的萌芽. 正如康托去世后若干年后希尔伯特所写: 没有人能将我们从康托创造的乐园中驱逐出去; 康托和他发明的集合论对当今数学深刻的影响或许可以是对他悲惨晚年的一些迟到的慰藉.

本文使用 Zhihu On VSCode 创作并发布

sliverwhite-47 网友的相关建议:

推荐下我打的几个mod。都直接兼容steam版本。基本不会破坏原游戏的平衡性，同时又提高游戏性。刚开始玩巫师3就不要打了，新玩家还是先把游戏摸透了再说，二周目玩家随意。

快速旅行：清问号利器，打完后，按M呼出地图，找个旅行点就可以直接到达。比如你在洞穴里，在海里，在山上，想快速出去，直接去找男爵打牌，直接按M呼出地图，然后点到乌鸦窝公交站就可以到，缺点是下车后还得步行一会。所以要用到下一个MOD↓

国外玩家打造《巫师3》滑板鞋MOD https://www.zhihu.com/video/1175683299257884672

滑板鞋：空格起跳+方向键直接发车（一开始多试一下，有时候可能不是mod无效，可能是没上手好），反正比萝卜快很多，随时可停可开打。飙车模式下，你飙到十层楼掉下来也摔不死。所以经常有老司机从史凯利杰群岛各种高山上直接发车一头栽入大海，但终极老司机一般是从陶森特最边缘大雪山滑到女公爵姐姐的床头，爽到高潮，爽到失禁。所以这又要打下面的mod↓

无边界mod：意思就是你爱走多远走都远，不会被强制遣返。

保险点可以再打个摔不死的mod（我是没打，反正太久没死了，偶尔死一死也很沙雕）。

下面是打架的：

法印加强mod，附加了一些效果跟特效，比如说开打前放火印，剑会变成火剑，近战第一次打击可点燃敌人。开打前套昆恩，则第一次近战打击会吸血。算是变相稍微降低那么一丢丢难度吧，反正我都是极难，怪物升级打开，满世界怪就算是路边遇到的疯狗都比我高几级的。

亚登随身移动mod，施放后，身上会附上一层紫光，仿佛突然被麻花藤家的QQ紫钻开光了似的，有点贵族感，怪物靠近也会沾染，视觉效果非常酷炫。重点是它和你一起动了。。。

耐久不减，原版的耐久太烦人了，这个前期当然没啥，但后期剑舞点出来后，用剑频率大幅飙升，尤其是我这种喜欢虐骷髅等级的，而且还要一群骷髅一起虐的，剑舞跟拜年不能停，你也没办法停，停下来就死，索性直接粗暴一点。

所有东西重量0.1，原版的背包也是很繁琐，相当于背包无限了。不打这个mod其实也可以，但是会很烦，很烦，还是TM的很烦。起码去鹤山银行可以不用搞一会就要跑回去贩剑了。
需要说明的是，这个修改和一般的巫师3加mod不一样，所以我没有打包在文末推荐的mod压缩包里，怎么改看这里→【MOD 推荐】【负重MOD】【适用于任何版本】~~~~~~~~~~~~~~~~~~ 【不用改游戏任何文件】

食谱MOD 可以在炼金术界面烹饪食物回血用，二周目其实没多大卵用，因为回血基本靠燕子了。不过这个mod还是比较有趣的，可以造一些好玩的食物。也让一些捡到的垃圾有了用武之地，比如生肉什么的。

自动剑油。这个也是打架利器，省得临战还得各种翻找百科跟背包找油，破坏节奏。这个mod其实有点无奈，主要是这游戏里的剑油太相似了，没办法一目了然找出来。

法印一键启动：直接设置q昆恩，f放火，r阿尔德，x亚克西，z雅登，效率秒杀原版。这个严重推荐！必须打！是我最喜欢的，从1.22版本一直用到现在。有了这个，这游戏的战斗直接流畅起来了。巫师3：狂猎 v1.22即时施法MOD

此外还有灰色任务经验不减等几个，增加一点做任务的动力。好像还有个mod是升级经验越高级同比例增加的，不过我没打。二周目都七十多级了。不差那点经验。

以上这些打架mod打上去之后，其实基本就是抛开那些新手向的操作，然后专心玩隐藏剧情，然后手拿着两把西瓜刀,从南天门一路砍到蓬莱东路，从威伦一路向北杀到诺维格瑞。看过来——为什么玩巫师3时会讨厌威伦这张地图?

最后，评论区分享一下我打的这几个mod。

巫师3加mod超简单：直接在游戏目录建立一个Mods文件夹，然后把mod直接解压在里面就可以了。解压完应该是下图这样。

（modHDReworkedProject 这个文件夹是高清材质mod，1.36G，太大就不分享了）

评论区很多人在问各个mod的功能，我稍微整理了一下，如下：

【mod0000____CompilationTrigger】脚本统一补丁
【modAlwaysFullExp】灰色任务全经验
【modAutoApplyOils】自动上油
【modAWorldWithoutBorders】地图无边界
【modBLOOD】高清血液 ——如果进游戏有冲突建议先删掉这个mod
【modBow】十字弓连发，不用装填。普通箭矢威力大增，自带穿刺，分裂和燃烧效果——这玩意搞快一点，其实就是加特林·杰骆驼了。。。其实也有喀秋莎版的，直接洗地...不过不想搞得太夸张，给怪们留点活路吧...
【modDemonic】全法印大改全新的法印释放附加特效+全新的击打特效
【modFastTravelFromAnywhere】快速旅行
【modGastronomic_Alchemy】（炼金术食谱）这个mod很有意思，就是在炼金术界面，自己diy加血食物
【modImprovedSigneffects】更新伊格尼法印特效1.21版（伊格尼项目大改的前置！）
【modKNGBlood1.4】血溅-武器上会沾满血迹
【ModNaiJiuBuJian】耐久不变
【modOilsNeverExpire】剑油不减
【modSlideEverywhere】滑板鞋
【modYrdenBuff】亚登法印特效个人修改版（自带法印跟随人物-去掉了新增属性，取消了惩罚设定，只保留了特效，维持原始属性，使用该法印后取消了圆圈，只需靠近即可）

另外，如果打了mod，游戏进不去，目测是有部分mod还需要在其他地方做修改才能生效，那么把你认为不重要的mod一个个删掉再试着进游戏看看。

这个帖子的意义，其实是介绍巫师3的mod能做到什么程度，能改什么内容，能实现哪些原版实现不了的功能。

评论区有些人能打上mod，觉得还不错，有的人说打上去没效果。这东西，有时候是很看RP的，打不上的朋友，建议直接去3DM原帖看下，本帖mod除非特别备注，都是来源于此。

没有mod基础的朋友，还是先从简单的mod加起，有针对性地删减、测试，不要一下子全部加上去。