Dirichlet function (original) (raw)

From Wikipedia, the free encyclopedia

Indicator function of rational numbers

For the other function sometimes incorrectly called the Dirichlet function, see Dirichlet kernel.

In mathematics, the Dirichlet function[1][2] is the indicator function 1 Q {\displaystyle \mathbf {1} _{\mathbb {Q} }} of the set of rational numbers Q {\displaystyle \mathbb {Q} } over the set of real numbers R {\displaystyle \mathbb {R} } , i.e. 1 Q ( x ) = 1 {\displaystyle \mathbf {1} _{\mathbb {Q} }(x)=1} for a real number x if x is a rational number and 1 Q ( x ) = 0 {\displaystyle \mathbf {1} _{\mathbb {Q} }(x)=0} if x is not a rational number (i.e. is an irrational number). 1 Q ( x ) = { 1 x ∈ Q 0 x ∉ Q {\displaystyle \mathbf {1} _{\mathbb {Q} }(x)={\begin{cases}1&x\in \mathbb {Q} \\0&x\notin \mathbb {Q} \end{cases}}}

It is named after the mathematician Peter Gustav Lejeune Dirichlet.[3] It is an example of a pathological function which provides counterexamples to many situations.

Topological properties

[edit]

• The Dirichlet function is nowhere continuous. We can prove this by reference to the definition of a continuous function to show that it violates the continuity properties at both rational and irrational arguments:
  Proof
  • If y is rational, then f(y) = 1. To show the function is not continuous at y, we need to find an ε such that no matter how small we choose δ, there will be points z within δ of y such that f(z) is not within ε of f(y) = 1. In fact, 1⁄2 is such an ε. Because the irrational numbers are dense in the reals, no matter what δ we choose we can always find an irrational z within δ of y, and f(z) = 0 is at least 1⁄2 away from 1.
  • If y is irrational, then f(y) = 0. Again, we can take ε = 1⁄2, and this time, because the rational numbers are dense in the reals, we can pick z to be a rational number as close to y as is required. Again, f(z) = 1 is more than 1⁄2 away from f(y) = 0.
    Its restrictions to the set of rational numbers and to the set of irrational numbers are constants and therefore continuous. The Dirichlet function is an archetypal example of the Blumberg theorem.
• The Dirichlet function can be constructed as the double pointwise limit of a sequence of continuous functions, as follows: ∀ x ∈ R , 1 Q ( x ) = lim k → ∞ ( lim j → ∞ ( cos ⁡ ( k ! π x ) ) 2 j ) {\displaystyle \forall x\in \mathbb {R} ,\quad \mathbf {1} _{\mathbb {Q} }(x)=\lim _{k\to \infty }\left(\lim _{j\to \infty }\left(\cos(k!\pi x)\right)^{2j}\right)} for integer j and k. This shows that the Dirichlet function is a Baire class 2 function. It cannot be a Baire class 1 function because a Baire class 1 function can only be discontinuous on a meagre set.[4]

For any real number x and any positive rational number T, 1 Q ( x + T ) = 1 Q ( x ) {\displaystyle \mathbf {1} _{\mathbb {Q} }(x+T)=\mathbf {1} _{\mathbb {Q} }(x)} . The Dirichlet function is therefore an example of a real periodic function which is not constant but whose set of periods, the set of rational numbers, is a dense subset of R {\displaystyle \mathbb {R} } .

Integration properties

[edit]

• Thomae's function, a variation that is discontinuous only at the rational numbers

1. ^ "Dirichlet-function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
2. ^ Dirichlet Function — from MathWorld
3. ^ Lejeune Dirichlet, Peter Gustav (1829). "Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données". Journal für die reine und angewandte Mathematik. 4: 157–169. The function is defined on page 169
4. ^ Dunham, William (2005). The Calculus Gallery. Princeton University Press. p. 197. ISBN 0-691-09565-5.