Fubini's theorem
E284675
Fubini's theorem is a fundamental result in measure theory that allows the evaluation of double integrals as iterated integrals under suitable integrability conditions.
All labels observed (11)
Statements (43)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical theorem
ⓘ
theorem in measure theory ⓘ |
| allows | interchanging the order of integration under suitable conditions ⓘ |
| appliesTo |
integrable functions on product measure spaces
ⓘ
σ-finite measure spaces ⓘ |
| assumes | measurability of the function on the product space ⓘ |
| category |
theorems about integrals
ⓘ
theorems in analysis ⓘ |
| comparedWith |
Tonelli's theorem
ⓘ
surface form:
Tonelli's theorem for nonnegative functions
|
| concerns |
integration over product of measurable spaces
ⓘ
iterated integration with respect to different variables ⓘ |
| ensures |
almost-everywhere equality of sections of integrable functions
ⓘ
measurability of sections of measurable functions on product spaces ⓘ |
| field |
integration theory
ⓘ
measure theory ⓘ real analysis ⓘ |
| generalizes | interchange of summation and integration in some contexts ⓘ |
| hasConsequence |
iterated integrals exist and are finite for almost all sections when the function is integrable
ⓘ
order of integration does not affect the value of the integral under its hypotheses ⓘ |
| hasVersion |
Fubini's theorem
self-linksurface differs
ⓘ
surface form:
Fubini's theorem for Bochner integrals
Fubini's theorem self-linksurface differs ⓘ
surface form:
Fubini's theorem for Lebesgue integrals
Fubini's theorem self-linksurface differs ⓘ
surface form:
Fubini's theorem for improper Riemann integrals under additional conditions
|
| historicalPeriod | early 20th century mathematics ⓘ |
| implies | equality of double integral and iterated integrals for integrable functions ⓘ |
| isToolFor |
changing variables in multiple integrals together with the change of variables theorem
ⓘ
computing expectations of functions of several random variables ⓘ separating variables in integrals ⓘ |
| namedAfter | Guido Fubini ⓘ |
| relatesTo |
Lebesgue integration
ⓘ
surface form:
Lebesgue integral
Tonelli's theorem ⓘ double integrals ⓘ iterated integrals ⓘ multiple integrals ⓘ product measure ⓘ |
| requiresCondition |
integrability of the function on the product space
ⓘ
σ-finiteness of the underlying measure spaces ⓘ |
| states | the integral of an integrable function over a product space equals the iterated integrals almost everywhere ⓘ |
| usedIn |
functional analysis
ⓘ
harmonic analysis ⓘ mathematical physics ⓘ partial differential equations ⓘ probability theory ⓘ stochastic processes ⓘ |
Referenced by (12)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Fubini theorem (components of proofs)
this entity surface form:
Fubini's theorem for Lebesgue integrals
this entity surface form:
Fubini's theorem for Bochner integrals
this entity surface form:
Fubini's theorem for improper Riemann integrals under additional conditions
this entity surface form:
Fubini–Tonelli type results
this entity surface form:
Fubini–Tonelli theorem
this entity surface form:
Fubini's theorem for integrable (not necessarily non‑negative) functions
this entity surface form:
stochastic Fubini theorems
this entity surface form:
Fubini theorem
this entity surface form:
Fubini theorem for integrals