主题
Search

霍普夫映射


发现的第一个从高维球面到低维球面映射的例子,该映射不是零的。它的发现震惊了数学界,因为当时人们认为,与同调群类似,所有这样的映射都是零的。

霍普夫映射 f:S^3->S^2 出现在许多上下文中,并且可以推广到映射 S^7->S^4。对于球面上的任何点 p,其原像 f^(-1)(p)S^3 中的一个圆 S^1。 霍普夫映射有几种描述,也称为霍普夫纤维化。

作为 R^4子流形,3-球面

 S^3={(X_1,X_2,X_3,X_4):X_1^2+X_2^2+X_3^2+X_4^2=1},
(1)

并且 2-球面R^3子流形

 S^2={(x_1,x_2,x_3):x_1^2+x_2^2+x_3^2=1}.
(2)

霍普夫映射将 3-球面上的点 (X_1, X_2, X_3, X_4) 映射到 2-球面上的点 (x_1, x_2, x_3)

x_1=2(X_1X_2+X_3X_4)
(3)
x_2=2(X_1X_4-X_2X_3)
(4)
x_3=(X_1^2+X_3^2)-(X_2^2+X_4^2).
(5)

2-球面上的每个点都对应于 3-球面上的一个,称为霍普夫圆。

HopfMap

通过球极投影,3-球面可以映射到 R^3,其中无穷远点对应于北极。 作为从 R^3 的映射,霍普夫映射可能非常复杂。上面的图表显示了一些原像 f^(-1)(p),称为霍普夫圆。 直线红线是通过无穷远的圆。

通过将 R^4C^2 关联,该映射由 f(z,w)=z/w 给出,这给出了到黎曼球面的映射。

霍普夫纤维化是一个纤维化

 S^1->S^3->S^2,
(6)

实际上是一个主丛。 相关的向量丛

 L=S^3×C/U(1),
(7)

其中

 ((z,w),v)∼((e^(it)z,e^(it)w),e^(-it)v)
(8)

S^2 上的复线丛。 实际上,球面上的线丛集合在向量丛张量积下形成一个群,并且丛 L 生成所有这些线丛。 也就是说,球面上的每个线丛都是 L^( tensor k) 对于某个 k

球面 S^3 是单位四元数李群,并且可以等同于特殊酉群 SU(2),它是 SO(3)单连通双重覆盖。 霍普夫丛是商映射 S^2=SU(2)/U(1)


另请参阅

纤维化, 纤维丛, 齐性空间, 主丛, 球极投影, 向量丛

此条目由 Todd Rowland 贡献

使用 Wolfram|Alpha 探索

引用为

Rowland, Todd. "霍普夫映射。" 来自 MathWorld-- Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/HopfMap.html

主题分类