Les-Mathematiques.net - Cours de mathématiques supérieures

Warning: include() [function.include]: Unable to access ../../../visiteurs-2.0/include/new-visitor.inc.php3 in /var/www/www.les-mathematiques.sesamath.net/htdocs/a/a/b/node10.php3 on line 1

Warning: include(../../../visiteurs-2.0/include/new-visitor.inc.php3) [function.include]: failed to open stream: No such file or directory in /var/www/www.les-mathematiques.sesamath.net/htdocs/a/a/b/node10.php3 on line 1

Warning: include() [function.include]: Failed opening '../../../visiteurs-2.0/include/new-visitor.inc.php3' for inclusion (include_path='.:/usr/share/php:/usr/share/pear') in /var/www/www.les-mathematiques.sesamath.net/htdocs/a/a/b/node10.php3 on line 1
Les-Mathematiques.net - Cours de mathématiques supérieures Continuité et limite dans les espaces métriques ou normés

A lire

Deug/Prï¿½pa

Licence

Agrï¿½gation
A télécharger

Télécharger

personnes(s) sur le site en ce moment.

A. Grothendieck

Les maths pour l'agreg

A lire

Articles

Math/Infos

Rï¿½crï¿½ation
A télécharger

Télécharger

Thï¿½orï¿½me de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

suivant: Valeur d'adhérence monter: Espaces topologiques précédent: Espace séparé Index

Continuité et limite dans les espaces métriques ou normés

Définition [Continuité séquentielle] est séquentiellement continue en si et seulement si pour toute suite convergeant vers les convergent vers .

Théorème Soit à base dénombrable de voisinages, alors toute fonction séquentiellement continue est continue.

Démonstration: On considère une suite de voisinages décroissants de . Soit un voisinage de . Si $f^{-1}(W)$ n'est pas un voisinage de , alors on peut trouver $x_n \in V_n \setminus f^{-1}(W)$ ; tend vers ; or $f(x_n) \not \in W$ , et donc ne peut pas tendre vers . $\sqcap$ $\sqcup$

Corollaire Si est séquentiellement continue sur un espace métrique, alors est continue.

Démonstration: Il faut simplement considérer l'exercice $\sqcap$ $\sqcup$

Ce corollaire servira notamment pour le théorème .

Proposition [Définition $\epsilon-\delta$ de la continuité] Soit application entre espaces métriques; est continue en si pour tout $\epsilon$ il existe $\delta$ tel que $d(x,x')<\delta \rightarrow d(f(x'),f(x))<\epsilon$

Démonstration: Il suffit de remarquer que la famille des boules ouvertes de rayon $\epsilon$ et de centre est une base de voisinages de , et que la famille des boules ouvertes de rayon $\delta$ et de centre est une base de voisinages de . $\sqcap$ $\sqcup$

Définition [Continuité uniforme] Une application d'un espace métrique dans un autre espace métrique est dite uniformément continue si, pour tout $\epsilon >0$ il existe $\alpha >0$ tel que, pour tout $(x,y) \in X^2$ , $d(x,y)<\alpha \rightarrow d(f(x),f(y))<\epsilon$ .

La continuité uniforme n'est pas une notion topologique mais une notion métrique; i.e. deux distances équivalentes ont la même notion de continuité uniforme (que l'on change la distance dans l'espace de départ ou dans l'espace d'arrivée), mais le fait que deux métriques soient associées à la même topologie ne suffit pas pour qu'elles aient la même notion de continuité uniforme. $\sqcap$ $\sqcup$

La continuité uniforme est une notion très importante ayant de nombreuses applications.

