Teorema de Vitali

Alex Junior Gomez Saltachin

Sea una funci on : P(R) [0;+]. No existe con las siguientes propiedades: 1. ([0;1]) = 1. 2. (A) = (A + r); A P(R) y r R. 3. Si A B = entonces (A B ) = (A) + (B ); A,B P(R). 4. Si {An }nN una familia numerable de conjuntos y (An ) = 0 para todo

n entonces (
n=1

An ) = 0.

Demostraci on: Sea I := [-1;1]. Denimos una relaci on de equivalencia en I de la siguiente forma: Dados x, y I , x y := x y Q. Sea {[x] : } la familia de clases de equivalencia en I. Por el axioma de elecci on puedo tomar un representante a de cada clase [x] y formar el siguiente conjunto: A:={a [x] : }. Sea IQ el conjunto de los racionales en I . Debido a que este es numerable puedo generar una enumeraci on r1 , r2 , r3 ... tal que rn IQ y n N. Ahora denimos, 1

A + rn :={ a + rn : a A, rn IQ } con ello armamos que:

I
n=1

A + rn [2; 2]

Primero demostraremos la inclusi on de la izquierda. Sea z arbitrario de I y [z ] su clase de equivalencia. Entonces [z ] = [a] para alg un a A. Se sigue que z = a + rn para alg un n N, ya que [a] = {a + rn : rn IQ }. La inclusi on de la derecha proviene de que tanto como a A y rn IQ son elementos de I , por lo tanto a + rn [2; 2]. Con ello que demostrado ambas inclusiones.

Se tiene que
n=1

A + rn [2; 2] entonces (
n=1

A + rn ) ([2; 2]) = 4.

Esto implica que 0 (A) < , ya que (A + rn ) = (A). Pero ahora armamos que (A + rn )=0. Para ello asumamos que este es mayor que 0 y denimos := (A + rn ) y m:= 4 +1 .
m m

Si tomamos
n=1

A + rn y le aplicamos obtenemos que (

m n=1

A + rn ) > 4, lo

cual no puede ser debido a que

n=1

A + rn
n=1

A + rn . Por lo tanto. =0

Como I
n=1

A + rn entonces (I ) (
n=1

A + rn ). Se sigue que (
n=1

A+

rn ) 2, pero (A + rn )= 0 y como {A + rn }nN es una familia numerable de conjuntos. Entonces (

n=1

A + rn ) = 0. Con esto llegamos a un absurdo y

concluimos que tal no existe.