Vamos a construir un conjunto no medible en el intervalo [0, 1] de R.

La construccin se basa o en propiedades fundamentales de la medida de Lebesgue: que la medida de un intervalo es su longitud Construccin de o un conjunto no medible Lebesgue. que si {En }nN es una familia numerable de conjuntos medibles disjuntos dos a dos, la medida de la unin es la serie de las medidas o

m(
n=1

En ) =
n=1

m(En )

que si E es medible, y x R, entonces x + E es medible y m(x + E) = m(E) Denimos una relacin de equivalencia en [0, 1] por la condicin o o x y si y slo (x y) Q, es decir, si la diferencia x y es racional o Observemos que en efecto si x y, entonces yx Y si x y e y z, entonces x y = p/q y z = p /q pq + qp xz = qq y x = (x y) es racional tambin, e

luego x z Y evidentemente x x ya que x x = 0 Sea ahora A0 un subconjunto de [0, 1] formado por un unico elemento de cada clase de equivalencia. Y consideremos la sucesin {rn }nN de todos los nmeros racionales del intervalo [1, 1] o u (rn = rm si n = m) Para cada n N denimos el conjunto An como el conjunto de puntos An = {rn + x, x A0 } = rn + A0 que consiste en trasladar el conjunto A0 sumndole el nmero rn a u
An = r n + A0 A0 1 rn 0 1

Construccin de o un conjunto no medible Lebesgue.

Si A0 es medible, tenemos 1. Entonces cada conjunto An es medible, ya que traslacin de un conjunto medible. o

2. Adems para cada n N a

m(An ) = m(A0 )

3. Los conjuntos An son disjuntos dos a dos: Si hubiese un x AM AN , existir xN A0 y xM A0 de modo que an Construccin de o un conjunto no medible Lebesgue. x = r N + x N = rM + x M de donde x N x M = rM rN Q luego xN xM . Como en A0 slo hay un elemento de cada clase de equivalencia, tiene que ser xN = xM , o y por tanto rN = rM , y entonces N = M

4. La unin de todos los conjuntos An , o contenida en el intervalo [1, 2]

A=
n=1

An

, contiene al intervalo [0, 1] y est a

Todo punto x [0, 1] tiene que estar en alguna de las clases de equivalencia denidas por la relacin, luego tiene que existir un x0 A0 tal que x x0 , y por tanto o r = x x0 es un racional; y como x y x0 estn en [0, 1], a r [1, 1] ser uno de los elementos de a la sucesin {rn }nN , r = rk y x = rk + x0 Ak o

As que

[0, 1]
nN

An

Por otro lado, si x est en un conjunto An , x = rn +xn con rn [1, 1] y xn A0 [0, 1], a luego x [1, 2] Construccin de o un conjunto no medible Lebesgue. 5. En consecuencia 1 = m[0, 1] m(
nN

An =
nN

m(An ) 3 = m[1, 2]

lo que es imposible tanto si m(An ) = m(A0 ) = 0 para todo n como si m(An ) = m(A0 ) > 0 para todo n POR TANTO A0 NO ES MEDIBLE LEBESGUE.

Bibliograf T.M. Apostol. Anlisis Matemtico. Ed. Revert a: a a e