The infinity symbol
**Infinity** ({\displaystyle \infty }) is about things that never end. It is written in a single digit. Infinity means many different things, depending on when it is used. The word is from Latin origin, meaning "without end". Infinity goes on forever, so sometimes space, numbers, and other things are said to be 'infinite', because they never come to a stop.

Infinity is usually not an actual number, but it is sometimes used as one. Infinity often says how *many* there is of something, instead of how *big* something is. For example, there are infinitely many whole numbers (called integers), but there is no integer which is infinitely big. But different kinds of math have different kinds of infinity. So its meaning often changes.

There are two kinds of infinity: potential infinity and actual infinity. Potential infinity is a process that never stops. For example, adding 10 to a number. No matter how many times 10 is added, 10 more can still be added. Actual infinity, on the other hand, refers to objects that are accepted as infinite entities (such as transfinite numbers).

Infinity in Mathematics
-----------------------

Mathematicians have different sizes of infinity and three different kinds of infinity.

### Counting infinity

The number of things, beginning with 0, 1, 2, 3, ... to include infinite cardinal numbers. There are many different cardinal numbers. Infinity can be defined in one of two ways: Infinity is a number so big that a part of it can be of the same size; Infinity is larger than all of the natural numbers. There is a smallest infinite number, *countable infinity*. It is the counting number for all of the whole numbers. It is also the counting number of the rational numbers. The mathematical notation is the Hebrew letter aleph with a subscript zero; {\displaystyle \aleph \_{0}}. It is spoken "aleph naught".

It was a surprise to learn that there are larger infinite numbers. The number of real numbers, that is, all numbers with decimals, is larger than the number of rational numbers, the number of fractions. This shows that there are real numbers which are not fractions. The smallest infinite number greater than {\displaystyle \aleph \_{0}} is {\displaystyle \aleph \_{1}} (aleph one). The number of mathematical functions is the next infinite cardinal number, {\displaystyle \aleph \_{2}}.
And these numbers, called aleph numbers, go on without end.

### Ordering infinity

A different *type* of infinity are the ordinal numbers, beginning "first, second, third, ...". The order "first, second, third, ..." and so on to infinity is *different* from the order *ending* "... third, second, first". The difference is important for mathematical induction. The simple *first, second, third, ...*  has the mathematical name: the Greek letter omega with subscript zero: {\displaystyle \omega \_{0}}. (Or simply omega {\displaystyle \omega }.) The infinite series ending "... third, second, first" is {\displaystyle ^{\*}\omega }.

### The real line and complex plane

The third *type* of infinity has the symbol {\displaystyle \infty }. This is treated as addition to the real numbers or the complex numbers. It is the result of division by zero, or to indicate that a series is increasing (or decreasing) without bound. The series 1, 2, 3, ... increases without upper bound. This is written: the limit is {\displaystyle +\infty }. In calculus, the integral over all real numbers is written: {\displaystyle \int \_{-\infty }^{+\infty }f(x)\,dx}

The arithmetic of infinity
--------------------------

Each kind of infinity has different rules.

### Addition, multiplication, exponentiation

{\displaystyle \aleph \_{0}+1=1+\aleph \_{0}=\aleph \_{0}+\aleph \_{0}=\aleph \_{0}} Addition with "alephs" is commutative.

{\displaystyle 2\times \aleph \_{0}=\aleph \_{0}\times 2=\aleph \_{0}\times \aleph \_{0}=\aleph \_{0}} Multiplication with "alephs" is commutative.

{\displaystyle \aleph \_{0}+\aleph \_{1}=\aleph \_{1}\times \aleph \_{0}=\aleph \_{1}}

{\displaystyle {\aleph \_{0}}^{\aleph \_{0}}>3^{\aleph \_{0}}>2^{\aleph \_{0}}=\aleph \_{1}}.

{\displaystyle 1+\omega =\omega \neq \omega +1}. Addition with "omegas" is not commutative.

{\displaystyle 2\times \omega =\omega \neq \omega \times 2}. Multiplication with "omegas" is not commutative.

{\displaystyle \omega +\omega =\omega \times 2}

{\displaystyle \omega ^{\omega }>3^{\omega }>2^{\omega }}

{\displaystyle x+\infty =\infty =\infty +\infty =\infty \times \infty =2^{\infty }}

### Subtraction, division

Division by infinity (for example, with omegas or alephs) is not meaningful. Subtraction with infinity is not meaningful.

Related pages
-------------

* Countable set
* Eternity
* Hilbert's paradox of the Grand Hotel
* Riemann sphere, complex plane with a point at infinity
* Uncountable set

Other websites
--------------

* *A Crash Course in the Mathematics of Infinite Sets Archived 2010-02-27 at the Wayback Machine*, by Peter Suber. From the St. John's Review, XLIV, 2 (1998) 1-59. The stand-alone appendix to *Infinite Reflections*, below. A concise introduction to Cantor's mathematics of infinite sets.
* *Infinite Reflections Archived 2009-11-05 at the Wayback Machine*, by Peter Suber. How Cantor's mathematics of the infinite solves a handful of ancient philosophical problems of the infinite. From the St. John's Review, XLIV, 2 (1998) 1-59.
* *Infinity*, Principia Cybernetica
* Hotel Infinity Archived 2004-09-10 at the Wayback Machine
* The concepts of finiteness and infinity in philosophy