Schnitt (Faserbündel)

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 g: B \to Y kann mit einer Funktion s:B \to E mit Werten in dem kartesischen Produkt E = B \times Y identifiziert werden. Die Funktion s hat die Form

s(x) = (x,g(x)) \in E.

Ist \pi : E = B \times Y \to B 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

Die Abbildung s ist ein Schnitt in einem Faserbündel p : EB. Dieser Schnitt s erlaubt es, den Basisraum B mit dem Teilraum s(B) von E zu identifizieren.

Es sei (E,B,π,F) ein Faserbündel, bestehend aus dem Totalraum E, dem Basisraum B, der Bündelprojektion \pi:E \to B und der Faser F. Ein (globaler) Schnitt in einem Faserbündel ist eine stetige Abbildung s : B \to E, so dass

(\pi \circ s)(x) = \pi(s(x)) = x

für alle x \in B 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 s:B \to E eine glatte Abbildung zwischen diesen Mannigfaltigkeiten ist, so spricht man auch über glatte (globale) Schnitte.

Beispiele

  1. Sei (F \times B,B,\pi,F) ein triviales Faserbündel und sei \pi: F \times B \to B die Projektion auf B. Die Schnitte s : B \to F \times B in diesem Faserbündel sind natürlich isomorph zu den stetigen Funktion B \to F.
  2. Eine Vektorfeld v an einer Mannigfaltigkeit M ist eine Abbildung v :M \to TM, welche jeden Punkt p \in M der Mannigfaltigkeit mit einem Punkt x \in T_pM des entsprechenden Tangentialraums paart. Der Punkt p wird also auf p \mapsto (p,x=g(p)) abgebildet.
  3. Ein weiteres sehr bekanntes Beispiel von Schnitten sind die Differentialformen. Dies sind Schnitte in der äußeren Potenz des Kotangentialbündels.
  4. 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 U \subset B eine offene Teilmenge. Ein lokaler Schnitt in einem Faserbündel (E,U,π,F) ist eine Abbildung s : U \to E, für welche ebenfalls π(s(x)) = x für alle x \in U gilt.

Literatur

  • Edwin H. Spanier: Algebraic Topology. 1. corrected Springer edition, Reprint. Springer, Berlin u. a. 1995, ISBN 3-540-90646-0.

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Schnitt — Schnitt, bzw. teils auch Schneiden, steht: im Sinne einschneiden für: eine mechanisch verursachte Verletzung, die Schnittwunde der chirurgischer Schnitt, die Inzision eine Eintiefung, siehe Kerbe ein grafisches Verfahren in Kunst und Buchdruck,… …   Deutsch Wikipedia

  • Faserbündel — Ein Faserbündel ist in der Mathematik, speziell in der Topologie, ein Raum, der lokal wie ein Produkt aussieht: Faserbündel kann man als stetige surjektive Abbildungen mit einer lokalen Trivialitätsbedingung auffassen: Für jeden Punkt von B gibt… …   Deutsch Wikipedia

  • Faserbuendel — Faserbündel als Totalraum mit Zusatzstruktur berührt die Spezialgebiete Mathematik Topologie ist Spezialfall von topologischer Raum umfasst als Spezialfälle …   Deutsch Wikipedia

  • Sphärenbündel — Faserbündel als Totalraum mit Zusatzstruktur berührt die Spezialgebiete Mathematik Topologie ist Spezialfall von topologischer Raum umfasst als Spezialfälle …   Deutsch Wikipedia

  • Schneiden — Schnitt, bzw. Schneiden steht für: ein zerteilendes Verfahren mittels eines Schneidwerkzeugs und die entstehende Fuge, siehe Trennen Zäsur, eine Unterbrechung Schnittwunde, eine mechanisch verursachte Verletzung Filmschnitt, die Bearbeitung und… …   Deutsch Wikipedia

  • Vektorbündel — (oder manchmal ausführlicher Vektorraumbündel) sind Familien von Vektorräumen, die durch die Punkte eines topologischen Raumes parametrisiert sind. Der Begriff der Basis einen Vektorraums kann auf diese speziellen Faserbündel verallgemeinert… …   Deutsch Wikipedia

  • Kovarianter Tensor — Dieser Artikel erläutert den mathematischen Begriff Tensor, die Muskeln werden unter Musculus tensor fasciae antebrachii, Musculus tensor fasciae latae, Musculus tensor tympani und Musculus tensor veli palatini erläutert. Dieser Artikel wurde auf …   Deutsch Wikipedia

  • Multilineare Algebra — Dieser Artikel erläutert den mathematischen Begriff Tensor, die Muskeln werden unter Musculus tensor fasciae antebrachii, Musculus tensor fasciae latae, Musculus tensor tympani und Musculus tensor veli palatini erläutert. Dieser Artikel wurde auf …   Deutsch Wikipedia

  • Tensorraum — Dieser Artikel erläutert den mathematischen Begriff Tensor, die Muskeln werden unter Musculus tensor fasciae antebrachii, Musculus tensor fasciae latae, Musculus tensor tympani und Musculus tensor veli palatini erläutert. Dieser Artikel wurde auf …   Deutsch Wikipedia

  • Tensorrechnung — Dieser Artikel erläutert den mathematischen Begriff Tensor, die Muskeln werden unter Musculus tensor fasciae antebrachii, Musculus tensor fasciae latae, Musculus tensor tympani und Musculus tensor veli palatini erläutert. Dieser Artikel wurde auf …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”