Bonsoir à tous, voilà un petit exo sur lequel je planche et aimerai savoir si ma preuve est bonne.
Soitun espace métrique et
compact et soit
continue , Montrer que
.
Preuve:
L'image d'un compact par une fonction continue est un compact. Dans un espace métrique un compact est fermé borné, doncest une partie fermé et bornée de
donc le sup existe. Par ailleurs
,
et
, donc pour toute suite réel décroissante strictement positive
, on peut trouver un entier
tel que
, donc soit
alors
, on construit alors la suite
telle que
,
signifie que N dépend du n, la suite ainsi définie est extraite de
et converge vers un point
de plus
du théorème des gendarmes et de la continuité de f on en déduit que
donc
.
Il y'a certain point que je n'ai pas justifié car je trouve que ma rédaction est dejà lourde ... donc toute recommandation serait la bienvenue.
Voili Voilou merci d'avance pour vos remarques =)
-----