par cyberchand » 30 Avr 2007, 10:51
Explicite tes notations. C'est quoi, X et A?
Je suppose que X doit être un espace métrique, et A une partie dense de X (peut-être dénombrable). Il faut montrer que D={Bo(a,r) , a appartient à A , r appartient à Q+*} est une base de X.
Soit donc x dans X, V un voisinage de x. Il faut montrer qu'il y a une boule Bo(a,r) dedans.
D'abord, il existe eps>0 tel que B(x, eps) soit dans V. Ensuite, il existe a dans A tel que d(x,a) < eps/2 (par densité de A). Enfin, il existe r rationnel qui est < eps/2. Alors tu peux montrer que B(a, eps/2) est encore dans V, ce qui permet de conclure.
Enfin tout ça c'est si A est dense dans X. Sinon, sans plus de détails sur les notations, on ne peut rien dire de plus !
Note: tjs dans le cas où j'ai bien interprété les notations, cela n'a rien d'un problème "tordu". Cet exercice démontre que "tout espace métrique séparable admet une base dénombrable". Autrement dit, dès qu'on a un espace métrique avec une suite dense, il existe une base topologique de l'espace qui est dénombrable. Et ça, c'est très pratique. :)