Let X be a topological space and let be a sequence of continuous functions from X to the real numbers. If f(x)= for all x in X, show that the set of points where f is continuous is a set.

Printable View

- March 4th 2009, 10:54 AMgrad444Real Analysis Help
Let X be a topological space and let be a sequence of continuous functions from X to the real numbers. If f(x)= for all x in X, show that the set of points where f is continuous is a set.

- March 4th 2009, 11:29 AMgrad444Hint
Sorry, I have more info I left off.

Hint: Let and define . Then f is continuous on the given by - March 5th 2009, 12:18 AMOpalg
Let

If then , so is open. Also, f is continuous at x if and only if . Thus the set of points of continuity of f is a .

What bothers me about that argument is that it seems to apply to an arbitrary function f. (It doesn't assume that f is the pointwise limit of a sequence of continuous functions.) Am I missing something? - March 6th 2009, 02:29 PMLaurent
I think you're right.

But this problem (and the suggested solution) also reminds me of something else, which is somewhat more interesting: under the additional hypothesis that is a complete metric space (or any Baire space), is continuous on a**dense**set.

This can be proved by considering . This is a closed subset of . Then let . This is an open subset, and it is dense because of Baire's theorem: if not, then there would be and a closed ball such that , which means for all , hence , and Baire's theorem would say , in contradiction with (which holds because the pointwise convergence gives ). Finally, Baire's theorem shows that is dense. And one can see that is continuous on .