Exercise 1:18. Let (2,M,p) be mennare space (a) Suppose u(¥) < 00. If f and fa are measurable functions with fa + f almost everywhere, rove that there extn sls HH, © M such that X = HU (J Bi, where (HT) = 0 and fy > f uniformly on each Fic = (0) Inthe rel of () stil tre if (EM) ino fine? Proof: For part (a), since (&) < 00 and fy — f almost everywhere, hy Egoroff's theorem, for any AEN, there is Hy €M such that p(He) < 1fk and fu > f uniformly on Xj HOB He, then HC Hy, and s0 0 < w(H) <1/k for all k, hence (H2) = 0. Now Gis-Um-(Am) —m For patt (b), the statement is true, Since 2 is o-finite, we ean write 4 as a disjoint union of finite sets, Hy. Now define and so where fe converges uniformly to f on any By r X= Ua where w(%) <0 Va ANA; =O fori 5 Now for each &%y apply part (a). Then we have y= Ha UU Fan with (Hy) <0 = Tet Hf =U thas then w(t) ~ 3 nlit,) ~0. So we have xm - G(x (Us) ta Be Now H has measure zero and {Fy:n}%%,-1 {8 a countable collection of open sets for which f, > f ‘uiformly py.