Definition: Extended Real Numbers

The set $\mathbb R\cup \{-\infty,+\infty\},$ i.e the set of real numbers extended by the improper real numbers $-\infty$ minus infinity) and $+\infty$ plus infinity), is called the extended real numbers and denoted by $\overline{\mathbb R}.$

Extending the order relation for real numbers, we define $-\infty < x < +\infty$ for all $x\in\mathbb R.$

Definitions: 1 2 3 4 5
Lemmas: 6 7


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