微分几何入门与广义相对论 Chapter1

本文最后更新于 2024年5月15日 晚上

微分几何入门与广义相对论 Chapter1

微分几何入门与广义相对论 Chapter1

第一章 拓扑空间简介

确切地指定了的若干事物的全体叫一个集合(set),简称集. 集中的每一个事物叫一个元素(element)或(point). 若是集的元素,则说“属于”,并记作. 符号则代表“不属于”. 有两种表示集合的方法,一种是一一列出其元素,元素间用逗号隔开,全体元素用花括号括起来,如

表示由实数1,4及5.6构成的集. 另一种表示法是指出集中元素的共性,如

表示是全体实数的集合(这一特定集的通用记号为),而

则表示全体大于9的实数的集合. 不含元素的集叫空集(empty set),记作.

定义1 当且仅当集的每一元素都属于集,就说子集(subset),也说含于(is contained in)含(contains),记作. 规定是任意集合的子集. 称为真子集(proper subset),若. 集称为相等的(记作),若.

定义2 集合的并集、交集、差集和补集定义为 并集(union):. 交集(intersection):(条件“”是“”的简写,下同). 差集(difference):. 若的子集,则补集(complement)定义为.

定理1-1-1 以上集运算服从如下规律: 交换律 . 结合律 . 分配律 . De Morgan律 .

定义3 非空集合卡氏积(Cartesian product)定义为

多个集合的卡氏积可类似地定义,且规定卡氏积满足结合律.

例1 . 既然的元素是由两个实数构成的有序对,这两个实数就称为该元素的自然坐标. 类似地,的每一元素有个自然坐标. 可见天生就是有坐标的,但其他集合则未必. 利用自然坐标可给的任意两个元素定义距离的概念.

定义4 的任意两个元素之间的距离定义为

定义5为非空集合. 一个从映射(map)(记作)是一个法则,它给的每一个元素指定的唯一对应的元素. 若的对应元素,就写,并称在映射下的(image),称原像(或逆像,即inverse image). 称为映射定义域(domain),的全体元素在映射下的像的集合(记作)称为映射值域(range). 映射称为相等的,若.

/notes/ 是两种等价的写法,只是一个是“集合到集合”的变换,一个是“元素到元素”的变换. ,则. 从的映射给出元函数.

定义6 映射一一的(one-to-one),若有不多于一个逆像(可以没有). 映射到上的(onto),若有逆像(可多于一个). (这里的定义与大多数数学书中不同,所以在读参考资料的时候要注意)

/notes/ 为到上映射的充要条件是值域. 若为一一映射,则存在逆映射. 然而,不论是否有逆,都可以定义任意子集下的“逆像”

注意,这里的“逆像”是的子集而非的元素. 例如,如果有(且仅有)两个元素作用(即映射)下的像都是,则虽然逆映射不存在,但把看作的独点子集(即)时仍有意义,含义为.

定义7 称为常值映射,若.

