Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose f:RR is a function. Let S={x∈R|f is continuous at x}. Does S have any nice properties?

Here are some observations about what S could be:

  • S can be any closed set. For a closed set S, let g be a continuous function whose vanishing locus is S (for example, you could take g(x) to be the distance of x from S if S is non-empty). Then define f(x)=g(x) if x∈Q and f(x)=0 otherwise. Then the continuous locus of f is exactly S.
  • S can be an open interval. For an open interval S, define f(x)=0 if x∈S or x∈Q and f(x)=1 otherwise. Then the continuous locus of f is exactly S.
  • S can be the complement of any countable set. Let T={t1,t2,t3,...} be a countable set, and let ∑ai be some absolutely convergent series all of whose terms is non-zero (like ai=1/2i). Define
    f(x) = ∑i such that ti < x a_i.
    Then the continuous locus of f is exactly the complement of T.

Here are some questions I'd like to know the answers to:

  • Can S be any open set?
  • Can S be non-measurable? (if f(x)=0 if x∈S and f(x)=1 otherwise, what will the continuous locus be?)
share|improve this question
add comment

3 Answers 3

up vote 5 down vote accepted

Yes, here's a quick proof that any given $G_\delta$ (in $\mathbb{R}$) can be realized as the set of continuity points of some real-valued function.

Let $G$ be a given $G_\delta$ set in $\mathbb{R}$, meaning $G = \cap_{i=1}^\infty G_i$, each $G_i$ an open set. Define a function $f:\mathbb{R} \to \mathbb{R}$ as follows: $f(x)=0$ if $x$ is in $G$. If x is not in $G$, there is some $k$ such that $x$ is not in $G_k$; let $k$ be minimal with that property. Define $f(x)=1/k$ if $x$ is rational and $f(x)=-1/k$ if $x$ is irrational.

If I'm not very much mistaken, $G$ is precisely the set of continuity points of this $f$. I'm happy to leave this as an exercise for now :-) Let me know if you're not sure how to do it, or - worse - if I'm just wrong about the construction.

share|improve this answer
    
Awesome. I think this works. Do you have a reference (or proof) that the continuous locus is G-delta? –  Anton Geraschenko Oct 7 '09 at 19:11
    
I proved it in my answer below. –  Eric Wofsey Oct 7 '09 at 19:41
    
@Eric: you're absolutely right. I somehow hadn't realized that you gave a complete proof. Sorry about that. –  Anton Geraschenko Oct 8 '09 at 3:10
    
This corresponds to a (starred) exercise in Munkres' Topology: A First Course. Unfortunately, I do not have the book at hand, but unless I am very much mistaken, looking up "G_delta set" in the index should take you to the place where this is given as an exercise. I apologize if this is not correct. –  Amitesh Datta Aug 28 '10 at 9:13
add comment

It's a standard result that the continuous locus is always G-delta. For each r>0, let U(r) be the set of points x such that some neighborhood of x maps into some ball of radius r. Then each U(r) is open, and the continuous locus is their intersection. Conversely, given a G-delta set, I'm pretty sure it's not hard to construct a function with that continuous locus, though I don't remember how off the top of my head.

share|improve this answer
add comment

I hope nobody would mind if I try to do the exercise.

Clearly f is continuous on G. Suppose f is continuous on x and f(x)=1/k. Take epsilon=1/k. Let U be any neighborhood of x. U\cap G_1\cap .. \cap G_{k-1} contains an irrational number y. Hence |f(x)-f(y)|=2/k > epsilon. (if f(x)=-1/k, take y to be a rational number)

share|improve this answer
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.