Lebesgue integration

E59633

integration theory mathematical concept measure-theoretic construction

Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
Lebesgue integral	11
Lebesgue integration canonical	5
Lebesgue integral on the real line	1

How this entity was disambiguated

This entity first appeared as the object of triple T478458 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Lebesgue integration
Context triple: [Itô calculus, uses, Lebesgue integration]

A. Riemann integral
The Riemann integral is a fundamental concept in calculus that defines the integral of a function as the limit of sums of function values over increasingly fine partitions of an interval.
B. Riemann–Liouville integral
The Riemann–Liouville integral is a fundamental operator in fractional calculus that generalizes the concept of an n-fold repeated integral to non-integer (fractional) orders.
C. Riemann–Lebesgue lemma
The Riemann–Lebesgue lemma is a fundamental result in Fourier analysis stating that the Fourier coefficients (or transform) of an integrable function vanish at infinity.
D. Hilbert spaces
Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
E. Itô calculus
Itô calculus is a branch of stochastic analysis that extends classical calculus to functions of stochastic processes, particularly Brownian motion, enabling rigorous treatment of stochastic differential equations.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Lebesgue integration
Target entity description: Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.

A. Riemann integral
The Riemann integral is a fundamental concept in calculus that defines the integral of a function as the limit of sums of function values over increasingly fine partitions of an interval.
B. Riemann–Liouville integral
The Riemann–Liouville integral is a fundamental operator in fractional calculus that generalizes the concept of an n-fold repeated integral to non-integer (fractional) orders.
C. Riemann–Lebesgue lemma
The Riemann–Lebesgue lemma is a fundamental result in Fourier analysis stating that the Fourier coefficients (or transform) of an integrable function vanish at infinity.
D. Hilbert spaces
Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
E. Itô calculus
Itô calculus is a branch of stochastic analysis that extends classical calculus to functions of stochastic processes, particularly Brownian motion, enabling rigorous treatment of stochastic differential equations.
F. None of above. chosen

Statements (50)

Predicate	Object
instanceOf	integration theory ⓘ mathematical concept ⓘ measure-theoretic construction ⓘ
advantageOver	Riemann integration in dealing with sets of measure zero ⓘ Riemann integration in dealing with unbounded functions ⓘ Riemann integration in handling limits of sequences of functions ⓘ
allows	integration of a wider class of functions than Riemann integration ⓘ
appliesTo	functions on general measure spaces ⓘ functions on ℝ ⓘ
approach	partition of the range of the function ⓘ
basedOn	measure ⓘ sigma-algebra ⓘ
characterizedBy	Fatou's lemma ⓘ construction via simple functions ⓘ countable additivity over disjoint measurable sets ⓘ dominated convergence theorem ⓘ integration with respect to a measure ⓘ linearity of the integral ⓘ monotone convergence theorem ⓘ
contrastWith	Riemann integration's partition-of-domain approach ⓘ
domain	functions defined almost everywhere ⓘ measurable functions ⓘ
ensures	completeness of L^p spaces ⓘ existence of integrals for many pointwise limits of integrable functions ⓘ
field	functional analysis ⓘ measure theory ⓘ real analysis ⓘ
generalizes	Riemann integral ⓘ surface form: Riemann integration
historicalPeriod	early 20th century ⓘ
introducedBy	Henri Lebesgue ⓘ
namedAfter	Henri Lebesgue ⓘ
relatedTo	Fubini's theorem ⓘ Radon–Nikodym derivative ⓘ surface form: Radon–Nikodym theorem Tonelli's theorem ⓘ change of variables formula in measure theory ⓘ
supports	Fourier analysis on L^2 ⓘ Hilbert space L^2 ⓘ L^p spaces ⓘ
underlies	expectation of random variables ⓘ modern probability theory ⓘ stochastic processes ⓘ
usedIn	ergodic theory ⓘ functional analysis ⓘ harmonic analysis ⓘ partial differential equations ⓘ
usesConcept	Lebesgue measure ⓘ almost everywhere equality ⓘ measurable functions ⓘ measurable sets ⓘ null sets ⓘ

How these facts were elicited