Un ensemble X muni d’une collection τ de sous-ensembles appelés ouverts telle que l’ensemble vide et X appartiennent à τ, les unions arbitraires d’éléments de τ appartiennent à τ et les intersections finies d’éléments de τ appartiennent à τ.

Principe

La topologie abstrait des notions qualitatives de voisinage et de continuité en axiomatisant quels sous-ensembles sont « ouverts » ; cette structure détermine les applications continues, la convergence de filets ou suites et les propriétés de séparation sans référence aux distances.

Démonstration

La droite réelle R avec la topologie usuelle a pour ouverts les unions arbitraires d’intervalles ouverts (a,b) ; cette topologie rend polynômes et fonctions continues continues et fournit les notions usuelles de convergence et de compacité utilisées en analyse.

Mauvaise application

Confondre une topologie avec une métrique ou supposer que toute espace topologique est métrisable conduit à des erreurs ; par exemple, toutes les topologies ne proviennent pas d’une métrique, et s’appuyer sur des propriétés métriques comme le fait que les suites caractérisent la continuité peut échouer dans des espaces non métrisables.

Conséquence

À partir d’une topologie on définit fonctions continues, limites, compacité, connexité et divers axiomes de séparation ; ces conséquences structurent une grande partie de l’analyse et de la géométrie et déterminent quelles constructions (produit, quotient, sous-espace) préservent la continuité ou la compacité.

Inversion

Le point de vue dual considère la treillis des fermés (compléments des ouverts) ou les topologies plus grossières/plus fines : la topologie discrète (tous les sous-ensembles sont ouverts) est maximale pour l’ouverture tandis que la topologie triviale/indiscrète ({∅,X}) est minimale, inversant bien des propriétés de séparation et de convergence.

Limite

Un espace topologique n’encodé que l’information des ouverts et exclut des structures supplémentaires comme mesures, métriques, structures différentiables ou opérations algébriques ; des axiomes supplémentaires sont requis pour retrouver ces structures fines.

Tension sémantique

Il existe une tension entre propriétés purement point-ensemble/topologiques (p.ex. compacité, connexité) et structures géométriques ou analytiques plus fortes (variété, espace métrique) ; certains résultats ne dépendent que de la topologie tandis que d’autres nécessitent une structure additionnelle.

Synthèse

Un espace topologique est le cadre abstrait minimal pour discuter continuité et voisinage qualitatif : un ensemble muni d’une topologie précise quels sous-ensembles sont ouverts et contrôle ainsi applications continues, convergence et propriétés globales de base sans recourir à distances ou mesures.