For a subset of the real numbers , we denote a function

As an operation assigning a value to all , denoted .

Two concepts essential to an analysis of functions are **continuity and differentiability. We discuss continuity here.

Continuity

Defining Continuity

Let be a function. We say is continuous at a point , if whenever any sequence converges to , so too does the sequence .

In other words, if a point is sufficiently close to , then the distance should become arbitrarily small.

We can similarly define this in terms of limits,

Example: Continuity Proof

Prove is continuous.

Take any real number , and take any convergent sequence . Then, applying the product property of the limits,

Theorem: Properties of Continuity

Let and be continuous functions. Then , , , , are also continuous.

These properties trivially follow from the limit properties.

Geometric Properties of Continuity

Some important implications of continuity are given below: the extreme value theorem, and the intermediate value theorem.

Let be a function. For , we define a set

As the image (output) of .

Now, we say has a maximum given that it’s image has a minimum - that is, there exists a point such that

Such a point is called a maximizer.

Similarly, we say has a minimum given that it’s image has a minimum - that is, there exists a point such that

Such a point is called a minimizer.

Continuity guarantees the existence of a maximum and/or minimum along bounded domains of a continuous function. This is known as the Extreme Value Theorem.

Theorem: Extreme Value Theorem

Let be continuous, where is a closed bounded interval. Then, the maximum and minimum of exist.

In this theorem, the two key assumptions we need are compactness of , and the continuity on .

Continuity also guarantees the existence of values within a range of a continuous function.

Theorem: Intermediate Value Theorem

Let be a continuous function.

Pick any in the interval , where and are in the interior of . Then, there exists an strictly between and such that .

The proof is ommitted, as it is long and technical. It uses the Nested Interval Theorem and Bisection Method.

Finally, continuity is maintained along intervals. We define an interval as the set with bounds , such that all real numbers between the bounds exist within the set.

Theorem: Continuity along Intervals

If is a continuous function where is an interval, then the output is also an interval.

Uniform Continuity

This topic is essential for defining integrals!

We say is uniformly continuous on if for any two sequences such that if their difference converges to 0,

Then . In other words, for any two sequences that become arbitrarily close, so too should our function along these points and .

Our sequences don’t even have to converge!

The following theorem may help inform us when to expect that a function is uniformly continuous. It will be given later formally, as we haven’t yet defined a derivative; but is listed here for our understanding.

Theorem: Uniform Continuity

If has a bounded derivative on , then is uniformly continuous.

Uniform continuity is a fairly strong result! While continuity does not necessarily imply uniform continuity; uniform continuity can imply continuity!

Theorem: Continuity and Uniform Continuity

If is continuous, where is a closed bounded interval, then it is uniformly continuous.

This only works because of the compact set on ’s domain!

However, if is uniformly continuous on , then is continuous.

Example: Uniform Continuity

Let , .

We show that is uniformly continuous on . Let and be sequences such that . Then,

Example: Uniform Continuity Disproof

Let , .

While we have uniform continuity for any compact subset , our theorem won’t apply for infinity! In fact, the end points are where we fail to satisfy the uniform continuity definition.

Choose , . Then, while they become arbitrarily close,

Criterion for Continuity

Recall how we defined continuity. We propose below an alternative, yet equivalent, definition that may be useful.

Let be a function. Then, we say satisfies the - criterion at , if for all , there exists a such that for ,

In other words, this is saying that for any interval in ’s range, we can choose an interval in ’s domain that contains all of the values of this range!

The following theorem establishes a connection between the - criterion and continuity.

Theorem: Continuity and -

Let be a function, and let . Then, the following two assertions are equivalent.

  1. The function is continuous at .
  2. The - criterion at holds.

Example: Disproof

Define as the function where

We want to show by the - proof that the function is not continuous at .

Choose . Then, there is no such that .

Similarly, we can establish a connection between the - criterion and uniform continuity.

We say satisfies the - criterion on the domain , if for all , there is a such that for all ,

Theorem: Uniform Continuity and -.

Let be a function, and let . Then, the following two assertions are equivalent.

  1. The function is uniformly continuous at .
  2. The - criterion on the domain holds.

Example: Proof

Prove is uniformly continuous on using -.

But this doesn’t work, as we can’t control the denominator! So, we approach this differently, and begin with a squared term.

Given this, we take the square root of all terms to find

So we choose to finish our proof.

Inverses, Continuity, and Monotonicity

Monotonicity

Recall in the intermediate value theorem section, the theorem on the image of continuous functions.

Theorem: Intervals of Images

Let be continuous, where is an interval. Then, is an interval.

Note that the converse of this is not true in normal cases, but it is when is monotone! This is expressed below.

Theorem: Continuity of Monotone Functions

If is monotone, then if is an interval, is continuous!

Note that does not have to be an interval. We skip the proof as it is long and technical.

Function Inverses

We say a function is injective (one-to-one) if any has exactly one value. Formally, if we have any two -values , then

In other words, the function passes the horizontal line test - if we draw any horizontal line, it only crosses the function once.

Theorem: Monotonicity and Injections

If is strictly monotone, then is injective.

Note that the converse is not true, as we can choose a piecewise function to violate monotonicity. However, this changes if is continuous!

Theorem: Continuity, Injections, and Monotonicity

Let be continuous. Then, is injective if and only if is strictly monotone.

The continuity and interval clauses are extremely important, and without them, this theorem won’t hold.

We say that function is invertible provided that is injective. In the event this is true, we define the inverse function as

Such that if and only if .

Theorem: Monotonicity of Inverses

If is strictly monotone, then is also strictly monotone.

Theorem: Continuity of Inverses

Let be strictly monotone. Then, is continuous on .