Supongamos que consideramos una función f(x) define un intervalo abierto decir (a,b) a algún conjunto de T. ¿Cuando sería el conjunto de T en un intervalo abierto?
Respuestas
¿Demasiados anuncios?Para dar sentido a lo poco que puede decirse sin más restricciones en la función, considere esto: existe un mapa de f:(0,1)→(0,1) que se asigna a cada abierto no vacío subinterval de (0,1) a (0,1).
No sé si tal función puede ser dada en forma explícita, pero aquí es una prueba de la existencia que depende en última instancia el axioma de elección:
Escribir x∼y si x−y es racional. A continuación, ∼ es una relación de equivalencia en (0,1). Escribir E para el conjunto de clases de equivalencia. Entonces la cardinalidad de a E es igual a la de (0,1), debido a que cada clase de equivalencia es contable. En particular, existe una sobre el mapa de F:E→(0,1). Definir f(x)=F([x]) where [x] is the equivalence class of x.
Ahora, dada cualquier y∈(0,1) 0<a<b<1 hay algo de x∈(0,1)F([x])=y. Ciertamente, podemos encontrar algunos de los x′∈(a,b)x′∼x, por lo que el f(x′)=F([x′])=F([x])=y. Por lo tanto f mapas de (a,b) a (0,1) como se reivindica.