Df Les applications lipschitziennes sont incluses dans les applications uniformément continues elles-même incluses dans les applications continues
Proposition 2
Une application f de E dans F est continue ssi toute suite
convergente dans E est telle que
est une suite convergente dans F
THEOREME DE CARACTERISATION DES APPLICATIONS CONTINUES
Les propositions suivantes sont équivalentes :
a) f est une application continue de E dans F
b) L’image réciproque des ouverts de F est l’ensemble des ouverts de E
c) L’image réciproque des fermés de F est l’ensemble des fermés de F
d) L’image de adh(X) est contenue dans adh(f(X))
e) toute suite convergente a pour image une suite convergente
Proposition 3
L’ensemble d’égalité de deux applications continues de E dans F est un fermé de F
Corrolaire : Si deux applications sont égales sur une partie S dense dans E, alors f = g
THEOREME DE COMPOSITION DES APPLICATIONS CONTINUES
La composée de deux applications continues est continues (idem en remplaçant continu par uniformément continu ou lipschitziennes)
3. Homéomorphismes, métriques équivalentes
Df Une applications f de E dans F bijective telle que f et
sont continues est appelée un homéomorphisme
Df Deux métriques sont dits topologiquement équivalentes si l’identité de (E,d) vers (F,
) est un homéomorphisme
Proposition 4
Les propositions suivantes sont équivalentes :
a) d et
sont deux métriques équivalentes.
b) Les ouverts de E pour d sont les mêmes que pour
c) Les fermées de E pour d sont les mêmes pour
d) Les suites convergentes de E pour d et
sont les mêmes
e) Les applications continues de E pour d et
sont les mêmes.
Df Deux mêmes que l’on a défini des métriques topologiquements équivalentes on peut définir des métriques uniformément ou régulièrement équivalentes.
Remarque :
On dit que des propriétés qui ne sont pas perturbés par le remplacement de métriques topologiquement équivalentes (resp uniformément, resp régulièrement) sont des propriétés topologiques (resp de structure uniforme, resp de structure lipschitzienne)