Sé que la bijección de[a,b][a,b] a(c,d)(c,d) no puede ser continua, pero me pregunto si tal función podría existir si fuera discontinua en puntos simplemente contables, y si esto no es posible, ¿por qué?
Respuestas
¿Demasiados anuncios?La funciónf:[0,1]→[0,1)f:[0,1]→[0,1) dada por f (x) = \ cases {\ frac x2 & if$x = \frac{1}{2^n}$ para algunos$n\in \Bbb N$ \\ x & else}f (x) = \ cases {\ frac x2 & if$x = \frac{1}{2^n}$ para algunos$n\in \Bbb N$ \\ x & else} es el ejemplo estándar de un Bijection[0,1]→[0,1)[0,1]→[0,1) y es discontinua sólo en un número de puntos contable. También puede sin demasiado trabajo ser alterado para caber[a,b]→(c,d)[a,b]→(c,d) sin perder esa propiedad.
Tales funciones de existir. Para simplificar, voy a asignar el intervalo de [−1,1][−1,1](−1,1)(−1,1), pero la técnica de obras, en el caso general.
Para n≥1n≥1, vamos a an=1nan=1nbn=−1nbn=−1n. Definir f:[−1,1]→(−1,1)f:[−1,1]→(−1,1) como sigue:
-Para los valores de la secuencia anan, f(an)=an+1f(an)=an+1.
-Para los valores de la secuencia bnbn, f(bn)=bn+1f(bn)=bn+1.
-Para todos los demás xx, f(x)=xf(x)=x.
Uno puede comprobar fácilmente que ff es un bijection de[−1,1][−1,1](−1,1)(−1,1). Y es continua en todas partes, excepto en las secuencias {an}{an}{bn}{bn}, los cuales son countably muchos puntos.