Pour montrer la continuité uniforme, on dispose des outils suivants:
- une fonction Lipschitzienne entre métriques est uniformément continue
- une fonction bornée de $\mathbb{R}$ dans $\mathbb{R}$ et monotone est uniformément continue
- une fonction continue sur un compact est uniformément continue (théorème de Heine , voir le dit théorème pour d'innombrables applications)
- si et sont conjugués et si et appartiennent à et de $\mathbb{R}^n$ respectivement, alors (convoluée) est uniformément continue.

Une propriété essentielle est le théorème .

Définition On dit qu'une suite d'applications de dans avec un espace métrique converge uniformément vers si pour tout $\epsilon$ positif il existe tel que pour tout $n\geq N$ et tout dans $d(f(x),f_n(x)) < \epsilon$ .

Les applications et des exemples classiques:

Tout d'abord, quelques résultats célèbres de densité pour la topologie de la convergence uniforme: voir le théorème de Runge , le théorème de Stone (avec son corollaire le théorème de Stone-Weierstrass; voir en particulier les polynômes de Bernstein $B_n(f)(x)=\sum_{k=1}^n f(\frac{k}{n})C_n^kx^k(1-x)^{n-k}$ qui convergent uniformément vers sur , voir théorème ).

Il faut absolument se rappeler la convergence uniforme d'une série entière sur tout disque de rayon strictement inférieur au rayon de convergence.

Quelques résultats célèbres utilisant la convergence uniforme: , (intégration de fonctions réglées), (sur la limite uniforme d'une suite de fonctions holomorphes). Quelques variantes à notre convergence uniforme ci-dessus définie, et d'autres résultats (notamment métrisabilité): voir définition , et les résultats qui suivent; voir aussi Ascoli et ses conséquences, .

Il convient enfin de signaler quelques applications de la convergence uniforme aux espaces et à l'intégration:
- théorème de Plancherel: il existe un unique isomorphisme de dans appelé transformation de Fourier notée $f\mapsto \hat f$ telle que pour tout dans $L^1\cap L^2$ $\hat f$ est la transformée de Fourier de , ${\parallel}\hat f {\parallel}_2={\parallel}f {\parallel}_2$ (voir par exemple le livre [16])
- théorème de Sard: voir [6].
- Intégration au sens de Riemman: voir partie .

Définition [Applications lipschitzienne]

Une application est dite lipschitzienne s'il existe $K \in [0, + \infty[$ tel que

$\displaystyle d(h(x),h(x')) \leq K.d(x,x')$

On dit aussi qu'elle est -lipschitzienne.

On définit la constante de Lipschitz par

$\displaystyle Lip(h)=sup \{ \frac{d(h(x),h(x'))}{d(x,x')} \vert x,x' \in X, x \neq x'\}$

Proposition
$\bullet$ Les fonctions lipschitziennes sont continues, et même uniformément continues.

$\bullet$ Les fonctions d'un compact de $\mathbb{R}$ dans un espace vectoriel normé sont Lipschitziennes, ainsi que les fonctions dérivables de $\mathbb{R}$ dans un espace vectoriel normé à dérivée bornée (voir le théorème ).

Exemple: la distance $x\mapsto d(x,x_0)$ sur un espace métrique avec appartenant à est -lipschitzienne de dans $\mathbb{R}$ . La distance de $E\times E$ dans $\mathbb{R}$ est lipschitzienne, pour toutes les normes usuelles.

Définition [Norme d'une application linéaire] Si $\phi$ est une application linéaire entre espaces normés, on définit sa norme $\parallel \phi \parallel$ par

$\parallel \phi \parallel = sup \{\parallel \phi(x) \parallel / \parallel x \parallel \leq 1 \}$

Cette norme peut a priori être infinie - ce qui signifie donc que l'appellation "norme", bien que classique, est abusive. Il ne s'agit d'une norme qu'en se restreignant à l'ensemble des applications pour lesquelles cette "norme" est finie.

Lemme

$\displaystyle \parallel \phi \parallel = sup \{ \parallel \phi(x) \parallel / \... ... sup \{ \frac{\parallel \phi(x) \parallel}{\parallel x \parallel} / x \neq 0 \}$

Démonstration: Il suffit d'avoir la patience de le vérifier... $\sqcap$ $\sqcup$

Théorème Une application linéaire entre espaces normés est continue si et seulement si sa norme est $< \infty$ . Elle est continue si et seulement si elle est lipschitzienne et son coefficient de Lipschitz est égal à sa norme.

Démonstration: Si $\phi$ est continue en zéro, il est clair que pour suffisamment petit, $\parallel x \parallel < r$ implique $\parallel \phi(x) \parallel < 1$ ; on constate alors par linéarité que $\parallel \phi \parallel \leq r^{-1}$ .

Réciproquement si $\phi$ a une norme finie, alors $\phi$ est lipschtzienne $\parallel \phi(x) - \phi(y) \parallel = \parallel \phi (x-y)\parallel \leq \parallel \phi \parallel . \parallel (x-y)\parallel$ , et $Lip(\phi) \leq \parallel \phi \parallel$ ; en considérant de norme , on constate que $Lip(\phi)=\parallel \phi \parallel$ ; d'où le résultat. $\sqcap$ $\sqcup$

Exercice 6 (Critère de continuité pour une forme linéaire

sur un espace normé) $\phi$ fonction de

dans son corps $K=\mathbb{R}$ ou $K=\mathbb{C}$ est continue si et seulement si son noyau

$\phi^{-1}(0)$ est fermé.

Démonstration: Si $\phi$ est continue, il est clair que l'image réciproque d'un singleton est un fermé. Réciproquement, par contraposée, supposons que $\phi$ n'est pas continue, alors

n'est pas non plus séquentiellement continue (voir le corollaire

), donc il existe une suite

tendant vers 0 telle que $\phi(x_n)$ ne tend pas vers 0. La suite $y_n=\frac{x_n}{\phi(x_n)}$ (définie pour les

tels que $\phi(x_n)$ soit $>\epsilon >0$ après extraction d'une sous-suite) tend vers 0. On considère alors un certain

tel que $\phi(a)=1$ (si $\phi$ est nulle elle est continue), et on constate que la suite

tend vers $-a \not \in \phi^{-1}(0)$ , alors que $z_n \in \phi^{-1}(0)$

. $\sqcap$ $\sqcup$

Définition [Borné] Soit un espace normé. Un sous-ensemble $A \subset E$ est dit borné si $sup \{ \parallel x \parallel \vert x \in A \} < + \infty$ .
On dit que l'application est bornée sur si et seulement si est borné.

Exercice 7 Soit $\phi$ une application linéaire entre espaces normés. Les assertions suivantes sont équivalentes:
$\bullet$ $\phi$ est continue
$\bullet$ $\phi$ est continue en 0
$\bullet$ $\phi$ est bornée sur une boule de rayon

$\bullet$ $\phi$ est bornée sur une sphère de rayon

Démonstration: Ces preuves sont faciles

, je me contente de rappeler quelques faits qui permettent de les rédiger proprement.

La topologie est invariante par translation (puisque toute translation est un homéomorphisme), donc la continuité en 0 équivaut à la continuité en un point quelconque.

Le fait que $\phi$ soit bornée sur une boule équivaut trivialement au fait que $\phi$ soit bornée sur une sphère (par linéarité).

Si $\phi$ est bornée sur une boule, par linéarité il est clair qu'elle tend vers 0 en 0.

Enfin si $\phi$ est continue, on a montré un peu plus tôt que sa norme est finie, ce qui se voit facilement au fait que pour suffisamment petit, on doit avoir $\phi(x)$ petit, et donc pour ${\parallel}x {\parallel}< 1$ , ${\parallel}\phi(x){\parallel}\leq 1/r$ . $\sqcap$ $\sqcup$