Planteo dos problemas en esta entrada respecto de la topología de los complementos finitos. Tomo como conjunto, el de los números reales.
1. ¿Satisface el primer axioma de numerabilidad? Creo que no.
2. Por tanto, este espacio es candidato a encontrar ejemplos de subconjuntos $A$, $x\in A$ un punto no interior de $A$ pero de forma que toda sucesión convergente a $x$, a partir de un cierto lugar, se encuentra contenida en $A$.
No lo satisface.
ResponderEliminarSi lo satisficiese existiría una base de entornos numerable de un punto $x\in\mathbb{R},\ \beta_x=\{U_i\}_{i\in\mathbb{N}}$.
Cada $\{U_n\}$ es de la forma $U_n=\mathbb{R}-X_n$ con $X_n$ subconjunto finito de $\mathbb{R}$
Por ser $\mathbb{R}$ no numerable $\exists a\in\mathbb{R},a\neq x:a\notin X_n\forall n\in\mathbb{N}$
Como el conjunto $\mathbb{R}-\{a\}$ es entorno del punto $x,\ \exists U_n\in\beta_x: U_n\subset \mathbb{R}-\{a\}\Leftrightarrow \mathbb{R}-X_n\subset\mathbb{R}-\{a\}\Leftrightarrow \{a\}\subset X_n$.
Lo cual es contradictorio, ya que $a\notin X_n \forall n\in\mathbb{N}$
Al final, en la última equivalencia, no se ha puesto la conclusión realmente importante,
ResponderEliminarque $\{a\}\subset X_n$ y aquí ya llegamos a la contradicción