1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Challenge VIII: Discontinuities of a function solved by Theorem.

  1. Aug 8, 2013 #1
    An open set in ##\mathbb{R}## is any set which can be written as the union of open intervals ##(a,b)## with ##a<b##.

    A subset of ##\mathbb{R}## is called a ##G_\delta## set if it is the countable intersection of open sets.

    Prove that if a set ##A\subseteq \mathbb{R}## is a ##G_\delta## set then there exists a function ##f:\mathbb{R}\rightarrow \mathbb{R}## such that ##f## is continuous at all points of ##A## and discontinuous at all points of ##\mathbb{R}\setminus A##.

    The converse holds as well and has a very easy proof using the Baire Category theorem. This characterizes the continuity set of a function.

    This is a classis analysis result, so it can be easily googled if you want to. But I trust you to play it fair :tongue:
  2. jcsd
  3. Aug 9, 2013 #2
    This looks like a good choice of problem! I'm going to take a look at it in the morning and see what I can up with
  4. Aug 9, 2013 #3


    User Avatar
    Science Advisor

    Heh, had this on my measure theory exam.
  5. Aug 9, 2013 #4
    Let [itex]A\subseteq \mathbb{R}[/itex] be a [itex]G_\delta[/itex] subset. Then there exists
    a countable collection of open sets [itex]\{U_i\}[/itex] s.t. [tex]A=\cap_{i\in \mathbb{Z}_+}U_i[/tex]

    We can take the [itex]U_i[/itex] to be nested so that
    [tex]\mathbb{R}=U_1\supset U_2\supset \cdots \supset U_n\supset \cdots[/tex]

    I want to create a disjoint collection of subsets that "separate" the [itex]U_i[/itex] so that we can get a well defined function. The natural thing to do is assign [itex]W_k:=U_k-U_{k+1}[/itex]
    Then we have the countable collection of disjoint sets [itex]\{W_i\}[/itex].

    EDIT: So now define [itex]V_n=W_n -(int(W_n)\cap \mathbb{Q})[/itex]

    We get the well defined function:
    [tex] f:\mathbb{R}\rightarrow [0,1],\quad x\mapsto
    1/n & \text{ if } x\in V_n\\
    0 & \text{ if } x\notin V_n \text{ for any } n
    \end{cases} [/tex]

    We want to show that [itex]f[/itex] is only continuous on [itex]A[/itex]. Let [itex]x\in A[/itex]. Then [itex]x\in U_i [/itex] for every i. Note then that every [itex]U_i[/itex] is an open neighborhood of x. x cannot belong to any [itex]W_i[/itex], since that would imply it is not in Some [itex]U_k[/itex], contradiction the definition of [itex]A[/itex]. Thus [itex]f(x)=0[/itex]

    Let [itex]\epsilon >0[/itex] be given. We can choose some positive integer [itex]N[/itex] such that [itex]\frac{1}{N}<\epsilon[/itex]. As we noticed earlier, [itex]U_N[/itex] is an open neighborhood of [itex]x[/itex], and for all [itex]x'\in U_N[/itex] we have
    [tex]|f(x)-f(x')|=|f(x')|<1/N<\epsilon.[/tex]. Thus [itex]f[/itex] is continuous on [itex]A[/itex].

    We still have to show that [itex]f[/itex] is discontinuous on all of [itex]\mathbb{R}-A[/itex]. This
    is the part I haven't gotten yet.

    Start by noting [itex]\mathbb{R}-A=\cup_{i\in \mathbb{Z}_+} W_i[/itex]. Let [itex]x\in \mathbb{R}-A[/itex]. [itex]x\in W_k[/itex] for exactly one [itex]k[/itex]. There are two cases:

    1. [itex]x\in int(W_k)\cap \mathbb{Q}[/itex]: Then [itex]x\notin V_k[/itex] and so [itex]f(x)=0[/itex].Let [itex]U_x[/itex] be any open nbhd of [itex]x[/itex]. By the density of the irrationals in [itex]\mathbb{R}[/itex], there are points in [itex]U_x[/itex] that are in [itex]V_k[/itex], and thus map to [itex]1/k[/itex]. Thus [itex]f[/itex] is not continuous at [itex]x[/itex].

    2. [itex] x\in V_k [/itex]. [itex]f(x)=1/k[/itex] If [itex]x\in int(W_K)\cap (\mathbb{R}-\mathbb(Q))[/itex] then we use the same argument as in 1 this time using the density of the rationals in [itex]\mathbb{R}[/itex].
    Otherwise [itex]x[/itex] belongs to the boundary of [itex]W_k[/itex] and thus by definition any open nbhd around the x will contain points not in [itex]W_k[/itex] and hence [itex]V_k[/itex]. This will give us discontinuity of [itex]f[/itex] at x.
    Last edited: Aug 9, 2013
  6. Aug 9, 2013 #5


    User Avatar
    Gold Member

    Hint: You have the right idea but you need to modify your construction of f. Consider making it positive on Q∩Wk and negative on (R-Q)∩Wk.
  7. Aug 9, 2013 #6
    Thanks! I am going to look at it in a bit something else I considered is
    letting [itex]V_n=W_n-(int (W_n) \cap \mathbb{Q})[/itex] and carrying out the definition of [itex]f[/itex] on [itex]V_n[/itex] instead of [itex]W_n[/itex] (which is basically what you just said). This might work but I wont have time till a bit later.
  8. Aug 9, 2013 #7
    Okay I think I got it using the above. Ill post it in a few minutes once i Tidy it up
    EDIT: okay I re-added everything to my original post. I didn't include all the details in the last part but I think the idea should be clear enough.
    Last edited: Aug 9, 2013
  9. Aug 11, 2013 #8


    User Avatar
    Homework Helper

    This question is heavy on terminology. But let me see what I can come up with.

    The first obvious question to ask is, what does A look like? Given that A is the intersection of a countable family of open sets, we should start with open sets.

    Open sets are made up of an arbitrary number of open intervals, possibly including those of the form (a,∞) or (-∞,a). In particular, these intervals may be separated by a single point, for example: (0,1) ##\cup## (1,2) or by infinitely many points: (0,1) ##\cup## (2,3).

    Taking intersections, consider these examples:
    #1. (0, 2), (1/2, 2), (3/4, 2), (7/8, 2), ...
    #2. (0, 2), (0, 3/2), (0, 5/4), (0, 9/8), ...
    #3. (0, 2), (1/2, 3/2), (3/4, 5/4), (7/8, 9/8), ...

    The intersection of #1 is [1, 2), the intersection of #2 is (0, 1], the intersection of #3 is [1], just the point x = 1. We could also have closed intervals of the form [a, b]. We see that A consists of open intervals, half open intervals and closed intervals. Call these the components of A.

    A pertinent question is, how are these components separated from each other? Let's investigate this. In the interval (a,b], call a an open boundary point and b a closed boundary point. Then closed intervals have only closed boundary points, etc. Any closed boundary point must be adjacent, on at least one side, to an open ball disjoint from A, this is evident from the examples above. Any gap between components of A that contains only a single point is surrounded by open boundary points of A. So we can now speak of components and gaps knowing that if a gap is a single point, the boundary points are open.

    Call any gap that not just a single point a wide gap. Define the width of a wide gap as the difference between the boundaries of the gap. That is, suppose we have the gap "α)...[β", then the gap width = β-α. Henceforth, let α, β signify the left and right boundaries of a wide gap.

    I define here the following rules. M means middle, L means left and R means right:

    Rule M(a,b): For a ≤ x ≤ b, let f(x) = 1 if x is rational, and f(x) = 0 if x is irrational.
    Rule L(a,b): For a < x < b, let f(x) = x-a if x is rational, and f(x) = 0 if x is irrational.
    Rule R(a,b): For a < x < b, let f(x) = b-x if x is rational, and f(x) = 0 if x is irrational.

    Define the function f by this schema:

    #1. For every x ##\in## A, let f(x) = 0.
    #2. For every single-point gap x between components of A, let f(x) = 1.
    #3. For each wide gap:
    #3.1. If α and β are open, apply M(α, β).
    #3.2. If α is closed and β is open, choose an α < α' < β such that α' < α + 1. Apply rules L(α, α') and M(α', β).
    #3.3. If α is open and β is closed, choose an α < β' < β such that β' + 1 > β. Apply rules M(α, β') and R(β', β).
    #3.4. If α is closed and β is closed, choose α < α' < β' < β such that α' < α + 1 and β' + 1 > β. Apply the rules L(α, α'), M(α', β'), R(β', β).


    #A: The function f so defined is continuous on all points of A that are not boundary points.
    #B: The function f is discontinuous at the points covered by #2.
    #C: The function f is discontinuous at all points covered by rule M (by an ε-δ argument). Corollary: This together with #B implies that f is discontinuous at all open boundary points.
    #D.1: At points covered by rule L(a, b), f is discontinuous at points a < x ≤ b.
    #D.2: At points covered by rule R(a,b), f is discontinuous at points a ≤ x < b. Corollary: #D.1, #D.2 and #C's corollary together imply that f is discontinuous at all points not in A.

    Two cases remain, closed boundary points on the left or right of a gap.

    #1. When L(α,β) was applied, for any ε let 0 < x-α < min(ε,β), then |f(x) - f(α)| = |f(x)| ≤ x-α ≤ ε. That is, the limit from the right at α = 0 = f(α).
    #2. By a similar argument, when R(α, β) was applied, the limit from the left at β = 0 = f(β).
    #3. By #1 and #2, any discrete point of A has equal limits from the left and right. Therefore f is continuous at all such points.
    #4. If α in #1 is not a discrete point, it is the right boundary of an open (sorry, closed) or half-open interval in A on which f vanishes. Therefore the limit from the left = 0 and f is continuous at α.
    #5. Similarly for β in #2, the limit from the right = 0 and f is continuous at β.

    All points on the real line have been covered and f so defined satisfies the claim.

    PS. I knew from reading Spivak of the existence of a function continuous at a single point. I built this proof using that idea together with a characterization of what A would look like, using terminology I knew like open ball and boundary.
    Last edited: Aug 11, 2013
  10. Aug 11, 2013 #9
    That looks good to me verty and haven't found any problems in the proof up to this point. Good work :)
  11. Aug 11, 2013 #10


    User Avatar
    Homework Helper

    Thank you. There was a slight error though, I wrote open instead of closed. But conceptually it seems sound.

    About your proof, did you take into account that ##U_1## may have gaps? I think these gaps appear in no ##V_n## but are not a part of A.

    Hmm, am I allowed to say this? Perhaps not in a challenge thread, I don't know. But we are all friends, I think.
  12. Aug 11, 2013 #11
    I am pretty sure it is sound but I will double check the proof when im not at work, its been a few days so I might have missed something
  13. Aug 12, 2013 #12
    I am not sure what you mean by gaps here: [itex]U_1=\mathbb{R}[/itex] by definition (I have used the fact that you can take the collection of open sets to be nested), and if you look at the definition of [itex]W_i[/itex] it isn't too hard to see [itex]\mathbb{R}-A=\cup_{i\in \mathbb{Z}_+}W_i[/itex]. Can you be more specific?
  14. Aug 12, 2013 #13


    User Avatar
    Homework Helper

    I didn't realise that U_1 = R, I missed that. There may be an issue with a < that should be ≤.
  15. Aug 12, 2013 #14
    Attempting to generalize the raindrop function, I think the following works.

    There is some increasing sequence [itex](F_n)_{n=1}^\infty[/itex] of closed sets such that [itex]A = \mathbb R \backslash \bigcup_n F_n[/itex]. Let [itex]F_0:=\emptyset[/itex], and define the map [itex]f:\mathbb R\to [0,2][/itex] via [tex] f|_{F_n\backslash F_{n-1}} = 3^{-n}\left(1 + 1\wedge d(\cdot, \mathbb R \backslash F_n)\chi_{\mathbb Q}\right) \enspace \forall n\in\mathbb N; \enspace f|_A=0. [/tex]

    - Continuity at [itex]a\in A[/itex]:
    For any [itex]n \in \mathbb N,[/itex] there exists some neighbourhood [itex]U[/itex] of [itex]a[/itex] with [itex]U \subseteq \mathbb R \backslash F_n[/itex], which implies [itex]f(U)\subseteq \left[0,\frac{2}{3^n}\right].[/itex] Continuity then follows from [itex]f(a)=0[/itex].

    - Discontinuity at [itex]x \in \text{int}(F_n)[/itex]:
    Notice that [itex]\frac2{3^n}\chi_{\mathbb Q}\leq f \leq 2\chi_{\mathbb Q}[/itex] in a neighbourhood of [itex]x[/itex]; discontinuity readily follows. [This is the part that doesn't show up when we study the raindrop function, as [itex]\frac1n\mathbb Z[/itex] has empty interior.]

    - Discontinuity at [itex]x \in \partial F_n:[/itex]
    Notice that [itex]f_{\mathbb R \backslash F_n} \leq \frac{2}{3^{n+1}} = \frac23 3^{-n}[/itex], but [itex]f(x) \geq 3^{-n} > \frac23 3^{-n}[/itex].
  16. Aug 12, 2013 #15
    This is more or less the same idea as the proof I did. the idea definitely makes sense although there are lots of details I haven't been able to check with your proof
  17. Aug 12, 2013 #16
    It looks similar.

    I must confess, I didn't thoroughly read all responses yet, so I wasn't sure if it'd been fully solved on the thread.

    Is there any step that's not clear? It's possible there's a hole...
  18. Aug 12, 2013 #17
    It looks good : ) maybe someone else will spot something but there is no obvious flaws I have noted. I'll go through it in detail in a bit
  19. Aug 15, 2013 #18
    Congratulations to Theorem. for solving the challenge. And congratulations to verty and economicsnerd as well. Well done!
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook