等价关系分类问题与描述集合论-untmathematicsdepartment.pdf

等价关系、分类 问题与描述集合论 高速 年月 日 目录 等价关系 作为等价关系的分类问题 等价关系的描述集合论 不变量描述集合论 轨道等价关系 非轨道等价关系 结论与前景 在数学 的许多分支 中，对所研究的数学对象进行分类是这些分支 中非 常重要，甚至是核心的问题 。这是现代数学经过不断的抽象化的发展到今 天一个普遍的现象。比如，代数 中群的概念的提出源于研究代数方程解 的 需要 。但在今天，对于群的完全分类成为代数 中更为重要 的问题 。再 比如， 乶乯乮 乎乥乵乭乡乮乮在丱丹丳丰年代创立遍历论之初提出保测变换这个中心概念的同 时就提出，对于保测变换进行分类应该是遍历论 的核心问题之一。他并且 身体力行和他的学生么乡乬乭乯乳一起给 出了对保测变换进行分类 的第一个重要 结果。我们甚至可以这样讲，每 出现一个新 的重要 的数学对象 （空间，结 构，系统，等等），也就出现了一个新的重要的分类 问题 。 从丱丹丸丰年代开始，一些描述集合论 的研究工作者发展出一套关于等价 关系复杂度的数学理论 （我们今天称之为不变量描述集合论丩，并将这一理 丱 丱 等价关系 串 论成功地应用于数学分类 问题 的研究中。这个理论开始于一个微不足道的 事实，那就是所有的分类 问题本质上也就是等价关系。经过三十多年快速 的发展和越来越多的来自各个分支 的数学家 的共 同努力，我们现在已经对 很多数学 中重要 的分类 问题 的复杂度有了一个统一的和相 当深入 的认识 。 当然，也还有更多的问题等待我们去研究、去回答。 描述集合论作为数理逻辑和集合论 的一个分支可能不为广大中国数学 工作者所熟悉。但它在分类 问题 的研究中的成功不是偶然 的。首先，不变 量描述集合论集中了一个复杂度理论所需的所有元 。这个理论 的中心概 念，即乂乯乲乥乬归约的概念，来自数理逻辑的另外一个分支乻可计算性理论 。而 要得到乂乯乲乥乬归约的基本性质，则要用到经典描述集合论近百年发展中得到 的几乎所有重要 的结果。而这些结果已经集成了数学 中很多其它分支 的方 法和结果，包括分析、拓扑、代数、逻辑等等。另外，不变量描述集合论 之所以现在广受关注，也因为它真正关心和可以解决其它数学分支关心的 问题，而不是仅仅为了应用去发明一些问题来研究。这种双向的甚至是多 向的交流和相互渗入正是作为统一的现代数学发展的活力所在。 在本文 中我尝试对不变量描述集合论特别是它在分类 问题研究中的应 用作一个初步 的介绍。希望借此能够促进一些新 的合作机会的产生， 以及 吸引有兴趣的学生来从事这方面的研究。特别感谢数学所提供的这个难得 的机会。在数学所讲座报告和本文写作的过程中席南华院士、冯琦研究员 和南开大学 的丁龙云教授提出了宝贵的意见和建议，在此一并表示衷心感 谢。