主題
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 貢獻

使用 探索

引用為

Rowland, Todd. "霍普夫對映。" 來自 -- 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/HopfMap.html

主題分類