Bonjour,j'arrive pas à démontrer ce théorème,un peu d'aide s'il vous plait?
Soit (E,d) un espace métrique,

, A

∅
A fermé dans E

Pour toute suite convergente (Un) de A vers U dans E ; U

A
Alors,pour la première (normalement c'est bon ?) :
A fermé dans E

Pour toute suite convergente (Un) de A vers U dans E ; U

A
Supposons que A est fermé dans E,Un

A et (Un) converge vers U et montrons que U

A :
Supposons que U

A

U

C A (complémentaire de A)

il existe r > 0 tq : B(U,r)

complémentaire de A
D'un autre coté on a (Un) qui converge vers U c'est à dire : il existe n'

N , Un

B(U,r) , quelque soit n

n'
donc : Un

complémentaire de A

= ∅ ,contradiction donc U

A
Est-ce que c'est juste ? y a t-il d'autres méthodes ? Une idée ?
Pour la deuxième :
Pour toute suite convergente (Un) de A vers U dans E ; U

A

A fermé dans E :
Supposons que U

A , Un

A et que (Un) converge vers U et montrons que A est fermé dans E c'est à dire on doit montrer qu'il existe U

A quelque soit r > 0 : B(U,r) n'est pas inclus dans A
et après je bloque ?? des idées s'il vous plait?