Un ensemble muni d'une topologie : une famille spécifiée d'ouverts contenant l'ensemble vide et l'ensemble total, fermée par unions arbitraires et intersections finies.

Principe

La topologie axiomatise quels sous-ensembles sont considérés comme « ouverts » afin de définir de manière abstraite la continuité, la convergence et les propriétés de séparation sans référence à une distance.

Démonstration

La droite réelle R avec la topologie usuelle des intervalles ouverts est l'exemple de base pour définir continuité et limites ; la topologie discrète (tous les sous-ensembles sont ouverts) et la topologie grossière (seuls l'ensemble vide et l'ensemble total sont ouverts) illustrent des cas extrêmes.

Mauvaise application

Supposer qu'un espace topologique provient toujours d'une métrique (faux : il existe des topologies non métrisables) ou confondre axiomes d'ouverts avec la fermeture par opérations dénombrables propre aux sigma-algèbres.

Conséquence

Une topologie permet de définir les applications continues, la compacité, la connexité et les axiomes de séparation ; elle fonde de nombreux domaines de l'analyse et de la géométrie en abstrahant les propriétés locales et globales de continuité.

Inversion

Une inversion consiste à considérer le point de vue des complémentaires (ensembles fermés) ou à inverser l'ordre de spécialisation : passer à une topologie plus grossière ou plus fine inverse les inclusions et modifie la continuité en sens opposé.

Limite

La topologie concerne la structure des ouverts sur un ensemble de base ; elle ne précise pas en soi des propriétés uniformes, une métrique, la différentiabilité ou une mesure, bien que de telles structures puissent être ajoutées.

Tension sémantique

Tension entre la structure topologique et la structure mesurable (ouverts versus ensembles mesurables), ainsi qu'entre topologies privilégiant des propriétés locales (variétés) et celles axées sur l'ordre global (topologies d'ordre, espaces spectraux).

Synthèse

Un espace topologique abstraitit le voisinage et la continuité en choisissant une famille d'ouverts fermée sous des opérations prescrites ; ce cadre minimal permet d'étudier la continuité, les limites et la séparation sans recourir à des distances numériques.