ormula_8 映射的同伦类，这是 U(1) 的分类空间。参见U(n)的分类空间。用同伦理论的话说，周圆与去掉原点的复平面是等价的。利用配丛构造，圆丛等价于光滑复线丛因为两者的转移函数都在 C* 中。在此情形，圆丛的欧拉类或实二维平面丛与线丛的第一陈类相同。又见：王序列（王宪忠）