Función de Dirichlet

En matemática, la función de Dirichlet, llamada así en honor al matemático alemán Peter Gustav Lejeune Dirichlet, es una función matemática especial, que tiene la peculiaridad de no ser continua en ningún punto de su dominio.

Definición

Si $c,d\in \mathbb {R} ,\,c\neq d$, se define la función de Dirichlet como: $D(x)={\begin{cases}c&{\text{si }}x\in \mathbb {Q} \\d&{\text{si }}x\in \mathbb {R} \setminus \mathbb {Q} \\\end{cases}}$

Usualmente se toman los valores $c=1$ y $d=0$.

Propiedades

• La función de Dirichlet es discontinua en todo punto de su dominio.

Demostración

Para probar que $D$ no es continua en un punto $x\in \mathbb {R}$, necesitamos ver que $\exists \varepsilon >0:\forall \delta >0,\,\exists y\in ]x-\delta ,x+\delta [$ tal que $\vert D(x)-D(y)\vert \geq \varepsilon$. Si $x\in \mathbb {Q}$, entonces $D(x)=1$. Podemos tomar $\varepsilon ={\frac {1}{2}}$. Como los irracionales son densos en $\mathbb {R}$, no importa qué $\delta$ tomemos, podemos asegurar la existencia de un $y\in ]x-\delta ,x+\delta [\cap (\mathbb {R} \setminus \mathbb {Q} )$ tal que $\vert D(x)-D(y)\vert =\vert 1-0\vert =1\geq \varepsilon$. Si $x\in \mathbb {R} \setminus \mathbb {Q}$, entonces $D(x)=0$. Podemos tomar de nuevo $\varepsilon ={\frac {1}{2}}$. Como los racionales son densos en $\mathbb {R}$, no importa qué $\delta$ tomemos, podemos asegurar la existencia de un $y\in ]x-\delta ,x+\delta [\cap (\mathbb {Q} )$ tal que $\vert D(x)-D(y)\vert =\vert 0-1\vert =1\geq \varepsilon$.

• Analíticamente, la función de Dirichlet se puede representar como el límite doble de una sucesión de funciones: $D(x)=\lim _{k\to \infty }\left(\lim _{j\to \infty }\left(\cos(k!\pi x)^{2j}\right)\right)$.
• La función de Dirichlet es periódica, ya que $D(x+q)=D(x)\quad \forall x\in \mathbb {R} ,\forall q\in \mathbb {Q}$. Esta función, por tanto, es un ejemplo de una función periódica no constante cuyo conjunto de periodos es denso en $\mathbb {R}$ (los racionales).

Véase también

• Función de Thomae, una variación de la función de Dirichlet que es continua en los irracionales y discontinua en los racionales.

Enlaces externos

• Weisstein, Eric W. «Dirichlet Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• The Modified Dirichlet Function por George Beck, The Wolfram Demonstrations Project.

• Datos: Q948386