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