# lim sup of sequence of continuous function from $[0,1]\rightarrow [0,1]$

$f_n:[0,1]\to [0,1]$ be a continuous function and let $f:[0,1]\to [0,1]$ be defined by $$f(x)=\operatorname{lim\;sup}\limits_{n\rightarrow\infty}\; f_n(x)$$ Then $f$ is

1. continuous and measurable

2. continuous, but need not be measurable

3. measurable, but need not be continuous

4. need not be measurable or continuous.

I guess $3$ is correct, but I'm not able to prove it.

-
This is a guess. What did you try to support it? – Did Jul 15 '12 at 15:14
You mean Borel or Lebesgue measurable? – Davide Giraudo Jul 15 '12 at 15:16
my intuition goes faster than my knowledge – Un Chien Andalou Jul 15 '12 at 15:17
Borel Measurable – Un Chien Andalou Jul 15 '12 at 15:18
Hint: The supremum of a set of measurable functions is measurable (as is the infinimum). Given this, can you express $f$ in terms of the inf of measurable functions? – Benji Jul 15 '12 at 15:22

Note that $$\lim\sup f_n(x)=\inf_{n\geq 1} \sup_{k\geq n} f_k(x)$$ Let $g_n(x)=\sup_{k\geq n}f_k(x)$, then $$g_n^{-1}(-\infty,a]=\lbrace x :g_n(x)\leq a\rbrace=\lbrace x :\sup_{k\geq n}f_k (x)\leq a\rbrace=\lbrace x: f_k(x)\leq a\mbox{ for all } k\geq n\rbrace$$ Hence $$g_n^{-1}(-\infty,a]=\bigcap_{k\geq n}f_k^{-1}(-\infty,a]$$ It follows that $g_n^{-1}(-\infty,a]$ is a measurable set (being intersection of measurable sets) and so $g_n$ is measurable.. In a similar fashion we can also prove that $\inf_{n\geq 1}g_n$ is also measurable (try), so we have $\lim\sup f_n(x)$ is measurable.
For the second part $f_n(x)=x^n$ converges pointwise to $g$ where $g(x)=0$ when $0\leq x<1$ and $g(1)=1$ and surely $g$ is not continous.
Probably better to use $g_n$ rather than $f$ for the function, since it depends on $n$. – Thomas Andrews Jul 15 '12 at 15:38
Yeah $g_n$ is better Thanks, I have changed it. – pritam Jul 15 '12 at 15:44
I think there is a mispelled in an inequatity: it should be $\{ x: \sup_{k\geq n} f_k(x)\leq a\}$ instead of $\{ x: \sup_{k\geq n} f_k(x)\leq n\}$ (so $a$ instead of $n$). Nice answer though, it helped me greatly. – Luc M Mar 10 '15 at 21:01