El problema 1: ¿Es posible definir una función continua en Q y no en R-Q?

[León]

¿Alguien tiene una respuesta para la pregunta del primer problema mensual del rincón? Me parece que la discusión en los foros se perdió.

http://www.rinconmatematico.com/corvalan/problemas/problema1.htm

(Si los acentos se ven mal, elegir a mano la codificación de carácteres utf-8.)


Yo no participaba de los foros cuando comenzaron, en el 2002. En esa época se publicaban en ese rincón los "problemas del mes" como desafíos -en general de análisis matemático- que se discutían en los foros.

Cuando vi por primera vez la página del rincón había varios problemas publicados y el primero me costó mucho.

Ayer lo estuve mirando y de nuevo me pareció difícil.

Si no me equivoco, tengo una respuesta no muy muy complicada pero...

... Alvaro escribe que tenía la intención de explicarle la suya a sus alumnos de la primera materia de análisis  y -aunque se sobrentiende que no esperaba que la mayoría de sus alumnos pudieran resolverlo todavía- la mía sería difícil/larga de explicar.

Hay que tener en cuenta que Alvaro tiene fama de ser uno de esos tipos a los que les suele resultar fácil lo que a la mayoría nos desconcierta.

Como aparentemente la discusión sobre el tema se perdió en algún accidente con el archivo de los foros (o quizás los foros no existían todavía cuando se publicó ese problema), me gustaría proponerlo de nuevo como desafío.

[el_manco]

Hola

 Tengo clase en breve así que sólo un pequeñísimo esbozo de como puede ir la cosa:

Spoiler (click para mostrar u ocultar)

 1) Comprobar que los puntos de continuidad de función real son intersección numerable de abiertos.

 2) Pero Q no puede ponerse como intersección numerable de abiertos.

 Conclusión: no existe la función.

 Si puedo lo escribiré mejor.

Saludos.

[León]

Ah, que bueno.

Lo mío era,

Spoiler (click para mostrar u ocultar)

1) Usando
probar que para una f como la del enunciado existe k>0 tal que es no numerable .

2) Ver que hay un intevalo (a,b) dónde Ck es denso.

3) Mostrar que f no es contínua en ningún racional de [a,b].

Pero tu plan me parece mas corto y lindo, ¡gracias!

[el_manco]

Hola

 Un poco más detallado:

Spoiler (click para mostrar u ocultar)

Resultado I: Sean e espacios topológicos, con primero numerable. Entonces el conjunto de puntos donde una función es continua es intersección numerable de abiertos.

Prueba: Por ser primero numerable, para cada tenemos una base local de entornos abiertos de , .

Definimos:
abierto en

- Es fácil ver que es abierto (porque para , tenemos ).

- Llamamos . Se tiene que es continua en si y sólo si (porque es continua en si para cada entorno abierto básico existe un abierto en con

Nota. Podemos adaptar la prueba a nuestro caso particular tomando:

abierto en

Aplicación del resultado I:

- Como es un espacio de Baire la unión numerable de cerrados con interior vacío tiene interior vacío.
- no puede ser unión numerable de cerrados con interior vacío. Si lo fuese añadiendo los puntos de todo sería unión numerable de cerrados con interior vacío y por tanto tendría interior vacío: falso.
- no puede ser unión numerable de cerrados. Basta usar lo anterior y tener en cuenta que todo cerrado contenido en tiene interior vacío. En otro caso contendría elementos racionales, por ser denso en .
- no puede ser intersección numerable de abiertos, ya que tomando complementarios tendríamos como unión numerable de cerrados.

Saludos.

[León]

Guau. Unos comentarios.

Spoiler (click para mostrar u ocultar)

Gracias por refrescarme un poco la topología! : )

Donde dices:

Definimos:
abierto en

- Es fácil ver que es abierto (porque para , tenemos ).

No me queda claro que Xn tenga que ser abierto porque no es seguro (me parece) que .

¿Tan poco como Y primero numerable alcanza? Tengo que pensarlo mejor pero te creo.

Lindísimo, igual.

Cuando tenga tiempo (hoy a la noche o mañana) escribo la mía.

Me acaban de desafiar a una tarde jugando al ping-pong : )

Saludos.

[el_manco]

Hola

 Uy...

Spoiler (click para mostrar u ocultar)

 Tienes razón en tu crítica. Si muevo el punto varía el sistema de entornos de su imagen y la cosa se complica.

 De momento (creo) lo arreglo así, pero ya no para Y primero numerable sino para R.

U abierto en , con y para todo

 Tengo prisa y no puedo revisarlo ahora. Espero no meter la pata de nuevo.

Saludos.

[León]

Mi intento. Al final, cuando tuve que precisar los argumentos, encuentro que no es muy diferente a tu manera de hacerlo.

Spoiler (click para mostrar u ocultar)

Yo también tengo que recurrir al teorema de Baire -y abstrayendo un poco me parece que la idea es la misma aunque la construcción sea diferente.

Supongamos que hay una función f como la pedida.

Definamos, como decía antes, 

y

Sea Dk la clausura de Ck.

Si hay un racional q en Dk, f no puede ser continua q (1).
Veámoslo. Para todo abierto U que contiene a q existe un x en U que está en C_k y por lo tanto existe un y también en U tal que . De ahí que, o o . En definitiva, f no es contínua en q.

La única posibilidad que queda es y por lo tanto .

En definitiva tenemos que los Dk son cerrados con interior vacío y todos unidos dan los irracionales.

Por lo tanto y el Baire asegura que entonces alguno de esos conjuntos tiene interior no vacío -y, por supuesto, tiene que ser alguno de los Dk.

Pero entonces existe un intervalo y hay racionales en Dk lo que, por (1), implica que f no es continua en esos racionales.