[Math] Showing a set of limit points of a sequence of measurable functions is measurable.

measure-theoryreal-analysis

I have been wrestling with this question and I am not sure how to solve it.

Question:

Let $(X, s)$ be a measure space and $\{f_n\}$ a sequence of measurable functions such that $f_n:X\to R$ with the normal Borel sigma algebra on $R$.

Let $$A = \{x\in X | \lim_{n\to\infty} f_n(x)\text{ exists}\}$$

Show $A$ is measurable.

..

I know we need to show $A$ is in s but I don't know how, we don't have integrals yet so this needs to be proved only using facts about measurable functions.

Help would be greatly appreciated.( I saw another post on this but it did not help)

Best Answer

Hint : Show that $\liminf f_n$ is measurable. The proof for $\limsup f_n$ is similar, and $$ \{ x \in X \, | \, \lim_{n \to \infty} f_n \text{ exists} \} = \{ x \in X \, | \, \liminf_{n\to \infty} f_n = \limsup_{n\to \infty} f_n\}. $$ Hope that helps,

Related Question