Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Frontière (topologie)
Résumé
En topologie, la frontière d'un ensemble (aussi appelé parfois "le bord d'un ensemble") est constituée des points qui, de façon intuitive, sont « situés au bord » de cet ensemble, c’est-à-dire qui peuvent être « approchés » à la fois par l'intérieur et l'extérieur de cet ensemble.
Soit S un sous-ensemble d'un espace topologique (E, T).
Il est possible de définir la frontière de S (souvent notée ∂S ou Fr S) de plusieurs façons équivalentes :
l'adhérence de S privée de l'intérieur de S :
l'ensemble des points adhérents à la fois à S et à son complémentaire :
l'ensemble de tous les « points frontières » de S, c'est-à-dire des points p de E pour lesquels tout voisinage de p — ou simplement tous ceux d'une base de voisinages — contient au moins un point dans S et un point hors de S.
l'ensemble des points de E qui n'appartiennent ni à l'intérieur de S ni à l'extérieur de S:
La frontière d'un ensemble est un fermé (d'après la deuxième définition, comme intersection de deux fermés).
La frontière d'un ensemble est également celle de son complémentaire (toujours d'après la deuxième définition, en utilisant l'involutivité du passage au complémentaire).
L'adhérence d'un ensemble est la réunion de cet ensemble et de sa frontière : = S ∪ ∂S. En particulier, un ensemble est fermé si et seulement s'il contient sa frontière.
L'intérieur d'un ensemble est cet ensemble privé de sa frontière. En particulier, un ensemble est un ouvert si et seulement s'il est disjoint de sa frontière.
Les ouverts-fermés sont donc les parties dont la frontière est vide.
La frontière d'un ouvert (ou d'un fermé) est d'intérieur vide. En effet, si S est ouvert, ∂S = ∩ (E \ S) donc int(∂S) ⊂ ∩ int(E \ S) = ∅.
La frontière d'une union finie est en général strictement incluse dans la réunion des frontières, mais si A et B sont d'adhérences disjointes — ou plus généralement, si ∩ B = ∩ A = ∅ — alors ∂(A ∪ B) = ∂(A) ∪ ∂(B).
- Dans l'ensemble des nombres réels muni de sa topologie usuelle : Les deux derniers exemples illustrent le fait que la frontière d'une partie d'intérieur vide est son adhérence.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Publications associées (34)