Fubini's theorem on measure

DOI10.1515/FORMA-2017-0001MaRDI QIDQ2356934zbMATH OpenOpenAlexFDO

Authors Noboru Endou

Publication date 7 June 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2017-0001

zbMATH Keywords

Fubini's theoremproduct measure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Measures and integrals in product spaces (28A35)

Recommendations

• scientific article; zbMATH DE number 3853791
• scientific article; zbMATH DE number 5662943
• Fubini‐type theorems for general measure constructions
• Some Fubini theorems on product \(\sigma \)-algebras for non-additive measures
• An Unsymmetric Fubini Theorem

Cites work

• scientific article; zbMATH DE number 1324223 (Why is no real title available?)
• scientific article; zbMATH DE number 2034238 (Why is no real title available?)
• scientific article; zbMATH DE number 3443893 (Why is no real title available?)
• Probability theory
• Product pre-measure
• Semantics of MML query -- ordering

Cited in

(18)

• Fubini foiled: Katok's paradoxical example in measure theory
• Integral of non positive functions
• Fubini's theorem for non-negative or non-positive functions
• Fubini theorem w.r.t. stochastic measure on product measurable space
• Fubini's theorem
• scientific article; zbMATH DE number 3844057 (Why is no real title available?)
• An Unsymmetric Fubini Theorem
• scientific article; zbMATH DE number 3853791 (Why is no real title available?)
• A Nonstandard Functional Approach to Fubini's Theorem
• FUBINI'S THEOREM FOR VECTOR-VALUED MEASURES
• Fubini‐type theorems for general measure constructions
• Theorem of Kuratowski-Suslin for Measurable Mappings
• On Fubini's theorem for null sets in vector measures
• A Simpler Approach to Integration and the Fubini Theorem
• scientific article; zbMATH DE number 5662943 (Why is no real title available?)
• Multidimensional measure space and integration
• Universality of measure space
• The Fubini theorem for bornological product measures

This page was built for publication: Fubini's theorem on measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2356934)