Finitely strongly measurable functions in
0 < p < ∞ are finitely strongly measurable.
Main statements #
mem_ℒp f p μ with
0 < p < ∞, then
ae_fin_strongly_measurable f μ.
0 < p < ∞,
Lp functions are finitely strongly measurable.
- Hytönen, Tuomas, Jan Van Neerven, Mark Veraar, and Lutz Weis. Analysis in Banach spaces.