Funcion de Dirichlet
Funcion de Dirichlet
Funcion de Dirichlet
En , una función es continua en si cada vez que una sucesión cumpla se cumpla
que . Es decir, si nos acercamos a un punto la función se acerca a la evaluación de ese
punto. En general todas las funciones “bonitas” son continuas, como los polinomios, las funciones
trigonométricas (donde están definidas), etc…
Un ejemplo de una función no continua en sería una función que valga fuera del y valga en ,
bastante tranquilo.
De hecho si se define la función de Dirichlet como en los irracionales y en los racionales de la forma
(pensado como una fracción irreducible). Esta última versión es bastante más noble en dos sentidos.
El primero es que es continua en todos los irracionales pero discontinua en todos los racionales, y esta sí
se puede escribir como un sólo límite de funciones continuas.
De cualquier forma, si uno quiere una función discontinua en todos los reales, hay ejemplos mucho .
mejores para construir el siguiente se necesita un poco de álgebra lineal, pero nada muy profundo.
Si consideramos a como -espacio vectorial, tiene dimensión infinita. Entonces podemos considerar
una base y definir una función como en todos los elementos de la base excepto en uno donde
valga . Después extendemos linealmente para definir la función en todo .
Lo mejor de esta función es que además de ser discontinua en cualquier punto, no está acotada
superiormente ni inferiormente en ningún intervalo, cosa que no sucedía para nada en la de Dirichlet.
Además, como la definimos linealmente, tenemos que la función cumple la ecuación funcional de
Cauchy, a saber
La función de Dirichlet es una función real de variable real que no es continua en ningún punto de la
recta. Se define de la siguiente forma:
Vamos a demostrar que esta función no es continua en ningún punto usando la caracterización de
continuidad por sucesiones, que dice lo siguiente:
Sea . Por ser denso en se tiene que existirá una sucesión tal que
. Y aquí está el problema: como se tiene que y como
se tiene que . Por tanto .