1. Hopf 流形
目录
1.1定义
回忆度量空间之间的压缩映射 是指存在 使得对任意 这里 是距离函数.
设 . 再设 是保持原点的双全纯压缩映射, 我们定义 上的 -作用为 , 其显然是自由作用. 因为 是压缩映射, 则对任意紧集 和任意 的邻域 , 都存在一个正整数 使得对于任何正整数 有 . 因此对于任意紧子集 , 只有有限个 使得 . 这样根据 [Bourbaki, III.p34, Remarque], 紧和作用在 上. 若 是 -作用的图像, 即 根据 [Bourbaki, III.p31, Prop.6], 映射 是连续映射. 于是根据 [Dieck, Proposition 14.1.12] 和 [Varadarajan, Corollary 2.9.12], 是复流形, 且 是 -主覆叠空间. 于是我们定义
定义 1.1.1. 称为 维 Hopf 流形. 二维时也称 Hopf 曲面.