Dirichlet function

In mathematics, the Dirichlet function is the indicator function 1Q or of the set of rational numbers Q, i.e. 1Q(x) = 1 if x is a rational number and 1Q(x) = 0 if x is not a rational number (i.e. an irrational number). It is named after the mathematician Peter Gustav Lejeune Dirichlet. It is an example of pathological function which provides counterexamples to many situations. 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: 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 is not Riemann-integrable on any segment of R whereas it is 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. 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).

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (5)

Related courses (1)

Related lectures (20)

MATH-105(a): Advanced analysis II

Etudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.

Nowhere continuous function

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.

Dirichlet function

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

Boolean Hidden Matching Problem CS-448: Sublinear algorithms for big data analysis

Explores the Boolean Hidden Matching Problem, focusing on distinguishing messages with negligible probability.

Multiple Integrals: Definitions and Properties MATH-105(a): Advanced analysis II

Covers the definition and properties of multiple integrals, including double and triple integrals.

Differentiable Functions: Definitions and Properties MATH-105(b): Advanced analysis II

Covers the definition and properties of differentiable functions, focusing on differentiability, limits, continuity, and partial derivatives.