Definition:Infinity

From ProofWiki
Jump to navigation Jump to search

Definition

Informally, the term infinity is used to mean some infinite number, but this concept falls very far short of a usable definition.

The symbol $\infty$ (supposedly invented by John Wallis) is often used in this context to mean an infinite number.

However, outside of its formal use in the definition of limits its use is strongly discouraged until you know what you're talking about.


It is defined as having the following properties:

$\forall n \in \Z: n < \infty$
$\forall n \in \Z: n + \infty = \infty$
$\forall n \in \Z: n \times \infty = \infty$
$\infty^2 = \infty$


Similarly, the quantity written as $-\infty$ is defined as having the following properties:

$\forall n \in \Z: -\infty< n$
$\forall n \in \Z: -\infty + n = -\infty$
$\forall n \in \Z: -\infty \times n = -\infty$
$\paren {-\infty}^2 = -\infty$


The latter result seems wrong when you think of the rule that a negative number square equals a positive one, but remember that infinity is not exactly a number as such.


Ad Infinitum

The term ad infinitum means:

endlessly
repeating indefinitely
generating an infinite sequence of terms

and so on.

Sometimes it has the suggestion of an endless loop.


Also, ad infinitum can be used when an infinite sequence is defined merely by showing some initial terms but without explicitly specifying either with a formula or recursively.


Also see


Historical Note

The concept of infinity has bothered scientists, mathematicians and philosophers since the time of Plato (who accepted the concept as realisable) Aristotle (who did not).

The symbol $\infty$ for infinity was introduced by John Wallis in the $17$th century.

It was Georg Cantor in the $1870$s who finally made the bold step of positing the actual existence of infinite sets as mathematical objects which paved the way towards a proper understanding of infinity.


Sources