.: Math
Math
> Number theory
> Real Numbers
## Real NumbersProperties of the real numbers.## Sibling topics:## Contents:- Some non-empty, bounded sets do not have extrema
- Definition of extrema
- Definition of lub and glb
- Definition of the completeness property
- Definition of upper and lower bounds
Definition of upper and lower bounds
For `x in RR` and `S sube RR`, "`x` is an upper bound for `S`" means:
`(AA y in S)(x >= y)`
Similarly, "`x` is a lower bound for `S`" means:
`(AA y in S)(x <= y)`
An upper of a set does not need to be a member of that set, but if the set does contain its own
upper bound, it is called an extremum of the set.
If a set has an upper bound, it is said to be bounded above, and if it has a lower bound, it is said
to be bounded below. A set with both an upper and lower bound is bounded. If it does not
have both, it is unbounded.
Definition of extrema
Given `S sube RR`, `x` is said to be the maximum (or largest element) of `S`,
and we write `x="max "S`, if `x in S` and `x` is an upper bound for `S`.
Similarly, `y` is said to be the minimum (or smallest element) of
`S`, and we write `x="min "S`, if `y in S` and `y` is a lower bound for `S`.
An extremum (plural "extrema") is either a minimum or a maximum. Not all sets have a minimum or a
maximum. Note the difference between an extremum and an upper or lower bound. An extremum of `S` is in `S`, but
an upper or lower bound need not be.
Definition of lub and glb
For `x in RR` and `S sube RR`, `x` is the least upper bound (lub) (or supremum) of `S`
(denoted "lub of `S`" or "`"sup " S`") if:
`(AA y in S)(x >= y) and (AA z in RR)(z" is an upper bound for "S => z >= x)`
Similarly, "`x` is the greatest lower bound (glb) (or infimum) of `S`" (denoted
"glb of `S`" or "`"inf " S`") means:
`(AA y in S)(x <= y) and (AA z in RR)(z" is a lower bound for "S => z <= x)`
If a set contains its own least upper bound, then the set has a minimum equal to the lub. Similarly,
if a set contains its own greatest lower bound, the set has a extrema equal to the glb.
Definition of the completeness property
For `S sube RR`, `S` has the completeness property if:
Note that the lub and glb must be in `S`, though they need not be in `T`.
Theorem: Some non-empty, bounded sets do not have extrema
Some non-empty subsets of the real numbers do not have extrema, even if they are bounded. That is,
even though the set may be bounded above or below, they lack a maximum or minimum element (or both). This of
course can only be the case for infinite sets.
Consider the set `S=[0,1]`. Clearly, the infimum of this set is 0, and the supremum is 1. Both 0 and 1
are also in the set, so the set has both extrema. Now consider the set `T=[0,1)`. 1 is clearly an upper bound
for this set, but is it the least upper bound? In fact it is, and `T` has no maximum element.
By definition, the set `T` contains every number `n` where `0 <= n < 1`. Assume by way of contradiction
that there does exist an upper bound for `T` (call it `u`) that is less than 1. Since `u` would have to be
very close to 1, we won't consider `u <= 0`. Then we have `0 < u < 1`. But given any such `u`, we can
always find another number `v` such that `u < v < 1`, which would contradict `u` being an upper bound.
For instance, let `v=(u+1)/2`. If we can prove that `u < (u+1)/2 < 1`, then we will have shown that any
number less than 1 cannot be an upper bound for `T`. Similarly, we will have shown that `T` has no maximum
element, since a greater element that is also within `T` can always be found.
We will now prove that `u < (u+1)/2 < 1`. Because `u < 1`,
`u+u=2u < u+1 < 2`. Then, dividing by 2, we can see that `u < (u+1)/2 < 1`.
Proof: |