~CAUCHY'S DEFINITION OF A LIMIT~

$eyes$

~feared and dreaded by most beginning calculus students
~One of the most important definitions in Calculus
~defines a limit of a function in precise terms
~used to prove many limit statements (including most limit theorems)
~also used to define other concepts which have limits for definitions

In informal words, to justify a limit is L as x approaches a fixed number a,
one must demonstrate that no matter what neighborhood size e (epsilon) of L you choose, you will always be able to find a neighborhood size d (delta) of a, such that, all x's in that d-neighborhood of a, will give functional values within the e (epsilon) distance of L (are mapped into that e-neighborhood of L)

~Note: Informally, think of yourself as working at delta corp ($1,000/day). Your job is to respond to callers that send in different size epsilons (neighborhoods of L, the limit of the day). You need to respond to each caller by giving them a delta (how close to a, the value x is approaching) that will satisfy each epsilon. If the phone does not ring, you have nothing to do. Doing you homework & knowing the limit of the day, you can figure out what response will work in advance. This way, your job is made quite easy. Figuring this correct response requires you to prove the limit of the day (which I will show in this discussion)

~we do not want x to equal a, so the definition eliminates x=a by the
statement 0<|x-a|. So, we are dealing with deleted neighborhoods of a

~a limit, alone, does not depend upon what happens at the point it
approaches only close to it on both sides.(for basic limits)

~however, some concepts that are defined in terms of limits will.
(i.e., continuity) (we need the limit to equal the functional value there)

Here is the full statement of Cauchy's definition:

To show (or prove) that lim f(x) = L as x → a, one must show the following:

For all ( " ) e>0, there exists ($) d>0, such that ('), if 0< |x - a| < d, then
|f(x) - L| <e

~special symbols, included, are used for "for all" (universal quantifier), "there exists"(existential quantifier), and "such that". Also, an if - then statement can be symbolized with a right arrow.

Example of a simple proof:

Prove: lim (3x-5) = 7 as x→4 using Cauchy's definition.

Proof: To Show: "e>0, $d>0, ', if 0< |x - 4| <d, then |(3x-5) - 7| <e.

        Analysis:
                     Let e>0 be given
                     Consider |(3x-5) - 7| = |3x-12| = |3(x-4)| = 3 |x-4|
                     By forcing 3 |x-4| <e we see that |x-4| <e/3
                     Claim: choose d ≤ e/3.
                     Synthesis: if |x-4| < e/3, then 3|x-4| <e, or |(3x-5) -7| <e.

                     Which satisfies the conditions of Cauchy's definition

~Note: So, at Delta corp, just divide the incoming call number by 3 & all callers will be satisfied & you should get a raise in pay. Also note that your response is the largest delta that will work. If this neighborhood size gets you where you want, then any smaller one would also.

~most teachers do not require the synthesis when testing students
~this is a simple proof...many proofs are not and require other conditions