An introduction to infinity

Without end

Fast forward two years, and The Intrepid Mathematician is still rolling with over forty-four thousand views. On this anniversary of the start of the blog, my motivation is to explain the mathematical notion of infinity simply so anyone with a basic high school math background would understand.

Everyone has intuition about infinity, but mathematicians have made this intuition precise. Students of Calculus use the symbol ∞ but don’t know what it really means.

Image result for infinity symbol
The first mathematical usage of the symbol for infinity was by the English mathematician John Wallis in the 17th century.

The sky calls to us

Carl Sagan famously said, “The sky calls to us.” Sagan’s quote was in part a plea for humanity to venture into the stars, to overcome our differences, and work together to achieve the dream of space exploration.

Image result for nasa the sky calls to us
Sagan’s quote at Cape Canaveral.

Recently I visited the island of Vieques and watched the night stars from a beach with no light pollution. There were no clouds and many of the stars were visible. One could even see faint arm of the Milky Way opening out into a seemingly infinite universe. I thought of Sagan’s quote from the point of view of a mathematician. While there are very large number of stars, more than any human can count, there are only finitely many (as far as we know).

Image result for night sky

A lesser-known quote, but one celebrated by mathematicians is by David Hilbert, who was considered by many as one of the greatest mathematicians in the last two hundred years: “The infinite! No other question has ever moved so profoundly the spirit of man.” The quotes of Hilbert and Sagan represent two sides of a coin: the physical infinite, suggested by Sagan’s, and the mathematical infinite mentioned by Hilbert. While we don’t know if the universe itself is infinite, we can all agree that the universe is much bigger than any human mind can comprehend. The mathematical universe may much larger than anything else!

But what does infinity mean from a mathematical perspective?

Defining the infinite

The answer to the above question lies within the realm of set theory, which focuses on the foundations of mathematics. In set theory, the entire mathematical universe of discourse is defined precisely. All professional mathematicians encountered set theory at some stage in their education, although few working mathematicians these days grapple with it on its pure level.

A basic way of comparing sets is to match their elements, the way you would match socks with your shoes or apples with oranges. For example, we can match the set of integers with the set of even integers, by matching an integer x with the integer 2x. In this way, each integer has a unique matching integer in the form of its double. The number 7 is matched to 14, and 300 to 600, and so on. Mathematicians call this a one-to-one function. Note that each even integer gets a matching integer. We call such a function onto, and so we have described a one-to-one, onto function from the set of integers to the set of all even integers. That is called a bijection. Loosely speaking, if there is a bijection between two sets, then they are the same size.

Image result for a bijection
A bijection f between sets A and B.

A set S is infinite if there is a one-to-one function from S to itself that is not onto. That is, we can match elements of S with each other so that some are missing. For example, we can consider the matching described above, but think of the even integers as part of the set of integers. Then we have a one-to-one function f from the integers to itself (the one sending x to 2x) but it is certainly not onto: for example, no integer is matched to 1 or 3 or 5 (or any odd integer). The function f is, however, a bijection with a proper subset of the integers (the even ones).

The language of bijections may seem tedious at first, but it is our best and simplest tool to discuss infinity. Infinite sets fit properly into themselves, like a Russian dolls. Of course, we can keep iterating with our function f above, and fit S properly into its image. The missing elements keep growing in quantity at each step. What we obtain is an infinite nested sequence of subsets of S each properly contained within the next.

Image result for russian dolls
Russian dolls, each one on the right fitting into the one on left.

You can’t mimic this process if S is finite. For example, if S had 5 elements, function from S to itself that misses elements would not be one-to-one, as some element would necessarily be matched twice. From another view, we can keep eliminating elements in an infinite set one at a time, and the set remains infinite. Once again, you can’t do this kind of exhaustive trick in finite sets.

The importance of infinity to mathematicians

I argue that most of mathematics involves infinity in some form. Familiar number systems, like the integers, rational numbers, and real numbers, where much of mathematics lives, are infinite. Many geometric and topological spaces like Euclidean space are infinite. Disciplines such as analysis, algebra, and logic very often focus on questions where the underlying objects are infinite. Mathematical models for everything from the brain to the stock market use mathematics that depends on the use of infinite sets.

Even if you study finite things, as we often do in my own field of graph theory, then infinity pops up.  For example, the Four Color Theorem says that every map can be properly colored so two adjacent countries get different colors. There are infinitely many possible maps, despite the fact that any given map is finite. Proving that one map can be properly four colored may be tedious but doable. There is no obvious way to properly color, however, every possible finite map. That’s where the power of mathematics comes in.

Image result for four color theorem
A proper four coloring of the countries of the world, with the oceans getting the color blue.

There are deep mathematical questions which only talk about the existence or non-existence of a single finite object. For example, a major open problem is to show the non-existence of a projective plane of order 12. There are only finitely many configurations to check to show such a plane doesn’t exist, but there too many for modern computers to handle. Mathematicians have the ability, through logical arguments, to bypass the need for computers.

Interestingly, a projective plan of order 10 was ruled out using computers. Every proof of the Four Color Theorem that is known uses a computer search, Although the hope is one day there will be a proof without computer assistance.

Image result for projective plane finite
The Fano plane, or projective plane of order 2.

Some infinities are bigger than others

Mathematicians distinguish between countably infinite sets, or those sets that can be matched with the integers, and uncountable sets, such as the real numbers. Cantor’s famous diagonalization proof shows that the real number cannot be matched with the integers.

The idea behind diagonalization is simple. Suppose for a contradiction that the real numbers were a countable set. Then we can list them in their decimal form in a single, infinite column. Lining up the decimals results in an infinite matrix. Take the numbers on the diagonal of the matrix, and form a number r with those numbers as its decimal expansion. Add one to each of the digits (if it is 9, then make it zero), to obtain the number r*.  It is easy to see that r* is different from each number in the list, as the diagonal entry is different. Then r* wasn’t in the list, which is a contradiction.

Image result for cantor diagonalization uncountable

There exists a whole hierarchy of uncountable infinities, each larger than the last. For example, the set of all subsets of real numbers is a larger infinity than the set of real numbers. We can iterate this process of taking subsets (or the power set), and the result is an infinite sequence of infinities referred to as uncountable cardinals. Modern set theory examines properties of these cardinals, whose existence often relies on logical axioms. Cardinal arithmetic is a deep topic with many open questions.

Image result for saharon shelah
One of the world’s leading set theorists, Saharon Shelah. In the 1990’s, he developed PCF theory, which broadened our understanding of the arithmetic of uncountable cardinals.

One last thought on the infinite. The collection of all infinite cardinals together is not a set, but what is called a proper class. The proper class of all cardinals is represented by Ω, and is sometimes called absolute infinity.

Anthony Bonato

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s