Euler-Charakteristik

Die Euler-Charakteristik ist im mathematischen Teilgebiet der Topologie eine Kennzahl / topologische Invariante für topologische Räume, zum Beispiel für geschlossene Flächen. Als Bezeichnung verwendet man üblicherweise $\chi$.

Benannt ist sie nach dem Mathematiker Leonhard Euler, der 1758 bewies, dass für $E$ die Anzahl der Ecken, $K$ die Anzahl der Kanten und $F$ die Anzahl der Flächen eines konvexen Polyeders die Beziehung $E-K+F=2$ gilt. Diese spezielle Aussage heißt eulerscher Polyedersatz. Man kann die Euler-Charakteristik, also die Zahl $E-K+F$, allgemeiner auch für CW-Komplexe definieren. Diese Verallgemeinerung nennt man auch Euler-Poincaré-Charakteristik, was auf den Mathematiker Henri Poincaré hinweisen soll. Flächen, die unter topologischen Gesichtspunkten als gleich angesehen werden, haben dieselbe Euler-Charakteristik. Sie ist deshalb eine ganzzahlige topologische Invariante. Die Euler-Charakteristik ist ein wichtiges Objekt im Satz von Gauß-Bonnet. Dieser stellt nämlich einen Zusammenhang zwischen der gaußschen Krümmung und der Euler-Charakteristik her.

Definition

Für Flächen

Eine geschlossene Fläche $S$ lässt sich stets triangulieren, das heißt man kann sie immer mit einem endlichen Dreiecksgitter überziehen. Die Euler-Charakteristik $\chi$ ist dann definiert als

$\chi _{E}(S):=E-K+F$.

wobei mit $E$ die Anzahl der Ecken, $K$ die Anzahl der Kanten und mit $F$ die Anzahl der Dreiecke in der Triangulierung gemeint ist.

Die Euler-Charakteristik für ein Polyeder auf einer geschlossenen Fläche

$\chi _{E}(S)=E-K+F=\sum _{i=0}^{2}(-1)^{i}k_{i}$

unterscheidet sich von der Euler-Charakteristik des gleichen Polyeders betrachtet als dreidimensionaler Zell-Komplex

$\chi (S)=E-K+F-Z=\sum _{i=0}^{3}(-1)^{i}k_{i}$

durch eine etwas unterschiedliche Definition, daher ergibt sich für ein konvexes Polyeder aus einer Zelle ein $\chi =1$ und ein $\ \chi _{E}=\chi +Z=2$.

Für Zellkomplexe

Sei $X$ ein topologischer Raum, der ein endlichdimensionaler Zellkomplex $T$ ist. Mit $k_{i}$ werde die Anzahl der Zellen der Dimension $i$ bezeichnet und $n$ sei die Dimension des Zellkomplexes. Dann ist die Euler-Charakteristik durch die alternierende Summe

$\chi (X):=\chi (T)=\sum _{i=0}^{n}(-1)^{i}k_{i}$

definiert. Diese Euler-Charakteristik für Zellkomplexe wird auch Euler-Poincaré-Charakteristik genannt. Zerlegt man den Raum statt in Zellen in Simplizes, so kann man die Euler-Charakteristik auch analog durch den so erhaltenen Simplizialkomplex $C$ definieren. Für die Euler-Charakteristik gilt

$\chi (X):=\chi (C)=\sum _{i=0}^{n}(-1)^{i}f_{i}$

wobei $f_{i}$ die Anzahl der $i$-dimensionalen Simplizes von $C$ ist. Für einen Simplizialkomplex eines zweidimensionalen Raums erhält man mit $E=f_{0}$, $K=f_{1}$ und $F=f_{2}$ die Definition der Euler-Charakteristik auf Flächen wieder. Der Wert der Charakteristik ist unabhängig von der Art der Berechnung.

Definition mittels singulärer Homologie

Sei $X$ wieder ein topologischer Raum. Der Rang der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} -ten singulären Homologiegruppen heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i} -te Bettizahl und wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b_i} bezeichnet. Wenn die singulären Homologiegruppen endlichen Rang haben und nur endlich viele Bettizahlen ungleich null sind, dann ist die Euler-Charakteristik von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(X) := \sum_{i=0}^n (-1)^i b_i = \sum_{i=0}^n (-1)^i \dim(H_i(X))}

