Conjunt de Vitali

En matemàtiques, i concretament en teoria de conjunts, un conjunt de Vitali, $V\subseteq [0,1]$, és un conjunt que conté un únic punt de cada classe lateral de $\mathbb {Q}$ a $\mathbb {R}$. Rep el seu nom en honor del matemàtic italià Giuseppe Vitali qui en va descriure el primer exemple el 1905. El teorema de Vitali demostra l'existència d'aquesta mena de conjunts. La construcció del conjunt depèn clarament de l'axioma d'elecció.

El conjunt de Vitali constitueix el primer exemple de conjunt de nombres reals que no és Lebesgue-mesurable i no existeix un sol conjunt de Vitali sinó una família no numerable de conjunts de Vitali.

La construcció del conjunt de Vitali es fa prenent un element de cadascuna de les classes d'equivalència definides a $\mathbb {R}$ per la relació $\sim$, definida com $a\sim b\Longleftrightarrow (a-b)\in \mathbb {Q}$. Aquesta dependència de l'axioma d'elecció, va portar Robert Solovay a demostrar el 1970 que, en absència de l'axioma d'elecció, existeix un model de ZF en el qual, tots els subconjunts de $\mathbb {R}$ son Lebesgue-mesurables.

Bibliografia

• Gomez, Ignacio S. «A Generalized Vitali Set from Nonextensive Statistics» (en anglès). Reports on Mathematical Physics, Vol. 83, Num. 1, 2019, pàg. 61-70. DOI: 10.1016/S0034-4877(19)30023-0. ISSN: 0034-4877.
• Holroyd, Alexander E.; Soo, Terry «A Nonmeasurable Set from Coin Flips» (en anglès). The American Mathematical Monthly, Vol. 116, Num. 10, 2009, pàg. 926-928. DOI: 10.4169/000298909X477041. ISSN: 0002-9890.
• Simon, Barry. Real Analysis (en anglès). American Mathematical Society, 2015. ISBN 978-1-4704-1099-5. 

Enllaços externs

• «Non-Measurable Sets». Bard College. [Consulta: 10 novembre 2019]. (anglès)