Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sigma Borel PDF
Sigma Borel PDF
Conjuntos de Borel
σ-Álgebras
En primer lugar, vamos a precisar un concepto al que ya nos hemos referido
anteriormente, el de σ-álgebra.
197
198 Conjuntos de Borel 20.1
La σ-álgebra de Borel
Si X es un espacio topológico, a la σ-álgebra generada por los abiertos de X
se le denomina σ-álgebra de Borel. Sabemos que en Rn la σ-álgebra de Borel,
B, está contenida en M (existen ejemplos que prueban que esta contención
es estricta) y a ella pertenecen además de los abiertos, los cerrados, los
conjuntos Fσ y los Gδ ası́ como los semintervalos etc. Ha sido precisamente
la familia de semintervalos la que se ha tomado como base para definir
la medida de un conjunto y vamos a demostrar a continuación, que ésta
también puede obtenerse a partir de otras familias de conjuntos Borel, como
la de los abiertos, la de los Gδ , compactos etc.
o
Obviamente A está contenido en el abierto U = ∪ Kj y
X X
m(U ) ≤ m(Kj ) ≤ m(Ij ) + ε ≤ m∗ (A) + 2ε.
(i) B es medible.
(ii) Para cada ε > 0 existe un abierto U ⊃ B tal que m∗ (U \ B) < ε.
(iii) Para cada ε > 0 existe un cerrado F ⊂ B tal que m∗ (B \ F ) < ε.
(iv) Existe un conjunto Gδ , G ⊃ B, tal que m∗ (G \ B) = 0.
(v) Existe un conjunto Fσ , H ⊂ B, tal que m∗ (B \ H) = 0.
U \ Bc = B \ U c,
H ⊂ L ⊂ G y m(G \ L) = m(L \ H) = 0.
Transformaciones de medibles
En esta sección vamos a considerar un tipo particular de transformaciones
de Rn que mantiene el carácter medible de los conjuntos, dentro del que
se encuentran las aplicaciones de clase C 1 . Nosotros usaremos este hecho
posteriormente en el Capı́tulo 27, dedicado al cambio de variables en la
integral. Debemos señalar que el carácter medible no es una propiedad
topológica, es decir no es invariante frente homeomorfismos (ver Ejercicio
20C).
20.7 Conjuntos de Borel 201
lo que nos indica que T (Q) está contenido en un cubo centrado en T (u0 ) y
de lado k l. Por tanto
Z ⊂ V ; m(V ) < ε
Otras propiedades de m∗
Vamos a considerar en esta sección dos nuevas propiedades de la medida
exterior de Lebesgue: su buen comportamiento de la misma respecto al paso
al lı́mite en sucesiones crecientes de conjuntos (no necesariamente medibles)
y también respecto a la medida de un producto cartesiana de conjuntos.
Ambas propiedades las usaremos en el capı́tulo siguiente para obtener el
teorema caracterización de las funciones medibles.
Los conjuntos {Bk } son también medibles y constituyen una sucesión cre-
ciente. Además
luego
m∗ (A × B) ≤ m∗ (A) · m∗ (B).
X
m(Ik )(m∗ (B) + ε) ≤ (m∗ (A) + ε) · (m∗ (B) + ε) =
k
Ejercicios
20A Demostrar que la σ-álgebra de Borel en Rn está generada por las siguientes
familias de conjuntos: Los semintervalos, los conjuntos compactos, los conjuntos
del tipo {(x1 , . . . , xn ) : x1 ≤ b1 , . . . , xn ≤ bn }.
20C Sea B un abierto denso de [0, 1] tal que m(B) < 1 (por tanto m([0, 1]\B) > 0).
(a) Demostrar que la aplicación
m(B ∩ [0, x])
ϕ(x) =
m(B)
es un homeomorfismo de [0, 1] en [0, 1] (ver ejercicio (19C).
(b) Probar que m(ϕ(B)) = 1.
(c) Sea V un conjunto no medible contenido en [0, 1] \ B. Probar que ϕ(V ) es
un conjunto medible que no es un conjunto de Borel.
(d) Observar que ϕ no mantiene el carácter medible de los conjuntos, a pesar de
ser un homeomorfismo.