Infinity

[[File:Infinite.svg|thumb|right|165px|It's called a 'lemniscate']]{{sources needed}}{{Mathematics}}

{{WiP|cosmikdebris}}

'''Infinity''' (Unicode: '''∞''' or U+221E),<ref>https://www.compart.com/en/unicode/U+221E</ref> often denoted <math>\infty</math>, is, in layman terms, the biggest number{{lie}} (it is ''not'' a number, however). The concept of infinity has been one of the most heavily debated [[Philosophy|philosophical]] concepts of all time.{{fact}}

So what is infinity? Infinity is not just a really big thing; it is a thing that keeps going without limit, but that is already complete. Infinity is not a number, and cannot be treated like a number. The days of the week are finite, there are also seven of them. The number of fractions between 1 and 7 is not finite. A set <math>S</math> is called ''countably infinite'' or ''denumerable'' if the elements from the set <math>S</math> can be put into a one-to-one correspondence with the natural (counting) numbers. More plainly, if a set is countably infinite, it means we can just make a list of all its elements: for example, the even natural numbers are a countable set, since we can just list them off as "2, 4, 6,…" An ''uncountably'' infinite set, like the real numbers <math>\R</math>, is any other infinite set: one with too many elements to be put in a such a list. For example, it turns out that there are so many real numbers that it's impossible to just write them all down one after another, even in an infinitely-long list.


==Now it gets tricky==
Let us consider the sequence: 1, 1/2, 1/4, 1/8, and so on.<ref group=note>From now on we will use "..." instead of "and so on".</ref> This sequence is infinite because whenever you find a number in this sequence, such as 1/1024, you can find the next number in the sequence, in this case 1/2048. Let's say that we want to add them all up. Let:

:<math>S=\sum_{n=1}^\infty\frac1{2^n}=\frac12+\frac14+\frac18+\cdots</math>

You would expect that adding up an infinite number of numbers should result in infinity, right? However, look at the first few terms:

:<math>\begin{align}
&\frac12=0.5\\
&\frac12+\frac14=\frac34=0.75\\
&\frac12+\frac14+\frac18=\frac78=0.875\\
&\frac12+\frac14+\frac18+\frac1{16}=\frac{15}{16}\approx0.938\\
&\frac12+\frac14+\frac18+\frac1{16}+\frac1{32}=\frac{31}{32}\approx0.969\\
&\vdots\\
&\frac12+\frac14+\cdots+\frac1{32768}+\frac1{65536}=\frac{65535}{65536}\approx0.999985
\end{align}</math>

As we add up more and more of the numbers in our sequence, the sum gets closer and closer to 1. This phenomenon is called "convergence", and when it happens, it seems sensible to say that when we add up these infinitely many numbers, we get a finite sum – in this case, 1.

It's not true that every infinite sum converges, even if the terms are getting smaller and smaller. For example, 

:<math>\sum_{n=1}^\infty\frac1n=1+\frac12+\frac13+\frac14+\cdots</math>

doesn't converge: as we add up more and more terms, the sum just keeps getting bigger.

A similar idea is found in the integration of functions. For example, suppose a particle has velocity given by

:<math>v=\frac1{(t+1)^2}</math>

with <math>v</math> in meters per second and <math>t</math> in seconds, and we want to know how far it will have traveled after an infinite amount of time. Even though its velocity is always positive and greater than [[0]] (i.e. it keeps moving in the same direction and does not stop), it does not cover an infinite distance in this infinite time. Rather, when we integrate the velocity function (so as to obtain displacement), we obtain a value of ''one'' meter as follows.

<!-- no math errors above this point -->

<!--

:<math>\begin{align}
\Delta r&=\int\limits_0^\infty\frac{dt}{(t+1)^2}\\
&=\lim_{a\to\infty}\left[\frac{-1}{a+1}-\frac{-1}{0+1}\right]\\
&=\lim_{a\to\infty}\left[1-\frac1{a+1}\right]
\\&=1-0\\&=1\end{align}</math>

However, if we defined

:<math>v=\frac1{t+1}</math>

instead, the result ''would'' be an infinite displacement, as shown below.

:<math>\begin{align}
\Delta r&=\int\limits_0^\infty\frac{dt}{t+1}\\
&=\lim_{a\to\infty}\Big[\ln(a+1)-\ln(1)\Big]\\
&=\lim_{a\to\infty}\ln(a+1)\\&=\infty\end{align}</math>

This result is related to the divergence of

:<math>S=\sum_{n=1}^\infty\frac1n</math>

by the so-called integral test for convergence: basically, an infinite series can be shown to have a convergent sum if the improper integral from 1 to infinity of a corresponding function which is monotone decreasing (i.e. always getting smaller) over that interval yields a finite result; likewise, if that integral does not converge, then the infinite sum does not either.

==Counting==
We all should know how to count, but let's look at an example.

:1 <big>→</big> Sunday
:2 <big>→</big> Monday
:3 <big>→</big> Tuesday
:4 <big>→</big> Wednesday
:5 <big>→</big> Thursday
:6 <big>→</big> Friday
:7 <big>→</big> Saturday

So there are as many days in the week as there are numbers counting up to 7.{{fact|joke}} Mathematicians call this cardinality, so the days of the week have a cardinality of 7. The arrows represent what mathematicians call a function.<ref group=note>Sorry if this is a bit easy, but this will become obvious in a bit.</ref> So if we can find a function between objects and the number 1, 2, 3, 4,..., we can count them.

It is also important to note that each number corresponds uniquely to one day of the week and that each day of the week is mapped uniquely by one number. Mathematicians call this a ''one-to-one correspondence'' or a ''bijection''.

The numbers 1, 2, 3, 4,… are called the counting or natural numbers. If we want to show them all, as there are infinitely many, this is written <math>\N</math> and any number is written as just <math>n</math>.

Looking back at our earlier sequence, we can find a function between <math>\N</math> and the numbers in the sequence:

:1 <big>→</big> 1
:2 <big>→</big> 1/2
:3 <big>→</big> 1/4
:<math>n</math> <big>→</big> <math>2^{-n+1}</math>

We say that the sequence 1, 1/2, 1/4,… has the same cardinality as <math>\N</math>, since we can count each of them.

===Now even counting gets tricky===
Let's consider another infinite set of numbers <math>\Q_+</math>, which is every number that looks like <math>\frac{n}{m}</math>, with <math>m,n\in\N</math>. Whenever <math>m=1</math> we have a number that is in <math>\N</math> as well as <math>\Q_+</math>, so <math>\Q_+</math> contains <math>\N</math>, as well as many other numbers, such as 1/2.

However, if we are careful, we can find a way of counting <math>\Q_+</math>. By first arranging fractions by their "weight" (n+m) and then size, we can build a function between them.

:<math>1\to1/1</math>
:<math>2\to1/2</math>
:<math>3\to2/1</math>
:<math>4\to1/3</math>
:<math>5\to3/1</math>
:<math>6\to1/4</math>
:<math>7\to2/3</math>
:<math>8\to3/2</math>
:<math>9\to4/1</math>

So the sets <math>\Q_+</math> and <math>\N</math> are the same "size", even though one is contained within the other. The paradox rests in the fact that these two concepts of size, which correspond to each other for finite sets, are no longer the same when considering infinite sets. The more fundamental notion, which is taken as the general meaning of the "size" of a set, is called the ''cardinality''.

-->

<!-- no math errors below this point -->

===Different sizes of infinity?!===
The cardinality of the natural numbers <math>\N</math> is denoted <math>\aleph_0</math> (pronounced "AL-ef NULL"), and is the lowest non-finite cardinal number.<ref name=Vsauce>[https://www.youtube.com/watch?v=SrU9YDoXE88 How to Count Past Infinity], ''Vsauce''</ref> That a one-to-one correspondence, a bijection, between the natural numbers and the rational numbers exists means that their cardinalities are the same. However, no such bijection exists for the real numbers, <math>\R</math> – there are too many real numbers to put them in a simple list (''i.e.'', a bijection with the integers). This was first proven by Cantor in a complex 1874 paper; a key simplification was the diagonal method, discovered by Cantor 17 years later.

Why is there no bijection? Suppose there was, and use the one-to-one correspondence between the reals and the natural numbers to make a list of all the real numbers between 0 and 1, by putting the first, then the second, etc:
:0.5435894098756…
:0.9128301293821…
:0.2143123902191…
:0.0984324324432…
:<math>\cdots</math>
But now we make a [[reductio ad absurdum]]. Construct a new number <math>r</math> in the following manner. Let the first digit of <math>r</math> after the decimal point be one greater than the first digit in the original decimal. In the case of a 9 in the original, subtract one.<ref name=Vsauce/> In this case, that means not 5, so <math>r</math> will start with 6. For the second digit, follow the same rule. Here, that means not 1, so add one, and we'll use 2. We continue in this manner, picking the <math>n^{th}</math> digit of <math>r</math> to be one greater than (or less than in the case of a 9) the <math>n^{th}</math> digit of the <math>n^{th}</math> number in the list. So in the above we might take <math>r</math> starting <math>r=0.6255\ldots</math>.

The posited list of real numbers above is supposed to contain all of them, and so the number <math>r</math> that we constructed above must be somewhere in the list, say in the 1000<sup>th</sup> spot. But this isn't possible: the 1000<sup>th</sup> digit of <math>r</math> is different from the 1000<sup>th</sup> digit of the 1000<sup>th</sup> number (call it <math>a</math>) in the list, by construction of <math>r</math> ! So <math>r</math> can't be the 1000<sup>th</sup> digit in the list, or anywhere else in the list, for the same reason. Thus it's not in the list at all, and the list wasn't complete to start with, contradicting countability.

This is called the "diagonalization argument" and was discovered by Cantor himself. We've glossed over some details above (''e.g.'' the fact that two decimal expansions can determine the same real number), but it's basically correct. In the original proof Cantor used binary decimals (1 and 0) and their complements to show the validity of his diagonal argument.

So there are different infinite cardinals. But how many? This brings us to the continuum hypothesis. It can be shown that the cardinality of <math>\R</math> is equal to that of the ''power set'' of <math>\N</math>. The power set is the set of all subsets of any particular set. Power sets have cardinality <math>2^S</math>, where <math>S</math> is the cardinality of the original set. Thus the reals have cardinality <math>2^{\aleph_0}</math>, which is often denoted <math>\mathfrak{c}</math>, the ''cardinality of the continuum''. It is also known as <math>\beth_1</math> ("beth one") as the beth numbers are defined by <math>\beth_0=\aleph_0</math> and <math>\beth_{a+1}=2^{\beth_a}</math>.

The continuum hypothesis (CH) states that there is no cardinal number lying between <math>\aleph_0</math> and <math>\mathfrak{c}</math>, that is to say, there's no set with more elements than the integers but fewer elements than the real numbers. This turns out to be a very tricky claim, and now it's known that the continuum hypothesis can't be proved or disproved using the usual axioms of mathematics (''i.e.'' ZFC).

The '''generalised continuum hypothesis''' (GCH) states that <math>\beth_a=\aleph_a</math> for all ordinals <math>a</math>. So the continuum hypothesis is a special case of the generalised continuum hypothesis for ordinal <math>0</math>. Like CH, GCH is independent of the axioms of ZFC.

A set having cardinality equal to or less than <math>\aleph_0</math> is called countable; a set of greater cardinality is called uncountable.

==Ordinals==
Numbers serve two distinct purposes – to measure the size of sets, and to measure the position of an item in an ordering. Thus, we may speak of a race having 2, 3, 4, 5, etc. contestants, and we can speak of the contestants as having come 1<sup>st</sup>, 2<sup>nd</sup>, 3<sup>rd</sup> etc. (or even 0<sup>th</sup>, if one is a mathematician!) When we measure the number of elements in a set, we are using '''cardinal''' numbers; when we measure an item's position in an ordering, we are using '''ordinal''' numbers. For finite quantities, it does not make that much difference, since for finite quantities we can use the same numbers to serve both purposes. But for transfinite quantities, that is no longer the case — we can no longer use the same numbers as both cardinals and ordinals. Thus, the smallest transfinite cardinal is <math>\aleph_0</math>, but the smallest transfinite ordinal is <math>\omega</math>.

Ordinals are a finer division than cardinals: for each infinite cardinal, there are infinitely many ordinals with that cardinality.

==Other types of infinite numbers==
Other than transfinite cardinals and ordinals, there are other types of infinite numbers:
*The '''affinely extended reals''': these are elements of the set <math>\R\cup\{+\infty,-\infty\}</math>. In other words, the real numbers extended by the addition of positive and negative infinity. <math>\infty</math> is greater than every real number, and <math>-\infty</math> is less than every real number.
*The '''projectively extended reals''': these are elements of the set <math>\R\cup\{\infty\}</math>. In other words, the real numbers extended by the addition of a single unsigned infinity. The order relation is not defined for the projectively extended reals – informally, <math>\infty</math> can be thought of as both greater ''and'' less than every real number.
*The '''hyperreals''': denoted <math>^*\R</math>, these extend the real numbers with both infinite and infinitesimal quantities. They are used in non-standard analysis.
*The '''supernatural numbers''': these extend the positive integers with numbers having infinitely many prime factors. They are used in number theory.
*Other extensions of the real numbers with infinite and infinitesimal quantities include the '''surreal numbers''', the '''superreal numbers''', and the '''Levi-Civita field'''.
The conclusion to be drawn from all of this, is that although in popular usage some speak about infinity as if it were a single thing, there are actually numerous different infinities, all belonging to different systems. If we want to talk about ''infinity'', we ought to carefully specify ''which'' infinity we mean. In this light, claims such as ''God is infinite'' are particularly incomprehensible, because those who propose them never define which infinity they are using to describe God, or in what way God is infinite.

==Archimedean property==
An ordered field is said to be '''Archimedean''' if it has no infinitely large or infinitely small elements. One way of stating this: an ordered field is Archimedean, if for every element of the field, there is a greater natural number. (Here, natural numbers are defined as iterated sums of 1, where 1 is the multiplicative identity guaranteed by the field axioms.) This is true for the reals – for every real number, there is a greater natural number –- but not for example for the hyperreals, since it contains infinite numbers greater than every natural number. Likewise, the hyperreal numbers, the surreal numbers, the superreal numbers, and the Levi-Civita field are all non-Archimedian.

==Philosophy of mathematics==
Different positions in the [[philosophy of mathematics]] have different attitudes towards infinity. At one extreme, Platonists and formalists generally have no philosophical objection to any form of infinity that can be defined.{{fact}} At the other extreme, finitists and ultrafinitists deny the existence of infinity; to them, only finite quantities, and finite objects, actually exist.{{fact}} In the middle, many constructivists and intuitionists adopt a position of countablism – an acceptance of the existence of countable sets, but denying that uncountable sets exist.{{fact}}

==Misapplications==
Outside mathematics, the concept of infinity is often used to draw exciting but fallacious conclusions. For example:
*'''The universe is infinite, so everything that can be imagined must exist somewhere!''' &mdash; Er, why?<ref group=note>Studies of the cosmic microwave background suggest an infinite universe (see {{wpl|Shape of the Universe#Universe with zero curvature|here}}). However, there's an ''infinite'' difference between "infinite" and "so ludicrously big that we cannot measure its actual size but after all finite".</ref> Also, physical impossibilities can be imagined, but cannot occur anywhere in the universe.
*'''If you were immortal, you'd eventually have every experience it's possible to have''' &mdash; Or you might just walk round in a big circle the whole time.
*'''Since time is infinite, every [[prophecy]] ever made will eventually come true''' &mdash; Great!
*{{Q|To infinity… and beyond!|Buzz Lightyear, presumably not comparing varieties of infinite number}}

==See also==
*[[Monkey typewriter theory]]

==Notes==
{{reflist|group=note}}

==References==
{{reflist}}
 
[[Category:Mathematics]]

Categories: Mathematics