Euclidean 射影空间的 quotient 初看起来很 trivial, 但是一旦推广到复数四元数, 就出现看起来不 trivial 的 Hopf bundle, 一种纤维丛. 实数的情况是 丛. 四元数 Hopf bundle 的情况还可能和 exotic 的构造有关
or 复数 版本的 Hopf-bundle
[Hopf-bundle]
嵌入 , in 使用 作为 球极投影 坐标
球极投影两个坐标的转换函数 or
不改变射影结果 e.g.
是 上的 丛
用两个球极投影坐标来构造丛坐标
和
以及转换函数 or
可以先 quotient
此时球极投影的 表示
不改变射影结果
是 上的 丛
用两个球极投影坐标来构造丛坐标
和
以及转换函数 or