Dirichlet function

In mathematics, the Dirichlet function is the indicator function 1_Q or $\mathbf_\Q$ of the set of rational numbers Q, i.e. if ''x'' is a rational number and if ''x'' is not a rational number (i.e. an irrational number).
$\mathbf 1_\Q(x) = \begin 1 & x \in \Q \\ 0 & x \notin \Q \end$

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

Topological properties

• The Dirichlet function is nowhere continuous.

  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:
  $\forall x \in \R, \quad \mathbf_(x) = \lim_ \left(\lim_\left(\cos(k!\pi x)\right)^\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.

Periodicity

For any real number ''x'' and any positive rational number ''T'', 1_Q(''x'' + ''T'') = 1_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.

Integration properties

• The Dirichlet function is not Riemann-integrable on any segment of R whereas it is bounded because the set of its discontinuity points is not negligible