Printer-friendly version

15 August 2003

Properties of Extreme Limits

by George E. Hrabovsky, President, MAST

A Continuation

Last week we explored the ideas of limits resulting in infinity or 0.  Today we will examine the properties of such limits, and the algebraic properties of infinity and 0.

Properties of Infinite Limits

We introduced two theorems last time.  This time we will examine 3 corollaries to Theorem 2:

Corollary 1

f(x)  L≠0 as x  x_0 ∧ g(x) ∞ as x  x_0⟹ f(x) g(x)  ∞ as x  x_0 .

Corollary 2

f(x)  L≠0 as x  x_0 ∧ g(x) ∞ as x  x_0⟹ f(x)/g(x)  ∞ as x  x_0 .

Corollary 3

f(x)  L≠∞ as x  x_0 ∧ g(x) ∞ as x  x_0⟹ f(x)/g(x)  0 as x  x_0 .

In other words;

L · ∞ = ∞ when L≠0,

L/0 = ∞ when L≠0,

FormBox[RowBox[{L/∞,  , =,  , RowBox[{0 when L, ≠, 0.}]}], TraditionalForm]

Indeterminate Forms

Our corollaries say nothing about these situations,

0 · ∞, 0/0, or ∞/∞ .

These situations are called indeterminate forms.  This is because they can take on any value that we choose, but they are not unique.

The Math Challenge from Last Time

The math challenge was to prove two theorems.  The first of these is, f(x)  ∞ as x  x_0 ⟺ 1/f(x)  0 as x  x_0 .  If 1/f(x)  0 as x  x_0 then given any arbitrarily large number M>0 there must be some δ>0 such that | f(x) | > M if 0 < | x - x_0 | < δ.  This implies that f(x)  ∞ as x  x_0 by the definition of the limit.  We can easily reverse the argument.  Hence the theorem is proved.

The second theorem is, Underscript[lim, xx_0] f(x)/g(x) = 0 ⟹ Underscript[lim, xx_0] g(x)/f(x) = ∞ .  We can see that by theorem 1 from last column (proven above) we have 1/f(x)  0 as x  x_0.  Thus, f(x)/g(x) 0 as x  x_0.  By theorem 1 again, we also have g(x)/f(x) ∞ as x  x_0.  Thus the theorem is proved.

The Math Challenge

Can you prove the corollaries of this column?

Math Resources for Limits

Online:

http://www.maths.abdn.ac.uk/~igc/tch/ma2001/notes/node37.html

This is a rather uninspired page, but it is the best one that I could find.

Books:

Richard A. Silverman, 1969, Modern Calculus and Analytic Geometry, MacMillan Company, New York (Dover Publications has reprinted this book with corrections in 2002). This has a very nice chapter on limits that includes a very detailed discussion of infinite limits.


Created by Mathematica  (August 13, 2003)