Topic 2 - The Real Numbers Flashcards
Define: Upper Bound
A real number that is greater than (or equal to) all of the elements in a set.
i.e. s ≤ M, ∀s ∈ S
Define: Lower Bound
A real number that is less than (or equal to) all of the elements in a set.
i.e. s ≥ m, ∀s ∈ S.
Define: Bounded
A set that is bounded above (contains an upper bound) and bounded below (contains a lower bound).
Define: Supremum
A number T ∈ R is called the supremum of S, denoted sup(S), if
- T is an upper bound of S,
- any other upper bound M of S satisfies T ≤ M.
i.e. the smallest upper bound of a set.
Define: Infimum
A number t ∈ R is called the infimum of S, denoted inf(S), if
- t is a lower bound of S,
- any other lower bound m of S satisfies t ≥ m.
i.e. the largest lower bound of a set.
Theorem: Archimedean Postulate
For any real number a, there exists a natural number greater than a.
With Quantifiers: ∀a ∈ R, ∃n ∈ N s.t. a < n.
Completeness Axiom
Every non-empty set bounded above has a supremum and every non-empty set bounded below has an infimum.