Insieme di Vitali

L'insieme di Vitali ha le seguenti proprietà:

• Se lo si trasla di una quantità pari ad un qualsiasi numero razionale strettamente positivo, occuperà punti completamente diversi da quelli che occupava inizialmente. Più formalmente, l'insieme ${\displaystyle V}$ e il suo traslato ${\displaystyle V q}$ sono disgiunti per qualsiasi ${\displaystyle q\in \mathbb {Q} \setminus \{0\}}$. Questo perché se per assurdo fosse ${\displaystyle V\cap T_{q}(V)\neq \emptyset }$, dove ${\displaystyle T_{q}(V)=V q}$ con ${\displaystyle q\in \mathbb {Q} \setminus \{0\}}$, esisterebbero ${\displaystyle x,y\in V}$ distinti, e quindi con ${\displaystyle (y-x)\notin \mathbb {Q} }$ essendo rappresentanti di diverse classi di equivalenza, tali che ${\displaystyle y=T_{q}(x)}$. Ma allora, ${\displaystyle y=x q}$, ovvero ${\displaystyle (y-x)=q\in \mathbb {Q} }$, che è assurdo avendo osservato che ${\displaystyle (y-x)\notin \mathbb {Q} }$ per ogni ${\displaystyle x,y\in V}$ distinti.
• Dato un qualunque punto ${\displaystyle x\in [0,1]}$, questo apparterrà a qualcuna delle traslazioni ${\displaystyle V q}$ con ${\displaystyle q\in \mathbb {Q} }$: infatti ${\displaystyle x}$ apparterrà a qualcuna delle classi di equivalenza definite sopra, e dato che in ${\displaystyle V}$ c'è un rappresentante di ogni classe, allora in ${\displaystyle V}$ c'è un punto che dista da ${\displaystyle x}$ una quantità pari ad un numero razionale.

Dalle proprietà enunciate discende la non misurabilità di ${\displaystyle V}$ nel caso in cui la misura ${\displaystyle \mu }$ verifichi le seguenti proprietà:

• per ogni insieme ${\displaystyle A}$ si verifica l'invarianza per traslazioni, ovvero ${\displaystyle \mu (x A)=\mu (A)}$.
• positività: ${\displaystyle \mu (\mathbb {R} )\neq 0}$
• si verifica ${\displaystyle \mu ([a,b])<\infty }$ per ogni ${\displaystyle a}$, ${\displaystyle b}$. Grazie all'invarianza per traslazioni, affinché valga questa condizione è sufficiente assumere che ${\displaystyle \mu }$ è una misura sigma-finita.

Per dimostrare la non misurabilità di ${\displaystyle V}$ rispetto alla misura ${\displaystyle \mu }$ si assume che sia definito il valore di ${\displaystyle \mu (V)}$ e si ricava una contraddizione con le ipotesi. Si consideri l'insieme ottenuto unendo tutte le possibili traslazioni di ${\displaystyle V}$ di numeri razionali compresi tra ${\displaystyle -1}$ e ${\displaystyle 1}$. A tale scopo, si prenda inizialmente una enumerazione ${\displaystyle q_{1},q_{2},q_{3},\dots }$ dei razionali di ${\displaystyle [-1,1]}$, e si definisca l'insieme:

${\displaystyle U=(V q_{1})\cup (V q_{2})\cup \dots \cup (V q_{n})\cup \dots }$

Si osserva che ${\displaystyle \mu (U)<\infty }$ perché ${\displaystyle U}$ è un insieme limitato (${\displaystyle U\subset [-1,2]}$ e quindi viene dalla terza proprietà di ${\displaystyle \mu }$). Poiché ${\displaystyle U}$ è un'unione disgiunta di insiemi, per le proprietà delle misure si ha che:

${\displaystyle \mu (U)=\mu (V q_{1}) \mu (V q_{2}) \dots \mu (V q_{n}) \dots }$

e per l'invarianza di ${\displaystyle \mu }$ per traslazioni:

${\displaystyle \mu (U)=\mu (V) \mu (V) \dots \mu (V) \dots }$

ma poiché la quantità a sinistra dell'uguaglianza è finita, la relazione appena scritta implica che ${\displaystyle \mu (V)=0}$, e quindi anche ${\displaystyle \mu (U)=0}$. Si è osservato prima, tuttavia, che ogni ${\displaystyle x\in [0,1]}$ si trova in uno dei ${\displaystyle V q_{n}}$, quindi ${\displaystyle U}$ deve includere tutto l'intervallo ${\displaystyle [0,1]}$. Ma allora, dalle proprietà delle misure, si ha ${\displaystyle \mu ([0,1])\leq \mu (U)}$ e si è visto che quest'ultima è nulla, quindi ${\displaystyle \mu ([0,1])=0}$ e per l'invarianza per traslazioni si deve avere anche ${\displaystyle \mu (\mathbb {R} )=0}$, il che contraddice le ipotesi su ${\displaystyle \mu }$.

Bibliografia

• Horst Herrlich, Axiom of Choice, Springer, 2006, p. 120.
• Giuseppe Vitali, Sul problema della misura dei gruppi di punti di una retta, in Bologna, Tip. Gamberini e Parmeggiani, 1905.

Voci correlate

• Assioma della scelta
• Insieme misurabile
• Misura (matematica)

• Paradosso di Banach-Tarski