Tricki

I have a problem about a continuous function

Quick description

To use this page, click on the appropriate answers below to be taken to further text and further questions. The page is only just started, so at the moment not much will actually happen if you do this.

Prerequisites

Definition of continuity and basic facts about real numbers, sequences and limits.

General discussion

Any discussion of how to solve problems about continuity is complicated by the fact that there are two statements that can be taken as the basic definition of continuity, one in terms of epsilons and deltas, and one in terms of sequences. (For a discussion of what they are and how the equivalence is proved, see Example 2 of I have a problem to solve in real analysis and I do not believe that a fundamental idea is needed.) Sometimes, one approach is considerably slicker than the other, but often they are about equally simple and it is just a matter of taste which one prefers. We shall often just discuss one approach. There is a separate article on How to translate epsilon-delta proofs into sequence-based proofs and vice versa.

What is the problem?

Which of the following descriptions best fits your problem?

I have an explicitly defined function and I want to show that is continuous.

• Which of the following descriptions best fits your function ?
• is a polynomial.
• In that case, one might think that the best approach was just to go ahead and prove the continuity of directly from the definition of continuity. But the calculations involved in doing this are a bit tedious and can be avoided in a number of ways. One way is a bit of a cheat: develop the theory of differentiability, prove that polynomials are differentiable, and deduce that they are continuous. A more direct approach is to prove the following four facts: (i) constant functions are continuous; (ii) the function is continuous; (iii) if and are continuous then is continuous; (iv) if and are continuous then is continuous. Any polynomial can be built up from and by means of pointwise addition and multiplication, so an easy induction demonstrates that every polynomial is continuous.
• is a rational function (that is, a function of the form where and are polynomials).
• An obvious first remark to make is that is not continuous at any where But if does not vanish in the range of that you are interested in, then the best approach to rational functions is very similar to what you do for polynomials. So you should read that first, and then prove one further rule (or just use it if it has been proved for you): that if and are continuous functions and does not vanish anywhere, then is continuous.
• is a well-known function such as or .
• It is not quite so easy to give advice on these functions, because there are many different equivalent definitions of these functions. But if you know the addition rule for then you can argue that so the continuity of follows if you can show that and as Similarly, the continuity of follows from the rule and the fact that But in order to prove such basic facts about and you may well have defined these functions by means of power series and used general facts about the continuity and differentiability of power series. So a lot depends on what you are allowed to assume and how you have developed the theory.
• is none of the above, but it is defined by a formula that involves well-known functions.
• The advice for polynomials and rational functions applies here. If your function is built out of functions that you know are continuous and if the method of building is one that produces continuous functions from continuous functions, then your function is continuous.
• is not given by a straightforward formula, but rather it is defined as a limit or infinite sum of some functions
• For a problem of this kind, you will want to use some theory. By far the most commonly used result for proving the continuity of a limit of functions is the following one: if the functions are continuous and converges uniformly to then is continuous. If the functions are defined on an unbounded set such as then it may well be that this approach works even if they do not converge uniformly to since often they converge locally uniformly. This means that every is contained in an interval such that converges uniformly to on This is enough to prove that is continuous at and since is arbitrary it proves that is continuous. This technique gives a proof that the power series converges to a continuous function, and similarly for the power series for and and a host of other functions.

I have an explicitly defined function and I want to show that is not continuous.

• The first step, which is usually easy, is to identify a point at which you believe that is not continuous. Now your problem is that of proving that is not continuous at for some given Usually the quickest way of doing this is to use the sequence definition: that is, find a sequence such that but For example, let when and when Then the slickest proof that is not continuous is to note that when then Therefore, if we let then but does not tend to

I have a function about which I have certain information, and I want to deduce that is continuous.

• At the time of writing, I do not have any good examples in mind of such problems, so the following advice may be unsatisfactory. (If it is, then please consider editing this paragraph.) However, the most obvious two methods seem to be at opposite ends of a certain spectrum: either prove the result directly from the definition of continuity, or prove it by using some theorem of the form, "Every function with such-and-such a property is continuous." Proofs in the first category may well be discoverable using the general kind of approach outlined in I have a problem to solve in real analysis and I do not believe that a fundamental idea is needed. For example, if you know that is an open set whenever is an open set and want to deduce that is continuous, then the methods in that article are sufficient. As for proofs in the second category, they may well just be extremely simple observations such as that every differentiable function is continuous.

I have a function about which I have certain information, and I want to deduce that is not continuous.

• At the time of writing, I do not have any good examples in mind of such problems, so the following advice may be unsatisfactory. (If it is, then please consider editing this paragraph.) The obvious approach to a problem of this kind is to
argue directly, just as you could in the case of an explicitly defined function , and use the information you have about to construct a sequence that converges to a limit , with not converging to . If such an approach doesn't work, or seems to be getting your hands unnecessarily dirty, then you could try exploiting a theorem of the form, "Every continuous function has such-and-such a property." That is, you could look for a property that your function does not have but would have to have if it were continuous. For example, suppose you know that is unbounded but that as Then there must be some such that whenever Therefore, is unbounded in the interval But continuous functions are bounded on any closed interval, so cannot be continuous.

I have a function that I know is continuous and I want to prove something about .

• The most obvious advice here is to use one of the following handful of basic and important results about continuous functions. (1) If is continuous and then (2) A continuous function defined on a closed bounded interval is bounded and attains its bounds. (3) If is continuous on the interval and and then there exists such that (If there are obvious omissions from this list, please add them.)

I want to find a continuous function that has certain properties.

• The advice here depends very much on the nature of the problem. At one extreme, the property required of the continuous function might trivially imply continuity, in which case the word "continuous" could just as well be omitted. So let's assume that the problem is one where is required to have a property that appears to be hard to reconcile with continuity.

A first step would be to try out a few well-known continuous functions, but if the problem is an interesting one then this is almost guaranteed not to work. At that point, your main option is to build a continuous function in some way. An elementary way that sometimes works is to define your function separately on various intervals and make sure they match up at the endpoints. For example, piecewise linear functions are useful for some purposes. If that doesn't work, then a more advanced technique that is often used for this type is to build your function as a uniform limit of continuous functions with properties closer and closer to the property you are aiming for. See Constructing exotic sets and functions using limiting arguments for some examples of this technique. Sometimes this idea is combined with the previous one: for example, one might take a uniform limit of piecewise linear functions.