To construct exotic functions, use limiting arguments

a repository of mathematical know-how

To construct exotic functions, use limiting arguments

Title: *

Area of mathematics: *

A comma-separated list of areas of mathematics to which this article applies. Use ">" to tag in a subcategory. Example: Analysis > Harmonic analysis, Combinatorics

Keywords:

A comma-separated list of keywords associated with this article. Example: free group

Used in:

A comma-separated list of examples of where this technique is used. Example: Cauchy-Schwarz inequality

Parent articles:		Order

Body:

[QUICK DESCRIPTION]
If you want to construct a set or function with strange properties, then often a good way of doing so is to define a sequence of sets or functions that converges to some kind of limit. If the sets or functions in the sequence have the sort of behaviour you want on finer and finer distance scales, then the limit may have it at ''all'' distance scales.

[PREREQUISITES]
A familiarity with the basic concepts of real analysis.

[note article incomplete] Many more examples wanted. Two of the existing examples need to be explained properly. [/note]

[EXAMPLE]

Suppose that you are asked to find a function from $\mathbb{R}$ to $\mathbb{R}$ that is continuous everywhere and differentiable nowhere. No function that one can define directly by means of a formula seems to have that property, so what can one do instead?

One answer is to use a limiting argument. We shall construct a sequence of functions $f_1,f_2,f_3,\dots$ that converges to a function $f$ in some suitable sense: a good choice is uniform convergence, since then if all the $f_i$ are continuous we are guaranteed that $f$ will be as well. To get this to work, we shall also want the functions $f_n$ to become "less and less differentiable" as we proceed. The main challenge is to decide what this might mean.

This is not as hard as it sounds, because it can be done by means of a fairly mechanical technique: we write down the epsilon-delta definition of non-differentiability and then try to get our functions to do what is required for smaller and smaller values of whichever of epsilon and delta has "for all" in front of it.

Let's see how this works. We know that $f$ will not be differentiable anywhere if for every $x$ there exists $\epsilon$ such that for every $\delta$ we can find $y$ and $z$ within $\delta$ of $x$ such that $(f(y)-f(x))/(y-x)$ and $(f(z)-f(x))/(z-x)$ differ by at least $\epsilon$. The "for all" comes in front of $\delta$ here, so it is natural to try to ensure that $f_n$ has the following property: for every $x$ we can find $y$ and $z$ within $n^{-1}$ of $x$ such that $(f_n(y)-f_n(x))/(y-x)$ and $(f_n(z)-f_n(x))/(z-x)$ differ by at least 1. Here, 1 is an arbitrary choice of $\epsilon$. If it turns out that we are forced to let $\epsilon$ depend on $x$ we can always go back and try again.

Before we think about how to produce a ''sequence'' of functions, let's just think whether any function $f_n$ satisfies the above property. It isn't very hard to see that it does: for example, take any function that oscillates a reasonable amount with a wavelength smaller than or comparable to $n^{-1}$. One could take a sawtooth curve, say, or a sine wave.

Now let's pass to the question of constructing a sequence of functions in such a way that the limit does what we want. First, here are a two ideas that don't work. One cannot take $f_n(x)$ to be $\sin nx$ because these functions do not converge uniformly. And one cannot take $f_n(x)$ to be $n^{-1}\sin nx$ because the rapid oscillation is "ironed out" in the limit and we get 0. So what we want seems to be increasingly small and increasingly rapid oscillation that somehow doesn't destroy the cruder and slower oscillation of earlier functions.

Now a construction suggests itself. We let $f_1$ be something like $\sin x$. Then we let $f_2$ approximate $\sin x$ closely enough to keep the large-scale properties of $\sin x$, but we superimpose a much smaller and faster oscillation. And we continue this process. The sort of function we might end up with is something like $f(x)=\sum_m100^{-m}\sin(100^mx)$. The precise details are not really necessary -- it is clear that this function $f$ inherits the bad behaviour of all the functions $f_n=\sum_{m=1}^n100^{-m}\sin(100^mx)$, or will do if we replace $100^m$ by a function that grows sufficiently rapidly. Or at any rate, it is clear that some approach of this kind will be successful.

It must be stressed that there is nothing special about $\sin$ here -- any old function that oscillates will do.

[EXAMPLE]
There exists a continuous function $f$ from $[0,1]$ to $[0,1]^2$, known as a ''space-filling curve''. To construct it, one constructs a uniformly Cauchy sequence of functions $f_n$ that wiggle about more and more, and thereby come closer and closer to more and more of $[0,1]^2$. Then the limiting function $f$ has the desired property. (This account needs to be expanded. For now look at [[w:Space-filling curve|the Wikipedia article on the topic]].)

[EXAMPLE]
[[w:Koch snowflake|The Koch snowflake]] is an example of a continuous function from $[0,1]$ to the plane, whose image is a path of infinite length. It is built up as a uniform limit of functions whose images are paths with lengths tending to infinity.

This is a stub

A stub is an article that is not sufficiently complete to be interesting.

Notifications

File attachments

Changes made to the attachments are not permanent until you save this post. The first "listed" file will be included in RSS feeds.

Attach new file:

Images are larger than 640x480 will be resized. The maximum upload size is 1 MB. Only files with the following extensions may be uploaded: jpg jpeg gif png svg.

Revision information

Log message:

An explanation of the additions or updates being made to help other authors understand your motivations.

To construct exotic functions, use limiting arguments

Recent articles

Active forum topics

Recent comments