Get Dirichlet Function essential facts below. View Videos or join the Dirichlet Function discussion. Add Dirichlet Function to your PopFlock.com topic list for future reference or share this resource on social media.
If y is rational, then . 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 . 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 is at least 1/2 away from 1.
If y is irrational, then . Again, we can take , 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, is more than 1/2 away from .
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:
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.
For any real number x and any positive rational number T, 1Q(x + T) = 1Q(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.
The Dirichlet function provides a counterexample showing that the monotone convergence theorem is not true in the context of the Riemann integral.
Using an enumeration of the rational numbers between 0 and 1, we define the function fn (for all nonnegative integer n) as the indicator function of the set of the first n terms of this sequence of rational numbers. The increasing sequence of functions fn (which are nonnegative, Riemann-integrable with a vanishing integral) pointwise converges to the Dirichlet function which is not Riemann-integrable.
The Dirichlet function is Lebesgue-integrable on R and its integral over R is zero because it is zero except on the set of rational numbers which is negligible (for the Lebesgue measure).