Función de Thomae

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Puntos de la gráfica de la función en el (0,1)

Función de Thomae, llamada así en honor a Carl Johannes Thomae, también conocida como la función de las palomitas, la función gotas de lluvia, la función de las nubes numerables, la función modificada de Dirichlet, la función de la regla,[1] o las estrellas sobre Babilonia (por John Horton Conway) es una modificación de la función de Dirichlet. El valor real de la función f(x) se define como sigue:

f(x) = \begin{cases}
  \frac{1}{q} &x \in \mathbb{Q}\; \big|\; x = \frac{p}{q},\; p, q \in \mathbb{Z}^+ \and \operatorname{mcd}(p, q) = 1\\
  0           &x \notin \mathbb{Q} 
\end{cases}

donde:

  • ℚ es el conjunto de los números racionales
  • + es el conjunto de los números enteros positivos
  • mcd es el máximo común divisor de la función

Si x = 0, se toma q = 1. Asumiendo que el mcd(pq) = 1 y q > 0 da una representación única del número racional (ejemplo, excluyendo la representación de 2/4 como 1/2) haciendo de f una función bien definida.

Discontinuidades[editar]

La función de las palomitas de maíz es tal vez el ejemplo más simple de una función con un complejo conjunto de discontinuidades: f es continua en todos los números irracionales y discontinua en todos los números racionales.

Demostración informal[editar]

Claramente, f es discontinua en todos los racionales: desde que los irracionales son densos en los reales, para algún racional x, sin importar qué ε se elija, aquí hay un irracional a aún más próximo a nuestro x donde f(a) = 0 (cuando f(x) es positivo). En otras palabras, f no puede tener aproximarse a cualquier número positivo, ya que su dominio está lleno de ceros.

Para mostrar la continuidad en los irracionales, sin pérdida de generalidad suponemos que εes racional (para algún ε irracional podemos optar por una ε racional más pequeña y la prueba es transitiva). Puesto que ε es racional, puede ser expresada en términos más sencillos como a/b. Queremos mostrar que f(x) es continua cuando x es irracional.

Note que f toma su valor máximo de 1 en cada número entero, por lo que podemos restringir nuestro estudio entre \scriptstyle \lfloor x \rfloor y \scriptstyle \lceil x \rceil. Como ε tiene un denominador finito b, los únicos valores para los que f puede devolver un valor mayor a ε son los que tienen un denominador menor o igual a b. No sólo existe un número finito de valores entre dos enteros con denominador menor o igual que b, por lo que estos se pueden enumerar de manera exhaustiva. Eligiendo δ como la distancia más pequeña cercana de x a uno de estos valores garantiza que todos los valores dentro de δ de x originan f(x) < ε.

Integrabilidad[editar]

La función es Riemann integrable[2] bajo el siguiente criterio:

Criterio de Lebesgue para la integrabilidad de Riemann

Sea f una función definida y acotada en [a,b] y sea D el conjunto de las discontinuidades de f en [a,b]. Entonces f \in R (con  R el conjunto de las funciones Riemann integrables) en [a,b] si, y solo si, D tiene medida cero.

Además, el conjunto de discontinuidades son los números racionales, y los racionales son numerables, el conjunto tiene medida cero, por lo que la función en el [0, 1], verifica el criterio de Lebesgue, y por tanto es Riemann integrable en el [0, 1].

Seguimiento[editar]

Una pregunta natural es si hay una función continua en los números racionales y discontinua de los números irracionales. Esto es imposible porque el conjunto de discontinuidades de una función debe ser un Fσ set. Si tal función existiera, los irracionales serían un conjunto Fσ y por tanto, ya que no contienen un intervalo, serían un conjunto escaso. De aquí que los números reales, siendo la unión de racionales e irracionales, serían un conjunto escaso. Esto contradice el Teorema de categoría de Baire.

Una variante de la función de las palomitas puede ser usada para mostrar que cualquier conjunto Fσ de números reales puede ser un conjunto de discontinuidades de una función. Si \scriptstyle A \;=\; \bigcup_{n=1}^{\infty}F_n es la unión numerable de conjuntos cerrados \scriptstyle F_n, definimos

f_A(x) = \begin{cases}
  \frac{1}{n}  \mbox{ si } x\in\mathbb{Q} \mbox{ y } n \mbox{ es mínima para que } x \in F_n\\
  -\frac{1}{n} \mbox{ si } x\in\mathbb{R}\setminus\mathbb{Q} 
\mbox{ y } n \mbox{ es mínima para que } x \in F_n\\
  0            \mbox{ si } x \notin A
\end{cases}

Un argumento similar al utilizado para la función de las palomitas de maíz muestra que \scriptstyle f_A tiene a A como conjunto de discontinuidades.

Notas[editar]

  1. "… la llamada función de la regla, un ejemplo simple pero provocativo que apareció en una obra de Johannes Karl Thomae... El gráfico sugiere que las marcas verticales están en una regla, de ahí el nombre." William Dunham, La Galería de cálculo, capítulo 10
  2. Spivak, M. (p. 53, Theorem 3-8)

Referencias[editar]

Enlaces externos[editar]