Homologie (Mathematik) - LinkFang.de





Homologietheorie

(Weitergeleitet von: Homologietheorie)

Eine Homologie (griechisch: oμóς, homos = gleich, λόγος, logos = Sinn) ist ein mathematisches Objekt. Sie ist eine Folge von mathematischen Objekten, den Homologiegruppen. Zu den wichtigsten Ausprägungen einer Homologie zählt die singuläre Homologie. Homologien wurden im Bereich der algebraischen Topologie entwickelt. Später wurden sie auch als rein algebraische Objekte betrachtet, woraus sich das Teilgebiet der homologischen Algebra entwickelte. Die ursprüngliche Motivation, Homologiegruppen zu definieren, war die Beobachtung, dass sich Formen durch ihre Löcher unterscheiden lassen (beispielsweise in der Klassifikation der Flächen). Da Löcher aber "nicht da" sind, ist es nicht offensichtlich, wie man Löcher mathematisch definieren kann. Die Homologie ist ein mathematischer Ansatz die Existenz von Löchern zu formalisieren. Gewisse "sehr feine" Löcher sind für die Homologie unsichtbar; hier kann u.U. auf die schwerer zu bestimmenden Homotopiegruppen zurückgegriffen werden.

Im Bereich der algebraischen Topologie sind die Homologien beziehungsweise die Homologiegruppen Invarianten eines topologischen Raums, sie helfen also dabei topologische Räume zu unterscheiden.

Konstruktion von Homologiegruppen

Man geht im Allgemeinen wie folgt vor: Einem mathematischen Objekt [math]X[/math] wird zunächst ein Kettenkomplex zugeordnet, der Information über [math]X[/math] enthält. Ein Kettenkomplex ist eine Folge von Moduln [math]A_0, A_1, \dots[/math] verbunden durch Homomorphismen [math]d_n\colon A_n \to A_{n-1}[/math], so dass die Hintereinanderausführung je zweier dieser Abbildungen die Nullabbildung ist: [math]d_n\circ d_{n+1} = 0[/math] für jedes n. Dies bedeutet, dass das Bild der (n+1)-ten Abbildung stets im Kern der n-ten Abbildung enthalten ist. Man definiert nun die n-te Homologiegruppe von X als den Quotientenmodul

[math]\,H_n(X) = \mathrm{ker}(d_n) / \mathrm{im}(d_{n+1}).[/math]

Ein Kettenkomplex heißt exakt, wenn das Bild der (n+1)-ten Abbildung stets der Kern der n-ten Abbildung ist; die  Homologiegruppen  von [math]X[/math] messen also, „wie unexakt“ der [math]X[/math] zugeordnete Kettenkomplex ist.

Beispiele

Das erste Beispiel stammt aus der algebraischen Topologie: die simpliziale Homologie eines simplizialen Komplex [math]X[/math]. Hier ist [math]A_n[/math] der freie Modul über den n-dimensionalen orientierten Simplizes von [math]X[/math]. Die Abbildungen [math]d_n[/math] heißen Randabbildungen und bilden das Simplex mit den Ecken

[math] (a[0], a[1], \dots, a[n]) [/math]

auf die alternierende Summe der „Randflächen“

[math] \sum_{i=0}^n (-1)^i(a[0], \dots, a[i-1], a[i+1], \dots, a[n]) [/math]

ab.

Für Moduln über einem Körper (d. h. Vektorräume) beschreibt die Dimension der n-ten Homologiegruppe von [math]X[/math] die Anzahl der n-dimensionalen Löcher von [math]X[/math].

Mit diesem Beispiel kann man eine simpliziale Homologie für jeden topologischen Raum definieren. Der Kettenkomplex für [math]X[/math] wird so definiert, dass [math]A_n[/math] der freie Modul über allen stetigen Abbildungen vom n-dimensionalen Einheitssimplex nach [math]X[/math] ist. Die Homomorphismen [math]d_n[/math] ergeben sich aus den simplizialen Randabbildungen.

