f_n measurable

Prove lim inf f_n is measurable?

There's supposedly a proof in Royden'sReal Analysis, but unfortunately I do not have access to it.

Anyone?

Much appreciated.

Printable View

- May 13th 2010, 05:37 PMrodlProve limit inferior (lim inf) is measurable?
f_n measurable

Prove lim inf f_n is measurable?

There's supposedly a proof in Royden's*Real Analysis*, but unfortunately I do not have access to it.

Anyone?

Much appreciated. - May 14th 2010, 06:03 AMIdealconvergence
for all a in R, {x in E: limsup{f_n: n in N}(x)>a},

={x in E: limsup{f_n(x): n in N}>a}

= Union {x in E: f_n(x) > a}

= a measurable set - May 14th 2010, 06:13 AMrodl
- May 14th 2010, 09:44 AMrodl
omg.

lim inf f_n = -lim sup (-f_n)

(Clapping)