En mathématiques, un espace d'Eilenberg-MacLane[1] est un espace topologique ayant un seul groupe d'homotopie non trivial. Ce type d'espace joue un rôle de composant élémentaire en théorie de l'homotopie, puisqu'il jouit d'une forme d'unicité et intervient dans des procédés de reconstruction d'espaces plus complexes (il en est ainsi des tours de Postnikov).
Les espaces d'Eilenberg-MacLane sont importants dans de nombreux contextes en topologie algébrique, permettant entre autres de calculer des groupes d'homotopie de sphères et de définir des opérations cohomologiques (en). Ils portent le nom de Samuel Eilenberg et Saunders Mac Lane, qui les ont introduits à la fin des années 1940[2],[3].