De Wikipedia, la enciclopedia libre
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 .
Si
c
,
d
∈
R
,
c
≠
d
{\displaystyle c,d\in \mathbb {R} ,\,c\neq d}
, se define la función de Dirichlet como:
D
(
x
)
=
{
c
si
x
∈
Q
d
si
x
∈
R
∖
Q
{\displaystyle 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
{\displaystyle c=1}
y
d
=
0
{\displaystyle d=0}
.
Propiedades [ editar ]
Demostración
Para probar que
D
{\displaystyle D}
no es continua en un punto
x
∈
R
{\displaystyle x\in \mathbb {R} }
, necesitamos ver que
∃
ε
>
0
:
∀
δ
>
0
,
∃
y
∈
]
x
−
δ
,
x
+
δ
[
{\displaystyle \exists \varepsilon >0:\forall \delta >0,\,\exists y\in ]x-\delta ,x+\delta [}
tal que
|
D
(
x
)
−
D
(
y
)
|
≥
ε
{\displaystyle \vert D(x)-D(y)\vert \geq \varepsilon }
.
Si
x
∈
Q
{\displaystyle x\in \mathbb {Q} }
, entonces
D
(
x
)
=
1
{\displaystyle D(x)=1}
. Podemos tomar
ε
=
1
2
{\displaystyle \varepsilon ={\frac {1}{2}}}
. Como los irracionales son densos en
R
{\displaystyle \mathbb {R} }
, no importa qué
δ
{\displaystyle \delta }
tomemos, podemos asegurar la existencia de un
y
∈
]
x
−
δ
,
x
+
δ
[
∩
(
R
∖
Q
)
{\displaystyle y\in ]x-\delta ,x+\delta [\cap (\mathbb {R} \setminus \mathbb {Q} )}
tal que
|
D
(
x
)
−
D
(
y
)
|
=
|
1
−
0
|
=
1
≥
ε
{\displaystyle \vert D(x)-D(y)\vert =\vert 1-0\vert =1\geq \varepsilon }
.
Si
x
∈
R
∖
Q
{\displaystyle x\in \mathbb {R} \setminus \mathbb {Q} }
, entonces
D
(
x
)
=
0
{\displaystyle D(x)=0}
. Podemos tomar de nuevo
ε
=
1
2
{\displaystyle \varepsilon ={\frac {1}{2}}}
. Como los racionales son densos en
R
{\displaystyle \mathbb {R} }
, no importa qué
δ
{\displaystyle \delta }
tomemos, podemos asegurar la existencia de un
y
∈
]
x
−
δ
,
x
+
δ
[
∩
(
Q
)
{\displaystyle y\in ]x-\delta ,x+\delta [\cap (\mathbb {Q} )}
tal que
|
D
(
x
)
−
D
(
y
)
|
=
|
0
−
1
|
=
1
≥
ε
{\displaystyle \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
→
∞
(
lim
j
→
∞
(
cos
(
k
!
π
x
)
2
j
)
)
{\displaystyle 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
)
∀
x
∈
R
,
∀
q
∈
Q
{\displaystyle 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
R
{\displaystyle \mathbb {R} }
(los racionales).
Véase también [ editar ]
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 [ editar ]