In der homologischen Algebra benutzt man Homologie, um abgeleitete Funktoren zu definieren. Man betrachtet dort einen additiven Funktor [math]F[/math] und einen Modul [math]X[/math]. Der Kettenkomplex für [math]X[/math] wird wie folgt konstruiert: [math]F_1[/math] sei ein freier Modul und [math]p_1\colon F_1 \to X[/math] ein Epimorphismus, [math]F_2[/math] sei ein freier Modul, der die Eigenschaft besitzen soll, dass ein Epimorphismus [math]p_2\colon F_2 \to \mathrm{ker}\,p_1[/math] existiert, [math]\ldots[/math] Man erhält also eine Sequenz freier Moduln [math]F_n[/math] und Homomorphismen [math]p_n\colon F_n \to F_{n-1}[/math] und durch Anwendung von [math]F[/math] einen Kettenkomplex. Die n-te Homologie [math]H_n[/math] dieses Komplexes hängt, wie man zeigen kann, nur von [math]F[/math] und [math]X[/math] ab. Man schreibt [math]H_n =: D^n F(X)[/math] und nennt [math]D^nF[/math] den n-ten abgeleiteten Funktor von [math]F[/math].

Homologiefunktoren

Die Kettenkomplexe bilden eine Kategorie: Ein Morphismus – man sagt: eine Kettenabbildung – vom Kettenkomplex [math](A_n, d^A_n)[/math] in den Kettenkomplex [math](B_n, d^B_n)[/math] ist eine Folge von Modulhomomorphismen [math]f_n\colon A_n \to B_n[/math], so dass [math]f_{n-1} \circ d^A_n = d_n^B \circ f_n[/math] für jedes n. Die n-te Homologiegruppe [math]H_n[/math] kann man als Funktor von der Kategorie der Kettenkomplexe in die Kategorie der Moduln über [math]R[/math] auffassen.

Wenn der Kettenkomplex von [math]X[/math] funktoriell abhängt (d. h. jeder Morphismus [math]X \to Y[/math] induziert eine Kettenabbildung vom Kettenkomplex von [math]X[/math] in den von [math]Y[/math]), dann sind die [math]H_n[/math] Funktoren von der Kategorie, zu der [math]X[/math] gehört, in die Kategorie der Moduln.

Ein Unterschied zwischen Homologie und Kohomologie liegt darin, dass die Kettenkomplexe in der Kohomologie kontravariant von [math]X[/math] abhängen und daher die Homologiegruppen (die dann Kohomologiegruppen genannt werden und in diesem Kontext mit [math]H^n[/math] bezeichnet werden) kontravariante Funktoren sind. Des Weiteren hat man meist auf der graduierten Kohomologiegruppe eine kanonische Ringstruktur, etwas Vergleichbares gibt es auf dem Niveau der Homologie nicht.

Eigenschaften

Ist [math](A_n, d_n)[/math] ein Kettenkomplex, so dass alle (bis auf endlich viele) [math]A_n[/math] null sind und alle anderen endlich erzeugte freie Moduln sind, dann kann man die Euler-Charakteristik

[math] \chi = \sum (-1)^n \, \mathrm{rank}\,(A_n) [/math]

definieren. Man kann zeigen, dass die Euler-Charakteristik auch auf dem Homologielevel berechnet werden kann:

[math] \chi = \sum (-1)^n \, \mathrm{rank}(H_n) [/math]

In der algebraischen Topologie liefert das zwei Wege, die Invariante [math]\chi[/math] für das Objekt [math]X[/math], aus dem der Kettenkomplex erzeugt wurde, auszurechnen.

Jede kurze exakte Sequenz

[math] 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0 [/math]

von Kettenkomplexen liefert eine lange exakte Sequenz der Homologiegruppen

[math] \cdots \rightarrow H_n(A) \rightarrow H_n(B) \rightarrow H_n(C) \rightarrow H_{n-1}(A) \rightarrow H_{n-1}(B) \rightarrow H_{n-1}(C) \rightarrow H_{n-2}(A) \rightarrow \cdots \,[/math]

Alle Abbildungen dieser exakten Sequenz sind durch die Abbildungen zwischen den Kettenkomplexen induziert, außer den Abbildungen [math] H_n(C) \rightarrow H_{n-1}(A) [/math], die verbindende Homomorphismen genannt werden und deren Existenz mit dem Schlangenlemma bewiesen wird.

Siehe auch

Weblinks


Kategorien: (Ko)Homologietheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Homologietheorie (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.