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 曲面.