Lema:
Dejemos que $f:(X,\mathcal{T})\longrightarrow(X',\mathcal{T'})$ sea un mapeo entre espacios topológicos donde $$X=\cup_{j=1}^m F_j$$ $ \text{ with }F_j\text{ closed for }\mathcal{T},\, f_{|F_j} \text{ continuous },\forall j=1,\ldots,m.$
Entonces $f$ es continua.
Me gustaría encontrar un no ejemplo a eso cuando $X$ es un contablemente unión infinita de conjuntos cerrados.
Mi curso ya proporciona uno que me parece contraintuitivo, ya que hasta ahora he trabajado sobre todo en espacios métricos (la identidad entre $\mathbb{N}=\cup\{n\}$ con la topología cofinita y $\mathbb{N}$ con la topología discreta).
¿Es posible encontrar uno en el que los dos espacios sean $\mathbb{R}$ con la topología estándar?
He considerado la disyuntiva cerrada $X_n$ que cubren cada vez más $\mathbb{R}$ pero en vano.
0 votos
¿Por qué escribes unión finita y luego pides unión contable? El resultado es cierto para las uniones finitas, porque la unión finita de conjuntos cerrados es cerrada.
0 votos
Estoy preguntando por un contraejemplo a la afirmación, por eso busco un countably infinito unión
0 votos
La declaración tal como está escrita es verdadera. Se convierte en falsa cuando la unión finita se sustituye por una unión infinita.
0 votos
Sí, tal vez debería haber dicho que estoy buscando un no ejemplo cuando la unión es infinita y no "contraejemplo"