## Proposition 6.1.6: Equivalence of Definitions of Limits

*f*is any function with domain

*in*

**D***, and*

**R***c closure(*then the following are equivalent:

*)***D**- For any sequence
*{x*in_{n}}that converges to**D***c*the sequence*{f(x*converges to_{n})}*L* - given any
*> 0*there exists a*> 0*such if*x closure(*and)**D***| x - c | <*then*| f(x) - L | <*

### Proof:

Suppose the first condition is true, but the second condition
fails. Then there exists an >
0 such that there is no >
0 with the property that if | x - c | < then
| f(x) - L | < .
Therefore, if we let =
1 / n, then for each n we can produce a number x_{n} with

- | x
_{n}- c | < but | f(x_{n}) - L |

But then the sequence { x_{n}}
converges to c, but the sequence f(x_{n})
does not converge to L. That is contrary to the first condition
being true, and hence we have proved by contradiction that the
first condition implies the second.

Suppose the second condition is true. Let c be some number in
closure(**D**) and pick any >
0. There exists a number >
0 such that

- whenever | x - c | < then | f(x) - L | <

Take any sequence { x_{n}}
in **D** that converges to c. Then there is an integer N such
that

- | x
_{n}- c | < for n > N

But then, by assumption of the second condition,

- | f(x
_{n}) - L | < for n > N

But that is the definition of the sequence { f(x_{n})
} converging to L, as required.