Ejercicio 13, prctico 5: El objetivo de este ejercicio es dar un ejemplo de una funcin denida en todo R continua en cada irracional

y discontinua en cada racional. a) Sea f : (a, b ) R una funcin acotada tal que verica la condicin: > 0 F conjunto nito que verica |f (x )| < para todo x (a, b ) \ F Probar que f es continua en c (a, b ) si y slo si f (c ) = 0. b) (Funcin de Thomae ) Sea f : (0, 1) R tal que f (x ) =
1 q p si |x | = q con mcd(p , q ) = 1 si x R \ Q

(1)

Probar que f es discontinua en cada racional de (0, 1) y continua en cada irracional de (0, 1). Solucin: a) () Sea f una funcin que satisface (1). Informalmente, lo que pasa es que la funcin es arbitrariamente chica a menos de un conjunto nito de puntos. Por muy chico que elijamos , la funcin f est adentro de una banda horizontal (, ) centrada en cero, a menos de un conjunto nito de puntos que est por arriba. Supongamos que f es continua en c (a, b ). Sea > 0. La continuidad de f en c me dice que existe 1 > 0 tal que |x c | < 1 |f (x ) f (c )| < (2)

Por otro lado, puedo elegir 2 > 0 (que depende de ) para que el entorno reducido de centro c y y radio 2 , (c 2 , c + 2 ) := (c 2 , c ) (c , c + 2 ) cumpla que (c 2 , c + 2 ) F = En efecto, basta tomar 2 ms chico que la distancia de c al punto de F ms cercano a c (sin contar a c si ste llegara a pertenecer a F ). Formalmente, lo que hacemos es tomar 2 menor a la distancia del punto c al conjunto F , i.e. 2 < d (c , F ) := m n{d (c , x ) : x F }. Es necesario considerar el entorno reducido porque podra suceder que c F , en cuyo caso (c 2 , c + 2 ) F {c } y por lo tanto no es vaco, para ningn 2 > 0. Conseguimos entonces, por la condicin (1), que: 0 < |x c | < 2 |f (x )| < (3)

Ahora tomo := m n{1 , 2 }, de tal manera que se cumplen tanto la condicin (3) como (2) si consideramos el entorno reducido de centro c y radio , obteniendo: 0 < |x c | < |f (x ) f (c )| < |f (x )| <

Sumando las dos inecuaciones se obtiene, gracias a la desigualdad triangular: 0 < |x c | < 2 > |f (x ) f (c )| + |f (x )| |f (c )| es decir, 0 < |x c | < |f (c )| < 2 Como es arbitrario, esto signica que f (c ) = 0. () Supongamos ahora que f (c ) = 0. Sea > 0. Como antes, puedo elegir > 0 para que (c , c + ) F = . De esta manera, la condicin (1) nos da que 0 < |x c | < |f (x ) f (c )| = |f (x )| < lo que nos dice por denicin de continuidad en un punto que f es continua en c . b) La parte a) nos dice que basta ver que la funcin f satisface la condicin (1). En efecto, en ese caso f slo es continua en los puntos donde vale cero, y nuestra funcin f vale cero exactamente en los irracionales de (0, 1). Sea > 0. La propiedad arquimediana de los nmeros reales implica que existe N Z+ tal que 1 0< N < . Denimos k : 0 < k < n, n N F := n Por ejemplo, si N = 5, F = { 1 , 1 , 2 , 1 , 3 , 1 , 2 , 3 , 4 }. De esta manera, las fracciones irreducibles 2 3 3 4 4 5 5 5 5 que estn en (0, 1) \ F tienen todas denominador mayor que 5. Este caso particular ilustra el caso general. Es decir, si x (0, 1) \ F es una fraccin irreducible, 1 necesariamente tiene denominador mayor que N , por lo tanto necesariamente |f (x )| < N < para todo x (0, 1) \ F (porque si es irracional lo satisface trivialmente). Esto prueba que f satisface la condicin (1), concluyendo el ejercicio.