Topologie cohérente

La topologie cohérente est fréquemment utilisée en topologie algébrique, notamment en lien avec les limites inductives. Ce vocable désigne à la fois une méthode assez générale pour construire une topologie mais aussi une topologie particulière des espaces vectoriels réels de dimension infinie. Soit X un espace topologique et (A) une famille de sous-espaces de X. On appelle topologie cohérente déterminée par la famille (A) la topologie la plus fine qui rende continues les injections canoniques j : A → X (topologie finale). Cette topologie était anciennement appelée topologie faible. Or il se trouve que la topologie cohérente est plus fine que la topologie d'origine de l'espace X alors que la topologie faible d'un espace vectoriel topologique, elle, est moins fine que la topologie originelle. La topologie faible est une topologie initiale alors que la topologie cohérente est finale. Il est donc préférable de moderniser le vocabulaire. On gardera en mémoire que la lettre W dans le mot CW-complexe signifie weak, en référence à cette topologie. Soit X un espace topologique et (A) une famille de sous-espaces de X. Si la topologie faible déterminée par la famille (A) est identique à la topologie d'origine, on dit que la topologie de X est cohérente avec la famille (A). Autrement dit, la topologie de X est cohérente avec la famille (A) lorsque les ouverts de X sont exactement les parties de X dont les intersections avec les A sont des ouverts de A. En général, on utilise cette notion lorsque la famille (A) est un recouvrement de X. On appelle recouvrement fondamental de X un recouvrement de X tel que la topologie de X est cohérente avec ce recouvrement. Toute topologie est cohérente avec la famille de ses ouverts. Une topologie est discrète si et seulement si elle est cohérente avec la famille de ses singletons. Les espaces finiment engendrés sont cohérents avec la famille de leurs sous-. Les espaces dénombrablement engendrés sont cohérents avec la famille de leurs sous-espaces dénombrables.