MAT425 Real Analysis L8
Prof. Thistleton
Upper and Lower Bounds Some sets of real numbers are finite in extent. That is, we may say that all elements of the set are between two points. Others, for example the set of prime numbers, are unbounded.
Definition 227
We say that the number u is an upper bound for the
set S if
. If such a number
exists we say that S is bounded above.
Similarly, the number l is a lower bound for S
if
. In this case we say that S is
bounded below.
Examples:
Definition 239
Let the number u be an upper bound of the set S. We say that u is a least upper bound, LUB of S if there is no upper bound of S less that u. Similarly, the number l is a greatest lower bound, GLB of S if it is a lower bound of S and if no lower bound of S is greater than l.
A least upper bound is also called a supremum (sup) and a greatest lower bound is also called an infimum (inf).
Definition 248
If s = sup(S) and if
then we call s the
maximum (max) of S.
If
and if
then we call l the
minimum (min) of S.
Theorem 256
Suppose that, for some number u, it is true that for any
:
(i) there is no element of S greater than
and
(ii) there is an element of S less than
.Then u = sup(S).
State a similar result for u = inf(S).
Theorem 258
If a set has a infimum (supremum) then it is unique.
Theorem 262
If
then (i)
and
(ii)
.
Theorem 263
A finite set contains its supremum and its infimum.
The Least Upper Bound Axiom: Every nonempty subset of the real numbers which is bounded above has a least upper bound which is a real number.
Theorem 264
There is no rational number whose square is 2.
Result 265
The natural numbers have the Least Upper Bound property.
Result 270
If S and T are sets which are bounded above then
(i)
is bounded and
(ii)
is bounded.
Result 274
If S and T are sets which are bounded above then
.
Result 276
Is it true that
.Prove or give a counter example.
Result 277
Give an example where the above result is valid.
Result 278
Is the union of a collection of bounded sets bounded?