E est fini

aannoouuaarr a écrit:

soit E un ensemble inclu ds l'interval [0,1] et contenant 0 et 1.montrer que les 2 propositions suivantes sont equivalentes:

(*) quelque soit x de E, il existe a>0 tel que ]x-a,x+a[ contient un seul element de E.
(**) l'ensemble E est fini.

Je pense que cela est faux.

Prendre par exemple E={1/2-1/n, n>1}U{1/2+1/n, n>1}
cardinal(E) est infini mais :
Pour x=1/2-1/n, on a ]x-1/(n+1)^2,x+1/(n+1)^2[ ne contient qu'un élément de E.
Pour x=1/2+1/n, on a ]x-1/(n+1)^2,x+1/(n+1)^2[ ne contient qu'un élément de E

--
Patrick

desolé... g commi une petite erreur, jlé corrigé.

aannoouuaarr a écrit:

soit E un ensemble inclu ds l'interval [0,1] et contenant 0 et 1.montrer que les 2 propositions suivantes sont equivalentes:

(*) quelque soit x de [0,1], il existe a>0 tel que ]x-a,x+a[ contient au plus un element de E.
(**) l'ensemble E est fini.

Avec cette modification, cela devient effectivement vrai :

(**) ==> (*) : prendre a< min(|x-y|/2, x dans E, y dans E, x différent de y)

Non (**) ==> Non (*) :
E infini ==> E possède un point d'acccumulation dans [0,1] et, pour ce point, il n'existe aucun a qui réponde à la question.

Donc (*) <=> (**)

--
Patrick