定义8为集,为映射,则复合映射是从的映射,定义为. (注意:不符合交换律,要留意先后顺序

连续性的定义 微积分中对有连续性的“定义”: 称点连续,若使得当时有; 称上连续,若它在的任一点连续. 推广至任意集合,用开区间概念重新表述如下:设存在集,映射叫做连续的,若中任意开区间的“逆像”都是的开区间的并.

开子集 都是开子集. 有限个开子集之交仍是开子集. 任意个开子集之并仍是开子集. 把上述三个性质推广,就可以给任意集合定义开子集概念. 定义了开子集的集合叫做拓扑空间.

定义1 非空集合的一个拓扑(topology)的若干子集的集合,满足: (a); (b)若,则(其中代表这之交); (c)若,则.

/notes/ (b)条件中,一定是有限的;而(c)条件则允许无限个开子集之并.

定义2 指定了拓扑的集合称为拓扑空间(topological space). 拓扑空间的子集称为开子集(简称开集),若.

对于给定的具体集合,应选择哪一个拓扑使之成为一个拓扑空间?这取决于的自身性质及我们关心哪些方面的问题.

例1为任意非空集合,令的全部子集的集合,则它显然满足定义中的三个条件,故构成的一个拓扑,叫离散拓扑(discrete topology).

例2为任意非空集合,令,则它显然满足定义中的三个条件,故构成的一个拓扑,叫凝聚拓扑(indiscrete topology). 凝聚拓扑元素最少,而离散拓扑元素最多.

例3,则称为通常拓扑(usual topology),其中,开球(open ball)的定义为称为球心,称为半径. 今后将看作拓扑空间时,如无声明即指.

例4为拓扑空间,(即的卡氏积),定义的拓扑为,则称乘积拓扑(product topology).

例5是拓扑空间,的任一非空子集. 把看作集合,当然也可指定拓扑(记作,是的花体)使成为拓扑空间,记作. 定义,称作的、由导出的诱导拓扑(induced topology). 以后在把的子集看作拓扑空间时,如无声明都指,其中是由诱导的拓扑. 称为拓扑子空间(topological subspace).

接下来对定义了拓扑的集之间的映射就可以给出两种等价的连续性定义. 定义3a为拓扑空间. 映射称为连续的(continuous),若. 定义3b为拓扑空间. 映射称为在点处连续,若满足使. 称为连续,若它在所有点上连续.

定义4 拓扑空间称为互相同胚(homeomorphic to each other),若映射,满足(a)是一一到上的;(b)都连续. 这样的称为从同胚映射,简称同胚(homeomorphism).

/notes/ 一一到上而不同胚的映射之反例可由离散拓扑和凝聚拓扑来构造.

/notes/ 普通函数的连续性用表示,其中为非负整数,指其阶导数存在并连续,又称光滑(smooth). 用开子集的概念能将性推广至拓扑空间之间的映射,但是性则不能. 事实上,对拓扑空间中映射的最高要求即是同胚,因为同胚映射不仅在两个拓扑空间的点之间建立了一一对应的关系,而且还在两者的开子集之间建立了一一对应的关系,因而一切纯拓扑的性质都由同胚映射所联系起来,两个互相同胚的拓扑空间从纯拓扑学的角度来看就是相等的.

例6 任一开区间同胚.

例7 圆周配以由产生的诱导拓扑可看作拓扑空间. 显然是同胚映射,但是不同胚,证明要用到紧致性的概念.

定义5 称为的一个邻域(neighbourhood),若使. 自身是开集的邻域称为开邻域.

/notes/ 注意“擦边”的情况. 同时注意一个微妙的例子:在拓扑空间(定义的应该是中通常拓扑的诱导拓扑)中,的开邻域,而的邻域.

定义5'(子集的邻域) 称为的一个邻域,若使.

定理1-2-1 是开集,当且仅当的邻域.

证明 (A)充分性:假设为开集. 则使,则由定义5知的邻域. (B)必要性:假设的邻域. 令是定义5中满足),而,故,且,故,即证明了. 又由定义1知,故,即为开集.

定义6 闭集(closed set),若.

定理1-2-2 闭集有以下性质: (a)任意个闭集的交集是闭集; (b)有限个闭集的并集是闭集; (c)是闭集.

定义7 拓扑空间称为连通的(connected),若它除以外没有既开又闭的子集.

例9 设拓扑空间. 以代表由的通常拓扑在子集上的诱导拓扑,则拓扑空间的既开又闭的子集除了之外还有在诱导拓扑下自然是开的,而它们互为补集,所以又都是闭集),所以是不连通的. 这同直观理解相吻合.

为拓扑空间,,分别定义的闭包、内部和边界如下:

定义8 闭包(closure)是所有含的闭集的交集,即

定义9 内部(interior)是所有含于的开集的并集,即

定义10 边界(boundary)称为边界点. 也记作.

定理1-2-3 有以下性质: (a)当且仅当; (b)当且仅当; (c).

证明 (a)、(b)由定义易证. 对于(c),有. 而

且因为闭集,,又,故为开集,.

定义11 的开子集的集合的一个开覆盖(open cover),若. 也可以说覆盖.

