Todos los libros

Profesional

Apps Acerca de Coach Iniciar sesión Empezar a leer

Matemáticas · Glosario

¿Qué es medida de Lebesgue?

Definición 9.10 Matemáticas universitarias — Grado 3 · Capítulo 9 — Teoría de la medida

La medida exterior de Lebesgue de A⊆RA \subseteq \R es

λ∗(A)=inf⁡{∑n(bn−an):A⊆⋃n(an, bn)}\lambda^*(A) = \inf\Bigl\{\sum_{n} (b_n - a_n) : A \subseteq \bigcup_n \intoo{a_n}{b_n}\Bigr\}

(recubrimientos numerables por intervalos abiertos).

Ejemplos

Ejemplo 9.14

El conjunto de Cantor (el Ejercicio 6.10) cumple λ(C)=0\lambda(C) = 0: C⊆CnC \subseteq C_n, unión de 2n2^n intervalos de longitud 3−n3^{-n}, luego λ(C)≤(2/3)n→0\lambda(C) \leq (2/3)^n \to 0. Un conjunto nulo no numerable — el cardinal no ve la medida. Recíprocamente, los conjuntos de Cantor gordos (el Ejercicio 9.5) son densos en ninguna parte y de medida positiva: la topología tampoco ve la medida. El problema de fin de semana lleva esta interacción a su conclusión más llamativa: hay conjuntos medibles Lebesgue que no son de Borel.

Leer en el capítulo →