Vitali set

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.

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.

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" &le; "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] &cup; [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.

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.

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.

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"} of R 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 subset \left[0, 1\right]$ containing exactly one representative out of each equivalence class (for any equivalence class ["x"] , the set "V" &cap; ["x"] is a singleton). We say that "V" is a Vitali set.

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"1, "q"2, ... 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=\left\{v+q_k : v in V\right\}$, "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.)

From the definition of Lebesgue measurable 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 .

2. The measure is translation invariant, that is, for any real number x, $mu\left(A\right)=mu\left(A+x\right)$.

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

:

:

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

:$1 leq sum_\left\{k=1\right\}^infty mu\left(V\right) leq 3.$

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.

ee also

*Non-measurable set

References

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

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Vitali Dyomochka — Vitali Dyomochka, also known as Bondar , is a Russian mobster and crime boss in the Vladivostok area. He is notable for writing, directing, producing and starring in a short TV series called Spets, which aimed to show viewers the reality of the… …   Wikipedia

• Vitali covering lemma — In mathematics, the Vitali covering lemma is a combinatorial and geometric result commonly used in measure theory of Euclidean spaces. tatement of the lemma* Finite version: Let B {1},...,B {n} be any collection of d dimensional balls contained… …   Wikipedia

• Vitali convergence theorem — In mathematics, the Vitali convergence theorem is a generalization of the more well known dominated convergence theorem of Lebesgue. It is useful when a dominating function cannot be found for the sequence of functions in question; when such a… …   Wikipedia

• Vitali–Hahn–Saks theorem — In mathematics, the Vitali–Hahn–Saks theorem states that given mu;n for each integer n >0, a countably additive function defined on a fixed sigma algebra Sigma;, with values in a given Banach space B , such that :lim {n ightarrow infty} mu n(X)… …   Wikipedia

• Vitali Bianki — Witali Walentinowitsch Bianki (russisch Виталий Валентинович Бианки; * 11. Februar 1894 in Sankt Petersburg, † 10. Juni 1959 ebenda) wurde als russisch sowjetischer Kinder und Jugendbuchautor bekannt, vor allem seit 1923 durch seine… …   Deutsch Wikipedia

• Giuseppe Vitali — (August 26 1875 February 29 1932) was an Italian mathematician, remembered for the Vitali theorem on the existence of non measurable sets of real numbers. His Vitali covering lemma is also fundamental to measure theory.He was born in Ravenna and… …   Wikipedia

• Non-measurable set — This page gives a general overview of the concept of non measurable sets. For a precise definition of measure, see Measure (mathematics). For various constructions of non measurable sets, see Vitali set, Hausdorff paradox, and Banach–Tarski… …   Wikipedia

• Giovanni Battista Vitali — (1632 Bologna ndash;1692) was an Italian composer and violone player.Vitali spent all of his life in the Emilian region, moving to Modena in 1674. His teacher in his early years was probably Maurizio Cazzati (1616 1678), maestro di cappella at… …   Wikipedia

• Tomaso Antonio Vitali — (March 7 1663 ndash;May 9 1745) was an Italian composer and violinist from Bologna, son of Giovanni Battista Vitali. He is well known for a chaconne in G minor for violin and continuo, which is generally thought to be a musical hoax (it is… …   Wikipedia

• Sigma-algebra — In mathematics, a σ algebra (also sigma algebra, σ field, sigma field) is a technical concept for a collection of sets satisfying certain properties. The main use of σ algebras is in the definition of measures; specifically, the collection of… …   Wikipedia