Prove that

Given any number
,
the interval
can contain at most two integers. We know that a neighborhood of a limit point
of a set must always contain infinitely many members of that set and so we
conclude that no number
can be a limit point of the set
of integers.
Prove that

Suppose that
is any real number. To show that
is a limit point of
,
suppose that
.
Since there are rational numbers in the interval
we know that the set
.
Prove that

If
is any negative number then the interval
is a neighborhood of
that fails to contain any members of the set
.
Thus a negative number can not be a limit point of
.
If
is any positive number then the interval
is a neighborhood of
which fails to contain infinitely many members of the set
.
To see why, note that if
is a positive integer then the
condition
can
hold only if
.
Therefore no positive number can be a limit point of
.
Finally, we need to explain why
must be a limit point of
.
Suppose that
.
Choose an integer
and observe
that
from
which we deduce that the set
must
be nonempty.
Give an example of an infinite set that has no limit point.
As we saw in
Exercise 1, the infinite set
has no limit point.
Give an example of a bounded set that has no limit point.
A finite set
like
will not have any limit points. We could also look at the empty set
.
Give an example of an unbounded set that has no limit point.
As we saw in
Exercise 1, the infinite set
has no limit point.
Give an example of an unbounded set that has exactly one limit point.
The
unbounded set
has only the limit point
.
Give an example of an unbounded set that has exactly two limit points.
The
set
has
the two limit points
and
.
We can see this directly or we can use the assertion proved in Exercise 6
below.
Prove that if
and
are sets of real numbers and if
then

Suppose that
and
are
sets of real numbers and that
.
Suppose that
is a limit point of
.
We need to explain why
has to be a limit point of
.
Suppose that
.
Since the set
is nonempty and
since
we
deduce that the set
is nonempty.
Prove that if
and
are sets of real numbers then
Solution: Since
we
know that
and
similarly we know that
.
Thus
Now
suppose that a number
fails
to belong to the set
.
Choose a number
such
that the interval
contains
only finitely many members of the set
.
Choose a number
such
that the interval
contains
only finitely many members of the set
.
We now define
to
be the smaller of the two numbers
and
and
we observe that, although
,
the interval
contains
only finitely many members of the set
.
Therefore no number that lies outside the set
can
be a limit point of
and
we conclude
that
Is it true that if
and
are sets of real numbers then
What
if
and
are closed? What if
and
are open? What if
and
are intervals?
The answers are no, no, no and no. Look at the following
example:
These
two sets are closed
and
while
Now
look at the following
example:
In
this
case
and
Is it true that if
then
?
Hint: Yes.
Suppose that
.
We know that whenever
and
are real numbers and
there must be members of
lying between
and
.
Now suppose that
is a real number. To show that
is a limit point of
,
suppose that
.
Since there must be members of
in the interval
we conclude that the set
is nonempty.
Given that a set
of real numbers is nonempty and bounded above but that
does not have a largest member, prove that
must be a limit point of
.
State and prove a similar result about

To show that
is a limit point of
,
suppose that
.
Since
and since
is the least upper bound of
the number
fails to be an upper bound of
.
Choose a member
of
such that
.
Since
and since
does not belong to
we have
.
We conclude
that
Given any set
of real numbers, prove that the set
must be closed.
Solution: We shall show that any number that fails to
belong to
must
fail to belong to
.
Suppose that
.
Choose a number
such
that the interval
contains
only finitely many members of
.
Given any number
in
the interval
,
it follows from the fact that
is
a neighborhood of
and
the fact that
contains
only finitely many members of
that
is
not a limit point of
.
Thus
and
we have shown, as promised, that
does
not belong to
.
Prove that if a set
is open then

Of course
.
Now suppose that
.
To show that
,
suppose that
.
Using the fact that
,
choose a number
in the set
.
Using the fact that the set
is open, choose
such
that
We
have now found more than one member of
that belongs to the interval
and so we know
that
Suppose that
is a set of real numbers, that
and that
Prove that there exist two different numbers
and
in
such that

Solution: Choose a limit point
of
the set
.
Using the fact that the interval
contains
infinitely many members of
,
choose two different members
and
of
that
lie in the interval
.
We observe that
.