PROBLEMA 2 VALENCIA 2021

Luis Felipe Prieto Martı́nez

Estudia la continuidad de la función f : [0, 1] → R dada por

(
0 si x es irracional o 0
f (x) = 1
q si x se puede poner como fracción irreducible con denorminador q

La función que aparece en este ejercicio se conoce como Función de Thomae, Función de las
Palomitas o Función Modificada de Dirichlet, entre otros nombres.

(1) En primer lugar, veamos que para cualquier número real a en el dominio existe una sucesión
de irracionales (an ) que converge a a. Dudo que fuera necesario escribirla explı́citamente, pero
podemos coger an = a + nπ si a es racional y an = a + n1 si a es irracional. La correspondiente
sucesión de imágenes (f (an )) es constantemente igual a 0 (y por tanto converge a 0). De forma
que la única esperanza para que f (x) sea continua en a es que a sea irracional o 0.
(2) El argumento anterior (eligiendo una sucesión creciente) también nos sirve para concluir que
f (x) no puede ser continua por la izquierda en 1. Podrı́amos coger la sucesión an = 1 − nπ .
(3) Veamos, en primer lugar, que la función es continua por la derecha en 0. Vemos que, ∀ε > 0,
podemos tomar δ = ε de forma que

x > 0, |x − 0| < δ ⇒ |f (x) − f (0)| < ε

Hay que separar casos. Para cualquier x is irracional |f (x) − f (0)| = |0 − 0| = 0. Si x es un

irracional cuya fracción irreducible es pq , entonces

p p 1 1
|x − 0| = | − 0| = < δ = ε ⇒ |f (x) − f (0)| = | − 0| = < ε
q q q q

(4) Sea a un número irracional comprendido en el intervalo (0, 1). Veamos ahora que f (x) es continua
en a, esto es, para todo ε > 0 podemos encontrar algún δ tal que:

|x − a| < δ ⇒ |f (x) − f (a)| < ε

De nuevo hay que separar casos. Para cualquier x is irracional |f (x) − f (a)| = |0 − 0| = 0 (la
elección de δ es irrelevante). El otro caso lo hacemos en los dos puntos siguientes.
(5) Si x es un irracional cuya fracción irreducible es pq , entonces

1 1
|f (x) − f (a)| = | − 0| =
q q

Queremos que 1q < ε. Ası́ que necesitamos que 1ε < q. Por tanto, la elección de δ debe garantizar
que no estamos en un caso q ≤ 1ε . Definamos el conjunto finito de “los denominadores que no
queremos”:
1
Q = {q ∈ N : q ≤ } = {1, 2, . . . , n}
ε
 donde n = E( 1ε ), y E(r) denota la parte entera de r. Hay un conjunto finito C de números
racionales en el intervalo (0, 1) cuya fracción irreducible tiene un denominador en Q:
1 2 n−1 1 n−2 1 2 1
C = { , ,..., , ,..., ,..., , , }
n n n n−1 n−1 3 3 2

(6) Definamos
min{|x − a| : x ∈ C}
δ=
2
En ese caso, si tenemos un racional x distinto de 0 y que cumple |x − a| < δ, seguro que no está
en C, el denominador de su fracción irreducible no está en Q y por lo tanto
1 1
|f (x) − f (a)| = | − 0| = < ε
q q