Axiom of choice

Imagine you are standing before a vast collection of jars.

Each jar contains at least one item, like a marble or a sock. You want to create a new collection by taking exactly one item from every single jar. If you have only a few jars, this is easy to do. If the jars contain shoes, you can simply pick the left shoe from every pair. This gives you a clear rule to follow. But what if the jars contain identical socks?

Without a way to tell them apart, you have no natural rule to pick just one. The Axiom of Choice, or AC, is a special rule in math that solves this problem. It says that such a selection is always possible, even if you have an infinite number of jars.

In math, this idea is called a choice function. A choice function is a way to pick one element from every set in a group. If the group of sets is finite, we can often use a method called induction to make our picks. We can also use a rule if one exists. For example, if the sets contain natural numbers, you can always pick the smallest number from each set. This is a reliable way to make your choice without needing the special axiom. However, things get much harder when we deal with real numbers. For many collections of real numbers, there is no known rule to pick an element from each set. In these cases, we must use the Axiom of Choice to guarantee our new set exists.

This idea was formally written down by a mathematician named Ernst Zermelo in 1904. He created this rule to help him prove a major idea called the well-ordering theorem. Before Zermelo, many mathematicians used this kind of thinking without even realizing it. They would often say they were picking an item from a set, even if they did not have a specific rule. Zermelo's work helped make these hidden steps clear and formal. While it was controversial at first, it became a standard part of math. Today, it is part of a system called Zermelo–Fraenkel set theory with the Axiom of Choice, or ZFC.

There are many ways to state this rule that all mean the same thing. One way says that the Cartesian product of any collection of non-empty sets is not empty. This means if you multiply the sets together, you will always find at least one result. Another version says that every set has a choice function. These different versions are called equivalent because they all lead to the same mathematical truths. Some mathematicians study different rules, like the axiom of determinacy, which does not work with the Axiom of Choice. Even so, most people accept AC because it is so useful for proving important things like Tychonoff's theorem.

Using the Axiom of Choice can lead to very strange and surprising results. It can be used to prove that certain sets are non-measurable. This means we cannot easily assign a size or a volume to them. One famous example is the Banach–Tarski paradox, which involves a three-dimensional ball. The axiom allows for mathematical constructions that seem to defy our everyday logic. Some people find this difficult because the axiom proves things exist even if we cannot clearly define them. Despite these oddities, the axiom remains a vital tool for mathematicians working in almost every branch of the field.