How big is infinity?

I answered a similar question on May 13th:

There are many different things that could be called "the infinite" in mathematics. None of them is a real number or a complex number, but some are used in discussing functions or real or complex numbers.

  • There are things called $+\infty$ and $-\infty$. Those appear in such expressions as $$ \lim_{x\to-\infty}\frac{1}{1+2^x} = 1 \text{ and }\lim_{x\to+\infty}\frac{1}{1+2^x}=0. $$

  • There is also an $\infty$ that is approached as $x$ goes in either direction along the line. That occurs in $$ \lim_{x\to\infty} \frac{x}{1-x} = -1\text{ and }\lim_{x\to1} \frac{x}{1-x}=\infty. $$ The second limit above could be said to approach $+\infty$ as $x$ approaches $1$ from one direction and $-\infty$ if from the other direction, but if one has just one $\infty$ at both ends of the line, then one makes the rational function a continuous function at the point where it has a vertical asymptote. This may be regarded as the same $\infty$ that appears in the theory of complex variables.

  • There are "points at infinity" in projective geometry. This is similar to the "infinity" in the bullet point immediately preceding this one. Two parallel lines meet at infinity, and it's the same point at infinity regardless of which of the two directions you take along the lines. But two non-parallel lines pass through different points at infinity rather than the same point at infinity. Thus any two lines in the projective plane intersect exactly once.

  • There are cardinalities of infinite sets such as $\{1,2,3,\ldots\}$ (which is countably infinite) or $\mathbb R$ (which is uncountably infinite). When it is said that Euclid proved there are infinitely many prime numbers, this sort of "infinity" is referred to.

  • One regards an integral $\int_a^b f(x)\,dx$ as a sum of infinitely many infinitely small quantities, and a derivative $dy/dx$ as a quotient of two infinitely small quantities. This is a different idea from all of the above.

  • Consider the step function $x\mapsto\begin{cases} 0 & \text{if }x<0, \\ 1 & \text{if } x\ge 0. \end{cases}$ One can say that its rate of change is infinite at $x=0$. This "infinity" admits multiplication by real numbers, so that for example, the rate of change at $0$ of the function that is $3.2$ times this function, is just $3.2$ times the "infinity" that is the rate of change of the original step function at $0$. This is made precise is the very useful theory of Dirac's delta function.

  • There is the "infinite" of Robinson's nonstandard analysis. In that theory, we learn that if $n$ is an infinite positive integer, then evern "internal" one-to-one function that maps $\{1,2,3,\ldots,n-3\}$ into $\{1,2,3,\ldots,n\}$ omits exactly three elements of the latter set from its image. Nothing like that holds for cardinalities of infinite sets discussed above.

  • I'm sure there are other examples that I'm missing here.


User wrote:

If there is an infinite amount of numbers between $ 0 $ and $ 1 $, shouldn’t there be twice that amount between $ 0 $ and $ 2 $?

No. Every real number in the interval $[0,1]$ can be mapped one-to-one to every real number in $[0,2]$ using the function $f(x)=2x$. So, there are no more numbers in $[0,2]$ than there are in $[0,1]$.


I have a rule of thumb: anything that says "infinity" (as opposed to $\aleph_0$, $\beth_2$, $\varepsilon_0$, $+\infty$, (projective) point at infinity, infinite, $\omega$, etc.) is probably not mathematics. It's not that mathematicians are afraid of the infinite -- hardly! -- but that it's an imprecise collection of heterogeneous concepts. Math is more precise than that.

In this case you're talking about the number of elements in a set (of real numbers), and so the particular concept you're talking about is called cardinality. The set [0, 1] has the same cardinality or 'size' as [0, 2]: precisely $2^{\aleph_0}=\beth_1.$

If you look at the fractions in [0, 1] and [0, 2] you'd find that, again, they have the same cardinality as each other, but a different cardinality from the above. This time they're 'just' $\aleph_0=\beth_0.$

If you drop all the way down to the integers the cardinality of the integers in [0, 1] is 2 while thee cardinality of the integers in [0, 2] is 3 and so these are no longer the same.