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