Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
85 personne(s) sur le site en ce moment
E. Cartan
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
 
 
 
 
 
Suites dans un espace métrique produit next up previous
suivant: Application continue sur un monter: Espaces métriques produits précédent: Notions de base

Suites dans un espace métrique produit

Théorème Soit $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$ une suite de X. $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$ est convergente sur X pour la topologie (métrique) produit si et seulement si ses suites coordonnées sont convergentes pour la topologie de l'espaces auxquels elles appartiennent. De plus, la limite de la suite $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$ est égale à ( $\displaystyle{\lim_{n\rightarrow \infty}x_n^1}$,..., $\displaystyle{\lim_{n\rightarrow \infty}x_n^k}$).
Démonstration Soit la suite d'éléments de X $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$= $(x_n^1,...,x_n^k)_{n \in {\rm I\!N\,}}$ $(x_n^i)_{n \in {\rm I\!N\,}}$ incluse dans $X_i$.
On sait que si un application f est continue en un point x d'un espace métrique (X,d) vers un espace métrique (Y,d) alors si $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$ est une suite convergeant vers x, on $\displaystyle{\lim_{n\rightarrow \infty}f(x_n)}$=$f$( $\displaystyle{\lim_{n\rightarrow \infty}x_n}$) . D'autre part, les applications $\Pi_i$ sont continues pour i=1,...,k. Donc $\displaystyle{\lim_{n\rightarrow \infty}x_n^i}$= $\displaystyle{\lim_{n\rightarrow \infty}\Pi_{i}(x_n)}$=$\Pi_i$( $\displaystyle{\lim_{n\rightarrow \infty}x_n}$)=$x_i$ et les suites $x_n^i$ sont bien convergentes sur $X_i$ . De plus, leur limite est $x_i$.
Montrons maintenant que si les suites coordonnées $(x_n^i)_{n \in {\rm I\!N\,}}\subset X_i$ pour i=1,..,k convergent vers $x_i\in X_i$ alors la suite $(x_n)_{\scriptsize {n \in {\rm I\!N\,}}}$= $(x_n^1,...,x_n^k)_{n \in {\rm I\!N\,}}$ converge vers $x=(x_1,...,x_k)\in X$ . Pour ce faire, prenons $\varepsilon>0$ ainsi qu'une boule $B(x,\varepsilon)$= $B(x_1,\varepsilon)$ $_1\times...\times$ $B(x_k,\varepsilon)$$_k$ dans X. Pour tout i=1..k, il existe $N(i,\varepsilon) _in {\rm I\!N\,}$ tel que si n> $N(i,\varepsilon)$ alors $x_n^i \in$ $B(x_i,\varepsilon)$$_i$. Prenons

\begin{displaymath}N(\varepsilon)=\displaystyle{\sup_{i=1}^k\lbrace N(i,\varepsilon) \rbrace}.\end{displaymath}

On peut alors affirmer que si n> $N(\varepsilon)$ alors $x_n \in$ $B(x,\varepsilon)$.
next up previous
suivant: Application continue sur un monter: Espaces métriques produits précédent: Notions de base
Emmanuel_Vieillard-Baron_pour_les.mathematiques
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page