definiert. Falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein CW-Komplex ist, dann gibt diese Definition den gleichen Wert wie in der Definition für CW-Komplexe. Beispielsweise erfüllt eine geschlossene, orientierbare differenzierbare Mannigfaltigkeit die Voraussetzungen an die singuläre Homologie.

Eigenschaften

Wohldefiniertheit

Eine wichtige Beobachtung ist, dass die gegebene Definition unabhängig vom gewählten Dreiecksgitter ist. Dies lässt sich zeigen, indem man zu einer gemeinsamen Verfeinerung gegebener Gitter übergeht, ohne dass sich die Euler-Charakteristik dabei ändert.

Da Homöomorphismen eine Triangulierung erhalten, ist die Euler-Charakteristik darüber hinaus sogar nur vom topologischen Typ abhängig. Umgekehrt folgt aus einer unterschiedlichen Euler-Charakteristik zweier Flächen, dass sie topologisch verschieden sein müssen. Daher nennt man sie eine topologische Invariante.

Zusammenhang zum Geschlecht der Fläche

Die Euler-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi} und das Geschlecht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} der Fläche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} hängen zusammen. Ist die Fläche Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} orientierbar, dann gilt die Beziehung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(S) = 2 - 2g,}

ist die Fläche nicht orientierbar, so gilt hingegen die Gleichung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(S) = 2 - g.}

Diese Formel für orientierbare Flächen ergibt sich folgendermaßen: Wir starten mit einer 2-Sphäre, also einer Fläche vom Geschlecht 0 und Euler-Charakteristik 2. Eine Fläche vom Geschlecht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} erhält man daraus durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} -fache Bildung der verbundenen Summe mit einem Torus. Die verbundene Summe lässt sich so einrichten, dass die Verklebung jeweils entlang eines Dreiecks der Triangulierung erfolgt. Es ergibt sich pro Verklebung die folgende Bilanz:

• Flächen: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F'=F-2} (die beiden Verklebeflächen)
• Kanten: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K'=K-3} (je 3 Kanten werden verklebt, sie zählen dann nur noch einmal)
• Ecken: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E'=E-3} (je 3 Ecken werden verklebt, sie zählen ebenfalls nur noch einmal)

insgesamt also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi'=\chi - 3 + 3 - 2= \chi-2} . Durch jeden der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} Tori verringert sich die Euler-Charakteristik also um 2.

Zusammenhang mit dem eulerschen Polyedersatz

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} ein konvexes Polyeder, das man in das Innere einer 2-Sphäre Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{S}^2} einbetten kann. Nun kann man die Ecken, Kanten und Außenflächen diese Polyeders als Zellen eines CW-Komplexes betrachten. Auch die singulären Homologiegruppen des Komplexes sind endlichdimensional. Da das Polyeder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} orientierbar ist und Geschlecht 0 hat folgt aus obigem Abschnitt, dass die Euler-Charakteristik den Wert 2 hat. Insgesamt ergibt sich also die Formel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E - K + F = 2} ,

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} die Anzahl der Ecken, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} die der Kanten und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} die Anzahl der Flächen beschreibt. Diese Formel heißt eulersche Polyederformel.

Beispiele

• Die 2-Sphäre Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S^2} hat die Euler-Charakteristik 2.
• Die reelle projektive Ebene Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R P^2} ist nicht orientierbar und hat die Euler-Charakteristik 1.
• Der Torus hat die Euler-Charakteristik 0.
• Jede ungerade-dimensionale geschlossene Mannigfaltigkeit hat Euler-Charakteristik 0. (Das folgt aus Poincaré-Dualität.)
• Die Euler-Charakteristik gerade-dimensionaler geschlossener Mannigfaltigkeiten kann mittels ihrer Krümmung berechnet werden, siehe Satz von Chern-Gauß-Bonnet.

Verbindung zur Euler-Klasse

Für geschlossene, orientierbare, differenzierbare Mannigfaltigkeiten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} mit Tangentialbündel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle TM} und Fundamentalklasse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left[M\right]} kann die Euler-Charakteristik von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} auch äquivalent durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle e(TM),\left[M\right] \rangle=\chi(M)} definiert werden, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e(TM)} die Euler-Klasse von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle TM} ist.

Literatur

• H. Graham Flegg: From Geometry to Topology. Dover, Mineola NY 2001, ISBN 0-486-41961-4, S. 40 ff.
• S.V. Matveev: Euler characteristic. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online). Vorlage:EoM/id

Weblinks

• Eric W. Weisstein: Euler Characteristic. In: MathWorld (englisch).