- #1
jinsing
- 30
- 0
Homework Statement
If {f_n} is a collection of measurable functions defined on R and satisfying: |f_n(x)|<= 1 for all n in N and x in R and f_n(x) >=0 almost everywhere on R for all n in N and f(x) = inf{f_n(x)|n in N}, then f(x) >= 0 almost everywhere on R.
Homework Equations
Almost everywhere, sequences of functions, measurability
The Attempt at a Solution
Assume {f_n} is a collection of measurable functions defined on R satisfying the criteria above. Since for all n in N f_n(x) >= 0 a.e on R, define S_n = {x | f_n(x) < 0}. Then by definition for all n in N m(S_n) = 0. Now let [tex] S = \bigcup_{n=1}^\infty S_n. [/tex] Since S is the union of several sets S_n with measure of zero, then m(S) = 0. So, we know f(x) = inf{f_n(x) | n in N} >= 0 for all x in R-S. But m(S) = 0, so f(x) >= 0 almost everywhere, as desired.
I'm wondering if I can necessarily state that the inf of the f_n's will be >= 0. I'm not that great at catching little details like that, so having someone give the proof a quick look-over would be incredibly helpful.
Thanks!