Kronecker-Paarung

Im mathematischen Gebiet der algebraischen Topologie definiert die Kronecker-Paarung eine Paarung zwischen Homologie und Kohomologie.

Definition

Es sei ein topologischer Raum, eine natürliche Zahl, $h\in H_{k}(X;\mathbb {Z} )$ eine Homologieklasse und $\beta \in H^{k}(X;A)$ eine Kohomologieklasse mit Koeffizienten in einer abelschen Gruppe . Dann ist die Kronecker-Paarung von $\beta$ und durch

$\langle \beta ,h\rangle :=c(z)\in A$

definiert, wobei $c\in C^{k}(X;A)$ ein die Kohomologieklasse $\beta$ repräsentierender Kozykel und $z\in C_{k}(X)$ ein die Homologieklasse repräsentierender Zykel ist.

Man kann zeigen, dass die Kronecker-Paarung wohldefiniert ist, dass also der Wert von $c(z)$ nicht von der Auswahl des die Kohomologieklasse repräsentierenden Kozykels oder des die Homologieklasse repräsentierenden Zykels abhängt.

Surjektivität

Aus dem Universellen Koeffiziententheorem folgt, dass der durch die Kronecker-Paarung definierte Homomorphismus

$H^{k}(X;A)\to \operatorname {Hom} (H_{k}(X),A)$

ein Epimorphismus ist.

Literatur

Ralph Stöcker, Heiner Zieschang: Algebraische Topologie. Eine Einführung. Zweite Auflage. Mathematische Leitfäden. B. G. Teubner, Stuttgart, 1994. ISBN 3-519-12226-X.

Basierend auf einem Artikel in:

Wikipedia.de