Infinity

**Infinity** (\infty) is a mathematical concept which 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  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).j

## 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; \aleph_0. It is spoken "aleph null".

It was a surprise to learn that there are larger infinite 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: \omega_0. (Or simply omega                                                                                                                                                                                                                                                                           \omega.) The infinite series ending "... third, second, first" is  ^*\omega .

### The real line and complex plane
The third *type* of infinity has the symbol \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 +\infty. In calculus, the integral over all real numbers is written:  \int_{-\infty}^{+\infty} f(x)\,dx

## The arithmetic of infinity
Each kind of infinity has different rules.

### Addition, multiplication, exponentiation
\aleph_0 + 1 = 1 + \aleph_0 = \aleph_0 + \aleph_0 = \aleph_0  Addition with "alephs" is commutative.

 2 \times \aleph_0 = \aleph_0 \times 2 = \aleph_0 \times \aleph_0 = \aleph_0 Multiplication with "alephs" is commutative.

 \aleph_0 + \aleph_1 = \aleph_1 \times \aleph_0 = \aleph_1

 {\aleph_0} ^ {\aleph_0} > 3 ^ {\aleph_0} > 2 ^ {\aleph_0} = \aleph_1 .

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

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

 \omega + \omega = \omega \times 2 

 \omega ^ \omega > 3 ^ \omega > 2 ^ \omega 

 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

## References
## Other websites 
* *A Crash Course in the Mathematics of Infinite Sets *, 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 *, 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 
* The concepts of finiteness and infinity in philosophy