title: Función de Dirichlet
text: # 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.
  
  # Función de Dirichlet
  ## 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$.
  
  # Función de Dirichlet
  ## 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).