Thedefinition of continuity:
A functionis continuous at a point
if for
given there exists
such that
In this definition
is generally a function of
may be restated in terms of sequences.
We need first a definition.
Definition Letbe a set of real numbers. A real number
is an accumulation point of
if and only if every neighbourhood of
contains infinitely many points of
Theorem
Letwith
an accumulation point of
Then
has a limit at
if and only if for each sequence
converging to
with
in
and
for all
the sequence
converges.
Proof: Suppose thathas a limit
at x-0 . Let
be a sequence of members of
distinct from
but converging to
and consider the sequence
Choose
There is
such that if
with
then
Since
converges to
there is N such that for n>=N abs {x-n -x-0} < %delta . For n>=N, 0<abs {x-n -x-0} <%delta and x-n in D, hence
Then
converges to L.
Suppose now that the latter condition is satisfied. All the sequenceshave a common limit, because if there are two sequences that do not converge to the same limit, say
converges to
and
converges to
then we can define a new sequence
such that
and
This sequence consists of members of
distinct from
and converges to
hence
converges hence
since
and
are subsequences of this convergent sequence.
Suppose all the subsequences ofconverge to a limit
Suppose that
is not a limit of
at
then there is
such that for every
there is
with
and
In particular for each
there is
with
such that
The sequence
converges to
and is a sequence of members of
distinct from
hence
to
contrary to
hence
must be the limit of
at