Dear friends, I read in Kolmogorov-Fomin's that the following property of measurable real or complex valued functions ##\varphi,f## defined on measure space ##X##, proven in the text for ##\mu(X)<\infty## only, is also valid if ##X=\bigcup_n X_n## is not of finite measure, but it is the union of a countable sequence of measurable sets of finite measure ##X_n## (which we can suppose such that ##X_1\subset X_2\subset ...##): if ##\varphi## is Lebesgue integrable on ##X## and ##\forall x\in X\quad|f(x)|\leq\varphi(x)## then ##f## is Lebesgue integrable on ##X##.(adsbygoogle = window.adsbygoogle || []).push({});

Given the http://librarum.org/book/10022/159 [Broken] of Lebesgue integral ##\int_X g(x)d\mu:=\lim_n \int_{X_n}g(x)d\mu## for such a measure space, I know, from the property above for ##X_n## such that ##\mu(X_n)<\infty##, that if ##\int_{X_n}\varphi(x)d\mu## exists then ##\int_{X_n}f(x)d\mu## also exists, but how can we know that if ##\lim_n\int_{X_n}\varphi(x)d\mu## exists then ##\lim_n\int_{X_n}f(x)d\mu## exists?

##\infty## thanks!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Two conditions of existence for Lebesgue integral

Loading...

Similar Threads - conditions existence Lebesgue | Date |
---|---|

I Existence of Partial Derivatives and Continuity ... | Feb 17, 2018 |

A Residue Proof of Fourier's Theorem Dirichlet Conditions | Jan 31, 2017 |

I Relaxed conditions for the density: Ampère's law still valid? | May 7, 2016 |

Sufficient condition for the density | Aug 11, 2015 |

Sensitivity to initial conditions | May 19, 2015 |

**Physics Forums - The Fusion of Science and Community**