PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: No information about user quality Entry average rating: No information on entry rating
[parent] proof of Cauchy condition for limit of function (Proof)

The forward direction is simple. Assume that $\lim_{x \to x_0}f(x) = L$ . Then given $\epsilon$ there is a $\delta$ such that \begin{equation*} |f(u)- L| < \epsilon/2 \text{ when } 0 < |u-x_0| < \delta. \end{equation*} Now for $0 < |u - x_0 | < \delta$ and $ 0< |v- x_0 | < \delta$ we have \begin{equation*} |f(u)- L| < \epsilon/2 \text{ and } |f(v)-L| < \epsilon/2 \end{equation*}and so

\begin{equation*} |f(u)-f(v)| = | f(u)- L -(f(v)-L)| \leq |f(u)-L|+|f(v)-L| < \epsilon/2+\epsilon/2 = \epsilon. \end{equation*} We prove the reverse by contradiction. Assume that the condition holds. Now suppose that $\lim_{x \to x_0}f(x)$ does not exist. This means that for any $l$ and any $\epsilon$ sufficiently small then for any $\delta>0$ there is $x_l$ such that $0<|xl-x_0|< \delta~{and}~|f(x_l)-l| \geq \epsilon$ . For any such $\epsilon$ choose $u$ such that $0 < |u-x_0| < \delta $ and put $l=f(v)$ then substituting in the condition with $u=x_l$ we get $|f(x_l)-l| < \epsilon$ . A contradiction.




"proof of Cauchy condition for limit of function" is owned by puff.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contradiction

This is version 5 of proof of Cauchy condition for limit of function, born on 2009-07-30, modified 2009-08-31.
Object id is 11851, canonical name is ProofOfCauchyConditionForLimitOfFunction.
Accessed 444 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)
 26B12 (Real functions :: Functions of several variables :: Calculus of vector functions)
 54E35 (General topology :: Spaces with richer structures :: Metric spaces, metrizability)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)