5 votos

No es un ejemplo de un lema sobre la continuidad

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.

5voto

dmay Puntos 415

Tome cualquier función $f$ de $\mathbb R$ en sí mismo. Para cada $x\in\mathbb R$ , $f|_{\{x\}}$ es continua y $\{x\}$ está cerrado. Pero $f$ no tiene por qué ser continua.


Como otro ejemplo, considere $f\colon[0,1]\longrightarrow\mathbb R$ tal que $f(0)=0$ y que $f(x)=1$ de lo contrario. Entonces $f$ es discontinuo, pero si se define $I_0=\{0\}$ y, para cada natural $n$ , $I_n=\left[\frac1{n+1},\frac1n\right]$ entonces la restricción de $f$ a cada $I_n$ es continua, mientras que $f$ es discontinua.

0 votos

Iba a una unión contablemente infinita, así que editaré el post, pero gracias, ¡ésta no se me había pasado por la cabeza!

0 votos

@deque he añadido otro ejemplo a mi respuesta.

0 votos

Lo siento si esto parece trivial, pero ¿cómo se demuestra que las restricciones son continuas y la función global no lo es? En el caso de R con la topología estándar es fácil con el $\epsilon-\delta$ definición pero no puedo entender las topologías subespaciales en juego aquí.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X