Description: Lemma for the proof that the limit of sigma-measurable functions is sigma-measurable, Proposition 121F (a) of Fremlin1 p. 38 . This lemma proves one-side of the double inclusion for the proof that the preimages of right-closed, unbounded-below intervals are in the subspace sigma-algebra induced by D . (Contributed by Glauco Siliprandi, 26-Jun-2021)
Ref | Expression | ||
---|---|---|---|
Hypotheses | smflimlem2.1 | |
|
smflimlem2.2 | |
||
smflimlem2.3 | |
||
smflimlem2.4 | |
||
smflimlem2.5 | |
||
smflimlem2.6 | |
||
smflimlem2.7 | |
||
smflimlem2.8 | |
||
smflimlem2.9 | |
||
smflimlem2.10 | |
||
Assertion | smflimlem2 | |