Ein Satz oder eine Spektralsequenzaussage, die die Homologie oder Kohomologie eines Produktraums in Termen der Homologien bzw. Kohomologien der Faktoren ausdrückt und typischerweise unter geeigneten Flachheits‑ oder Körperkoeffizientenhypothesen zu einem Künneth‑Isomorphismus führt, andernfalls mit Tor‑Korrekturgliedern.

Prinzip

Das ordnende Prinzip ist das Tensorprodukt von Kettenkomplexen und die sich daraus ergebende Künneth‑Spektralsequenz, die aus der Filtrierung des Tensorprodukts entsteht; wenn Tor‑Terme verschwinden (z. B. bei Körperkoeffizienten oder flachen Modulen), kollabiert die Spektralsequenz zur Tensorproduktformel.

Demonstration

Standardfall: Für singuläre Homologie mit Koeffizienten in einem Körper k gilt H_*(X×Y; k) ≅ H_*(X; k) ⊗_k H_*(Y; k); mit ganzen Koeffizienten sind Tor‑Terme zu berücksichtigen, die zu kurzen exakten Folgen statt zu naiven Tensorproduktgleichheiten führen.

Fehlanwendung

Annahme H_*(X×Y; Z) = H_*(X; Z) ⊗ H_*(Y; Z) ohne Berücksichtigung von Torsion oder Tor‑Beiträgen, oder Anwendung der Formel in Kohomologietheorien, in denen die erforderliche Flachheit oder Künneth‑Eigenschaft fehlt.

Konsequenz

Anwendbar macht die Künneth‑Formel Berechnungen auf Produktraumen schlanker durch Rückführung auf die Faktoren, klärt wie Torsion in Produkten wechselwirkt und stützt multiplikative Strukturen in (Co)homologie.

Umkehrung

Die Umkehr ist die Feststellung, dass das Scheitern der einfachen Tensorzerlegung (Vorhandensein nichttrivialer Tor‑ oder Erweiterungsterme) auf Torsions‑ oder Erweiterungsphänomene in den Faktoren hinweist, die gelöst werden müssen, um die Produkt(co)homologie aus Faktorendaten zu rekonstruieren.

Abgrenzung

Gilt in klassischen Homologie/Kohomologie‑Theorien unter Voraussetzungen wie Körperkoeffizienten, Flachheit oder Projektivität der Ketten; außerhalb dieser Voraussetzungen ist die vollständige Künneth‑Spektralsequenz zu benutzen und mit Tor‑ und Ext‑Korrekturen zu rechnen, und manche verallgemeinerten Kohomologien besitzen gar keinen Künneth‑Satz.

Semantische Spannung

Die Spannung besteht zwischen der einfachen ‚Formel‘ H(X×Y)=H(X)⊗H(Y), die über Körpern geläufig ist, und der sorgfältigeren Spektralsequenzaussage, die Tor/Ext‑Korrekturen einschließt; Praktiker müssen entscheiden, ob sie rechnerische Bequemlichkeit oder exakte homologische Buchführung betonen.

Synthese

Die Künneth‑Formel besagt, dass die (Co)homologie eines Produkts aus den (Co)homologien der Faktoren mittels des Tensorprodukts der Kettenkomplexe berechnet wird, wobei die Künneth‑Spektralsequenz die Tor/Ext‑Hindernisse einer naiven Tensorzerlegung misst und auflöst.