| Vitali Set |
Article Index for Vitali |
Website Links For Vitali |
Information AboutVitali Set |
| CATEGORIES ABOUT VITALI SET | |
| sets of real numbers | |
| measure theory | |
|
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 1 is deemed to have length 1; more generally, an interval ''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 1 rod weighs 1 kilogram, then the 9 rod weighs 6 kilograms. The set 1 ∪ 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 Number s. 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 ''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 , that is, a set consisting of exactly one point (in other words, ''V'' contains one ''choice'' out of each equivalence class {Link without Title} .) ''V'' is a Vitali set. Note that there are in fact several choices of ''V''; the axiom of choice allows the stipulation that there is such a ''V'', but there are clearly infinitely many. 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 (recall that the rational numbers are Countable ). From the construction of ''V'', note that the sets , ''k'' = 1, 2, ... are pairwise disjoint, and further note that . (To see the first inclusion, consider any real number ''x'' in 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.) 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 |
|
|