Suppose $X$ is a metric space. A real valued function $f$ defined on a metric space $X$ is said to be of first baire class, if $f$ is a pointwise, limit of a sequence of continuous functions on $X$.
A famous well know theorem asserts that if $f$ is in the first baire class, then the set of points of discontinuity is of the first category.
Using this definition, can we characterize for what Metric Spaces, will the points of continuity of a real valued function, be dense in itself.
Ok, since we are talking about metric spaces, lets consider the 2 famous ones, complete and Compact. A compact metric space, is "Complete and Totally Bounded" by definition, so lets not look into it. So lets look at complete metric spaces.
So the question basically, is if, $X$ is a complete metric space, and $f$ is as above(1st Baire class), then is the points of continuity of $f$ dense in $X$.
There are some exercises related, but i didn't take it from here. So dont misunderstand me. http://books.google.com/books?id=CoSIe7h5mTsC&pg=PA166&dq=f+is+of+first+baire+class,+points+of+continuity