Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Funcion de Dirichlet

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

Función 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.

La función de Dirichlet es un ejemplo de una función que no es continua en ningún punto.


si es racional y si es irracional. Como los racional y los irracionales son ambos
densos, la función no es continua.

Algunas personas la describen como

Ya que si es suficientemente grande y es racional, tenemos al coseno evaluado en un múltiplo 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 límite es . La razón por lo que se usa en vez de es para que el
primer límite exista aunque el coseno valga .

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:

Otra forma de definir esta función es la siguiente:

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 una función real de variable real y sea . Entonces f es continua en a si


sucesión de elementos de A tal que se tiene que

Por tanto f no es continua en a si sucesión de elementos de A tal que pero

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 .

Al ser también denso en la demostración para el caso es análoga a la anterior. Por


tanto f(x) no es continua en ningún punto.

En general, si en vez de tomar tomamos cualquier subconjunto que sea denso en


tenemos una función que no es continua en ningún valor real.

También podría gustarte