Topologie
Dans ce qui suit,
désigne un espace vectoriel normé sur
ou
.
Définition :
Une partie
de
est un ouvert si :
.
Exemples :
,
et les boules ouvertes sont des ouverts.
Dans
, les intervalles ouverts sont des ouverts.
Fondamental :
Propriétés :
Une réunion d'un nombre fini ou infini d'ouverts est un ouvert.
Une intersection finie d'ouverts est un ouvert.
Une application
de
dans
est continue sur
si et seulement si l'image réciproque de tout ouvert de
est un ouvert de
.
Attention ! Une intersection infinie d'ouverts n'est pas toujours un ouvert. Par exemple :
n'est pas un ouvert.
Définition :
Une partie
de
est un fermé si son complémentaire
dans
est un ouvert.
Exemples :
,
et les boules fermées sont des fermés.
Dans
, les intervalles fermés sont des fermés, ainsi que les intervalles de la forme
ou
.
Fondamental :
Propriétés :
Une réunion finie de fermés est un fermé.
Une intersection d'un nombre fini ou infini de fermés est un fermé.
Une partie
de
est un fermé si et seulement si toute suite convergente d'éléments de
a sa limite dans
.
Une application
de
dans
est continue sur
si et seulement si l'image réciproque de tout fermé de
est un fermé de
.
Définition :
Un élément
de
est adhérent à une partie
non vide de
si :
.
L'adhérence d'une partie
non vide de
est l'ensemble
des points adhérents à
.
Un point
est adhérent à une partie
si et seulement si il existe une suite d'éléments de
qui converge vers
.
Un point
est valeur d'adhérence d'une suite s'il existe une suite extraite qui converge vers
.
Fondamental :
Propriétés :
.
.
mais :
.
est le plus petit fermé contenant
.
est un fermé si et seulement si :
.
est l'intersection de tous les fermés contenant
.
Définition :
Une partie
de
est dense dans
si :
.
Par exemple, l'ensemble des rationnels et l'ensemble des irrationnels sont denses dans l'ensemble des réels.
Définition :
Un élément
de
est intérieur à une partie
si :
.
L'intérieur
d'une partie
est l'ensemble des points intérieurs à
.
Fondamental :
Propriétés :
.
est le plus grand ouvert contenu dans
.
est un ouvert si et seulement si :
.
est la réunion de tous les ouverts contenus dans
.
.
, mais :
.
et :
. (complémentaires).
Définition :
La frontière d'une partie
est :
.
Fondamental :
Propriétés :
Si
, alors :
.
est un fermé et :
.