定义1的开覆盖. 若的有限个元素构成的子集也覆盖,就说有限子覆盖(finite subcover).

定义2 紧致的(compact),若它的任意开覆盖都有有限子覆盖.

例1,则独点子集必紧致.

例2 不是紧致的.

证明代表自然数集,则的开覆盖,它没有有限子覆盖.

/notes/ 根据上面的例题,显然有:中的任意开区间有开覆盖,而它没有有限子覆盖,故中的任意开区间非紧致. 进一步说,中的任意开区间或半开区间都非紧致.

例3 不是紧致的.

定理1-3-1 的任一闭区间都紧致.

/notes/ 闭集不一定紧致,如就是闭集,但是不紧致.

定义3 拓扑空间空间豪斯多夫空间(Hausdorff space),若使.

/notes/ 常见的拓扑空间(如)都是空间. 凝聚拓扑空间是非空间的一例.

定理1-3-2空间,为紧集,则为闭集.

证明时定理显然成立,故以下设. 只需证明,为此只需证明使(见定理1-2-1). 因为空间,故给定后,使(如下图).

走遍便给出两个子集的集合. 显然,的开覆盖,的紧致性保证它必含有限子覆盖. 令,则有:(即). 于是由定理1-2-1知,故为闭.

定理1-3-3为紧致且为闭集,则为紧集.

证明为闭集,故为开集. 设的任一开覆盖,则的一个开覆盖(此处用到为闭集,为开集). 为紧集使存在有限子覆盖,而覆盖了的补集,故剩下的覆盖,从而为紧集.

/notes/ 之后的定理能证则证,毕竟不常用,暂时略过.

定义4 有界的(bounded),若开球使.

定理1-3-4 为紧集,当且仅当为有界闭集.

定理1-3-5紧致,连续,则紧致. 推论:同胚映射保持子集的连续性. 这是显然的,因为紧致性是纯拓扑性质.

定义5 在同胚映射下保持不变的性质称为拓扑性质(topological property)或拓扑不变性(topological invariance).

例4 紧致性、连通性和性都是拓扑性质. 有界性不是拓扑性质,例如开区间同胚于,但前者有界而后者无界. 由此还可看出长度也不是拓扑性质.

数学分析中有一个广为人知的定理:闭区间上的连续函数必在该区间上取得其最大值和最小值. 下述定理是这一定理的推广. 定理1-3-6紧致,连续,则有界并取得其最大值和最小值.

定理1-3-7紧致,则紧致(的乘积拓扑).

定理1-3-8 紧致,当且仅当它是有界闭集. 简单应用 之前的中例7提到过一个例子. 考虑. 设中的任一圆周,易知它是有界闭集,于是由定理1-3-8知它为紧致. 由定理1-3-5知连续映射保紧致性,而及其任一开区间都不紧致,可见不可能与或其任一开区间同胚. 类似地,由定理1-3-1、1-3-5知中任一闭区间都不可能与或其任一开区间同胚.

定义6 映射中的序列(sequence). 通常把序列记作,其中. 其实就是中编了次序的一串点.

定义7 叫做序列极限(limit),若对的任一开邻域存在使. 若的极限,就说收敛.

定义8 叫序列聚点(accumulation point),若的任一开邻域都含的无限多点.

/notes/ 的极限的聚点,但反之不一定.

元素个数有限的集称为有限集,否则为无限集. 对有限集总可将其元素编号,故有限集一定是可数集(countable set). 但无限集也不一定不可数,例如就是可数的无限集. 有限集比无限集简单,可数无限集比不可数无限集简单. 拓扑空间称为第二可数的(second countable),若存在可数子集使得任一可被表为[或]的元素之并. 例如,是第二可数的.

定理1-3-9紧致,则中任一序列都有在内的聚点. 反之,若为第二可数的且中任一序列都有在内的聚点,则紧致.


微分几何入门与广义相对论 Chapter1
http://physics-nya.github.io/2024/04/08/微分几何入门与广义相对论 Chapter1/
作者
Physics-nya
发布于
2024年4月8日
更新于
2024年5月15日
许可协议