75
$\begingroup$

If memory serves, ten years ago to the week (or so), I taught first semester freshman calculus for the first time. As many calculus instructors do, I decided I should ask some extra credit questions to get students to think more deeply about the material. The first one I asked was this:

1) Recall that a function $f: \mathbb{R} \rightarrow \mathbb{R}$ is said to have a removable discontinuity at a point $x_0 \in \mathbb{R}$ if $\lim_{x \rightarrow x_0} f(x)$ exists but not does not equal $f(x_0)$. Does there exist a function $f$ which has a removable discontinuity at $x_0$ for every $x_0 \in \mathbb{R}$?

Commentary: if so, we could define a new function $\tilde{f}(x_0) = \lim_{x \rightarrow x_0} f(x)$ and it seems at least that $\tilde{f}$ has a fighting chance to be continuous on $\mathbb{R}$. Thus we have successfully "removed the discontinuities" of $f$, but in so doing we have changed the value at every point!

Remark: Lest you think this is too silly to even seriously contemplate, consider the function $f: \mathbb{Q} \rightarrow \mathbb{Q}$ given by $f(0) = 1$ and for a nonzero rational number $\frac{p}{q}$, $f(\frac{p}{q}) = \frac{1}{q}$. It is easy to see that this function has limit $0$ at every (rational) point!

So I mentioned this problem to my students. A week later, the only person who asked me about it at all was my Teaching Assistant, who was an older undergraduate, not even a math major, I think. (I hasten to add that this was not in any sense an honors calculus class, i.e., I was pretty clueless back then.) Thinking about it a bit, I asked him if he knew about uncountable sets, and he said that he didn't. At that point I realized that I didn't have a solution in mind that he would understand (so still less so for the freshman calculus students) and I advised him to forget all about it.

So my actual question is: can you solve this problem using only the concepts in a non-honors freshman calculus textbook? (In particular, without using notions of un/countability?)

[Addendum: Let me say explicitly that I would welcome an answer that proceeds directly in terms of the least upper bound axiom. Most freshman calculus books do include this, albeit somewhere hidden from view of the casual readers, i.e., actual freshman calculus students.]

If you can't figure out how to answer the question at all, I think the following related question helps.

2) Define a function $f: \mathbb{R} \rightarrow \mathbb{R}$ to be precontinuous if the limit exists at every point. For such a function, we can define $\tilde{f}$ as above. Prove/disprove that, as suggested above, $\tilde{f}$ is indeed continuous. [Then think about $f - \tilde{f}$.]

Now that I think about it, there is an entire little area here that I don't know anything about, e.g.

