# Introduction to Limits

From Wikiversity

This lesson assumes you have a working knowledge of the topics presented in the following lessons:

## Introduction to Limits

Limit processes are the basis of calculus. As opposed to algebra, where a variable is considered to have a fixed value (think of the solution of word problems, where there are one or more discrete answers), we allow a variable to change continuously and study how a function's value changes.

## Outline

This article addresses limits of functions of a single variable. It starts with an informal definition, discusses the basic properties of the limit operation, and progresses to the precise definition of limit. This rigorous definition is used to prove the earlier results, which were stated without proof. A number of examples of applying the definition are given, which helps develop facility with inequalities.

## An Informal Definition

Consider the function $y = 2x$. As x increases, y increases. As we crank x up towards a number, say 100, y gets closer to the number 200.

Limits are concerned with what the value of a function (in this case, y) approaches as a variable it is based on (in this case, x) approaches a number (in this case, 100), not the actual value of the function when the variable equals the number. This is useful because not all functions are continuous and you may get a different result in the limit of y as you crank x down instead of up to that number.

## Continuous Functions

Look at these two graphs. Notice that the top one is a single, unbroken curve, whereas the bottom one has many "jumps." Now the top graph is continuous and the bottom one is not. This is the basic idea of continuity for a function; a function that is not continuous will have jumps. Points themselves can also be continuous and not continuous. For example, the point where x equals -1/2 in the second graph is continuous because there are no jumps in that specific section. On the other hand, where x equals two, there is a jump, so the point is not continuous. Not a very formal definition, this jump thing! Because the jump thing is so informal, they invented a new way to phrase it using limits

### Definition of a Continuous Function

Say we want to prove that the top function is continuous for all values between -3 and 3. (This is a closed interval, or a section of a function that includes the two endpoints. Likewise, an open interval is a section of a function that does not include the two endpoints. The closed interval between -3 and 3 includes -3 and 3; the open interval does not.) The first definition is that of continuity in an interval

Definition of continuity in a closed interval
A continuous closed interval is continuous at every point, including the left and right endpoints.

Not too complicated, eh? Now on to the definition of continuity at a point that is in a open interval; that is, not including the endpoints

Definition of continuity at a point in an open interval in a function
Let c be the x-value of the coordinate we want to prove is continuous. The function f is said to be continuous at the point c if the following two conditions obtain:
• $\lim_{x\to c} f(x)$ exists, and
• $\lim_{x\to c} f(x)=f(c)$

Now, when can the limit as x aproaches c not exist? Just look at the second graph! If you try to find the limit at two from numbers larger than two, you get a result that does not equal the results from using numbers smaller than two! There is a way to write this mathematically, so we define new types of limits.

• The mathematical way to write "The limit of f(x) as x approaches c created by using numbers larger than c" is $\lim_{x\to c^+}f(x)$
• The mathematical way to write "The limit of f(x) as x approaches c created by using numbers smaller than c" is $\lim_{x\to c^-}f(x)$

## Basic Theorems for Limit Operations

The limit operator satisfies linearity. That is, "the limit of sum, is the sum of the limits".

There are also basic rules for doing arithmetic with limits. They can be found in the calculus textbook for reference. Follow this link and study the limits. Convince yourself that these rules are intuitive. Also note that if f(a) is defined, and if f is a continuous function, then $\lim_{x\to a} f(x)=f(a)$.

## Proofs

What does $\lim_{x\to 5} (x^2)$ equal?

Find the value of this expression for values close to 5:

|                                                                            |    |       |         |        |         |         |        |         |       |    |
|----------------------------------------------------------------------------|----|-------|---------|--------|---------|---------|--------|---------|-------|----|
| $x$ |  4 |  4.9  |  4.99   |  4.999 |  4.9999 |  5.0001 |  5.001 |  5.01   |  5.1  |  6 |
| $x^2$ | 16 | 24.01 | 24.9001 | 24.99  | 24.999  | 25.001  | 25.01  | 25.1001 | 26.01 | 36 |

