Limits

In this section, we discuss limits and what they mean.

A point is a limit point of , provided there exists some sequence in such that

Example: Limit Points of

What are limit points of ?

All of the points in , as for any , we can define the sequence

Which wil converge to .

Let be a function, and let be a limit point of . Then, the limit of is

If for any sequence in , if , then .

Limits can only be defined if there exists a sequence in our domain that converges to the point (by definition of a limit point).

Formally, for all , there exists a such that for all ,

Note that all of our limit rules apply, and can be used.

Derivatives

Definition

Consider a function defined along some interval. Say we want the “slope” of the function at some limit point .

This is the derivative of the function, , defined as

Where is any sequence converging to .

Note you can obtain the decond definition from the first by setting

If the derivative for exists at a point , we say is differentiable at this point.

Theorem: Differentiability and Continuity

If exists, then is continuous at . In other words, differentiability implies continuity.

Derivatives have a variety of useful properties that we can prove! They are given below.

Theorem: Product Rule

If and are both differentiable at , so is .

Theorem: Chain Rule

If and are both differentiable at , so is .

Theorem: Derivatives of Inverses

Let and be a strictly monotone continuous function. Suppose exists (to avoid division by 0). Then, we can find the derivative of ’s inverse as follows:

Mean-Value Theorem

Definition and Proof

Let be a function continuous on , and differentiable on . Then such that

In other words, there exists a point where the derivative is equal to the average slope!

Example: Mean-Value Theorem Applications

, let . Then, by mean value theorem,

This proves an earlier theorem in uniform continuity!

We will prove this theorem; but first, we define a variety of lemmas that will be useful to us.

Lemma

Let be an open interval containing , and . Suppose exists,

If is a max (or min), then .

Theorem: Rolle's Lemma

Let be continuous on , differentiable on , and . Then, such that .

This is a special case of MVT, but we will use it to prove MVT!

We now prove MVT. The idea of this proof is to create a function from whose endpoints are the same, and applying Rolle’s theorem.

Proof (Mean Value Theorem)

Let be a function continuous on , and differentiable on . Let for some . We can choose an such that in order to apply Rolle’s theorem.

By Rolle’s lemma, such that ! Plugging this in and solving for , this gives us

Example: Mean Value Theorem

Prove that does not have more than one solution.

Note that . If there were two or more solutions, by Rolle’s lemme, at some point, which is a contradiction.

Corollary 1

If is differentiable, then for all is true if and only if is constant.

Corollary 2

Let be an open interval, and differentiable on . Then, for some constant , if and only if .

This will be really important in integration!

Corollary 3

Let be differentiable on . For all , if at , then is strictly increasing on .

Cauchy MVT

Below, we discuss a generalization of the Mean Value Theorem onto parametric curves.

Theorem: Cauchy Mean-Value Theorem

Suppose and are continuous and differentiable on , creating a parametric curve . If , then , such that

Note that this is a generalization, as we can set for any suitable to prove the Mean Value Theorem on .

This theorem is quite important! It sets the stage for the Taylor series Lagrange remainder theorem.

Theorem: Function Value Theorem

Let be an open interval, let , and suppose we have a differentiable function which is -times differentiable.

Suppose that at

Then , there exists a between and such that

Example: Remainder Theorem

Let and , and for all . Give a bound on .

By the remainder theorem,