Lebesgue measure
E284674
Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Lebesgue measure canonical | 9 |
| Lebesgue measure on Euclidean spaces | 1 |
| Lebesgue outer measure | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2631207 — 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 measure Context triple: [Lebesgue integration, usesConcept, Lebesgue measure]
-
A.
Lebesgue integration
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.
-
B.
Lebesgue spaces
Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
-
C.
Carathéodory’s extension theorem
Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
-
D.
Hardy–Littlewood maximal function
The Hardy–Littlewood maximal function is a fundamental operator in real analysis and harmonic analysis that controls the local averages of a function and plays a key role in differentiation theorems and singular integral theory.
-
E.
Minkowski functional
The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
- 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 measure Target entity description: Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
-
A.
Lebesgue integration
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.
-
B.
Lebesgue spaces
Lebesgue spaces are function spaces, denoted \(L^p\), that consist of measurable functions whose absolute values raised to the \(p\)-th power are integrable, forming a fundamental framework in modern analysis and probability theory.
-
C.
Carathéodory’s extension theorem
Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
-
D.
Hardy–Littlewood maximal function
The Hardy–Littlewood maximal function is a fundamental operator in real analysis and harmonic analysis that controls the local averages of a function and plays a key role in differentiation theorems and singular integral theory.
-
E.
Minkowski functional
The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
- F. None of above. chosen
Statements (52)
| Predicate | Object |
|---|---|
| instanceOf |
Borel measure
ⓘ
complete measure ⓘ measure ⓘ outer measure ⓘ translation-invariant measure ⓘ |
| agreesWith | Riemann integral on Riemann integrable functions ⓘ |
| allowsIntegrationOf | functions not Riemann integrable ⓘ |
| assignsMeasure |
R^n has infinite measure
ⓘ
countable subset of R^n has measure 0 ⓘ empty set has measure 0 ⓘ finite set in R^n has measure 0 ⓘ interval [a,b] has measure b-a ⓘ singleton set in R^n has measure 0 ⓘ |
| constructedBy |
Carathéodory’s extension theorem
ⓘ
surface form:
Carathéodory extension theorem
|
| constructedFrom | outer measure via coverings by intervals or rectangles ⓘ |
| definedOn |
Lebesgue measurable subsets of R^n
ⓘ
sigma-algebra of Lebesgue measurable sets ⓘ |
| dependsOn | axiom of choice for existence of non-measurable sets ⓘ |
| extends |
Jordan measure
ⓘ
notion of area on rectangles ⓘ notion of length on intervals ⓘ notion of volume on boxes in R^n ⓘ |
| generalizes |
area in R^2
ⓘ
length in R ⓘ volume in R^3 ⓘ |
| hasNonMeasurableSets | Vitali set ⓘ |
| hasNullSet | Cantor set ⓘ |
| introducedIn | early 20th century ⓘ |
| isAbsolutelyContinuousWithRespectTo | itself ⓘ |
| isComplete | true ⓘ |
| isCountablyAdditive | true ⓘ |
| isFoundationOf |
Lebesgue integration
ⓘ
modern measure theory ⓘ |
| isInnerRegularOnOpenSets | true ⓘ |
| isInvariantUnder |
orthogonal transformations in R^n
ⓘ
translations in R^n ⓘ |
| isOuterRegularOnBorelSets | true ⓘ |
| isRegular | true ⓘ |
| isRotationInvariant | true ⓘ |
| isSigmaFinite | true ⓘ |
| isTranslationInvariant | true ⓘ |
| isUniqueUpToScaling | among translation-invariant sigma-finite measures on R^n ⓘ |
| isZeroOn | sets of Hausdorff dimension less than n in R^n (under suitable conditions) ⓘ |
| namedAfter | Henri Lebesgue ⓘ |
| satisfies |
continuity from above for decreasing sequences of sets with finite measure
ⓘ
continuity from below ⓘ monotonicity property ⓘ |
| takesValuesIn | [0,+∞] ⓘ |
| usedFor |
Fourier analysis on R^n
ⓘ
defining L^p spaces ⓘ ergodic theory on Euclidean spaces ⓘ probability theory on R^n ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Lebesgue measure Description of subject: Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
Referenced by (11)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Lebesgue outer measure
this entity surface form:
Lebesgue measure on Euclidean spaces