3) The set of discontinuities of an arbitrary function is known -- any $F_{\sigma}$ set inside $\mathbb{R}$ can serve. What can we say about the set of discontinuities of a "precontinuous function"? [Edit: from the link provided in Chandru1's answer, we see that it is countable. What else can we say? Note that taking the above example and extending by $0$ to the irrationals, we see that the set of points of discontinuity of a precontinuous function can be dense.]

  • 2
    Amazingly enough... http://www.math.rutgers.edu/~zeilberg/fb74.html . :) I wonder how to settle "Now try to prove it without saying the word 'uncountable'."2010-09-01
  • 0
    @Pete L. Clark: May i know what makes you think that a proof would exist without using uncountablity of $\mathbb{R}$.2010-09-01
  • 0
    @Chandru: I didn't say that I thought that such a proof exists: that's why I asked it as a question! Moreover, the example with the rationals I gave shows that some nontrivial property of the real numbers needs to be used, but it is conceivable to me that there is a proof using, say, the least upper bound axiom. (But, if you are going to make me guess, yes, I'll guess that there is such a proof. The question doesn't mention uncountability, so why should the answer require it?)2010-09-01
  • 0
    But are uncountable sets such an issue for freshmen?2010-09-01
  • 0
    @mau: That's not really the point here. My question is not a pedagogical one. It is a mathematical one -- can you prove $X$ without using $Y$? -- which I have motivated / explained my interest in via a self-effacing pedagogical anecdote, part of the point of which was that the question itself was confusing and off-putting for my non-honors freshman calculus class (at Harvard, but I wouldn't read much into that).2010-09-01
  • 0
    However, if you want to go that route -- I believe that at some point I checked that this problem does not appear in Spivak's *Calculus*. And I just looked to see that the un/countable dichotomy does not appear until Chapter 21 in the beginning of the unit on sequences and series. Imagine a student who is reading the early chapters of Spivak on limits and continuous functions. I think this would be a nice question for such a student to think about but...is there an answer which makes use only of tools available to them at that time?2010-09-01
  • 0
    what I really wanted to say is that I believe that no proof exists which does not take into account (un)countability. After all, since there is at most a countable number of removable discontinuities, you should somehow say that real numbers are not countable.2010-09-01
  • 0
    Dear Pete: A detail: I think it would be more correct to replace (at various places) lim_{x\to x_0} with lim_{x\to x_0,x\not=x_0}.2010-09-02
  • 0
    @PYG: This must be a cultural difference. In US calculus texts, we are absolutely adamant that the notion of the limit of a function at a point does not depend on the value of the function at that point (or even whether the function is defined there, as long as it is defined on some deleted interval around the point). So what I write is definitely "standard American". Is what you wrote standard in France?2010-09-02
  • 0
    Pete: Sorry, you're right. You're right on both counts. In "Topologie Générale" I.7.4, Bourbaki defines lim_{x->a} f(x) for f: X -> Y, as lim_V f, where V is the filter of neighborhoods of a in X. [That's what I've been taught and what I teach; but next time I'll warn my students. I had never realized this difference of definitions. (I must confess I prefer Bourbaki's definition.:-)). See also http://fr.wikipedia.org/wiki/Limite_%28math%C3%A9matiques%29#Limite_d.27une_fonction_en_un_point and http://fr.wikipedia.org/wiki/Limite_%28math%C3%A9matiques%29#cite_note-1 ]2010-09-03
  • 0
    @Pete L. Clark - In "A first course in calculus", Serge Lang gives Bourbaki's definition of a limit.2010-10-17
  • 0
    @Pierre: A *very* belated comment: interesting. I believe that Lang was a member of Bourbaki, so this is not completely surprising. I definitely regard his expository style as being somehow "French"...as I do mine.2014-01-24

4 Answers 4

36

I think the following works:

Here is a sketch, I will fill in the details later if required.

Let $g(x) = \lim_{t\rightarrow x} f(t)$. Then we can show that $g(x)$ is continuous.

Let $h(x) = f(x) - g(x)$. Then $\lim_{t \rightarrow x} h(t)$ exists and is $0$ everywhere.

We will now show that $h(c) = 0$ for some $c$.

This will imply that $f(x)$ is continuous at $c$ as then we will have $f(c) = g(c) = \lim_{t->c} f(t)$.

Consider any point $x_0$.

By limit of $h$ at $x_0$ being $0$, there is a closed interval $I_0$ (of length > 0) such that $|h(x)| < 1$ for all $x \in I_0$.

This is because, given an $\epsilon > 0$ there is a $\delta > 0$ such that $|h(x)| < \epsilon$ for all $x$ such that $0 < |x - x_{0}| < \delta$. Pick $\epsilon = 1$ and pick $I_{0}$ to be any closed interval of non-zero length in $(x_{0}, x_{0} + \delta)$.

Now pick any point $x_1$ in $I_0$.

By limit of $h$ at $x_1$ being $0$, there is a closed interval $I_1 \subset I_0$ (of length > 0) such that $|h(x)| < 1/2$ for all $x \in I_1$, by argument similar to above.

Continuing this way, we get a sequence of closed intervals $I_n$ such that

$|h(x)| < \frac{1}{n+1}$ for all $x \in I_n$. We also have that $I_{n+1} \subset I_n$ for each $n$, and that length $I_n$ > 0. We could also arrange so that length $I_n \rightarrow 0$.

Now there is a point $c$ (by completeness of $\mathbb{R}$) such that $c \in \bigcap_{n=0}^{\infty}I_{n}$.

Thus we have that $|h(c)| < \frac{1}{n+1}$ for all $n$ and so $h(c) = 0$ and $f(c) = g(c)$.

  • 0
    @Pete: I see now you already talked about $h(x)$ in your question, so there aren't much details left to be filled in, I suppose.2010-09-01
  • 0
    @Moron: If I understand your answer correctly, you're arguing by contradiction (as user1551). I think it might help the reader if you described the structure of your argument more precisely. [Adding a couple of words should suffice.]2010-09-02
  • 2
    @Pierre: I am not arguing by contradiction. It is a constructive proof which directly shows that there is a point where the function equals the limit. Thanks.2010-09-02
  • 2
    Here is what I understand: Your assumption is that the limit of f(t) for t -> x (t not equal to x) exists everywhere, and your conclusion is that f has a continuity point c. If this is so, why don't you say it? My suggestion is just: tell the reader what you're doing!2010-09-02
  • 0
    @Pierre: You are right. I could have been more clear. I will edit the answer to incorporate your comments. Thanks.2010-09-02
  • 3
    Yes, this works, and indeed presents a fairly general technique for converting "uncountable pigeonhole principle" arguments to arguments from completeness. Thanks very much.2010-09-02
  • 0
    You consider publishing this clever construct? It's not earth-shaking,but I think it's definitely worth a mention in an analysis journal.2011-11-26
  • 2
    @Mathemagician1234: Thanks! I am not too sure if I would try and pursue getting this published. I suppose this site kind of serves the purpose of having it 'out there'.2011-12-20
