Je remercie les élèves de l’Ecole normale supérieure pour leurs corrections sur ce texte, en particulier Katarina Radermacher, Jérémy Daniel, Lin Shen et Louis Nebout La topologie algébrique est la construction et l’étude de foncteurs de la catégorie des espaces topologiques à valeurs dans celle des groupes (ou des modules sur un anneau).
homéomorphe à l’ensemble R2 muni de la topologie faible définie par la famille des rayons vectoriels de R2. On note alors f(x) −→ l ou lim f(x) = l. Lorsque A est sous-entendu, par exemple quand A vaut X ou le domaine de définition de f, on dit aussi que f admet pour limite l en a, et on note lim f = l. Exemple. Exemple. Si De même pour −∞.
Si Y est séparé, la topologie de X est la topologie faible définie par la famille {Y } ∪ {fα(eα)}α de fermés de X. Les eα (par abus fα(eα)) s’appellent les ◦ cellules de X relatives à Y . On identifie eα avec son image dans X par ◦ fα, et on appelle les eα les cellules ouvertes de X relatives à Y . Ce sont les composantes connexes de X − Y .
Soient E = α∈AEα la partition de E en orbites pour π1(B, b), xα un point de Eα, et Hα le stabilisateur de xα dans π1(B, b). Soit πα : Xα = Hα B e → B le revêtement de B associé au sous-groupe Hα de π1(B, b). Posons XE = α∈AXα (muni de la topologie somme disjointe) et pE : XE → B l’application dont la restriction à Xα est πα.