Salut,
J'ai un petit problème avec cet exo :
Soient .
On définit
On suppose compact, fermé.
Est-ce que est fermé ?
J'ai envie de dire oui.
Je propose de partir sur les suites.
Soit , une suite de , qui converge vers . Montrons que .
On a
avec , et .
Soit , une fonction d'extraction telle que (car compact).
On a (car fermé).
Donc (par )
Donc
D'où .
Or converge donc .
Donc est fermé.
Mais j'ai l'impression qu'il y a une faute quelque part...
Ensuite j'ai celui-ci :
Soit un espace métrique compact et une application localement bornée, ce qui
signifie : pour tout , il existe un nombre tel que est bornée sur la boule .
a. Montrer que est bornée sur .
b. Donner un contre-exemple avec un espace qui n’est pas compact (on pourra prendre ).
Et là, je sais pas comment partir.
Merci de votre aide.
-----