In mathematics, a Vitali set is an elementary example of a set of real numbers that is not Lebesgue measurable. The Vitali theorem is the existence theorem that there are such sets. It is a non-constructive result. The naming is for Giuseppe Vitali. For other meanings of mathematics or uses of math and maths, see Mathematics (disambiguation) and Math (disambiguation). ... In mathematics, the real numbers may be described informally as numbers that can be given by an infinite decimal representation, such as 2. ... In mathematics, the Lebesgue measure is the standard way of assigning a length, area or volume to subsets of Euclidean space. ... In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .., or more generally for all x, y, ... there exist(s) .... That is, in more formal terms of symbolic logic, it is a theorem with a statement involving the existential quantifier. ... Giuseppe Vitali (1875 - 1932) was an Italian mathematician, remembered for the Vitali theorem on the existence of non-measurable sets of real numbers. ...

Despite the terminology, there are many Vitali sets. Their existence is proved using the axiom of choice, and for reasons too complex to discuss here, Vitali sets are impossible to describe explicitly. In mathematics, the axiom of choice, or AC, is an axiom of set theory. ...

The importance of non-measurable sets

Certain sets have a definite 'length' or 'mass'. For instance, the interval [0, 1] is deemed to have length 1; more generally, an interval [a, b], a ≤ b, is deemed to have length b − a. If we think of such intervals as metal rods, they likewise have well-defined masses. If the [0, 1] rod weighs 1 kilogram, then the [3, 9] rod weighs 6 kilograms. The set [0, 1] ∪ [2, 3] is composed of two intervals of length one, so we take its total length to be 2. In terms of mass, we'd have two rods of mass 1, so the total mass is 2. In mathematics, interval is a concept relating to the sequence and set-membership of one or more numbers. ...

There is a natural question here: if E is an arbitrary subset of the real line, does it have a 'mass' or 'length'? As an example, we might ask what is the mass of the set of rational numbers. They are very finely spread over all of the real line, so any answer may appear reasonable at first pass. In mathematics, a rational number is a number which can be expressed as a ratio of two integers. ... In mathematics, the real line is simply the set of real numbers. ...

As it turns out, the physically relevant solution is to use measure theory. In this setting, the Lebesgue measure, which assigns weight b − a to the interval [a, b], will assign weight 0 to the set of rational numbers. Any set which has a well-defined weight is said to be "measurable". The construction of the Lebesgue measure (for instance, using the outer measure) does not make obvious whether there are non-measurable sets. In mathematics, the Lebesgue measure is the standard way of assigning a length, area or volume to subsets of Euclidean space. ... In mathematics, in particular in measure theory, an outer measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. ...

Construction and proof

If x and y are real numbers and x − y is a rational number, then we write x ~ y and we say that x and y are equivalent; ~ is an equivalence relation. For each x, there is a subset [x] = {y in R : x ~ y} called the equivalence class of x. The set of these equivalence classes partitions R. By the axiom of choice, we are able to choose a set V ⊂ [0, 1] containing exactly one representative out of each equivalence class (for any equivalence class [x], the set V ∩ [x] is a singleton). We say that V is a Vitali set. In mathematics, the real numbers may be described informally as numbers that can be given by an infinite decimal representation, such as 2. ... In mathematics, a rational number is a number which can be expressed as a ratio of two integers. ... In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. ... In mathematics, the axiom of choice, or AC, is an axiom of set theory. ... In mathematics, a singleton is a set with exactly one element. ...

A Vitali set is non-measurable. To show this, we assume that V is measurable. From this assumption we carefully work and prove something absurd: namely that a + a + a + ... (an infinite sum of identical numbers) is between 1 and 3. Since an absurd conclusion is reached, it must be that the only unproved hypothesis (V is measurable) is at fault.

First we let q₁, q₂, ... be an enumeration of the rational numbers in [−1, 1] (recall that the rational numbers are countable). From the construction of V, note that the sets V_k = V + q_k, k = 1, 2, ... are pairwise disjoint, and further note that . (To see the first inclusion, consider any real number x in [0,1] and let v be the representative in V for the equivalence class [x]; then x −v = q for some rational number in [-1,1] (say q = q_l) and so x is in V_l.) In mathematics the term countable set is used to describe the size of a set, e. ...

From the definition of Lebesgue measureable sets, it can be shown that all such sets have the following two properties:

1. The measure is countably additive, that is if A_i is a set of at most a countable number of pairwise-disjoint sets, then . In mathematics, additivity and sigma additivity of a function defined on subsets of a given set are abstractions of the intuitive properties of size (length, area, volume) of a set. ...

2. The measure is translation invariant, that is, for any real number x, μ(A) = μ(A + x). In geometry, a translation slides an object by a vector a: Ta(p) = p + a. ...

Consider now the measure μ of the union given above. Because μ is countably additive, it must also have the property of being monotone; that is, if A⊂B, then μ(A)≤μ(B). Hence, we know that

By countable additivity, one has

with equality following because the V_k are disjoint. Because of translation invariance, we see that for each k = 1, 2, ..., μ(V_k) = μ(V). Combining this with the above, one obtains

The sum is an infinite sum of a single real-valued constant, non-negative term. If the term is zero, the sum is likewise zero, and hence it is certainly not greater than or equal to one. If the term is nonzero then the sum is infinite, and in particular it isn't smaller than or equal to 3.

This conclusion is absurd, and since all we've used is translation invariance and countable additivity, it must be true that V is non-measurable.

See also

• Non-measurable set
• Banach–Tarski paradox

In mathematics, a non-measurable set is a set whose structure is so complicated it sheds light on the very notion of length, area or volume. ... A ball can be decomposed into a finite number of pieces and reassembled into two balls identical to the original. ...

References

• Herrlich, Horst: Axiom of Choice, page 120. Springer, 2006.