Frontière (topologie) — Wikipédia

Un article de Wikipédia, l'encyclopédie libre.

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 :

• 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 ∪ ∂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 = S ∩ (E \ S) donc int(∂S) ⊂ 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 A ∩ B = B ∩ A = ∅ — alors ∂(A ∪ B) = ∂(A) ∪ ∂(B).

1) 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.

2) Dans l'espace métrique , soit . L'adhérence de est le disque fermé de rayon 5, son intérieur le disque ouvert, sa frontière le cercle de rayon 5.

Pour tout ensemble S, ∂∂S est incluse dans ∂S, l'égalité étant vérifiée si et seulement si ∂S est d'intérieur vide.

La frontière d'un ensemble étant fermée, ∂∂∂S = ∂∂S pour tout ensemble S. L'opérateur frontière satisfait donc une forme faible d'idempotence.

• Portail des mathématiques