If I know that$\ X < \sup_iX_i$ for example and if $\ X_i $ and $X$ are integrable then when I integrate both sides, where do I put the integral on the RHS? I know that in some situations you can move the supremum inside and outside according to beppo levi etc but what I want to know is forgetting that, where is it always defined or where should I always put it to start off with before thinking about beppo levi or fatou or anything else?
Integrals and suprema
1
$\begingroup$
measure-theory
probability-theory
-
0What does the inequality mean? Is it pointwise? On a set of full measure? Is the family of functions on the right hand side countable? – 2012-06-07
-
0Sorry, So lets say instead, $\ X_i i=1,2,3... $ is a sequence of integrable functions. And X is an integrable function, all on $(\Omega,F,P)$ a measure space . If $\ X\leq Sup_iX_i.. $ – 2012-06-07
-
0The supremum of a countable family of measurable functions is measurable. so you can put $\int X\leq\int\sup X_i$. Whether the integra preserves the strict inequality depends on what "<" means. If $X(\omega)<\sup_i X_i(\omega)$ for almost all $\omega$, you can write $\int X<\int\sup_i X_i$, – 2012-06-07