Espace D'Eilenberg–MacLane (K(G,N))
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Un espace topologique (souvent un CW‑complexe) K(G,n) dont le seul groupe d'homotopie non trivial est πn(K(G,n)) ≅ G et tel que πk = 0 pour k ≠ n ; il sert d'espace canonique représentant la cohomologie à coefficients dans G (pour n ≥ 1).