The Unapologetic Mathematician

A note on the Periodic Functions Problem

Over at The Everything Seminar, Jim Belk mentions an interesting little problem.

Show that there exist two periodic functions $f,g:\mathbb{R}\rightarrow\mathbb{R}$ whose sum is the identity function:

$f(x)+g(x)=x$ for all $x\in\mathbb{R}$

He notes right off that, “Obviously the functions $f$ and $g$ can’t be continuous, since any continuous periodic function is bounded.” I’d like to explain why, in case you didn’t follow that.

If a function $f$ is periodic, that means it factors through a map to the circle, which we call $S^1$. Why? Because “periodic” with period $p$ means we can take the interval $\left[0,p\right)$ and glue one end to the other to make a circle. As we walk along the real line we walk around the circle. When we come to the end of a period in the line, that’s like getting back to where we started on the circle. Really what we’re doing is specifying a function on the circle and then using that function over and over again to give us a function on the real line. And if $f$ is going to be continuous, the function $\bar{f}:S^1\rightarrow\mathbb{R}$ had better be as well.

Now, I assert that the circle is compact. I could do a messy proof inside the circle itself (and I probably should in the long run) but for now we can just see the circle lying in the plane $\mathbb{R}^2$ as the collection of points distance $1$ from the origin. Then this subspace of the plane is clearly bounded, and it’s not hard to show that it’s closed. The Heine-Borel theorem tells us that it’s compact!

And now since the circle is compact we know that its image under the continuous map $\bar{f}$ must be compact as well! And since the image of $f$ is the same as the image of $\bar{f}$, it must also be a compact subspace of $\mathbb{R}$ — a closed, bounded interval. Neat.

Like this:

Posted by John Armstrong | Analysis, Calculus

13 Comments	»

1. It looks like you are using heavy machinery where some hand tools are enough. A continuous function over any closed interval is bounded, in particular, any continuous periodic function is.

Comment by | January 23, 2008 | Reply

2. But how do you know that a continuous function on a closed interval is bounded?

Comment by | January 23, 2008 | Reply

3. Suppose it’s unbounded, then there is a sequence $x_n$ such that $f(x_n) \rightarrow \infty$. We may assume that $x_n \rightarrow x$, otherwise take a convergent subsequence. By continuity we must have $f(x_n) \rightarrow f(x) \neq \infty$, a contradiction.

Comment by | January 24, 2008 | Reply

4. And you have a convergent subsequence by compactness. You’re actually reproving parts of the theorems I quoted but now in the language of sequential compactness (which is equivalent to compactness in metric spaces).

Yes, I’m using a different viewpoint than an advanced calculus textbook would, emphasizing the point-set topology underlying the analysis. Besides, I stumbled across something on another weblog that related back to my recent posts, so why not show the connection?

Comment by | January 24, 2008 | Reply

5. Here is another proof that is not using compactness. Let our function f be defined on [a,b], and let c be the lowest upper bound of such t that f is bounded on [a,t]. Assume $c < b$, then f is bounded (by continuity at c) on some open interval (c-e,c+e), and also bounded on [a,c-e], therefore it’s bounded on [a,c+e/2], and c is not an upper bound.

Comment by | January 24, 2008 | Reply

6. Which is exactly the same method I used to prove that an interval is compact.

Comment by | January 24, 2008 | Reply

7. I guess your blog rubs me the wrong way because of too many complicated explanations of simple things and too few simple explanations of complicated things. It gives people rather cartoonish biew of mathematics. And by the way, do you plan to explain the topological meaning of gluing one end of a segment to the other, while you are still at it?

Comment by | January 24, 2008 | Reply

8. That’s a quotient space, as I described them earlier.

I’m not intending this to be a textbook so much as an overview, showing a certain natural flow emphasizing common themes throughout. It’s not a palette, it’s a painting.

Comment by | January 24, 2008 | Reply

9. Though there is a fair amount of heavy machinery involved in the posts, I do think that a more “general” approach to analysis is important in developing an understanding of the subject. And, emphasizing a point-set topological foundation of analysis goes a long way in “seeing” what’s actually going on.

Comment by | January 24, 2008 | Reply

10. Though there is a fair amount of heavy machinery involved in the posts, I do think that a more “general” approach to analysis is important in developing an understanding of the subject. And, emphasizing a point-set topological foundation of analysis goes a long way in “seeing” what’s actually going on.

Comment by | January 24, 2008 | Reply

11. John, this is one of the few places I know where it is possible to get an idea of how these many complex pieces fit together without spending a lifetime learning all the details about the pieces. Your blog provides motivation. It is balanced. It greatly facilitates a more detailed study, should that be desired. Clearly communicating ideas (even simple ones, let alone complex ones!) is one of the most difficult tasks we face; out of hundreds of people who “understand” something, we are lucky indeed to find even one who is willing and able to clearly explain it. Creating and maintaining this blog is a difficult task and a significant commitment. Know that it is greatly appreciated! Thank you!

Comment by Charlie C | January 24, 2008 | Reply

12. I’d echo Charlie C’s comment. The style of this blog is great for people who have yet to come across material being mentioned and is quite motivating in that regard.
I sometimes read posts here and don’t take the time to follow/understand them fully but just take the gist of it and try and then hopefully when I seriously study the aforementioned topic at least it will seem faintly familiar.

Comment by Jake | January 28, 2008 | Reply

13. [...] need to get down a few facts about metric spaces before we can continue on our course. Firstly, as I alluded in an earlier comment, compact metric spaces are sequentially compact — every sequence has a convergent [...]

Pingback by | January 31, 2008 | Reply

« Previous | Next »

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 22, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9460546374320984, "perplexity_flag": "head"}