« Espaces vectoriels normés/Espaces de Banach - Complétude » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
LydieBot (discussion | contributions)
Maintenance, remplacement: Résultat| → Encadre|contenu= (4) avec AWB
m Robot : Remplacement de texte automatisé (-\,</math> +</math>)
Ligne 7 : Ligne 7 :
}}
}}


Dans toute la suite, <math>(E,\|.\|)\,</math> est un espace vectoriel normé (evn).
Dans toute la suite, <math>(E,\|.\|)</math> est un espace vectoriel normé (evn).


== Définitions ==
== Définitions ==
Ligne 14 : Ligne 14 :
| titre = Définition : Suite de Cauchy
| titre = Définition : Suite de Cauchy
| contenu =
| contenu =
Une suite <math>(u_n)\,</math> d'éléments de <math>E\,</math> est '''une suite de Cauchy''' si, et seulement si :<br />
Une suite <math>(u_n)</math> d'éléments de <math>E</math> est '''une suite de Cauchy''' si, et seulement si :<br />
<center>{{Encadre|contenu=<math>\forall \varepsilon > 0 ,\; \exist n_{\varepsilon} \in\N| \forall (n,p)\in\N^2 , n \ge n_{\varepsilon} \Rightarrow \|u_{n+p} - u_n\| < \varepsilon\,</math> }}</center>
<center>{{Encadre|contenu=<math>\forall \varepsilon > 0 ,\; \exist n_{\varepsilon} \in\N| \forall (n,p)\in\N^2 , n \ge n_{\varepsilon} \Rightarrow \|u_{n+p} - u_n\| < \varepsilon</math> }}</center>
}}
}}


Voici une propriété vraie dans tout evn et qu'on démontre comme dans <math>\R\,</math> :
Voici une propriété vraie dans tout evn et qu'on démontre comme dans <math>\R</math> :


{{Propriété
{{Propriété
Ligne 32 : Ligne 32 :


== Théorèmes ==
== Théorèmes ==
Dans tout ce paragraphe, <math>(E,\|.\|)\,</math> est un espace de Banach (parfois appelé "Banach").
Dans tout ce paragraphe, <math>(E,\|.\|)</math> est un espace de Banach (parfois appelé "Banach").


{{Théorème
{{Théorème
| titre = Théorème des fermés emboîtés
| titre = Théorème des fermés emboîtés
| contenu =
| contenu =
Soit <math>(F_n)\,</math> une suite de fermés de <math>E\,</math> .<br />
Soit <math>(F_n)</math> une suite de fermés de <math>E</math> .<br />
Si : <br />
Si : <br />
* <math>\forall n\in\N,\;F_{n+1} \subset F_n \mathrm{\;et\;} F_n\ne \varnothing\,</math>
* <math>\forall n\in\N,\;F_{n+1} \subset F_n \mathrm{\;et\;} F_n\ne \varnothing</math>
* <math>\lim_{n\to +\infty}\left(\sup_{x,y\in F_n} \|x-y\|\right)= 0\,</math>
* <math>\lim_{n\to +\infty}\left(\sup_{x,y\in F_n} \|x-y\|\right)= 0</math>
alors <center>{{Encadre|contenu=<math>\exist! x\in E\;|\; \bigcap_{n\in\N} F_n = \{x\}\,</math>}}</center>
alors <center>{{Encadre|contenu=<math>\exist! x\in E\;|\; \bigcap_{n\in\N} F_n = \{x\}</math>}}</center>
}}
}}


Ligne 49 : Ligne 49 :
| titre = Théorème : Critère de Cauchy pour les fonctions
| titre = Théorème : Critère de Cauchy pour les fonctions
| contenu =
| contenu =
Soient <math>E\,</math> et <math>F\,</math> deux Banach, <math>f : A\subset E \to F\,</math> et <math>a\in \bar A\,</math>.<br />
Soient <math>E</math> et <math>F</math> deux Banach, <math>f : A\subset E \to F</math> et <math>a\in \bar A</math>.<br />
<math>\lim_{x\to a}f(x)\,</math> existe dans <math>F\,</math> si, et seulement si : <br />
<math>\lim_{x\to a}f(x)</math> existe dans <math>F</math> si, et seulement si : <br />
<center>{{Encadre|contenu=<math>\forall \varepsilon > 0,\;\exist\delta_{\varepsilon} >0|\forall x,y\in A , \|x-y\| < \delta_{\varepsilon} \Rightarrow \|f(x)-f(y)\| < \varepsilon\,</math>}}</center>
<center>{{Encadre|contenu=<math>\forall \varepsilon > 0,\;\exist\delta_{\varepsilon} >0|\forall x,y\in A , \|x-y\| < \delta_{\varepsilon} \Rightarrow \|f(x)-f(y)\| < \varepsilon</math>}}</center>
}}
}}


Ligne 59 : Ligne 59 :
| titre = Théorème du point fixe de Banach
| titre = Théorème du point fixe de Banach
| contenu =
| contenu =
Soient <math>E\,</math> un Banach et <math>f : E \to E\,</math> une application <math>k\,</math>-contractante<math>\,^{(1)}\,</math> .<br />
Soient <math>E</math> un Banach et <math>f : E \to E</math> une application <math>k</math>-contractante<math>\,^{(1)}</math> .<br />
Alors :<br />
Alors :<br />
* la fonction <math>f\,</math> admet un unique point fixe <math>\ell\,</math> sur <math>E\,</math> (c'est-à-dire <math>\exist! \ell\in E\;|\;f(\ell) = \ell\,</math> )
* la fonction <math>f</math> admet un unique point fixe <math>\ell</math> sur <math>E</math> (c'est-à-dire <math>\exist! \ell\in E\;|\;f(\ell) = \ell</math> )
* <math>\ell\,</math> est la limite de toute suite <math>(u_n)\,</math> de <math>E\,</math> définie par <math>u_0 \in E\,</math> et <math>u_{n+1} = f(u_n)\,</math> .<br />
* <math>\ell</math> est la limite de toute suite <math>(u_n)</math> de <math>E</math> définie par <math>u_0 \in E</math> et <math>u_{n+1} = f(u_n)</math> .<br />
<small><math>(1)</math> c'est-à-dire <math>k</math>-lipschitzienne avec <math>|k|<1</math></small>.
<small><math>(1)</math> c'est-à-dire <math>k</math>-lipschitzienne avec <math>|k|<1</math></small>.
}}
}}
Ligne 68 : Ligne 68 :
{{Démonstration déroulante
{{Démonstration déroulante
| contenu =
| contenu =
* '''Existence du point fixe :'''Puisque <math>f\,</math> est <math>k\,</math>-contractante, on a donc :<br />
* '''Existence du point fixe :'''Puisque <math>f</math> est <math>k</math>-contractante, on a donc :<br />
<math>\|u_{n+1}-u_n\| = \|f(u_n) - f(u_{n-1})\| \le k \|u_n-u_{n-1}\|\,</math> . On en déduit par une récurrence facile que :<br />
<math>\|u_{n+1}-u_n\| = \|f(u_n) - f(u_{n-1})\| \le k \|u_n-u_{n-1}\|</math> . On en déduit par une récurrence facile que :<br />
<center>{{Encadre|contenu=<math>\|u_{n+1}-u_n\| \le k^n\|u_1-u_0\|\,</math>}}</center><br />
<center>{{Encadre|contenu=<math>\|u_{n+1}-u_n\| \le k^n\|u_1-u_0\|</math>}}</center><br />
puis que :<br />
puis que :<br />
<math>\forall (n,p)\in\N^2\,</math><br />
<math>\forall (n,p)\in\N^2</math><br />
<math>\begin{align}\|u_{n+p} - u_n\| &\le \|u_{n+p}-u_{n+p-1}\| + \ldots + \|u_{n+1} - u_n\| \\
<math>\begin{align}\|u_{n+p} - u_n\| &\le \|u_{n+p}-u_{n+p-1}\| + \ldots + \|u_{n+1} - u_n\| \\
&\le \left(k^{n+p-1}+\ldots+k^n \right) \|u_1-u_0\| \\ &\le k^n \frac{1-k^p}{1-k} \|u_1-u_0\| \\&\le \frac{k^n}{1-k}\|u_1-u_0\| \xrightarrow[n\to+\infty]{} 0\end{align}\,</math><br />
&\le \left(k^{n+p-1}+\ldots+k^n \right) \|u_1-u_0\| \\ &\le k^n \frac{1-k^p}{1-k} \|u_1-u_0\| \\&\le \frac{k^n}{1-k}\|u_1-u_0\| \xrightarrow[n\to+\infty]{} 0\end{align}</math><br />
donc <math>(u_n)\,</math> est de Cauchy et converge vers <math>\ell\in E\,</math> . En passant à la limite dans <math>u_{n+1} = f(u_n)\,</math> , on obtient bien que <math>f(\ell) = \ell\,</math> et que <math>\ell\,</math> est un point fixe de <math>f\,</math> .
donc <math>(u_n)</math> est de Cauchy et converge vers <math>\ell\in E</math> . En passant à la limite dans <math>u_{n+1} = f(u_n)</math> , on obtient bien que <math>f(\ell) = \ell</math> et que <math>\ell</math> est un point fixe de <math>f</math> .
* '''Unicité du point fixe :''' Supposons que <math>x\,</math> et <math>y\,</math> soient deux points fixes de <math>f\,</math>. Alors :<br />
* '''Unicité du point fixe :''' Supposons que <math>x</math> et <math>y</math> soient deux points fixes de <math>f</math>. Alors :<br />
<math>\|f(x)-f(y)\| \le k\|x-y\| < \|x-y\|\,</math> (car <math>k<1\,</math>) , ce qui est absurde sauf si <math>x=y\,</math>.
<math>\|f(x)-f(y)\| \le k\|x-y\| < \|x-y\|</math> (car <math>k<1</math>) , ce qui est absurde sauf si <math>x=y</math>.
}}
}}



Version du 27 octobre 2014 à 11:03

Début de la boite de navigation du chapitre
Espaces de Banach - Complétude
Icône de la faculté
Chapitre no 3
Leçon : Espaces vectoriels normés
Chap. préc. :Limites et continuité
Chap. suiv. :Dimension finie - Compacité
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Espaces vectoriels normés : Espaces de Banach - Complétude
Espaces vectoriels normés/Espaces de Banach - Complétude
 », n'a pu être restituée correctement ci-dessus.

Dans toute la suite, est un espace vectoriel normé (evn).

Définitions


Voici une propriété vraie dans tout evn et qu'on démontre comme dans  :


Théorèmes

Dans tout ce paragraphe, est un espace de Banach (parfois appelé "Banach").

Début d’un théorème
Fin du théorème


(démonstration à faire)

Début d’un théorème
Fin du théorème


(démonstration à faire)

Début d’un théorème
Fin du théorème