Rappel et compléments sur les espaces métriques et espaces normés
Lemme de Zorn.
(Relation d'ordre, ensemble ordonné)
Soient $X$ un ensemble et $\leqslant$ une relation binaire sur $X$.
On dit que $\leqslant$ est une relation d'ordre sur $X$ si elle respecte les propriétés suivantes :
$\leqslant$ est réfléxive : $\forall x \in X , \qquad x \leqslant x$
$\leqslant$ est antisymétrique : $\forall x,y \in X , \qquad x \leqslant y \ \text{ et } \ y \leqslant x \quad \Rightarrow \quad x=y$
$\leqslant$ est transitive : $\forall x,y,z \in X , \qquad x \leqslant y \ \text{ et } \ y \leqslant z \quad \Rightarrow \quad x \leqslant z$
On note alors $(X;\leqslant)$ l'ensemble $X$ ordonné par la relation d'ordre $\leqslant$.
(Relation d'ordre totale, partielle)
Soient $X$ un ensemble et $\leqslant$ un relation d'ordre sur $X$.
On dit que $\leqslant$ est totale sur $X$ si $$\forall x,y \in X , \qquad x \leqslant y \ \text{ ou } \ y \leqslant x$$
On dit alors que $X$ est totalement ordonné par $\leqslant$.
Une relation d'ordre sur $X$ est dite partielle sur $X$ si elle n'est pas totale sur $X$.
(Ensemble ordonné inductif)
Soit $(X;\leqslant)$ un ensemble ordonné.
On dit que $(X;\leqslant)$ est inductif si toute partie $A$ de $X$ telle que $A$ est totalement ordonnée par $\leqslant$ admet un majorant dans $X$ : $$\exists x \in X , \ \forall a \in A , \qquad a \leqslant x$$
(Elément maximal)
Soit $(X;\leqslant)$ un ensemble ordonné.
On appelle élément maximal de $(X;\leqslant)$ (ou de $X$ lorsqu'il n'y a pas d'ambiguïté sur la relation d'ordre) un élément tel qu'il n'existe aucun autre élément de cet ensemble qui lui soit supérieur par la relation d'ordre $\leqslant$.
Formellement : $$ (m \in X \text{ est maximal de } (X;\leqslant) ) \qquad \Leftrightarrow \qquad (\forall x \in X , \quad m \leqslant x \quad \Rightarrow \quad m=x)$$
(Lemme de Zorn)
Tout ensemble ordonné non vide indictif $(X;\leqslant)$ admet au moins un élément maximal.
A faire...
EXERCICE
Espaces métriques.
(Distance, métrique)
Soit $X$ un ensemble.
On appelle distance ou métrique sur $X$ toute application $d$ définie par $d : X \times X \rightarrow \mathbb{R}^+$ vérifiant les propriétés suivantes :
la symétrie : $\forall x , y \in X , \qquad d(x;y)=d(y;x)$
la séparation : $\forall x,y \in X , \qquad d(x;y)=0 \quad \Rightarrow \quad x=y$
la sous-additivité (ou l'inégalité triangulaire) : $\forall x,y,z \in X , \qquad d(x;z) \leqslant d(x;y)+d(y;z)$
(Espace métrique)
On appelle espace métrique tout ensemble $X$ muni d'une distance $d$ et note $(X;d)$ cet espace métrique.
(Norme)
Soit $E$ un espace vectoriel sur $\mathbb{R}$ ou $\mathbb{C}$.
On appelle norme toute application $\left \| . \right \| : E \rightarrow \mathbb{R}^+$ vérifiant les propriétés suivantes :
la séparation : $\forall x \in E , \qquad \|x\|=0 \quad \Rightarrow \quad x=0$
la sous-additivité (ou l'inégalité triangulaire) : $\forall x,y \in E , \qquad \|x+y\| \leqslant \|x\|+\|y\|$
(Espace vectoriel normé)
On appelle espace vectoriel normé tout espace vectoriel $E$ sur $\mathbb{R}$ ou $\mathbb{C}$ muni d'une norme $\left \| . \right \|$ sur $E$.
On note $(E;\left \| . \right \|)$ cet espace vectoriel normé.
(Distance induite)
Soit $(E;\left \| . \right \|)$ un espace vectoriel normé sur $\mathbb{R}$ ou $\mathbb{C}$.
On appelle distance induite par la norme $\left \| . \right \|$ l'application définie par : $$ \begin{matrix} d : & E \times E & \rightarrow & \mathbb{R}^+ \\ & (x;y) & \mapsto & {\left \| x-y \right \|} \end{matrix} $$
EXEMPLE
(Boule ouverte, boule fermée)
Soit $(X;d)$ un espace métrique.
On appelle boule ouverte de centre $x \in X$ et de rayon $r>0$ l'ensemble définie par : $$ B(x,r) = \left \{ y \in X \ \mid \ d(x;y) < r \right \} $$
On appelle boule fermée de centre $x \in X$ et de rayon $r>0$ l'ensemble définie par : $$ B_{f}(x,r) = \left \{ y \in X \ \mid \ d(x;y) \leqslant r \right \} $$
(Ensemble ouvert)
Soit $(X;d)$ un espace métrique.
$A \subset X$ est dit ouvert de $X$ si : $ \forall x \in A , \exists r > 0 , \quad B(x,r) \subset A $.
Autremnt dit $A$ s'écrit comme union de boules ouvertes.
EXEMPLE
(Ensemble fermé)
Soit $(X;d)$ un espace métrique.
$A \subset X$ est dit fermé de $X$ si $ \complement_{X} A $ est ouvert.
(Adhérence d'un ensemble)
Soit $(X;d)$ un espace métrique.
On appelle adhérence de $A \subset X$ l'intersection de tout les fermés de $X$ contenant $A$.
On note $\overline{A}$ l'adhérence de $A$.
(Plus petit fermé)
Soient $(X;d)$ un espace métrique et $A \subset X$.
$\overline{A}$ est le plus petit fermé contenant $A$.
A faire...
(???)
Soient $(X;d)$ un espace métrique et $A \subset X$.
$x \in \overline{A} \quad \Leftrightarrow \quad \exists(x_{n})_{n \in \mathbb{N}} , \ \lim\limits_{n \rightarrow +\infty} d(x;x_{n}) = 0$
On dit que $(x_{n})_{n \in \mathbb{N}}$ converge vers $x$.
A faire...
(???)
Soient $(X;d)$ un espace métrique, $A \subset X$ et $B \subset X$.
$A \subset B \quad \Rightarrow \quad \overline{A} \subset \overline{B}$
$A = \overline{A} \quad \Leftrightarrow \quad A \text{ est un fermé} $
A faire...
(Intérieur d'un ensemble)
Soient $(X;d)$ un espace métrique et $A \subset X$.
On appelle intérieur de $A$ l'ensemble définie par : $$ \mathring{A} = \left \{ x \in A \ \mid \ \exists r>0 , \ B(x;r) \subset A \right \} = \complement_{X} \left (\overline{\complement_{X} A} \right )$$
(Valeur d'adhérence d'une suite)
Soient $(X;d)$ un espace métrique et $(x_{n})_{n \in \mathbb{N}} \subset X$.
On appelle valeur d'adhérence de la suite $(x_{n})_{n \in \mathbb{N}}$ le point $x \in X$ vérifiant la propriété suivante :
il existe une sous suite $(x_{n_{k}})_{k \in \mathbb{N}}$ de $(x_{n})_{n \in \mathbb{N}}$ telle que $x = \lim\limits_{n \rightarrow +\infty} (x_{n_{k}})_{k \in \mathbb{N}}$
EXERCICE
(Fonction continue en un point)
Soient $(X;d)$ et $(Y,\delta)$ deux espaces métriques.
Une fonction $f : (X;d) \rightarrow (Y,\delta)$ est dite continue au point $x \in X$ si $f$ vérifie une des propriété suivante :
Soient $(X;d)$ et $(Y,\delta)$ deux espaces métriques.
Une fonction $f : (X;d) \rightarrow (Y,\delta)$ est dite continue sur $X$ si $f$ est continue en tout point de $X$.
(Propriétés équivalentes d'une fonction continue)
Soient $(X;d)$, $(Y,\delta)$ deux espaces métriques et $f : (X;d) \rightarrow (Y,\delta)$.
Donc :
$f : (X;d) \rightarrow (Y,\delta) \text{ est continue}$
$\Leftrightarrow \forall U \subset Y \text{ ouvert } , \qquad f^{-1}(U) \text{ est un ouvert de } X$
$\Leftrightarrow \forall A \subset X, \qquad f(\overline{A}) \subset \overline{f(A)}$
A faire...
(Fonction uniformément continue)
Soient $(X;d)$, $(Y;\delta)$ deux espaces métriques et $f : (X;d) \rightarrow (Y;\delta)$.
On dit que $f$ est uniformément continue si : $$\forall \epsilon > 0, \exists \eta > 0, \forall x,y \in X, \qquad d(x;y) < \eta \quad \Rightarrow \quad \delta (f(x);f(y)) < \epsilon$$
(Fonction lipschitzienne)
Soient $(X;d)$, $(Y,\delta)$ deux espaces métriques et $f : (X;d) \rightarrow (Y,\delta)$.
On dit que $f$ est lipschitzienne de rapport $c \geqslant 0$ si : $$\forall x,y \in X, \qquad \delta (f(x);f(y)) \leqslant c.d(x;y)$$
(Implications d'une fonction lipschitzienne)
Soient $(X;d)$, $(Y;\delta)$ deux espaces métriques et $f : (X;d) \rightarrow (Y;\delta)$.
$$f \text{ lipschitzienne } \quad \Rightarrow \quad f \text{ uniformément continue } \quad \Rightarrow \quad f \text{ continue }$$
A faire...
(Distances topologiquement équivalentes)
Soient $(X;d_{1})$ et $(X;d_{2})$ deux espaces métriques.
On dit que $d_{1}$ et $d_{2}$ sont topologiquement équivalentes si les applications identités définies par $ \begin{matrix} id_{1;X} : & (X;d_{1}) & \rightarrow & (X;d_{2}) \\ & x & \mapsto & x \end{matrix} $ et $ \begin{matrix} id_{2;X} : & (X;d_{2}) & \rightarrow & (X;d_{1}) \\ & x & \mapsto & x \end{matrix} $ sont continues.
(Distance uniformément équivalentes)
Soient $(X;d_{1})$ et $(X;d_{2})$ deux espaces métriques.
On dit que $d_{1}$ et $d_{2}$ sont uniformément équivalentes si les applications identités définies par $ \begin{matrix} id_{1;X} : & (X;d_{1}) & \rightarrow & (X;d_{2}) \\ & x & \mapsto & x \end{matrix} $ et $ \begin{matrix} id_{2;X} : & (X;d_{2}) & \rightarrow & (X;d_{1}) \\ & x & \mapsto & x \end{matrix} $ sont uniformément continues.
(Distance géométriquement équivalentes)
Soient $(X;d_{1})$ et $(X;d_{2})$ deux espaces métriques.
On dit que $d_{1}$ et $d_{2}$ sont géométriquement équivalentes si les applications identités définies par $ \begin{matrix} id_{1;X} : & (X;d_{1}) & \rightarrow & (X;d_{2}) \\ x & \mapsto & x \end{matrix} $ et $ \begin{matrix} id_{2;X} : & (X;d_{2}) & \rightarrow & (X;d_{1}) \\ & x & \mapsto & x \end{matrix} $ sont lipschitziennes.
COMMENTAIRE
Espaces métriques compacts.
(Sous ensemble compact)
Soient $(X;d) un espace métrique.
On appelle compact tout sous-ensemble $A$ de $X$ si l'une des propriétés équivalantes suivantes est vérifié :
$\forall (x_{n})_{n \in \mathbb{N}} \subset A, \exists (x_{n_{k}})_{k \in \mathbb{N}} \subset (x_{n})_{n \in \mathbb{N}}, \exists x \in A, \qquad (x_{n_{k}})_{k \in \mathbb{N}} \rightarrow x$
$\forall (U_{i})_{i \in I} \text{ ouvert de } (X;d) \text{ telle que } A \subset \bigcup_{i \in I} U_{i}, \exists J \subset I \text{ fini telle que } A \subset \bigcup_{i \in J} U_{i}$
$\forall (U_{n})_{n \in \mathbb{N}} \text{ ouvert de } (X;d) \text{ telle que } A \subset \bigcup_{n \in \mathbb{N}} U_{n}, \exists J \subset I \text{ fini telle que } A \subset \bigcup_{n \in J} U_{n}$
EXERCICE
Espaces métriques complets.
(Suite de Cauchy)
Soit $(X;d)$ un espace métriques.
On dit que $(x_{n})_{n \in \mathbb{N}} \subset X$ est une suite de Cauchy (ou est de Cauchy) si : $$\forall \epsilon > 0, \exists N_{0} \in \mathbb{N}, \forall m \in \mathbb{N}, \qquad d(x_{n},x_{m}) < \epsilon$$
(Espace métrique complet)
Soit $(X;d)$ un espace métriques.
On dit que $(X;d)$ est complet si toute suite de Cauchy admet une limite dans $X$.
(Espace de Banach)
On appelle espace de Banach est un espace vectoriel normé complet (pour la distance donnée par la norme).
EXERCICE
Théorème de Stone-Weierstrass et théorème d'Arzelà-Ascoli
Théorème de Stone-Weierstrass.
(Théorème de Weierstrass)
Toute fonction continue $f : [0;1] \rightarrow \mathbb{R}$ est une limite uniforme d'une suite de polynôme.
Formellement : $$ \forall f \in C([0;1];\mathbb{R}) , \exists (P_{n})_{n \in \mathbb{N}} \subset \mathbb{R}[X], \qquad P_{n} \xrightarrow[n \to +\infty]{} f$$
A faire...
EXEMPLE + GRAPHIQUE
COMMENTAIRE
(Ensemble des fonctions continues)
Soit $(X;\mathcal{T})$ un espace topologique compact.
On note $C(X)$ l'ensemble des fonctions continues sur $X$ dans $\mathbb{R}$.
Formellement : $$ C(X) = \left \{ f : X \rightarrow \mathbb{R} \ \mid \ f \text{ est continue } \right \}$$
(Distance uniforme sur l'ensemble des fonctions continues)
On appelle distance uniforme sur $C(X)$ la distance $d_{\infty}$ par : $$
\begin{matrix} d_{\infty} : & C(X) \times C(X) & \rightarrow & \mathbb{R}^+ \\ & (f,g) & \mapsto & { \sup_{x \in X} \left | f(x) - g(x) \right | } \end{matrix} $$
Comme $X$ est un compact,
$\forall f,g \in C(X), \qquad d_{\infty}(f,g) \in \mathbb{R}$
(Convergence uniforme sur un espace compact d'une suite de fonction continue)
Soient $(f_{n})_{n \in \mathbb{N}} \subset C(X)$ et $f \in C(X)$.
On dit que la suite $(f_{n})_{n \in \mathbb{N}}$ converge uniformément vers $f$, et on note $f_{n} : \xrightarrow[]{d} f$ si : $$\forall \epsilon > 0, \exists N \in \mathbb{N} , \forall n \geqslant N , \qquad \sup_{x \in X} \left | f(x) - g(x) \right | < \epsilon$$
(Topologie de la convergence uniforme sur un espace topologique compact)
Soit $(X;\mathcal{T})$ un espace topologique compact.
On appelle topologie de la convergence uniforme sur $X$ la topologie induite par $d_{\infty}$ sur $C(X)$.
EXEMPLE
(Lemme de Dini)
Soit $(X;d)$ un espace métrique compact, $(f_{n})_{n \in \mathbb{N}} \in C(X)^\mathbb{N}$ qui converge vers $f : X \to \mathbb{R} \in C(X)$.
Si $(f_{n})_{n \in \mathbb{N}}$ est monotone alors $(f_{n})_{n \in \mathbb{N}}$ converge uniformément vers $f$.
A faire...
(Lemme de Weierstrass)
La fonction $ \begin{matrix} \sqrt{.} : & \left[ 0 ; 1 \right] & \rightarrow & \mathbb{R} \\ & x & \mapsto & \sqrt{x} \end{matrix} $ est limite uniforme d'une suite de polynôme. Autrement dit : $$
\forall \epsilon > 0, \ \exists p : \left[ 0 ; 1 \right] \rightarrow \mathbb{R} \qquad \text{tel que} \qquad \sup_{x \in \left[ 0 ; 1 \right]} \left| p(x) - \sqrt{x} \right| \leqslant \epsilon $$
A faire...
(Algèbre sur l'ensemble des fonctions continues sur un espace compact)
Soit $ L \subset C(X). $
On dit que $L$ est une algèbre si $L$ vérifie : $$
\forall \lambda \in \mathbb{R}, \ \forall f , g \in L , \qquad \lambda f + g \in L \ \text{et} \ f g \in L $$
EXEMPLE
(Lemme ???)
Soit $ L \subset C(X) $ une algèbre.
Suposons que $L$ soit fermé pour la topologie de la convergeance uniforme ($\overline{L} = L$)
Alors : $$
\forall f , g \in L, \qquad \max \left( f ; g \right) \in L , \qquad \min \left( f ; g \right) , \qquad \left| f \right| \in L $$
A faire...
(Algèbre de l'ensemble des fonctions continues qui sépare les points sur un espace compact)
Soit $ L \subset C(X)$
On dit que $L$ sépare les points de $X$ si : $$
\forall x,y \in X, \ x \neq y, \ \exists f \in L, \qquad f(x) \neq f(y) $$
EXERCICE
(Implications d'une algèbre de l'ensemble des fonctions continues qui sépare les points sur un espace compact)
Soit $ L \subset C(X) $ une algèbre qui sépare les points de $ X $ et $ 1 \in L $.
Alors : $$
\forall u,v \in X, u \neq v , \ \forall a,b \in \mathbb{R}, \ \exists f \in L, \qquad f(u) = a \ , \ f(v) = b $$
A faire...
(Théorème de Stone-Weierstrass)
Soit $ X $ un espace compact et $ L \subset C(X) $ une algèbre contenant les constantes et séparant les points de $ X $.
Alors $ \overline{L} = C(X) $
A faire...
(Corollaire du théorème de Stone-Weierstrass)
L'ensemble des fonctions polynômes sur $ \left[ 0 ; 1 \right] $ est uniformément dense dans $ C\left( {\left[ 0 ; 1 \right]} \right) $.
Soit $ P $ l'ensemble des polynômes.
Posons $ L = \overline{P} $.
$ L $ est une algèbre, elle sépare les éléments de $ \left[ 0 ; 1 \right] $ et contient les constantes.
(Théorème de Stone-Weierstrass dans le cas complexe)
Soit $ X $ un espace compact et $ L \subset C(X ; \mathbb{C}) $ une algèbre fermée séparant les points de $ X $ et contenant les constantes.
Si $ L $ est stable par conjugaison, alors $ L = C(X ; \mathbb{C}) $
A faire...
EXEMPLE
Théorème d'Arzelà-Ascoli : Problème.
Soit $ X $ un espace topologique.
L'ensemble $ C_b (X) $ est l'ensemble des fonctions continues $ f : X \rightarrow \mathbb{R} $ bornées.
Ainsi, $ \left( C_b (X) ; \|.\|_{\infty} \right) $ n'est pas compact.
Etant donnée $ A \subset C_b (X) $, à quelles conditions (raisonnable) $ A $ est compact ?
Théorème d'Arzelà-Ascoli : Rappel sur la compacité dans les espaces métriques.
Soit $ ( X ; d ) $ un espace métrique.
Alors : $ ( Y ; d ) \text{ compact } \Leftrightarrow ( Y ; d ) \text{ est complet et précompact } $.
$( Y ; d )$ est précompact si et seulement si une des conditions équivalentes suivantes est satisfait :
Toute suite d'éléments de $ Y $ admet une sous-suite de Cauchy.
$ \forall \epsilon > 0$, on peut écrire $ Y = \cup_{k=1}^{n} Y_k $ avec $ \forall k \leqslant n, \ \text{diam}(Y_i) < \epsilon $.
Théorème d'Arzelà-Ascoli.
(Equicontinuité en un point)
Soient $ X $ un espace topologique, $ A \subset C(X) $ et $ x_0 \in X $.
On dit que $ A $ est équicontinue au point $ x_0 $ si : $$
\forall \epsilon > 0, \ \exists V \in \mathcal {V}(x_0), \forall x \in V, \forall f \in A, \qquad \left| f(x) - f(x_0) \right| < \epsilon $$
(Ensemble équicontinu)
Soient $ X $ un espace topologique et $ A \subset C(X) $.
On dit que $ A $ est équicontinue sur $ X $ si $ \forall x_0 \in X $, $ A $ est équicontinue en $ x_0 $.
EXEMPLES
(Propriétés sur l'équicontinuité en un point)
Soient $ A \subset C(X) $ et $ B \subset C(X)$.
Si $ B $ est équicontinue en $ x_0 $ et $ A \subset B $, alors $ A $ est équicontinue au point $ x_0 $.
Si $ A $ et $ B $ sont équicontinues, alors $ A \cup B $ est équicontinue au point $ x_0 $.
Si $ A $ est équicontinue en $ x_0 $, alors $ \overline{A} $ (l'afhérence pour la distance induite par $ \|.\|_{\infty}) $ est équicontinue au point $ x_0 $.
Remarque : Le résultat est encore vrai si on remplace $ \overline{A} $ par l'adhérence de $ A $ pour la convergence simple.
A faire...
(Ensemble équiborné en un point)
Soient $ A \subset C(X) $ et $ x_0 \in X $.
On dit que $ A $ est équiborné au point de $ x_0 $ si l'ensemble $ \left \{ f(x_0) \ \mid \ f \in A \right \} $ est borné dans $ \mathbb{R} $, c'est-à-dire : $ \exists M \geqslant 0, \ \forall f \in A , \ \left| f(x_0) \right| \leqslant M $.
(Compact équiborné et équicontinu)
Soient $ X $ un espace compact et $ A \subset C(X) $.
Si $ A $ est un compact de $ ( C(X) ; \left\|.\right\|_{\infty} ) $ alors :
$ A $ est équiborné.
$ A $ est équicontinue.
A faire...
REMARQUE
(Théorème d'Arzelà-Ascoli)
Soient $ X $ un espace compact et $ A \subset C(X) $ un fermé de $ C(X) $ (pour la distance de la convergence uniforme).
Alors $ A $ est compact si et seulement si $ A $ est équicontinue et équiborné.
A faire...
(Corollaire du théorème d'Arzelà-Ascoli)
Soient $ X $ un espace compact et $ (f_n)_{ n \in \mathbb{N} } $ une suite de fonctions continues définies sur $ X $ à valeurs réelles.
Si $ \left \{ f_n \ \mid \ n \in \mathbb{N} \right \} $ est équicontinue et équiborné, alors $ (f_n)_{ n \in \mathbb{N} } $ admet une sous-suite qui converge uniformément dans $ C(X) $.
A faire...
Théorème de Baire (dans le cadre des espaces métriques complexes)
