Funcin de Dirichlet.

En , una funcin es continua en si cada vez que una sucesin cumpla se cumpla que . Es decir, si nos acercamos a un punto la funcin se acerca a la evaluacin de ese punto. En general todas las funciones bonitas son continuas, como los polinomios, las funciones trigonomtricas (donde estn definidas), etc Un ejemplo de una funcin no continua en sera una funcin que valga fuera del y valga en , bastante tranquilo. La funcin de Dirichlet es un ejemplo de una funcin que no es continua en ningn punto. si es irracional. Como los racional y los irracionales son ambos

si es racional y densos, la funcin no es continua. Algunas personas la describen como

Ya que si

es suficientemente grande y

es racional, tenemos al coseno evaluado en un mltiplo par de

, por lo que vale , y el no importa. Si no, entonces es coseno tiene un valor en , por lo que al evaluarlo a tenemos que ese lmite es . La razn por lo que se usa en vez de es para que el primer lmite exista aunque el coseno valga . De hecho si se define la funcin de Dirichlet como en los irracionales y en los racionales de la forma (pensado como una fraccin irreducible). Esta ltima versin es bastante ms 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 slo lmite de funciones continuas. De cualquier forma, si uno quiere una funcin 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 dimensin infinita. Entonces podemos considerar

una base y definir una funcin como en todos los elementos de la base excepto en uno donde valga . Despus extendemos linealmente para definir la funcin en todo . Lo mejor de esta funcin es que adems de ser discontinua en cualquier punto, no est acotada superiormente ni inferiormente en ningn intervalo, cosa que no suceda para nada en la de Dirichlet. Adems, como la definimos linealmente, tenemos que la funcin Cauchy, a saber cumple la ecuacin funcional de

La funcin de Dirichlet es una funcin real de variable real que no es continua en ningn punto de la recta. Se define de la siguiente forma:

Otra forma de definir esta funcin es la siguiente:

Vamos a demostrar que esta funcin no es continua en ningn punto usando la caracterizacin de continuidad por sucesiones, que dice lo siguiente: Sea una funcin real de variable real y sea sucesin de elementos de A tal que Por tanto f no es continua en a si se tiene que pero . Entonces f es continua en a si

sucesin de elementos de A tal que

Sea

. Por ser

denso en

se tiene que existir una sucesin se tiene que .

tal que y como

. Y aqu est el problema: como se tiene que . Por tanto

Al ser tambin denso en la demostracin para el caso tanto f(x) no es continua en ningn punto. En general, si en vez de tomar tomamos cualquier subconjunto tenemos una funcin que no es continua en ningn valor real.

es anloga a la anterior. Por

que sea denso en