Notice how, as we get closer to 5 from both sides, the value of the function, x2 approaches 25. This may seem obvious, since 5 squared actually equals 25. In fact, the limit of f(x) as x approaches c in a continuous open interval is equal to f(c) if it is defined. However, this problem is merely to help you get acquainted to limits, before we go into limits about a very special quotient, 0/0 and other indeterminate forms, or expressions that cannot be determined by substituting c for x in a limit where x goes to c.

NOTE: Wikipedia is a very good reference on these limits; however, avoid going into the section on evaluating indeterminate limits, for this uses a statement called l'Hôpital's rule. This is a useful rule but is confusingly unnecessary until you know what a derivative is.

Notice that 0/0 by itself is meaningless; also notice that $\lim_{x\to 0}(x/x)$ equals one, since for all values near 0, x/x=1.

### The main purpose of limits

You can find otherwise undefined expressions with limits. They allow you to use algebraic rules, even at values when the rules are false! For example, look at $\lim_{x\to 0} (x^2/x)$. What does this equal?

Let's use an algebraic rule that is true at all values of x besides zero. The rule states that $x^2/x$ equals x for all numbers beside 0. When we apply this rule to our old limit, we see that the limit is equivalent to $\lim_{x\to 0} x$, which is easily seen to be equal to 0.

For more on finding limits, see the calculus wikibook.

Exercise 1  More about the definition of limits and basic limit operations

## A More Precise Definition of Limit

For almost all purposes, the informal definition of a limit works very well; however, because of its vague wording, it is very dificult to use it in any sort of proof about limits. For proofs, the formal definition of a limit, from Wikibooks, is used instead.

## Applying the Definition

### Limits involving Polynomials

Finding the limit of a polynomial is a simple process. The easiest method of taking the limit of a polynomial is substitution. The value of a polynomial as x approaches a is equal to f(a). Consider the following example:

$\lim_{x\rightarrow 3} x^3 + 2x^2 + 7 = (3)^3 + 2(3)^2 + 7 = 52$

### Limits involving Trigonometric Functions

This is a unit circle. It has a radius of one unit, and its angles are measured in radians. Using this circle, we can prove that

$\lim_{\theta\to 0} \,\ \frac{\sin(\theta)}{\theta}=1$
Notice that this makes sense, since as theta approaches 0, arc DA becomes very close to being congruent to arc DC. This doesn't prove anything, though! To prove this, we need to look at areas. First notice that $ODC \le ODA \le OBA$, since each area contains the last are, plus another layer. Now, we can find the area of these three areas. The first area, ODC, is a triangle. This triangle has a base of $\,\ \cos(\theta)$, and it has a height of $\,\ \sin(\theta)$. Using the area formula for a triangle, we find
$ODC=\frac{1}{2} \cos(\theta) \sin(\theta)$
Now, we go on to the next area, ODA. It is a sector of a circle. The formula to find the area of the sector of a circle is
$\frac {\theta r^2} {2}$
This makes sense, since when you think that a complete circle would have two pi radians, the formula turns into the formula for a circle. In our unit circle, the area is simply $\frac {\theta} {2}$, since the radius is one.
The third area is also a triangle, with height of $\,\ \tan(\theta)$, or $\frac {\sin(\theta)}{\cos(\theta)}$. With a base of one, its area turns into
$\frac {1}{2} \frac {\sin(\theta)}{\cos(\theta)}$
Now from the original expression of $ODC \le ODA \le OBA$, we have
$\frac{1}{2} \cos(\theta) \sin(\theta)\le \frac {\theta}{2} \le \frac {1}{2} \frac {\sin(\theta)}{\cos(\theta)}$
Multiply this whole inequality by two
$\cos(\theta) \sin(\theta) \le \theta \le \frac {\sin(\theta)}{\cos(\theta)}$
Now divide the whole thing by $\,\ \sin(\theta)$
$\cos(\theta) \le \frac {\theta} {\sin(\theta)} \le \frac {1}{\cos(\theta)}$
Now we apply the limit!
$\lim_{\theta \to 0} \,\ \cos(\theta) \le \lim_{\theta \to 0} \,\ \frac {\theta} {\sin(\theta)} \le \lim_{\theta \to 0 } \,\ \frac {1}{\cos(\theta)} \equiv 1 \le \lim_{\theta \to 0} \,\ \frac {\theta} {\sin(\theta)} \le \frac {1}{1}, \,\ or \,\ 1$

