- Schnitt (Faserbündel)
-
Schnitte sind Abbildungen, welche in der algebraischen Topologie, insbesondere in der Homotopietheorie, untersucht werden. Insbesondere interessiert man sich dafür, unter welchen Bedingungen solche Abbildungen existieren. Das wahrscheinlich bekannteste Beispiel von Schnitten sind die Differentialformen.
Inhaltsverzeichnis
Motivation
Ein Schnitt kann als Verallgemeinerung des Graphen einer Funktion aufgefasst werden. Der Graph einer Abbildung kann mit einer Funktion mit Werten in dem kartesischen Produkt identifiziert werden. Die Funktion s hat die Form
Ist die Projektion auf die erste Komponente, so gilt π(s(x)) = x. Wie die folgende Definition zeigen wird, ist s ein Spezialfall eines Schnittes.
Mit Hilfe von Schnitten in Faserbündeln lässt sich obige Konstruktion auch auf Mengen E verallgemeinern, welche nicht aus kartesischen Produkten bestehen.
Definition
Es sei (E,B,π,F) ein Faserbündel, bestehend aus dem Totalraum E, dem Basisraum B, der Bündelprojektion und der Faser F. Ein (globaler) Schnitt in einem Faserbündel ist eine stetige Abbildung so dass
für alle gilt. Die Abbildung s ist also ein Rechtsinverses zur Bündelprojektion π. Die Menge der (globalen) Schnitte wird oftmals mit Γ(B,E) bezeichnet.
Bemerkung
Falls E und B glatte Mannigfaltigkeiten sind und eine glatte Abbildung zwischen diesen Mannigfaltigkeiten ist, so spricht man auch über glatte (globale) Schnitte.
Beispiele
- Sei ein triviales Faserbündel und sei die Projektion auf B. Die Schnitte in diesem Faserbündel sind natürlich isomorph zu den stetigen Funktion
- Eine Vektorfeld v an einer Mannigfaltigkeit M ist eine Abbildung , welche jeden Punkt der Mannigfaltigkeit mit einem Punkt des entsprechenden Tangentialraums paart. Der Punkt p wird also auf abgebildet.
- Ein weiteres sehr bekanntes Beispiel von Schnitten sind die Differentialformen. Dies sind Schnitte in der äußeren Potenz des Kotangentialbündels.
- Es sei ξ ein Vektorbündel, der Null-Schnitt ist definiert durch s(x) = 0 für alle x. Es interessiert jedoch, wann ein Vektorbündel Schnitte hat, welche nirgendwo Null sind. Diese Frage ist zum Beispiel wichtig, um die Orientierbarkeit einer Mannigfaltigkeit zu untersuchen. Ein wichtiges Resultat zu dieser Frage ist der Satz vom Igel.
Lokaler Schnitt
Allgemeine Faserbündel haben im Gegensatz zu den obigen Beispielen nicht immer (globale) Schnitte. Darum scheint es sinnvoll Schnitte lokal zu definieren.
Sei eine offene Teilmenge. Ein lokaler Schnitt in einem Faserbündel (E,U,π,F) ist eine Abbildung , für welche ebenfalls π(s(x)) = x für alle gilt.
Literatur
- Edwin H. Spanier: Algebraic Topology. 1. corrected Springer edition, Reprint. Springer, Berlin u. a. 1995, ISBN 3-540-90646-0.
Wikimedia Foundation.