Medida Exterior Del Conjunto de Vitali

Medida exterior del conjunto de Vitali
19 de agosto de 2020
El objetivo del presente escrito es demostrar que para cada a ∈ (0, 1] existen
conjuntos de Vitali Xa , Ya ⊂ [0, a] para los cuales λ∗ (Xa ) = a = λ∗ (Yac ); en
donde λ∗ : P(R) → [0, +∞] es la medida exterior de Lebesgue y Ac := [0, a] \ A
si A ⊂ [0, a]. La notación anterior será asumida a lo largo del trabajo, al igual
que el uso de la letra c para denotar la cardinalidad del continuo (cardinalidad
de R). También se supone la aritmética de cardinales explicada en [4].
La demostración del teorema 2 está basada en [3] y la del teorema 3 en [1]
aunque en [2] se da una prueba alterna, que en esencia es igual a la presentada en
este trabajo, pero que usa a todos los borelianos del [0, 1] en vez de los abiertos
que se describirán posteriormente.
Definición 1. (Conjunto de Vitali)
Un subconjunto V ⊂ [0, 1] es un conjunto de Vitali si únicamente contiene
exactamente un elemento de cada clase lateral de Q en R. O sea, si existe una
R
funcion biyectiva f : Q → V para la cual f (x + Q) ∈ x + Q para todo x ∈ R.
Teorema 2. Para cada a ∈ (0, 1] existe un conjunto de Vitali V ⊂ [0, a] tal que
V c := [0, a] \ V tiene medida exterior a.
Demostración.
Es relativamente fácil verificar que para todo x ∈ R existe un r ∈ [0, a] tal

que x − r ∈ Q. Por ende, usando el axioma de elección se puede asegurar la
existencia de un conjunto de Vitali V ⊂ [0, a]. Con argumentos ya conocidos
se muestra que V no es Lebesgue medible y que su medida interior es nula.
Consecuentemente, si U es un abierto del [0, a] que contiene a V c , entonces
U c := [0, a] \ U ⊂ V es un Lebesgue medible que tiene medida exterior nula, lo
cual conlleva que λ∗ (U ) = a. Así, λ∗ (V c ) = a.
Teorema 3. Para cada a ∈ (0, 1] existe un conjunto de Vitali V ⊂ [0, 1] con
medida exterior a.
Demostración. Considérese la familia F de los abiertos del intervalo [0, a] cuya

medida exterior es menor que a. Si ∈ (0, a), entonces (0, ) ∈ F , de manera que
F al menos tiene la cardinalidad del continuo. Por otro lado, como la familia
de los abiertos del [0, a] también tiene esta cardinalidad, se tiene que |F | = c.
1
Nótese que si A ∈ F , entonces Ac := [0, a] \ A tiene la cardinalidad del
continuo. En efecto, como A es medible y su medida es menor que a, Ac es
medible y su medida es positiva. Por ende, el teorema de Steinhaus implica la
existencia de un δ > 0 para el cual
[
(−δ, −δ) ⊂ Ac − Ac := {x − y | x, y ∈ Ac } = Ac − y.
y∈Ac
Esto indica que |Ac − Ac | = c por lo que |Ac | = c, pues si |Ac | < c, entonces
|Ac − Ac | ≤ |Ac | · |Ac | < c · c = c.
Utilizando el axioma de elección se ordena a F = {Aα }α<c de tal manera que
cada elemento de F tenga menos de c predecesores. Usando recursión transfinita
se construye una función f : F → [0, a] cuya imagen es un subconjunto de un
conjunto de Vitali como sigue:
Como |Ac0 | = c, se puede establecer que f (A0 ) ∈ Ac0 . Ahora, si α es un
cardinal mayor a 0 pero menor que c para el cual se tiene que si β es un cardinal
menor a α, entonces f (Aβ ) está en Acβ pero no en {f (Aγ ) + q | γ < β, q ∈ Q};
se puede asegurar que
|{f (Aγ ) + q | γ < α, q ∈ Q}| ≤ α · ω < c · c = c.
Por consiguiente, se puede hacer que f (Aα ) esté en Acα pero no en {f (Aβ ) +
q | β < α, q ∈ Q}. En concreto, la función f : F → [0, a] construida cumple con
la propiedad de que para todo A ∈ F ,
f (A) ∈ Ac \ {f (B) + q | B es un predecesor de A y q ∈ Q}.
La imagen de f , Im(f ), tiene a lo más un elemento de cada clase lateral
x + Q, ya que si A, B ∈ F son tales que f (A) − f (B) ∈ Q, ninguno puede
ser predecesor del otro; y tiene medida exterior α. Para corroborar esto último,
considere un abierto U del [0, a] que contiene a Im(f ). Si λ∗ (U ) < a, por la
c c
construcción de f existe x ∈ Im(f ) tal que x ∈ U ⊂ Im(f ) , lo cual no puede
∗ ∗ R
ser. Así, λ (U ) = α por lo que λ Im(f ) = a. Si existen clases laterales en Q
que no tienen representantes en Im(f ), simplemente agregamos representantes
en [0, a] de tales clases al conjunto Im(f ) para obtener un conjunto de Vitali
V ⊂ [0, a] ⊂ [0, 1] con medida exterior a.
Referencias
[1] groups.google.com/g/sci.math/c/ofkao7iugNg?pli=1 (primer comentario de
Robert Israel).
[2] user83827 (https://math.stackexchange.com/users/83827/user83827), Vi-
tali set of outer-measure exactly 1., URL (version: 2012-06-13):
https://math.stackexchange.com/q/157696
[3] JDH (https://math.stackexchange.com/users/413/jdh), Vitali-
type set with given outer measure, URL (version: 2010-12-17):
https://math.stackexchange.com/q/14623
2
[4] Devlin, K. (1993). The Joy of Sets: Fundamentals of Contemporary Set
Theory (Segunda Edición). Nueva York, Estados Unidos: Springer Verlag New
York Inc.

Medida Exterior Del Conjunto de Vitali

Cargado por

Copyright:

Formatos disponibles

Medida Exterior Del Conjunto de Vitali

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Medida Exterior Del Conjunto de Vitali

Cargado por

Copyright:

Formatos disponibles

Medida exterior del conjunto de Vitali

Es relativamente fácil verificar que para todo x ∈ R existe un r ∈ [0, a] tal

Demostración. Considérese la familia F de los abiertos del intervalo [0, a] cuya

También podría gustarte