« Espaces vectoriels normés/Dimension finie » : différence entre les versions

Contenu supprimé Contenu ajouté
Pommoni (discussion | contributions)
Ajout d'un lemme + démonstration
Pommoni (discussion | contributions)
m typo
Ligne 31 :
:Le théorème de Bolzano-Weierstrass nous assure de l'existence d'une suite extraite <math>(u_{\phi(n)})</math> convergente vers <math>u</math>. Comme <math>I</math> est un fermé de <math>\R</math>, on en déduit que <math>u\in I</math>. Ainsi, <math>(u_n)</math> admet une valeur d'adhérence dans <math>I</math>, ce qui prouve que <math>I</math> est compact.
:Examinons maintenant le cas général. On rappelle que la norme utilisée est la norme infinie.
:Soit <math>X</math> une partie fermée et bornée de <math>\R^n</math>. Comme <math>X</math> est bornée, il existe un pavé <math>\prod_{i=1}^n[a_i;b_i]</math> où pour tout <math>i\in \{1,\cdotcdots, n\},\ [a_i;b_i]</math> est un intervalle de <math>\R</math>, tel que <math>X \subset \prod_{i=1}^n[a_i;b_i]</math>.
:Or, la compacité des <math>[a_i;b_i]</math> implique la compacité de <math>\prod_{i=1}^n[a_i;b_i]</math>, et comme <math>X</math> est un fermé inclus dans un compact, on en déduit que <math>X</math> est compact.
}}