L'ensemble des points tels que chaque voisinage de chacun d'eux rencontre à la fois un sous-ensemble donné d'un espace topologique et son complément ; équivalemment la fermeture du sous-ensemble moins son intérieur.

Principe

Un point appartient à la frontière topologique d'un ensemble exactement lorsqu'aucun voisinage ouvert ne le sépare totalement de l'ensemble ou de son complément ; la frontière traduit la transition entre appartenance et non-appartenance.

Démonstration

Sur la droite réelle avec la topologie usuelle, la frontière de l'intervalle [0,1) est {0,1} car tout voisinage de 0 ou de 1 rencontre à la fois [0,1) et son complément, tandis qu'un point intérieur comme 0,5 admet un voisinage contenu dans l'ensemble.

Mauvaise application

Confondre la frontière avec la fermeture ou l'intérieur conduit à des erreurs : par exemple conclure que tout point de la fermeture est sur la frontière ignore les points intérieurs et fausse des invariants topologiques.

Conséquence

Identifier correctement les frontières permet d'énoncer correctement la séparation, d'établir des arguments de compacité et de comprendre le comportement des applications continues aux bords ; les frontières déterminent les phénomènes de proximité et le périmètre topologique.

Inversion

L'inversion considère les points possédant un voisinage entièrement contenu soit dans l'ensemble soit dans son complément ; ce sont exactement les points intérieurs ou extérieurs, et non les points de la frontière.

Limite

S'applique dans tout espace topologique ; exclut les notions propres aux métriques fondées sur la distance, comme une « frontière epsilon », sauf si la topologie provient d'une métrique. Le concept est purement topologique, sans exigence de mesure ou de structure linéaire locale.

Tension sémantique

Souvent confondue avec la fermeture et l'intérieur selon les disciplines : la fermeture rassemble tous les points adhérents, l'intérieur ceux ayant un voisinage contenu, tandis que la frontière est leur différence ; en analyse, « frontière » est parfois employée informellement pour des ensembles limites, ce qui brouille les usages.

Synthèse

La frontière topologique est le lieu des points qui font transition entre l'ensemble et son complément : exactement ceux dont tout voisinage touche les deux côtés, décrivant la bordure de l'ensemble en termes purement topologiques.