Evn

[kazeriahm]

salut

voici un exo dont j'ai une solution mais je crois qu'on peut faire mieux

E est un evn complet et A un ouvert borné non vide de E tel que pour tout (x,y) dans A^2, il existe une boule B contenue dans A et contenant (x,y).

Montrer que A est une boule ouverte.

Si quelqu'un a une solution...

[Yipee]

D'abord je pense que c'est plutôt qui est dans B non ?

Sinon, voici ma méthode. On essaye d'abord de déterminer cette boule et on le montre par double inclusion. On commence par remarquer que A est borné donc on peut définir . De même, on peut définir des suites et telles que tende vers d.

On pose alors le milieu de . Toutes ces suites sont bornées, on peut extraire de sorte à ce qu'elles convergent toutes. On note x,y et O les limites. On veut alors montre que A = B(O,r).

- il suffit de remarquer que par hypothèses, où .
- soit Z un point tel que d(Z,O) > r, on peut constuire des points sur la droite (OZ) tels que
ce qui est absurde.

[kazeriahm]

bon c'est ce que j'ai fait modulo les différences de raisonnement (par exemple au lieu de considèrer tes suites (xn) et (yn) du début j'avais pris (an) tq B(a_n,R-1/n) contenu dans A avec R le sup des rayons tel qu'il existe une boule de ce rayon contenu dans A, on montre a_n de Cauchy,....) ca revient globalement au meme.