Dirichlet function

Last updated November 30, 2023

In mathematics, the Dirichlet function^[1]^[2] is the indicator function $\mathbf {1} _{\mathbb {Q} }$ of the set of rational numbers $\mathbb {Q}$ , i.e. $\mathbf {1} _{\mathbb {Q} }(x)=1$ if $x$ is a rational number and $\mathbf {1} _{\mathbb {Q} }(x)=0$ if $x$ is not a rational number (i.e. is an irrational number).

Topological properties

The Dirichlet function is nowhere continuous.
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: $\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]

Periodicity

For any real number $x$ and any positive rational number $T$ , $\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 $\mathbb {R}$ .

Integration properties

The Dirichlet function is not Riemann-integrable on any segment of $\mathbb {R}$ despite being bounded because the set of its discontinuity points is not negligible (for the Lebesgue measure).
The Dirichlet function provides a counterexample showing that the monotone convergence theorem is not true in the context of the Riemann integral.
Proof
Using an enumeration of the rational numbers between 0 and 1, we define the function $f n$ (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 $f n$ (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 $\mathbb {R}$ and its integral over $\mathbb {R}$ is zero because it is zero except on the set of rational numbers which is negligible (for the Lebesgue measure).

Related Research Articles

In mathematics, a continuous function is a function such that a continuous variation of the argument induces a continuous variation of the value of the function. This means there are no abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is not continuous. Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity.

In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göttingen in 1854, but not published in a journal until 1868. For many functions and practical applications, the Riemann integral can be evaluated by the fundamental theorem of calculus or approximated by numerical integration, or simulated using Monte Carlo integration.

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

<span class="mw-page-title-main">Uniform continuity</span> Uniform restraint of the change in functions

In mathematics, a real function $of real numbers is said to be uniformly continuous if there is a positive real number such that function values over any function domain interval of the size are as close to each other as we want. In other words, for a uniformly continuous real function of real numbers, if we want function value differences to be less than any positive real number, then there is a positive real number such that at any and in any function interval of the size .$

In mathematical analysis, the Dirac delta distribution, also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one.

In mathematics, the infimum of a subset $of a partially ordered set is the greatest element in that is less than or equal to each element of if such an element exists. In other words, it is the greatest element of that is lower or equal to the lowest element of . Consequently, the term greatest lower bound is also commonly used. The supremum of a subset of a partially ordered set is the least element in that is greater than or equal to each element of if such an element exists. In other words, it is the least element of that is greater than or equal to the greatest element of . Consequently, the supremum is also referred to as the least upper bound .$

The Riemann hypothesis is one of the most important conjectures in mathematics. It is a statement about the zeros of the Riemann zeta function. Various geometrical and arithmetical objects can be described by so-called global L-functions, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these L-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the algebraic function field case.

In vector calculus, Green's theorem relates a line integral around a simple closed curve $C$ to a double integral over the plane region $D$ bounded by $C$ . It is the two-dimensional special case of Stokes' theorem.

In mathematics, the limit of a function is a fundamental concept in calculus and analysis concerning the behavior of that function near a particular input.

In mathematics, a nowhere continuous function, also called an everywhere discontinuous function, is a function that is not continuous at any point of its domain. If $is a function from real numbers to real numbers, then is nowhere continuous if for each point there is some such that for every we can find a point such that and . Therefore, no matter how close we get to any fixed point, there are even closer points at which the function takes not-nearby values.$

In mathematics, the Henstock–Kurzweil integral or generalized Riemann integral or gauge integral – also known as the (narrow) Denjoy integral, Luzin integral or Perron integral, but not to be confused with the more general wide Denjoy integral – is one of a number of inequivalent definitions of the integral of a function. It is a generalization of the Riemann integral, and in some situations is more general than the Lebesgue integral. In particular, a function is Lebesgue integrable if and only if the function and its absolute value are Henstock–Kurzweil integrable.

In mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to infinitesimal calculus. It provides a rigorous justification for some arguments in calculus that were previously considered merely heuristic.

In mathematics, the Riemann–Lebesgue lemma, named after Bernhard Riemann and Henri Lebesgue, states that the Fourier transform or Laplace transform of an L¹ function vanishes at infinity. It is of importance in harmonic analysis and asymptotic analysis.

Continuous functions are of utmost importance in mathematics, functions and applications. However, not all functions are continuous. If a function is not continuous at a point in its domain, one says that it has a discontinuity there. The set of all points of discontinuity of a function may be a discrete set, a dense set, or even the entire domain of the function.

Thomae's function is a real-valued function of a real variable that can be defined as:

In mathematics, Baire functions are functions obtained from continuous functions by transfinite iteration of the operation of forming pointwise limits of sequences of functions. They were introduced by René-Louis Baire in 1899. A Baire set is a set whose characteristic function is a Baire function.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

<span class="mw-page-title-main">Lebesgue integration</span> Method of integration

In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the $X$ axis. The Lebesgue integral, named after French mathematician Henri Lebesgue, extends the integral to a larger class of functions. It also extends the domains on which these functions can be defined.

In mathematics, a limit is the value that a function approaches as the input approaches some value. Limits are essential to calculus and mathematical analysis, and are used to define continuity, derivatives, and integrals.

In the branch of mathematics known as integration theory, the McShane integral, created by Edward J. McShane, is a modification of the Henstock-Kurzweil integral. The McShane integral is equivalent to the Lebesgue integral.

References

↑ "Dirichlet-function", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
↑ Dirichlet Function — from MathWorld
↑ 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.
↑ Dunham, William (2005). The Calculus Gallery. Princeton University Press. p. 197. ISBN 0-691-09565-5.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[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.

[4] Dunham, William (2005). The Calculus Gallery. Princeton University Press. p. 197. ISBN 0-691-09565-5.

[1]

[2]

[3]

[4]