Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given a compact Hausdorff (I do not assume metrisability) space $K$ and a sequence $(f_n)_n$ of continuous real-valued functions on $K$ such that the pointwise limit of this sequence exists. Must the limit be Borel-measurable?

share|improve this question
add comment

1 Answer

up vote 7 down vote accepted

More generally, if $\Sigma$ is a $\sigma$-algebra of subsets of a set $X$, and $(f_n)_n$ is a pointwise convergent sequence of real-valued $\Sigma$-measurable functions on $X$, then $\lim_n f_n$ is $\Sigma$-measurable. (The usual way to prove this is to consider $\liminf$ and $\limsup$.) Since continuous functions are Borel-measurable, the answer to your question is yes.

It is worth mentioning that in the case where $K$ is an interval in $\mathbb R$, what you get is a Baire class 1 function, a very special type of Borel function. A related question asked whether every Lebesgue measurable function is a pointwise limit of continuous functions.

share|improve this answer
2  
More is true: Because $K$ is compact Hausdorff, it is in particular locally compact Hausdorff, so it's a Baire space. Hence the limit of the $f_n$ must be continuous on a comeagre set of points in $K$ by the Baire-Osgood theorem. –  kahen Jan 26 '12 at 0:15
    
Proof of Baire-Osgood. –  kahen May 1 '12 at 11:02
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.