Extended real number line

In mathematics, the extended real number system is obtained from the real number system

R

{\displaystyle \mathbb {R} }

by adding two elements denoted

+

∞

{\displaystyle +\infty }

and

−

∞

{\displaystyle -\infty }

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

(

1

,

2

,

…

)

{\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. It is the Dedekind–MacNeille completion of the real numbers.

The extended real number system is denoted

R

¯

{\displaystyle {\overline {\mathbb {R} }}}

,

[

−

∞

,

+

∞

]

{\displaystyle [-\infty ,+\infty ]}

, or

R

∪

{

−

∞

,

+

∞

}

{\displaystyle \mathbb {R} \cup \left\{-\infty ,+\infty \right\}}

. When the meaning is clear from context, the symbol

+

∞

{\displaystyle +\infty }

is often written simply as

∞

{\displaystyle \infty }

.

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 }

.

Motivation

Limits

The extended number line is often useful to describe the behavior of a function

f

{\displaystyle f}

when either the argument

x

{\displaystyle x}

or the function value

f

{\displaystyle f}

gets "infinitely large" in some sense. For example, consider the function

f

{\displaystyle f}

defined by

f

(

x

)

=

1

x

2

{\displaystyle f(x)={\frac {1}{x^{2}}}}

.