定义1:设是一个拓扑空间,如果
满足以下三个条件:(1)Hausdorff公理,(2)第二可数性,(3)
的任意一点都存在一个邻域与
维欧式空间
的一个开集同胚,则称
为一个
维拓扑流形。
定义2:设是一个
维拓扑流形,
是
的一些坐标卡的集合,如果
满足以下条件:(1)
是
的一个开覆盖,(2)
中任意两个成员都是光滑相关的,(3)
是极大的,则称
是一个光滑结构,指定了光滑结构
的
维拓扑流形
称为
维光滑流形。
关于拉回映射(pulling back)和推前映射(push forward),《Gauge Fields, Knots and Gravity》(以下简称Knots书)以及梁灿彬书里的定义是一致的,详见如下。
拉回映射:流形和流形
之间存在一个映射
,流形
到实数
之间存在一个映射
,那么函数
和
的复合就是流形
到实数
的一个映射,
,pulling back的定义为
,其意义是说本来
是从
到
之间的一个映射,是一个前向的过程,
也是一个前向的过程,
却把本来是
到
之间的映射拉回到了
到
之间的映射,所以称之为拉回映射,同时这样的一个拉回的过程也称为是逆变的。
推前映射:设,
,
,也就是说
,这样一个推前的过程称之为协变的过程。
网友评论