Theorem: Supremum Property, Infimum Property

Every non-empty subset of real numbers, which has an upper bound, has also a supremum. Equivalently, we say that real numbers have the supremum property.

Every non-empty subset of real numbers, which has a lower bound, has also an infimum. Equivalently, we say that real numbers have the infimum property.

Proofs: 1

Proofs: 1 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983