Hopf yapımı - Hopf construction

İçinde cebirsel topoloji, Hopf yapımı bir harita oluşturur katılmak X*Y iki boşluk X ve Y için süspansiyon SZ bir alanın Z haritanın dışında X×Y -e Z. Tarafından tanıtıldı Hopf  (1935 ) durumda ne zaman X ve Y kürelerdir. Whitehead (1942) onu tanımlamak için kullandı J-homomorfizm.

İnşaat

Hopf yapısı bir haritanın bileşimi olarak elde edilebilir

X*YS(X×Y)

ve süspansiyon

S(X×Y) → S(Z)

haritanın X×Y -e Z.

Haritadan X*Y -e S(X×Y) her iki tarafı da bir bölüm olarak ele alarak elde edilebilir X×Y×ben nerede ben birim aralığıdır. İçin X*Y biri tanımlar (x,y, 0) ile (z,y, 0) ve (x,y, 1) ile (x,z, 1) S(X×Y) formun tüm noktaları sözleşilir (x,y, 0) bir noktaya kadar ve ayrıca formun tüm noktalarını (x,y, 1) bir noktaya kadar. Yani harita X×Y×ben -e S(X×Y) aracılığıyla faktörler X*Y.

Referanslar

  • Hopf, H. (1935), "Über die Abbildungen von Sphären auf Sphäre niedrigerer Dimension", Fon, sermaye. Matematik., 25: 427–440
  • Whitehead, George W. (1942), "Kürelerin homotopi grupları ve rotasyon grupları hakkında", Matematik Yıllıkları İkinci Seri, 43 (4): 634–640, doi:10.2307/1968956, ISSN  0003-486X, JSTOR  1968956, BAY  0007107