## Further Study

More information on this topic may be found in other lessons that list this one as a prerequisite.

## Tools

L'Hôpital's Rule

Consider the limit limxaf(x)g(x) If both the numerator and the denominator are finite at a and g(a)=0, then limxaf(x)g(x)=f(a)g(a)

Example

limx3x+2x2+1=510=2.

But what happens if both the numerator and the denominator tend to 0? It is not clear what the limit is. In fact, depending on what functions f(x) and g(x) are, the limit can be anything at all!

Example

limx0x2x3=limx0x=0 limx0xx2=limx0x1= limx0x3−x=limx0x2−1=− limx0xkx=limx0k=k

These limits are examples of indeterminate forms of type 00. L'Hôpital's Rule provides a method for evaluating such limits. We will denote limxalimxa+limxa−limx and limx− generically by lim in what follows.

L'Hôpital's Rule for 00

Suppose limf(x)=limg(x)=0. Then

```  1. If limf(x)g(x)=L, then limf(x)g(x)=limf(x)g(x)=L.
  2. If limf(x)g(x) tends to + or − in the limit, then so does f(x)g(x). 
```

Geometrical Interpretation Sketch of the Proof of L'Hôpital's Rule

Example

```   * limx0xsinx=limx0ddx(x)ddx(sinx)=limx01cosx=1
   * limx12lnxx−1=limx1ddx(x−1)ddx(2lnx)=limx11 x2 =2
   * limx0x2ex−1=limx0ddx(x2)ddx(ex−1)=limx0ex2x= 
```

If the numerator and the denominator both tend to or −, L'Hôpital's Rule still applies.

L'Hôpital's Rule for

Suppose limf(x) and limg(x) are both infinite. Then

```  1. If limf(x)g(x)=L, then limf(x)g(x)=limf(x)g(x)=L.
  2. If limf(x)g(x) tends to + or − in the limit, then so does f(x)g(x). 
```

The proof of this form of L'Hôpital's Rule requires more advanced analysis.

Here are some examples of indeterminate forms of type .

Example

limxxex=limx1ex=

Sometimes it is necessary to use L'Hôpital's Rule several times in the same problem:

Example

limx0x21−cosx=limx02xsinx=limx02cosx=21

Occasionally, a limit can be re-written in order to apply L'Hôpital's Rule:

Example

limx0xlnx=limx0x1lnx=limx0 x1 −1x2=limx0(−x)=0

We can use other tricks to apply L'Hôpital's Rule. In the next example, we use L'Hôpital's Rule to evaluate an indeterminate form of type 00:

Example

To evaluate limx0+xx, we will first evaluate limx0+ln(xx). limx0+ln(xx)=limx0+xln(x)=0 by the previous example Then since limx0+ln(xx)0 as x0+ and ln(u)=0 if and only if u=1, xx1asx0+ Thus, limx0+xx=1

Notice that L'Hôpital's Rule only applies to indeterminate forms. For the limit in the first example of this tutorial, L'Hôpital's Rule does not apply and would give an incorrect result of 6. L'Hôpital's Rule is powerful and remarkably easy to use to evaluate indeterminate forms of type 00 and . Key Concepts L'Hôpital's Rule for 00 Suppose limf(x)=limg(x)=0. Then

```  1. If limf(x)g(x)=L then limf(x)g(x)=limf(x)g(x)=L.
  2. If limf(x)g(x) tends to + or − in the limit, then so does f(x)g(x). 
```

L'Hôpital's Rule for Suppose limf(x) and limg(x) are both infinite. Then

```  1. If limf(x)g(x)=L, then limf(x)g(x)=limf(x)g(x)=L.
  2. If limf(x)g(x) tends to + or − in the limit, then so does f(x)g(x).
```
{"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": 30, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "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.9177175164222717, "perplexity_flag": "head"}