TEORÍA DE LA MEDIDA

Jairo Martero
Jesus Garcı́a
Luis Ariza
Luis Bedoya

Universidad del Atlántico

Facultad de Ciencias Básicas
Maestrı́a en Ciencias Matemáticas

5 de diciembre de 2020

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 1/9

Teorema 1.4.7

Existe un subconjunto de R y de hecho, del intervalo (0, 1) que no es

medible de Lebesgue.

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 2/9

Demostración

Se define una relación de equivalencia (∼) sobre R con la condición

que x ∼ y si y sólo si x − y ∈ Q.En efecto, (∼) es una relacion de
equivalencia porque cumple con las siguientes condiciones:
1 Reflexiva ( x ∼ x sostenido para cada x)
2 Simétrica ( x ∼ y implica y ∼ x) y
3 Transitiva (x ∼ y y y ∼ z implica x ∼ z)
Observemos que para todo x ∈ R entonces x − x = 0 y 0 ∈ Q
cumpliendo (1). Si x ∼ y entonces x − y = −(y − x) y −(y − x) ∈ Q,
entonces y ∼ x, cumpliendo (2).

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 3/9

Si x ∼ y y y ∼ z entonces:
p
x −y =
q
p0
y −z = 0
q
pq 0 +qp 0
Sumando las expresiones anteriores se obtiene que: x − z = qq 0
,
pq 0 +qp 0
la expresión qq 0
∈ Q, entonces x ∼ z, cumpliendo (3).

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 4/9

Note que cada clase de equivalencia bajo (∼) tiene la forma Q + x.
[x] : clase de equivalencia cuya representante es algún x ∈ R.

→ [x] = {y ∈ R : x − y = q; q ∈ Q}
= {y ∈ R : x + (−q) = y ; q ∈ Q}
= {x + p : p = −q ∈ Q}
= Q+ x

para cada x y tambien es denso en R. Cada clase de equivalencia son

disjuntos, y toda clase [x] = Q + x interseca al intervalo (0, 1), es
decir, [x] ∩ (0, 1) 6= ∅; ∀x ∈ R podemos usar el aximoa de elección
para formar un subconjunto E de (0, 1) que contiene exactamente un
elemento de cada clase de equivalencia.
Debemos probar que el conjunto E no es Lebesgue medible.

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 5/9

Consideremos la colección {rn }n∈N enumerable de los números
racionales del intervalo (−1, 1).
Para cada n ∈ N definimos el conjunto En como el conjunto de
puntos
En = {x + rn / x ∈ E } = E + rn

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 6/9

Debemos demostrar que:
1 Los conjuntos En son disjuntos.
[
2 El intervalo (0, 1) está incluido en En y
n
[
3 En está incluido en el intervalo (−1, 2)
n

Probemos el item 1:
Supongamos que x ∈ EM ∩ EN , existirian xN ∈ E y un xM ∈ E de
modo que x = xN + rN = xM + rM de donde xN − xM = rN − rM ∈ Q,
luego xN ∼ xM .
Como en E solo hay un elemento de cada clase de equivalencia, se
tiene que xN = xM , y por tanto rN = rM , y entonces N = M. Ası́
queda demostrado que los conjuntos En son disjuntos dos a dos.

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 7/9

Probemos el item 2.
Sea x ∈ (0, 1). Se sabe que x debe estar en algunas de las clases de
equivalencias definidas por la relación, luego tiene que exisir un x0 ∈ E
tal que x ∼ x0 , y por tanto r = x − x0 y r es un racional; como x y x0
están en (0, 1), r ∈ (−1, 1) será uno de los elementos [de la sucesión
{rn }n∈N , r = rk y x = rk + x0 ∈ En . Ası́ que (0, 1) ⊆ En , para todo
n
n ∈ N.
Probemos el item 3:
si x está en el conjunto En , entonces x = rn + xn con rn ∈ (−1, 1) y
xn ∈ E ⊆ (0, 1), luego x ∈ (−1, 2)

(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 8/9

Ahora, supongamos que el conjunto E es medible de Lebesgue entonces
para cada n del cunjunto En es medible. Por la proposición
[ 1.4.4
X(defini-
ción y proposición 17) y el item (1) implica que: λ ( En ) = λ(En );
n n
además la traslación invariante de λ implica que λ(En ) =
[λ(E ) para
cada n ∈ N. Por lo tanto, si λ(E ) = 0 entonces λ ( En ) = 0,
n

[ la afirmación del item (2), mientras que si λ(E ) 6= 0,

contradiciendo
entoncesλ ( En ) = +∞, contradice la afirmación del item (3). De allı́
n
la suposición de que E es medible de Lebesgue es una contradicción y
la prueba está completa.
Definición:
Sea A un sub conjunto de R. Entonces diff (A) es el subconjunto de
R definido por:
diff (A) = {x − y : x ∈ A, y ∈ A}
El siguiente hecho sobre cada conjunto es ocasionalmente útil.
(Universidad del Atlántico) TEORÍA DE LA MEDIDA 5 de diciembre de 2020 9/9