Bettizahl

Im mathematischen Teilgebiet der Topologie sind die Bettizahlen eine Folge nichtnegativer ganzer Zahlen, die globale Eigenschaften eines topologischen Raumes beschreiben. Von Henri Poincaré wurde gezeigt, dass sie topologische Invarianten sind. Dieser benannte die Zahlen nach dem Mathematiker Enrico Betti, da sie eine Verallgemeinerung der von E. Betti eingeführten Flächenzahlen sind.

Inhaltsverzeichnis

Definition

Es sei X ein topologischer Raum. Dann ist die i-te Bettizahl von X

b_i(X) = \dim_{\mathbb Q}H_i(X,\mathbb Q) für i=0,1,2,\ldots

Dabei bezeichnet H_i(X,\mathbb Q) die i-te singuläre Homologiegruppe mit Koeffizienten in den rationalen Zahlen.

Anschauung

Der Torus

Obwohl die Definition der Bettizahlen sehr abstrakt ist, steckt hinter dieser eine Anschauung. Die Bettizahlen geben an, wie viele k-dimensionale nicht zusammenhängende Flächen der entsprechende topologische Raum hat. Die ersten drei Bettizahlen besagen anschaulich also:

  • b0 ist die Anzahl der Wegzusammenhangskomponenten.
  • b1 ist die Anzahl der „zweidimensionalen Löcher“.
  • b2 ist die Anzahl der dreidimensionalen Hohlräume.

Der rechts abgebildete Torus (gemeint ist Oberfläche) besteht aus einer Zusammenhangskomponente, hat zwei „zweidimensionale Löcher“, zum einen das in der Mitte, zum andern das im Inneren des Torus, und hat einen dreidimensionalen Hohlraum. Die Bettizahlen des Torus sind daher 1, 2, 1, die weiteren Bettizahlen sind null.

Ist der zu betrachtende topologische Raum jedoch keine orientierbare kompakte Mannigfaltigkeit, so versagt diese Anschauung allerdings schon.

Eigenschaften

bk = bnk.
  • Für jede n-dimensionale Mannigfaltigkeit X gilt bk = 0 für k > n.
  • Für zwei topologische Räume X und Y gilt
    
b_n(X\times Y)=\sum_{\lambda+\mu=n}b_\lambda(X)b_\mu(Y).
    Das ist eine direkte Folgerung aus dem Satz von Künneth.

Beispiele

  • Die Bettizahlen der n-Sphäre sind
b_k(S^n)=\begin{cases}1&\mathrm{f\ddot ur}\ k=0\ \mathrm{und}\ k=n\\0&\mathrm{sonst}\end{cases}
  • Die Bettizahlen der reellen projektiven Ebene sind 1,0,0,0,\ldots, genau wie die eines einzelnen Punktes und jeder konvexen Menge im \mathbb R^n. Zwei sehr verschiedene Räume können also in allen Bettizahlen übereinstimmen.

Verwandte Begriffe

Die Euler-Charakteristik ist die alternierende Summe der Bettizahlen, d.h.

\begin{align}
\chi(X) &= b_0(X) - b_1(X) + b_2(X) \mp\cdots \\
        &= \sum_{i=0,1,\dots}^{} (-1)^i b_i(X)
\end{align}

Literatur

Einzelnachweise

  1. Hatcher, Algebraic Topology, http://www.math.cornell.edu/~hatcher/AT/ATpage.html Proposition 2.7

Weblinks


Wikimedia Foundation.

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

  • Andre Weil — André Weil (* 6. Mai 1906 in Paris; † 6. August 1998 in Princeton) war ein französischer Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk 3 Werke 4 …   Deutsch Wikipedia

  • Betti — ist eine Namensvariante von Elisabeth Betti ist der Familienname folgender Personen: Biagio Betti (1535–1605), italienischer Maler Carlo Giuliano Betti, italienischer regisseur und Drehbuchautor Dino Betti van der Noot (* 1936), italienischer… …   Deutsch Wikipedia

  • Betti-Zahl — Im mathematischen Teilgebiet der Topologie sind die Bettizahlen (nach E. Betti) eine Folge nichtnegativer ganzer Zahlen, die globale Eigenschaften eines topologischen Raumes beschreiben. Sie sind topologische Invarianten. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Bettische Zahl — Im mathematischen Teilgebiet der Topologie sind die Bettizahlen (nach E. Betti) eine Folge nichtnegativer ganzer Zahlen, die globale Eigenschaften eines topologischen Raumes beschreiben. Sie sind topologische Invarianten. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Bettische Zahlen — Im mathematischen Teilgebiet der Topologie sind die Bettizahlen (nach E. Betti) eine Folge nichtnegativer ganzer Zahlen, die globale Eigenschaften eines topologischen Raumes beschreiben. Sie sind topologische Invarianten. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Euler-Charakteristik — Die Euler Charakteristik ist im mathematischen Teilgebiet der Topologie eine Kennzahl für geschlossene Flächen. Als Bezeichnung verwendet man üblicherweise χ. Benannt ist sie nach dem Mathematiker Leonard Euler, der 1758 bewies, dass für E die… …   Deutsch Wikipedia

  • Morse-Theorie — Die Morsetheorie aus dem Bereich der Differentialtopologie gibt einen sehr direkten Zugang zur Analyse der Topologie einer Mannigfaltigkeit über das Studium differenzierbarer Funktionen auf dieser Mannigfaltigkeit. Die wesentlichen Einsichten… …   Deutsch Wikipedia

  • Situs (Mathematik) — Eine Grothendieck Topologie ist ein mathematisches Konzept, das es erlaubt, in einem abstrakten kategoriellen Rahmen eine Garbentheorie und eine Kohomologietheorie zu entwickeln. Eine Kategorie, auf der eine Grothendieck Topologie erklärt ist,… …   Deutsch Wikipedia

Share the article and excerpts

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