« Espaces vectoriels normés/Espaces de Banach - Complétude » : différence entre les versions
Contenu supprimé Contenu ajouté
m Ajout rapide de la catégorie Catégorie:Espaces vectoriels normés (avec HotCats) |
maintenance |
||
Ligne 13 : | Ligne 13 : | ||
== Définitions == |
== Définitions == |
||
{{Définition|titre = Définition : Suite de Cauchy|contenu = |
{{Définition |
||
| titre = Définition : Suite de Cauchy |
|||
| 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>{{Résultat|<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>{{Résultat|<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é |
|||
⚫ | |||
⚫ | |||
}} |
|||
{{Définition |
|||
⚫ | |||
| contenu = |
|||
* Un evn est dit '''complet''' si, et seulement si, toute suite de Cauchy y est convergente. |
* Un evn est dit '''complet''' si, et seulement si, toute suite de Cauchy y est convergente. |
||
* On appelle '''espace de Banach''' tout espace vectoriel normé complet.}} |
* On appelle '''espace de Banach''' tout espace vectoriel normé complet. |
||
}} |
|||
== 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 |
|||
⚫ | |||
| 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>{{Résultat|<math>\exist! x\in E\;|\; \bigcap_{n\in\N} F_n = \{x\}\,</math>}}</center>}} |
alors <center>{{Résultat|<math>\exist! x\in E\;|\; \bigcap_{n\in\N} F_n = \{x\}\,</math>}}</center> |
||
}} |
|||
(démonstration à faire) |
(démonstration à faire) |
||
{{Théorème|titre = Théorème : Critère de Cauchy pour les fonctions|contenu = |
{{Théorème |
||
| titre = Théorème : Critère de Cauchy pour les fonctions |
|||
| 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>{{Résultat|<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>{{Résultat|<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> |
||
}} |
|||
(démonstration à faire) |
(démonstration à faire) |
||
{{Théorème|titre = Théorème du point fixe de Banach|contenu = |
{{Théorème |
||
| titre = Théorème du point fixe de Banach |
|||
| 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>. |
||
}} |
|||
{{Démonstration déroulante|contenu = |
{{Démonstration déroulante |
||
| 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/> |
||
Ligne 56 : | Ligne 79 : | ||
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>. |
||
}} |
|||
{{Bas de page |
{{Bas de page |
Version du 9 septembre 2009 à 15:25
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 :
Définition : Espace de Banach
- Un evn est dit complet si, et seulement si, toute suite de Cauchy y est convergente.
- On appelle espace de Banach tout espace vectoriel normé complet.
Théorèmes
Dans tout ce paragraphe, est un espace de Banach (parfois appelé "Banach").
(démonstration à faire)
Théorème : Critère de Cauchy pour les fonctions
Soient et deux Banach, et .
existe dans si, et seulement si :
(démonstration à faire)
Théorème du point fixe de Banach
Soient un Banach et une application -contractante .
Alors :
- la fonction admet un unique point fixe sur (c'est-à-dire )
- est la limite de toute suite de définie par et .
c'est-à-dire -lipschitzienne avec .
Démonstration
- Existence du point fixe :Puisque est -contractante, on a donc :
. On en déduit par une récurrence facile que :
puis que :
donc est de Cauchy et converge vers . En passant à la limite dans , on obtient bien que et que est un point fixe de .
- Unicité du point fixe : Supposons que et soient deux points fixes de . Alors :
(car ) , ce qui est absurde sauf si .