« Espaces vectoriels normés/Compacité » : différence entre les versions
Contenu supprimé Contenu ajouté
fignolages + rectifS démoS |
→Valeurs d'adhérence : Ajout des propositiions |
||
Ligne 78 :
===Valeurs d'adhérence ===
{{Définition
|titre = Définition : Suite extraite, Valeur d'adhérence
|contenu =
:Soit <math>a\in E</math> et <math>(u_n)</math> une suite de <math>E</math>.
:*On dit que <math>(u_{n_k})_{k\in \N}</math> est une '''suite extraite''' de <math>(u_n)_{n\in \N}</math> si la suite <math>(n_k)</math> est à valeurs dans <math>\N</math> et strictement croissante.
:*On dit que <math>a</math> est une '''valeur d'adhérence''' de <math>(u_n)</math> s'il existe une suite extraite <math>(u_{n_k})_{k\in \N}</math> qui converge vers <math>a</math>.
}}
{{Proposition
|contenu =
:Soit <math>a\in E</math> et <math>(u_n)</math> une suite de <math>E</math>. <math>a</math> est une valeur d'adhérence de <math>(u_n)</math> si et seulement si pour tout voisinage <math>V</math> de <math>a</math> on a <math>\forall \epsilon >0,~\forall N\in \N,~\exist n>N,~x_n\in V </math>.
}}
{{Proposition
|contenu =
:Soit <math>a\in E</math> et <math>(u_n)</math> une suite de <math>E</math>. <math>(u_n)</math> converge vers <math>a</math> si et seulement si toutes ses suites extraites convergent vers <math>l</math>.
:En particulier, si <math>(u_n)</math> converge vers <math>a</math> alors <math>a</math> est une valeur d'adhérence pour <math>(u_n)</math>.
}}
Un critère plus pratique :
{{Proposition
|contenu =
:Soit <math>a\in E</math> et <math>(u_n)</math> une suite de <math>E</math>. <math>(u_n)</math> converge vers <math>a</math> si et seulement si les suites <math>(u_{2n})</math> et <math>(u_{2n+1})</math> convergent vers <math>a</math>.
}}
{{Proposition
|titre = Proposition : Caractérisation séquentielle de la compacité
|contenu =
:Soit <math>A\subset E</math>. <math>A</math> est compacte si et seulement si toute suite de <math>A</math> admet une valeur d'adhérence <math>a\in A</math>.
}}
Exemple d'application :
{{Proposition
|contenu =
:Soient <math>E,\ F</math> deux e.v.n., et <math>A</math> (resp. <math>B</math>) une partie cmpacte de <math>E</math> (resp. <math>F</math>). Alors, <math>A\times B</math> est une partie compacte de <math>E\times F</math>.
}}
=== Compacité et applications continues ===
| |||