Análisis Matemático II
Función de Thomae FaMAF - UNC
Objetivos:
• Mostrar que hay funciones integrables que tienen una cantidad infinita de discontinuidades.
• Composición de funciones integrables no es necesariamente integrable.
La clase de funciones integrables es la mayor que hayamos estudiado hasta ahora. Si
bien todas las funciones continuas son integrables, hemos visto ejemplos de funciones que
nos son continuas pero sin embargo son integrables. Por ejemplo la función f : [0, 1] → R
(
1 si x 6= 0
f (x) =
0 si x = 0,
es integrable. También es integrable cualquier función acotada que sea continua excepto
en un número finito de puntos. Pero ¿ qué pasa si la función no es continua en un numero
infinito de puntos? Por ejemplo la función h : [0, 1] → R
(
1 si x ∈ Q
h(x) =
0 si x ∈
/ Q,
no es integrable. Esto se ve de forma inmediata notando que las sumas inferiores de h
para cualquier particion son siempre nulas, y las sumas superiores son siempre iguales
a 1 gracias a la densidad de los números racionales e irracionales. Esto nos lleva a
preguntarnos si toda función que este definida de una forma para los racionales y de otra
para los irracionales es no-integrable, pero esto no es ası́.
La función de Thomae, descubierta por Carl Johannes Thomae,
(
1
si x = pq ∈ Q con (p, q) = 1
g(x) = q
0 si x ∈/ Q o x = 0,
es una función que
• es continua en los irracionales,
• es discontinua en los racionales
• es integrable en [0, 1].
Veamos las demostraciones de estas afirmaciones.
Proposition 0.1. La función de Thomae es integrable.
Demostración: Sea ε > 0. Buscamos una partición Pε tal que S(g, Pε ) − s(g, Pε ) < ε.
Usamos el ε dado en la definición de arquimedianidad de los números reales, por lo tanto
existe un N ∈ N tal que N1+1 < ε/2. Definimos
1 1 2 1 1
BN = {1, , , ,··· , ,··· , }.
2 3 3 N N +1
El conjunto BN tiene una cantidad finita de elementos. Sea m la cantidad de elemntos
de BN . Notemos que:
- (A) Si x ∈ BN entonces g(x) ∈ {1, 12 , 13 , · · · , N1+1 }.
/ BN entonces g(x) ≤ N1+1 < 2ε .
- (B) Si x ∈
1
Análisis Matemático II
Función de Thomae FaMAF - UNC
ε
Tomemos entonces la partición Pε = {t0 , t1 , · · · , tn } con n > m tal que |ti − ti−1 | < 4m .
Notemos que los puntos ti pueden o no pertenecer a BN , que las sumas inferiores son
siemptre cero y los Mi ≤ 1. Para esta partición tenemos
n
X
S(g, Pε ) − s(g, Pε ) = Mi (ti − ti−1 ) − 0
i=n
X X
= Mi (ti − ti−1 ) + Mi (ti − ti−1 )
[ti−1 ,ti ]∩BN =∅ [ti−1 ,ti ]∩BN 6=∅
1 X X
≤ (ti − ti−1 ) + Mi (ti − ti−1 )
N +1 | {z }
[ti−1 ,ti ]∩BN =∅
| {z } [ti−1 , ti ] ∩ BN 6= ∅ ε
< 4m
| {z }
≤1 como mucho 2m elemntos
1 ε
≤ + 2m
N +1 4m
ε ε
≤ + = ε.
2 2
Luego por el segundo criterio de integrabilidad, g es integrable.
Usando la construcción del conjunto BN podemos porbar
Lema 0.2. g es continua en los irrracionales.
Demostración: Sea a ∈/ Q y ε > 0. Queremos ver que existe δ > 0 tal que si |x − a| < δ
entonces |g(x) − g(a)| = |g(a)| < ε.
Tomemos δ = miny∈BN |y − a| > 0, donde BN es el conjunto que construimos arriba
y N1+1 < ε. Ahora, sea x tal que |x − a| < δ. Si x ∈ / Q, |g(x)| = 0 < ε. Si x|inQ,
p
por como tomamos δ, x ∈ / BN . Por lo tanto x = q con q ≥ N + 1. De esta manera
1 1
g(x) = q ≤ N +1 < ε, como querı́amos porbar.
Ahora probaremos
Lema 0.3. g no es continua en Q.
Demostración: Sea a = pq con p, q ∈ Q, coprimos entre si.Por definición sabemos que
g(x) = 1q . Sea ε = 1q y δ > 0 arbitrario. Buscamos un número real x0 tal que |x0 − a| < δ
pero |g(x) − g(a)| ≥ ε. Como los irracionales son densos en los reales, en el intervalo
(a − δ, a + δ) existe un x0 ∈ / Q para el cual |g(x) − g(a)| = 1q ≥ ε como queriamos
demostrar.
2
Análisis Matemático II
Función de Thomae FaMAF - UNC
Falta mostrar que composición de funciones integrables no necesariamente es integrable.
Cosideremos las funciones f y g que definimos arriba. Luego,
(
f (0) si x ∈ /Qox=0
(f ◦ g) =
f ( q ) si x = pq ∈ Q con (p, q) = 1
1
(
1 si x ∈ Q, x 6= 0
=
0 si x 6= Q, x = 0,
que sabemos no es integrable.
