##  [Homologiegruppe](/de/node/57815) 

 Definition

Eine Homologiegruppe ist ein algebraisches Invariant eines topologischen Raums, gewonnen durch Bilden von Zyklen modulo Ränder in einem Kettenkomplex; sie misst k‑dimensionale ‚Löcher‘ und ist nach der Dimension graduiert.

 

 

 

 

 

 





## Prinzip

Prinzip

Baue Kettengruppen aus formalen Linearkombinationen von k‑Simplices (oder singulären k‑Ketten), wende den Randoperator an, um Zyklen (Kernel) und Ränder (Bild) zu definieren, und bilde den Quotienten H_k = Ker(∂_k)/Im(∂_{k+1}).

 

 

 

 

 





## Demonstration

Demonstration

Für einen Torus T^2 gilt H_1(T^2) ≅ Z⊕Z: je ein Erzeuger für jede unabhängige nicht zusammenziehbare Schleife (Meridian und Längskreis), während H_0 ≅ Z die Zusammenhangskomponenten erfasst.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Homologiegruppen zur Unterscheidung von Räumen zu verwenden, die zwar homotopieäquivalent sind, sich aber in feineren Invarianten unterscheiden (z. B. Torsion in der Kohomologie), kann irreführend sein, wenn Koeffizientenwahl und höhere Homotopie ignoriert werden.

 

 

 

 

 





## Konsequenz

Konsequenz

Homologiegruppen liefern berechenbare, funktorielle Invarianten: Betti‑Zahlen (Ränge) geben die Anzahl unabhängiger Zyklen an; algebraische Torsion zeigt endliche Ordnungsmerkmale; Mayer–Vietoris‑Sequenzen und exakte Folgen erlauben Berechnungen.

 

 

 

 

## Umkehrung

Umkehrung

Kohomologie kehrt die Pfeile im Kettenkomplex um und erzeugt Gruppen H^k, die eine Cup‑Produktstruktur und duale Informationen tragen; Kohomologie verfeinert oft die Homologie durch die Ringstruktur.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für topologische Räume, die singuläre oder simpliziale Kettenmodelle zulassen; Homologie erfasst im Allgemeinen nicht die Struktur der Homotopiegruppen und lässt feinere Invarianten wie den Homotopietyp unberücksichtigt, wenn diese abweichen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung besteht gegenüber der Fundamentalgruppe: Beide detektieren Schleifen, aber die Fundamentalgruppe ist nichtabelsch und basispunktabhängig bei Schleifenkonkatenation, während H_1 die Abelsierung von π_1 ist und nichtabelsche Struktur verlieren kann.

 

 

 

 

 





## Synthese

Synthese

Homologiegruppen sind graduierte abelsche Gruppen aus Kettenkomplexen, die unabhängige k‑dimensionale Zyklen modulo Ränder quantifizieren und so berechenbare topologische Invarianten und Betti‑Zahlen liefern.