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

Categorías

Función de Dirichlet

Definición

Propiedades

Véase también

Enlaces externos

Suggest as cover photo

Thank you for helping!

Install Wikiwand

Don't forget to rate us

Tell your friends about Wikiwand!

Enjoying Wikiwand?

Tell your friends and spread the love:

Your preferred languages

All languages

Follow Us

Don't forget to rate us

Our magic isn't perfect

Thank you for helping!

Oh no, there's been an error