Compacité

[windows7]

salut,

voyer vous une preuve facile de :


Sphere compacte => ferme borné compact ?


je serais tenté d'ecrire cela :

un ferme borné est inclus dans une boule fermée ( on la note Bf(x,r) )
on a alors Bf(x,r) = U S(x,d) d dans ]0,r]

sachant que tout sphere est compact et en rusant un peu, peut'on en deduire facilement que Bf(x,r) compact => fermé borné aussi ? ( un fermé dans un compact est compact .. )

[windows7]

c'est bon j'ai trouvé, merci a tous :ptdr: