拓扑相关概念的演化
拓扑学是学习现代数学时绕不开的内容。布尔巴基数学原理《拓扑学》的引言中透彻阐述了拓扑相关概念的演化,对初学者极具启发和指导意义,本文是它的中文翻译。我后续可能会写一些拓扑学的笔记,以这篇译文作为开篇相当合适。
数学的众多领域中,存在着一种与《代数学》系列著作中探讨的代数结构(如群、环、域等)截然不同的结构类型。这些结构,赋予了极限、连续性与邻域等直观概念以数学化的内涵,它们构成了本书的讨论核心。
历史上,极限与连续性的概念在数学的早期发展中便已显现,尤其在几何学领域。随着分析学的发展及其在实验科学中的应用,这些概念的重要性日益凸显,因为它们与实验测量和近似概念紧密相关。大多数实验测量涉及数字的确定,因此数学中极限和连续性的概念最初主要出现在实数理论及其衍生领域(如复数、实变量或复变量的实函数或复函数、欧氏几何及相关几何学)。
近年来,人们逐渐认识到这些概念的应用范围远远超出了经典分析中的实数和复数(详见第一章的历史注释)。通过深入的分析和抽象,其核心本质得以提炼,形成了一个在多个数学分支中都显示出巨大实用价值的工具。
为了深入理解极限、连续性和邻域概念的本质,我们将首先探讨邻域的概念(尽管在历史上它比其他两个概念出现得晚)。从物理概念的近似出发,我们可以自然地定义一个集合\(E\)的子集\(A\)是元素\(a\)的邻域,如果用近似\(a\)的元素替换\(a\)时,该新元素也属于\(A\),前提是所涉及的「误差」足够小;换言之,如果\(E\)中所有「足够接近」\(a\)的点都属于\(A\)。只要「足够小的误差」或「一个元素足够接近另一个元素」的概念能够被精确定义,这个定义就具有实际意义。沿着这个思路,一个直观的想法是假设两个元素之间的「距离」可以用一个正实数来衡量。一旦在集合中定义了任意两个元素之间的「距离」,那么定义一个元素\(a\)的「邻域」就变得清晰:如果一个子集包含了所有与\(a\)距离小于某个预设的严格正实数的元素,那么这个子集就是\(a\)的一个邻域。当然,除非我们对「距离」施加某些条件或公理(例如,在欧氏几何中,三角不等式应适用于我们的广义距离),否则我们无法期望从这个定义中发展出一个有意义的理论。通过这种方式,我们得到了欧氏几何的一个广泛推广。继续使用几何学的语言是方便的:因此,在定义了「距离」的集合中的元素被称为点,而集合本身被称为空间。我们将在第九章探讨这类空间。
到目前为止,我们尚未成功地摆脱对实数的依赖。然而,如此定义的空间具有许多性质,这些性质可以在不涉及产生它们的「距离」的情况下被描述。例如,任何包含\(a\)的邻域的子集仍然是\(a\)的邻域,并且\(a\)的两个邻域的交集也是\(a\)的邻域。这些性质以及其他性质衍生出许多后续结果,可以在不依赖于最初定义邻域所需的「距离」概念的情况下被推导出来。我们得到了一些不涉及大小或距离的陈述。
因此,我们最终形成了拓扑空间的一般概念,它不依赖于任何关于实数的初步理论。我们将说,只要我们以某种方式将集合\(E\)的每个元素与\(E\)的子集族相关联,这些子集被称为该元素的邻域,那么集合\(E\)就带有一个拓扑结构——前提是这些邻域满足某些条件(拓扑结构的公理)。显然,所施加的公理选择在某种程度上是任意的,并且在历史上一直是大量实验的主题(详见第一章的历史注释)。最终确定的公理系统足以满足数学当前的需求,而不会陷入过度和无意义的概括。
一个带有拓扑结构的集合被称为拓扑空间,它的元素被称为点。研究拓扑结构的数学分支被称为拓扑学(词源学上,「地点的科学」,虽然不是一个特别有表现力的名称),现在它比早期的名称「位置分析」更受欢迎。
为了表述邻域的概念,我们从一个元素「足够接近」另一个元素的模糊概念出发。相反,拓扑结构现在使我们能够精确地理解「这样的性质适用于所有足够接近\(a\)的点」的含义:根据定义,这意味着具有这种性质的点集对于所讨论的拓扑结构来说是\(a\)的一个邻域。
从邻域的概念出发,衍生出了一系列其他概念,这些概念的研究构成了拓扑学的核心:集合的内部、集合的闭包、集合的边界、开集、闭集等(详见第一章第一节)。例如,如果一个子集\(A\)是一个开集,那么只要一个点\(a\)属于\(A\),所有足够接近\(a\)的点都属于\(A\);换句话说,如果\(A\)是它每个点的邻域。邻域的公理对所有这些概念都有一定的影响;例如,两个开集的交集是一个开集(因为我们假设\(a\)的两个邻域的交集是\(a\)的一个邻域)。相反,我们可以从这些派生概念中的一个开始,而不是从邻域的概念开始;例如,我们可以假设开集是已知的,并将开集族的性质作为公理(其中一个性质刚才已经作为例子说明了)。然后我们可以验证,从对开集的了解,可以重建邻域;邻域的公理现在是我们作为起点的新开集公理的结果。因此,拓扑结构可以用各种不同的方式定义,这些方式基本上是等价的。在本书中,我们将从开集的概念开始,因为相应的公理是最简单的。
一旦定义了拓扑结构,就可以精确地描述连续性的概念。直观地说,如果一个函数在某个点上连续,那么当自变量充分接近该点时,函数值的变化也会很小。因此,只要函数的自变量空间和值空间是拓扑空间,连续性就有一个确切的含义。精确的定义见第一章第二节。
与连续性一样,极限的概念涉及两个集合,每个集合都被赋予了合适的结构,以及一个集合到另一个集合的映射。例如,实数序列\(a_n\)的极限涉及自然数集\(\mathbb{N}\)、实数集\(\mathbb{R}\)以及前一个集合到后一个集合的映射。如果对于\(a\)的任何邻域\(V\),这个邻域都包含除有限个\(n\)值以外的所有\(a_n\),那么实数\(a\)就被称为序列的极限;也就是说,如果\(a_n\)属于\(V\)的自然数\(n\)的集合是\(\mathbb{N}\)的一个子集,它的补集是有限的。注意,由于我们在谈论邻域,所以假设\(\mathbb{R}\)带有一个拓扑结构;至于集合\(\mathbb{N}\),我们已经让某个子集族扮演了一个特殊的角色,即那些补集是有限的子集。这是一个普遍的事实:每当我们谈论极限时,我们都在考虑一个集合\(E\)到拓扑空间\(F\)的映射\(f\),并且我们说对于\(F\)中\(a\)的任何邻域\(V\),\(E\)中满足其像\(f(x)\)属于\(V\)的元素\(x\)的集合(这个集合就是「逆像」\(f^{-1}(V)\))都属于\(E\)的某个预先给定的子集族\(\mathfrak{F}\),那么\(f\)就有一个\(F\)中的点\(a\)作为极限。为了使极限的概念具有通常赋予它的基本性质,族\(\mathfrak{F}\)必须满足某些公理,这些公理在第一章第六节中说明。\(E\)的这样一个子集族\(\mathfrak{F}\)称为\(E\)上的一个滤子。滤子的概念,它与极限的概念是不可分割的,也出现在拓扑学的其他上下文中;例如,拓扑空间中一点的邻域形成了一个滤子。
对所有这些概念的一般研究是第一章的主要目的。此外,在那里还考虑了特殊类别的拓扑空间,满足更严格公理的空间,或者通过特定程序从其他给定空间获得的空间。正如我们已经说过的,集合上的拓扑结构使人们能够对「只要\(x\)足够靠近\(a\),\(x\)就具有性质\(P(x)\)」这句话给出确切的含义。但是,除了定义了「距离」的情况外,不清楚应该如何理解「每一对足够靠近的点\(x\)、\(y\)都具有性质\(P(x,y)\)」这句话,因为先验地,我们没有办法比较两个不同点的邻域。现在,在经典分析中经常出现一对彼此靠近的点的概念(例如,在涉及一致连续性的命题中)。因此,重要的是我们应该能够在完全一般性的情况下精确地理解这个概念,因此我们被引导去定义比拓扑结构更丰富的结构,即一致结构。它们是第二章的主题。本书的其他章节专门讨论除了拓扑结构或一致结构之外,还存在其他一些结构的问题。例如,一个带有合适的拓扑结构(在某种意义上与群结构相容)的群称为拓扑群。第三章研究了拓扑群,我们将特别看到每个拓扑群如何被赋予某些一致结构。
在第四章中,我们将前面的原则应用于有理数域。这使我们能够定义实数域;由于它的重要性,我们对其进行了相当详细的研究。在接下来的章节中,我们从实数开始,定义了一些拓扑空间,这些空间在拓扑学应用于经典几何学中特别有意义:有限维向量空间、球面、射影空间等。我们还考虑了与实数加法群密切相关的某些拓扑群,我们用公理来刻画它们,这将引导我们定义和给出经典分析中最重要的函数的基本性质:指数函数、对数函数和三角函数。
在第九章中,我们回到了一般的拓扑空间,但现在有了一个新的工具,即实数,可供我们使用。特别地,我们研究了其拓扑由「距离」定义的空间;这些空间具有某些性质,其中一些性质不能扩展到更一般的空间。在第十章中,我们研究了拓扑空间到一致空间(函数空间)的映射集;这些集合,经过适当的拓扑化,具有有趣的性质,这些性质已经在经典分析中发挥了重要作用。