Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 23-02-2015 12:13:44
- topologie
- Membre
- Inscription : 22-12-2014
- Messages : 86
Compacité et fonction continue
Bonjour, j'ai ce petit exercice:
Soit [tex](E,d), (E',d')[/tex] deux espaces métriques, et [tex]f:E\rightarrow E'[/tex] une fonction injective tel que l'image de tout compact de[tex] E[/tex] est un compact de [tex]E'[/tex], montrer que [tex]f[/tex] est une fonction continue.
la seule idée que j'ai eu est d'utiliser les suite mais je n'arrive pas a bouger, soit [tex](x_n)\subset E[/tex] tel que [tex]x_n\rightarrow x[/tex] et je démontre que [tex]f(x_n) \rightarrow f(x)[/tex] mais je ne sais pas comment utiliser le fait que[tex] f[/tex] est injective et que l'image d'un compact par f est un compact?
Merci d'avance.
Hors ligne
#2 23-02-2015 14:45:13
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 048
Re : Compacité et fonction continue
Salut,
Je vais en plus considérer une suite [tex](x_n)[/tex] injective et qui n'est jamais égale à x (on peut toujours le faire).
Posons [tex]K_1=\{x_n;\ n\geq 0\}\cup\{x\}[/tex]. Alors [tex]K_1[/tex] est compact.
[tex]f(K_1)[/tex] est compact.
Pour prouver que [tex](f(x_n))[/tex] tend vers [tex]f(x)[/tex], il suffit de prouver que toute suite extraite
[tex](f(x_{\phi(n)})[/tex] qui converge converge vers [tex]f(x)[/tex].
Si ce n'est pas le cas, il en existe une qui converge nécessairement vers un certain [tex]f(x_p)[/tex] puisque [tex]f(K_1)[/tex] est compact.
Maintenant, considère [tex]K_2=\{x_n;\ n>p\}\cup\{x\}[/tex] (qui est tout aussi compact)
et donc la suite [tex](f(x_{\phi(n)})[/tex] admet une sous-suite qui converge vers un élément de [tex]f(K_2)[/tex]. Mais elle converge aussi vers [tex]f(x_p)[/tex] qui n'est pas dans [tex]f(K_2)[/tex] puisque la fonction est injective.
C'est donc que toute suite extraite de [tex](f(x_n))[/tex] converge vers [tex]f(x)[/tex], ce qui suffit à conclure.
Fred.
Hors ligne
#4 23-02-2015 21:00:58
Re : Compacité et fonction continue
Salut,
tu peux le montrer en utilisant Borel-Lebesgue :
Soit [tex](O_n)_n[/tex] un recouvrement ouvert de [tex]K_1[/tex], un de ces ouverts contient la limite [tex]x[/tex], disons [tex]O_{n_0}[/tex]. Notons [tex]r_0[/tex] son rayon. A partir d'un certains rangs tous les termes suivants de la suite sont [tex]r_0[/tex] proches de la limite. Notons [tex]x_{k_0}[/tex] un terme de la suite appartenant à [tex]O_{n_0}[/tex].
Il existe un ouvert contenant le premier terme de la suite, il existe un ouvert contenant le second, ...., il existe un ouvert contenant le [tex]k_0-1[/tex]-ème.
On pose le sous-recouvrement composé des ouverts contenant les [tex]k_0-1[/tex] premiers termes union [tex]O_{n_0}[/tex]. C'est un sous-recouvrement fini de [tex](O_n)_n[/tex]. Donc [tex]K_1[/tex] est compact.
Dernière modification par Choukos (23-02-2015 22:11:16)
Hors ligne
#6 24-02-2015 21:54:47
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 048
Re : Compacité et fonction continue
Ici !
Maintenant, considère [tex]K_2=\{x_n;\ n>p\}\cup\{x\}[/tex] (qui est tout aussi compact)
et donc la suite [tex](f(x_{\phi(n)})[/tex] admet une sous-suite qui converge vers un élément de [tex]f(K_2)[/tex]. Mais elle converge aussi vers [tex]f(x_p)[/tex] qui n'est pas dans [tex]f(K_2)[/tex] puisque la fonction est injective.
Hors ligne
Pages : 1