World Library  
Flag as Inappropriate
Email this Article

Vitali set

Article Id: WHEBN0000424189
Reproduction Date:

Title: Vitali set  
Author: World Heritage Encyclopedia
Language: English
Subject: Non-measurable set, Giuseppe Vitali, Lebesgue measure, Sigma-algebra, Sets of real numbers
Collection: Articles Containing Proofs, Measure Theory, Sets of Real Numbers
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Vitali set

In mathematics, a Vitali set is an elementary example of a set of real numbers that is not Lebesgue measurable, found by Giuseppe Vitali.[1] The Vitali theorem is the existence theorem that there are such sets. There are uncountably many Vitali sets, and their existence is proven on the assumption of the axiom of choice.

Contents

  • Measurable sets 1
  • Construction and proof 2
  • See also 3
  • References 4
  • Bibliography 5

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], ab, is deemed to have length ba. If we think of such intervals as metal rods with uniform density, they likewise have well-defined masses. 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 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 'total length'? As an example, we might ask what is the mass of the set of rational numbers, given that the mass of the interval [0, 1] is 1. The rationals are dense in the reals, so any non negative value may appear reasonable.

However the closest generalization to mass is sigma additivity, which gives rise to the Lebesgue measure. It assigns a measure of ba to the interval [a, b], but will assign a measure of 0 to the set of rational numbers because it is countable. Any set which has a well-defined Lebesgue measure is said to be "measurable", but the construction of the Lebesgue measure (for instance using Carathéodory's extension theorem) does not make it obvious whether non-measurable sets exist. The answer to that question involves the axiom of choice.

Construction and proof

A Vitali set is a subset V of the interval [0, 1] of real numbers such that, for each real number r, there is exactly one number v \in V such that vr is a rational number. Vitali sets exist because the rational numbers Q form a normal subgroup of the real numbers R under addition, and this allows the construction of the additive quotient group R/Q of these two groups which is the group formed by the cosets of the rational numbers as a subgroup of the real numbers under addition. This group R/Q consists of disjoint "shifted copies" of the rational numbers in the sense that each element of this quotient group is a set of the form Q + r for some r in R. The uncountably many elements of R/Q partition R, and each element is dense in R. Each element of R/Q intersects [0, 1], and the axiom of choice guarantees the existence of a subset of [0, 1] containing exactly one representative out of each element of R/Q. A set formed this way is called a Vitali set.

Every Vitali set V is uncountable, and vu is irrational for any u,v \in V, u \neq v.

A Vitali set is non-measurable. To show this, we assume that V is measurable and we derive a contradiction. Let q1, q2, ... 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 translated sets V_k=V+q_k=\{v+q_k : v \in V\}, k = 1, 2, ... are pairwise disjoint, and further note that

[0,1]\subseteq\bigcup_k V_k\subseteq[-1,2].

To see the first inclusion, consider any real number r in [0, 1] and let v be the representative in V for the equivalence class [r]; then r-v=qi for some rational number qi in [-1, 1] which implies that r is in Vi.

Apply the Lebesgue measure to these inclusions using sigma additivity:

1 \leq \sum_{k=1}^\infty \lambda(V_k) \leq 3.

Because the Lebesgue measure is translation invariant, \lambda(V_k) = \lambda(V) and therefore

1 \leq \sum_{k=1}^\infty \lambda(V) \leq 3.

But this is impossible. Summing infinitely many copies of the constant λ(V) yields either zero or infinity, according to whether the constant is zero or positive. In neither case is the sum in [1, 3]. So V cannot have been measurable after all, i.e., the Lebesgue measure λ must not define any value for λ(V).

See also

References

  1. ^  

Bibliography

  • Herrlich, Horst (2006). Axiom of Choice. Springer. p. 120. 
  •  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.