Espaces topologiques et continuité

Un espace topologique encode la proximité des points les uns par rapport aux autres au moyen d'une famille d'ensembles ouverts, et une application continue est une application qui respecte cette proximité — en ramenant les ensembles ouverts à des ensembles ouverts.

Definition

Un espace topologique est un ensemble X muni d'une topologie — une famille de sous-ensembles ouverts fermée sous les unions arbitraires et les intersections finies, et contenant l'ensemble vide et X ; une fonction entre espaces topologiques est continue si l'image réciproque de tout ensemble ouvert est ouverte, et un homéomorphisme est une bijection continue dont l'inverse est continue.

Scope

Ce sujet définit les espaces topologiques via les axiomes des ensembles ouverts et les langages équivalents des ensembles fermés, des voisinages, de l'adhérence et de l'intérieur. Il développe les bases et les sous-bases comme des moyens économiques de spécifier une topologie, les topologies de sous-espace, produit et quotient, ainsi que les notions centrales de continuité, d'homéomorphisme et d'invariants topologiques. Il aborde la convergence des suites et des filets là où l'intuition métrique fait défaut.

Core questions

• Comment la même topologie peut-elle découler de bases différentes, et comment comparons-nous les topologies par leur finesse ?
• Que signifie la continuité lorsqu'aucune métrique n'est disponible, et comment est-elle caractérisée via les adhérences et les voisinages ?
• Quand deux espaces sont-ils homéomorphes, et quelles propriétés servent d'invariants pour les distinguer ?
• Comment les constructions de sous-espace, produit et quotient héritent-elles ou non des propriétés d'une topologie parente ?

Key concepts

• Ensembles ouverts, ensembles fermés, voisinages, adhérence et intérieur
• Base et sous-base générant une topologie
• Continuité, homéomorphisme et invariants topologiques
• Topologies de sous-espace, produit et quotient
• Convergence via les suites et les filets ; le rôle de la première dénombrabilité

Clinical relevance

Ces définitions constituent le point d'entrée de toute structure ultérieure en géométrie et en topologie : les variétés sont des espaces topologiques localement euclidiens, l'homotopie et l'homologie agissent sur des applications continues, et l'analyse sur les espaces repose sur cette notion de continuité.

History

La définition par les ensembles ouverts a généralisé les espaces métriques de Fréchet (1906) et les axiomes de voisinage de Hausdorff (1914) ; la formulation désormais standard en termes d'unions arbitraires et d'intersections finies est devenue la norme dans les manuels grâce à Bourbaki et aux textes américains du milieu du siècle.

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

Toute bijection continue est-elle un homéomorphisme ?

Non. Une bijection continue peut ne pas avoir d'inverse continue ; un homéomorphisme exige en outre que l'inverse soit continue, ce qui en fait un isomorphisme d'espaces topologiques.

Pourquoi les filets généralisent-ils les suites en topologie ?

Dans les espaces qui ne sont pas à base dénombrable de voisinages, les suites ne peuvent pas détecter tous les comportements d'adhérence et de continuité ; les filets (et de manière équivalente les filtres) indexent la convergence sur des ensembles dirigés arbitraires et recouvrent la théorie complète.