Im mathematischen Teilgebiet der Algebraischen Topologie ist die Hopf-Konstruktion eine spezielle Zuordnung für stetige Abbildungen aus einem Produkt topologischer Räume auf eine andere stetige Abbildung durch die Verwendung der topologischen Konstruktionen von Verbund und Einhängung. Die Hopf-Konstruktion lässt sich allgemein in der Homotopietheorie anwenden, da die Einschränkung auf die Homotopieklassen der stetigen Abbildungen wohldefiniert ist, sowie für die Verknüpfungsabbildung von topologischen Gruppen. Bekannte Anwendungen sind die Konstruktion von Hopf-Faserungen und dem J-Homomorphismus. Sie ist benannt nach dem deutsch-schweizerischen Mathematiker Heinz Hopf.

Definition

Bearbeiten

Für topologische Räume   und   gibt es eine kanonische Abbildung   von ihrem Verbund in die Einhängung ihres Produktes. Beide Räume sind Quotientenräume von  , wobei für den Verbund die Teilmengen   und   nur entlang von jeweils   und   kollabiert werden, während sie in der Einhängung komplett kollabiert werden, also die Äquivalenzrelation für letztere stärker ist.

Für einen weiteren topologischen Raum   und eine stetige Abbildung   ist die Abbildung   ihre Hopf-Konstruktion. Da homotope Abbildungen homotope Einhängungen haben und die Komposition mit einer anderen Abbildung homotope Abbildungen erhält, haben homotope Abbildungen homotope Hopf-Konstruktionen, wodurch diese als Abbildung   wohldefiniert sind.

Anwendung

Bearbeiten

Insbesondere verfügt eine topologische Gruppe (oder allgemeiner ein H-Raum)   über eine stetige Verknüpfung   und daher durch die Hopf-Konstruktion über eine kanonische Abbildung  . Da Verbund und Einhängung von Sphären wieder Sphären ergeben mit   und  , erzeugt eine Sphäre   mit einer stetigen Verknüpfungsabbildung über deren Hopf-Konstruktion eine stetige Abbildung  . Dies sind genau die Abbildungen, für die die Hopf-Invariante definiert ist.

Jedoch ist die Sphäre   keine topologische Gruppe (und nicht einmal ein H-Raum) für  . Das hängt mit der Existenz der vier Divisionsalgebren  ,  ,   und   in einer Dimension höher zusammen, da deren Multiplikation auf der Einheitskugel betrachtet werden kann.   ist diffeomorph zur orthogonalen Lie-Gruppe  ,   ist diffeomorph zur unitären Lie-Gruppe  ,   ist diffeomorph zur speziellen unitären Lie-Gruppe   und   verfügt über die Moufang-Struktur. Die jeweiligen Hopf-Konstruktionen sind eine Möglichkeit zur Erzeugung der vier Hopf-Faserungen.

Literatur

Bearbeiten
Bearbeiten