Fixpunktsatz von Lefschetz

Fixpunktsatz von Lefschetz

Der Fixpunktsatz von Lefschetz ist eine Existenzaussage über Fixpunkte von gewissen stetigen Abbildungen. Grundlage des von Solomon Lefschetz 1926 bewiesenen[1] Satzes ist die sogenannte Lefschetz-Zahl, bei der es sich um eine Homotopie-Invariante handelt, die mit Hilfe relativ abstrakter Konzepte der algebraischen Topologie definiert ist.

Eine Verschärfung des Fixpunktsatzes ist die Fixpunktformel von Lefschetz, bei welcher die Lefschetz-Zahl als Summe über Fixpunktindizes ausgedrückt wird. Als Spezialfall des Lefschetz’schen Fixpunktsatz ergibt sich der Fixpunktsatz von Brouwer und eine weitreichende Verallgemeinerung dieses Satzes ist der Fixpunktsatz von Atiyah und Bott aus dem Bereich der Globalen Analysis.

Inhaltsverzeichnis

Lefschetz-Zahl

Die Lefschetz-Zahl lässt sich für jede stetige Selbstabbildung

f: X \rightarrow X\,

auf einem topologischen Raum X definieren, deren sämtliche Betti-Zahlen, das sind die Dimensionen der als Vektorräume aufgefassten singulären Homologie-Gruppen, endlich sind:

\Lambda_f:=\sum_{k\geq 0}(-1)^k\mathrm{Tr}(f_k|H_k(X,\mathbb{Q})),

Bei den Summanden der alternierenden Summe handelt es sich um die Spuren der auf den Homologie-Gruppen durch f induzierten Homomophismen fk. Lefschetz-Zahlen sind grundsätzlich ganze Zahlen. Aufgrund ihrer Definition ändern sie sich nicht beim Übergang zu einer homotopen Abbildung.

Die Lefschetz-Zahl zur identischen Abbildung ist gleich der Euler-Charakteristik

\chi(X) = \,\Lambda_{\mathrm{id}}.

Fixpunktsatz von Lefschetz

Beispielsweise im Fall, dass der topologische Raum eine endliche Triangulierung K besitzt (er ist dann insbesondere kompakt), kann die Lefschetz-Zahl bereits auf dem Niveau des zugeordneten endlichen Ketten-Komplexes C_*(K,\mathbb{Q}) berechnet werden. Konkret gilt für eine simpliziale Approximation fK der Abbildung f die sogenannte Lefschetz-Hopfsche-Spurformel[2]

\Lambda_f=\sum_{k\geq 0}(-1)^k\mathrm{Tr}(f^K_k|C_k(K,\mathbb{Q})).

Bei einer fixpunktfreien Selbstabbildung f, das heißt einer Abbildung f ohne Punkte x mit f(x) = x, kann dann mittels einer genügend verfeinerten Triangulierung Λf = 0 nachgewiesen werden.

Umgekehrt muss damit jede Selbstabbildung f mit einer Lefschetz-Zahl Λf ≠ 0 mindestens einen Fixpunkt besitzen. Dies ist die Aussage des Fixpunktsatzes von Lefschetz.

Fixpunktformel von Lefschetz

Die Lefschetz-Zahl einer Abbildung hängt nur von deren Verhalten in Umgebungen der Fixpunkt-Komponenten ab. Besitzt die Abbildung f nur isolierte Fixpunkte, kann die Lefschetz-Zahl durch die Formel

\Lambda_f = \sum_{x \in \mathrm{Fix}(f)} i(f,x)

ausgedrückt werden. Dabei bezeichnet Fix(f) die endliche Menge der isolierten Fixpunkte und i(f,x) den Fixpunkt-Index zum Fixpunkt x.

Der Fixpunkt-Index kann als Multiplizität des betreffenden Fixpunktes aufgefasst werden: Ist x ein im Inneren gelegener Fixpunkt eines Polyeders X, dann ist sein Fixpunkt-Index i(f,x) gleich dem Abbildungsgrad der auf einer kleinen Sphäre um x definierten Abbildung

g(y) = \frac{y - f(y)}{|| y - f(y) ||}.

Der Fixpunktsatz von Brouwer als Spezialfall

Da bei der abgeschlossenen n-dimensionalen Einheitskugel Dn für k ≥ 1 alle Homologie-Gruppen Hk(Dn, Q) verschwinden, ist die Lefschetz-Zahl jeder Selbstabbildung auf Dn gleich 1. Jede solche Abbildung muss also mindestens einen Fixpunkt besitzen.

Einzelnachweise

  1. S. Lefschetz: Intersections and transformations of complexes and manifolds, Transactions American Mathematical Society 1926, Bd.28, S.1-49 (Online)
  2. Heinz Hopf: A new proof of the Lefschetz formula on invariant points, Proceedings of the National Academy of Sciences of the USA, Bd. 14 (1928), S. 149-153 (Online)

Weblinks

Literatur


Wikimedia Foundation.

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

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

  • Lefschetz — Solomon Lefschetz, (* 3. September 1884 in Moskau; † 5. Oktober 1972 in Princeton, New Jersey, USA) war ein US amerikanischer Mathematiker, der vor allem auf dem Gebiet der Topologie und der Differentialgleichungen arbeitete. Leben und Werk Seine …   Deutsch Wikipedia

  • Fixpunktsatz — Ein Fixpunktsatz ist in der Mathematik ein Satz, der einem unter gewissen Voraussetzungen die Existenz von Fixpunkten einer Abbildung garantiert. Das heißt der Satz garantiert die Existenz eines Punktes mit . Inhaltsverzeichnis 1 Überblick …   Deutsch Wikipedia

  • Atiyah-Bott-Fixpunktsatz — Der Atiyah–Bott Fixpunktsatz, wurde 1966 von Michael Atiyah und Raoul Bott bewiesen und verallgemeinert den Fixpunktsatz von Lefschetz für glatte Mannigfaltigkeiten. Inhaltsverzeichnis 1 Vorbemerkungen 2 Atiyah Bott Fixpunktformel 3 Spezialfall …   Deutsch Wikipedia

  • Solomon Lefschetz — Solomon Lefschetz, (* 3. September 1884 in Moskau; † 5. Oktober 1972 in Princeton, New Jersey, USA) war ein US amerikanischer Mathematiker, der vor allem auf dem Gebiet der Topologie und der Differentialgleichungen arbeitete. Leben und Werk Seine …   Deutsch Wikipedia

  • Atiyah-Singer-Indextheorem — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Indextheorie — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Weil-Vermutungen — Die Weil Vermutungen, die seit ihrem endgültigen Beweis 1974 Theoreme sind, waren seit ihrer Formulierung durch André Weil 1949 über lange Zeit eine treibende Kraft im Grenzgebiet zwischen Zahlentheorie und algebraischer Geometrie. Sie machen… …   Deutsch Wikipedia

  • Jörg Bewersdorff — (* 1. Februar 1958 in Neuwied) ist ein deutscher Mathematiker, Sachbuchautor und Spieleentwickler. Jörg Bewersdorff (2006) Bewersdorff studierte im Anschluss an sein Abitur am Werner Heisenberg Gymnasium in Neuwied ab 1975 Mathematik und… …   Deutsch Wikipedia

  • Singuläre Homologie — ist eine Methode der algebraischen Topologie, die einem beliebigen topologischen Raum eine Folge von abelschen Gruppen zuordnet. Anschaulich gesprochen zählt sie die verschieden dimensionalen Löcher eines Raumes. Gegenüber den ähnlich gearteten… …   Deutsch Wikipedia

Share the article and excerpts

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