En mathématiques, un espace d'Eilenberg-MacLane 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 . Ils portent le nom de Samuel Eilenberg et Saunders Mac Lane, qui les ont introduits à la fin des années 1940. Soient G un groupe et n un entier strictement positif. Un espace connexe X est appelé un espace d'Eilenberg-MacLane de type K(G, n) si son n groupe d'homotopie π(X) est isomorphe à G et si tous ses autres groupes d'homotopie sont triviaux. Si n > 1, G doit être abélien. Moyennant quoi, il existe toujours un CW-complexe de type K(G, n). Il est unique à homotopie faible d'équivalence près, c'est pourquoi tout espace de ce type est simplement noté K(G, n). Le cercle unité S est un K(Z, 1). Plus généralement, l'espace classifiant BG d'un groupe discret G est un K(G, 1). L'espace projectif complexe de dimension infinie P(C), classifiant du groupe compact S, est un K(Z, 2). Son est l'anneau de polynômes Z[x], gradué par x ∈ H. Comme cet espace a la propriété supplémentaire d'être une variété, le générateur x peut être représenté en cohomologie de De Rham (par la 2-forme de Fubini-Study). Une application de K(Z, 2) est décrite dans la version anglophone de l'article Abstract nonsense. L'espace projectif réel de dimension infinie P(R) est un K(Z, 1). Le (S) est un K(F, 1), où F désigne le groupe libre sur k générateurs. Plus généralement, si X et Y sont des CW-complexes de types respectifs K(G, 1) et K(H, 1), leur wedge X∨Y est un K(G∗H, 1). Asphéricité des nœuds : tout complément d'un nœud dans la 3-sphère S est un K(G, 1).

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.