Duality in the homology theory (Q580769)

Sei L Hom\({}_{H^*(Y)}(H^*(X\times Y)\), \(H^*(Y))\) die Menge aller Operationen \(\phi\) : \(H^*(X\times Y)\to H^*(Y)\), die Modulmorphismen über dem Ring \(H^*(Y)\) und natürlich in Y sind. Verf. gibt einen Beweis für den Isomorphiesatz \(H_*(X)\approx L Hom_{H^*(Y)}(H^*(X\times Y)\), \(H^*(Y))\) für kompaktes X, dessen \(H^ i(X)\) für alle \(i\geq 0\) endlich erzeugt sind.