Daniel Andres Gomez codigo 153596 Topolog a General Gustavo Rubiano

si an p, an A. Proposicion. Sea (X, ) un espacio 1contable, entonces p A si y solo Demostracion. ) Suponga que an p con an A. Sea V una vecindad arbitraria de p. Sabemos queda en V . Como V es arbitario, sigue que cualquier vecindad de p que casi toda la sucesion As contiene puntos de A, en particular casi toda la sucesion. , p A. ) Suponga que p A. Como X es 1-contable, entonces existe una base local enumerable Bp = {B1 , B2 , . . .} tal que para todo V , existe Bi Bp con p Bi V . Como p A entonces existe ai A con ai Bi y ai = p. Como Bp es base, entonces sabemos que Bi Bi+1 es una vecindad de p. Luego existe ai+1 A tal que ai+1 Bi Bi+1 y ai+1 = p. Continuando con un proceso an alogo, (an ) tal que tomamos an A con an Bi Bi+1 Bi+n y an = p. Vemos que existe una suecesion an p.