10

No.

Please see theorem 5.63 in this link:

http://books.google.com/books?id=6l_E9OTFaK0C&pg=PA249

  • 1
    Cruft-less version of the link: http://books.google.com/books?id=6l_E9OTFaK0C&pg=PA2492010-09-01
  • 0
    J.M: Hey, thanks a lot!2010-09-01
  • 0
    @Chandru1: but this proof uses the notions of un/countable sets (as I alluded to above), so doesn't answer my real question.2010-09-01
  • 1
    Nevertheless I gave +1 because of the progress this makes on the third question above.2010-09-01
  • 1
    @Pete, the edit was intended to be a comment?2010-09-02
  • 0
    @Mariano: for reasons I am now finding difficult to defend, I decided that I wanted my remark to have "higher priority" than a comment. Ceretainly Chandru1 can delete or rollback after he reads the edit.2010-09-02
  • 0
    The reference says "A monotonic function has no removable discontinuities." Awkward.2011-10-02
8

The uncountability of $\mathbb{R}$ must be used, but perhaps we can avoid mentioning it.

Below is a sketch of proof. By restriction of domain and subtraction of its limit from itself, we may consider $f:[0,1]\rightarrow\mathbb{R}$ such that $f$ has zero pointwise limit and removable discontinuity everywhere. If we replace $f$ by $|f|$, we may further assume that $f$ is strictly positive.

Denote the cardinality of a finite set $S$ by $|S|$. Let

$I_0 = \lbrace x: 1\le f(x)\rbrace$ and $I_n = \lbrace x: \frac{1}{n+1}\le f(x)\lt \frac{1}{n}\rbrace$ for $n\ge 1$.

Then each $I_n$ must be finite, or else it has an accumulation point $p\in[0,1]$ and this contradicts the assumption that the limit of $f$ at $p$ is zero. Let

$J_n = \lbrace x\in[0,1]: |x-y|<\frac{1/2}{3^{n+1}|I_n|} \textrm{ for some } y\in I_n\rbrace.$

($J_n$ is empty if $I_n$ is empty.) Hence $[0,1] = \bigcup\limits_{n\ge 0} I_n \subseteq \bigcup\limits_{n\ge 0} J_n$. But the latter has total length $\le \frac{1}{2}$. So we arrive at a contradiction.

[Edit] Alternatively, $\lbrace J_n \rbrace_{n=1,2,...}$ is an open cover of $[0,1]$. So there is a finite subcover. This contradicts that the total length of all $J_n$'s is at most $1/2$.

  • 0
    Interestingly, the proof you want to give is exactly the same as what I had in mind (reducing to the case where the limit is identically zero), whereas the proof in the link to Chandru's answer is different. Off the top of my head, though, I'm not satisfied with the alternate conclusion: you seem to be using the countable subadditivity of Lebesgue measure, which is out of bounds.2010-09-01
  • 2
    Also, what exactly do you mean when you say that the uncountability of $\mathbb{R}$ must be used? Why couldn't we (conceivably) use the completeness of $\mathbb{R}$ (which implies the uncountability, but we don't need to know that)?2010-09-01
  • 0
    Thanks for your comment. I agree to your point about the completeness of $\mathbb{R}$, but I think you don't need to know anything about Legesgue measure in order to prove the proposition that "if a countable union of open subintervals of $[0,1]$ has total length less than $1$, then the union doesn't cover $[0,1]$".2010-09-01
-7

Let f(x)=0 when x is rational;

    =1 when x is irrational;

Then this is a function with a removable discontinuity at every point

  • 5
    This is not true. The limit does not exist at any point.2012-06-24
  • 0
    Not even algorithms for removing jump discontinuities work on it!2016-06-16