¿Esta declaración implica que el conjunto está abierto en RR\mathbb{R}?

En Topología de la línea real, ¿ ( i ) implica que el conjunto A es abierto? Si es así, ¿puedes darme alguna intuición?

( i ) - Dejar A ser un conjunto. Me caigo a A y toda secuencia real ( X norte ) tal que límite norte X norte = a , entonces existe norte 0 norte tal que { X norte : norte norte 0 } A .

¿Qué he probado?

Dado que cualquier sucesión convergente st límite norte X norte = a , entonces para todos ε > 0 , norte norte st para todos norte norte tenemos:

X norte ( a ε , a + ε )

pero esto no implica ( a ε , a + ε ) A . si elijo ε = | X norte 0 | , entonces podemos concluir que ( a | X norte 0 | , a + | X norte 0 | ) A , para norte norte ?

Esto puede parecer trivial para la mayoría de ustedes, pero estoy comenzando un Curso de Topología y todavía estoy aprendiendo las primeras definiciones. ¡Gracias!

Respuestas (1)

Sí, (i) implica que A Esta abierto. Suponer que A no está abierto Entonces hay algo a A tal que para cada ϵ > 0 , ( a ϵ , a + ϵ ) A . En particular, para cada norte Z + hay un X norte ( a 1 norte , a + 1 norte ) A . Ahora muestra que X norte : norte Z + converge a a pero nunca está en A , contradiciendo (i).