Role of Axiom of Choice in Non-Measurable Sets

This article explains the role of the axiom of choice in creating non-measurable sets. It details why certain sets of numbers cannot be assigned a consistent size. The text shows how the axiom allows mathematicians to construct these specific sets. It also discusses what happens to measure theory when the axiom is removed.

Understanding Mathematical Measure

In simple terms, measure is like length, area, or volume. On a number line, the measure of an interval from 0 to 5 is just 5. Mathematicians wanted a way to assign a size to any subset of numbers. However, some sets are too complicated to have a consistent size. These are called non-measurable sets. They break the standard rules of adding up lengths.

What Is the Axiom of Choice

The axiom of choice is a fundamental rule in set theory. It states that if you have a collection of bins, each containing at least one item, you can choose one item from each bin. This sounds obvious for a few bins. However, it becomes tricky when there are infinite bins. The axiom says you can still make these choices even if you cannot describe a specific rule for how you made them.

The Vitali Set Connection

The most famous non-measurable set is the Vitali set. To build this set, mathematicians group numbers based on their differences. Then, they must pick one number from each group. There is no specific formula to pick the number. Therefore, they must use the axiom of choice to make these infinite selections. Without this axiom, the Vitali set cannot be constructed. This proves the axiom is essential for the existence of such sets.

Math Without the Axiom

It is possible to do mathematics without the axiom of choice. In 1970, Robert Solovay created a model of set theory where the axiom is false. In this specific model, every set of numbers is measurable. This proves that the existence of non-measurable sets depends entirely on accepting the axiom of choice. If you reject the axiom, these problematic sets disappear.

Conclusion

The axiom of choice plays a critical role in modern mathematics. It allows for the construction of objects like the Vitali set. Without it, all sets of real numbers could potentially have a defined size. Understanding this link helps clarify the limits of measuring infinite collections.