Hardy–Littlewood maximal function
E120395
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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Hardy–Littlewood maximal function canonical | 3 |
| Hardy–Littlewood maximal operator | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1060257 — 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.
Target entity: Hardy–Littlewood maximal function Context triple: [G. H. Hardy, knownFor, Hardy–Littlewood maximal function]
-
A.
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.
-
B.
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.
-
C.
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.
-
D.
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.
-
E.
Khinchin–Kahane type inequalities
Khinchin–Kahane type inequalities are fundamental results in probability and functional analysis that bound moments or norms of random series (often with Rademacher or Gaussian coefficients) in terms of each other, providing powerful tools for studying the geometry of Banach spaces and random processes.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Hardy–Littlewood maximal function Target entity description: 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.
-
A.
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.
-
B.
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.
-
C.
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.
-
D.
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.
-
E.
Khinchin–Kahane type inequalities
Khinchin–Kahane type inequalities are fundamental results in probability and functional analysis that bound moments or norms of random series (often with Rademacher or Gaussian coefficients) in terms of each other, providing powerful tools for studying the geometry of Banach spaces and random processes.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical operator
ⓘ
maximal operator ⓘ object in harmonic analysis ⓘ object in real analysis ⓘ |
| actsOn | locally integrable functions ⓘ |
| codomain | measurable functions ⓘ |
| context | Euclidean harmonic analysis ⓘ |
| controls | local averages of a function ⓘ |
| definitionType | supremum of local averages ⓘ |
| domain |
functions on Euclidean space
ⓘ
functions on ℝⁿ ⓘ |
| field |
harmonic analysis
ⓘ
real analysis ⓘ |
| generalizationOf | one-dimensional Hardy–Littlewood maximal operator ⓘ |
| generalizationTo |
metric measure spaces
ⓘ
spaces of homogeneous type ⓘ |
| introducedBy |
G. H. Hardy
ⓘ
John Edensor Littlewood ⓘ
surface form:
J. E. Littlewood
|
| introducedIn | 20th century ⓘ |
| namedAfter |
G. H. Hardy
ⓘ
John Edensor Littlewood ⓘ
surface form:
J. E. Littlewood
|
| playsKeyRoleIn | real-variable methods in harmonic analysis ⓘ |
| property |
bounded on Lᵖ for 1 < p ≤ ∞
ⓘ
not bounded on L¹ in strong sense ⓘ sublinear ⓘ translation invariant (centered version) ⓘ weak-type (1,1) ⓘ |
| relatedTo |
Singular Integrals and Differentiability Properties of Functions
ⓘ
surface form:
Calderón–Zygmund theory
Lebesgue differentiation theorem ⓘ Muckenhoupt Aₚ weights ⓘ Vitali covering lemma ⓘ singular integral operators ⓘ |
| satisfies |
maximal inequality
ⓘ
strong (p,p) inequality for 1 < p ≤ ∞ ⓘ weak (1,1) maximal inequality ⓘ |
| typicalMeasure | Lebesgue measure ⓘ |
| usedFor |
Lebesgue differentiation theorem
ⓘ
boundedness of singular integrals ⓘ differentiation theorems ⓘ interpolation arguments ⓘ singular integral theory ⓘ weak-type estimates ⓘ |
| usedToProve |
almost everywhere convergence of averages
ⓘ
boundedness of Calderón–Zygmund operators ⓘ |
| variant |
centered maximal function
ⓘ
dyadic maximal function ⓘ fractional maximal function ⓘ uncentered maximal function ⓘ |
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.
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.
Subject: Hardy–Littlewood maximal function Description of subject: 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.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.