Concept

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 in 1905. The Vitali theorem is the existence theorem that there are such sets. There are uncountably many Vitali sets, and their existence depends on the axiom of choice. In 1970, Robert Solovay constructed a model of Zermelo–Fraenkel set theory without the axiom of choice where all sets of real numbers are Lebesgue measurable, assuming the existence of an inaccessible cardinal (see Solovay model). 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 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 between 0 and 1, given that the mass of the interval [0, 1] is 1. The rationals are dense in the reals, so any value between and including 0 and 1 may appear reasonable. However the closest generalization to mass is sigma additivity, which gives rise to the Lebesgue measure. It assigns a measure of b − a 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. A Vitali set is a subset of the interval of real numbers such that, for each real number , there is exactly one number such that is a rational number.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (2)
MATH-432: Probability theory
The course is based on Durrett's text book Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
MATH-205: Analysis IV - Lebesgue measure, Fourier analysis
Learn the basis of Lebesgue integration and Fourier analysis
Related lectures (32)
Probability Theory: Lecture 2
Explores toy models, sigma-algebras, T-valued random variables, measures, and independence in probability theory.
Lebesgue Integration: Cantor Set
Explores the construction of the Lebesgue function on the Cantor set and its unique properties.
Minkowski's Theorems: Lattices and Volumes
Explores Minkowski's theorems on lattices, volumes, and set comparisons.
Show more
Related publications (8)

Mean value theorems for collections of lattices with a prescribed group of symmetries

Nihar Prakash Gargava

Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...
EPFL2024

Spatial Characteristics of Roughness Sublayer Mean Flow and Turbulence Over a Realistic Urban Surface

Jiannong Fang, Marc Parlange, Charles Vivant Ignacio Meneveau, Marco Giovanni Giometto

Single-point measurements from towers in cities cannot properly quantify the impact of all terms in the turbulent kinetic energy (TKE) budget and are often not representative of horizontally-averaged quantities over the entire urban domain. A series of lar ...
Springer2016

Detecting and Tracking Cells using Network Flow Programming

Pascal Fua, Engin Türetken, Xinchao Wang, Carlos Joaquin Becker

We propose a novel approach to automatically detecting and tracking cell populations in time-lapse images. Unlike earlier ones that rely on linking a predetermined and potentially under-complete set of detections, we generate an overcomplete set of competi ...
2015
Show more
Related concepts (6)
Real number
In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and more generally in all mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives.
Non-measurable set
In mathematics, a non-measurable set is a set which cannot be assigned a meaningful "volume". The mathematical existence of such sets is construed to provide information about the notions of length, area and volume in formal set theory. In Zermelo–Fraenkel set theory, the axiom of choice entails that non-measurable subsets of exist. The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led Borel and Kolmogorov to formulate probability theory on sets which are constrained to be measurable.
Measure (mathematics)
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.