Extended real number line

In mathematics, the extended real number system^[a] is obtained from the real number system ${\displaystyle \mathbb {R} }$ by adding two elements denoted ${\displaystyle +\infty }$ and ${\displaystyle -\infty }$^[b] that are respectively greater and lower than every real number. This allows for treating the potential infinities of infinitely increasing sequences and infinitely decreasing series as actual infinities. For example, the infinite sequence ${\displaystyle (1,2,\ldots )}$ of the natural numbers increases infinitively and has no upper bound in the real number system (a potential infinity); in the extended real number line, the sequence has ${\displaystyle +\infty }$ as its least upper bound and as its limit (an actual infinity). In calculus and mathematical analysis, the use of ${\displaystyle +\infty }$ and ${\displaystyle -\infty }$ as actual limits extends significantly the possible computations.^[1] It is the Dedekind–MacNeille completion of the real numbers.

The extended real number system is denoted ${\displaystyle {\overline {\mathbb {R} }}}$ or ${\displaystyle [-\infty ,+\infty ]}$ or ${\displaystyle \mathbb {R} \cup \left\{-\infty ,+\infty \right\}.}$^[2] When the meaning is clear from context, the symbol ${\displaystyle +\infty }$ is often written simply as ${\displaystyle \infty .}$^[2]

There is also a distinct projectively extended real line where ${\displaystyle +\infty }$ and ${\displaystyle -\infty }$ are not distinguished, i.e., there is a single actual infinity for both infinitely increasing sequences and infinitely decreasing sequences that is denoted as just ${\displaystyle \infty }$ or as ${\displaystyle \pm \infty }$.

Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).