En $\mathbb{R}^2$, si tengo un conjunto abierto, llame a $U$, y un punto de $u_0\in U$. Es el conjunto $U^{'} = U - \{ u_0 \}$ también está abierto? O tal vez no es abierto y no cerrado?
Mi intuición es que todavía permanece abierta, pero no estoy seguro sobre cómo formalizar esta. Es suficiente si digo que ya que por cada $u\in U$ existe una vecindad $V_u$ tal que $V_u\subseteq U$, por lo que también es cierto para cada uno de los $u\in U- \{u_0 \}$, haciendo de $U^{'}$ abierto así? No estoy seguro si esto es formal suficiente (o tal vez me he perdido algo y lo que está mal)
Y suponiendo que esto es correcto, ¿se puede quitar más de un punto? es decir, eliminar cualquier $u_0,...,u_n$ $U$ y todavía se siguen un conjunto abierto?
Gracias!