MATERIAL EN REVISIÓN

Introducción

En esta entrada continuaremos estudiando la medida exterior. Veremos maneras alternas de definir la medida exterior y algunos ejemplos importantes.

Más propiedades de la medida exterior.

Podemos tratar de definir una noción análoga de medida exterior reemplazando rectángulos cerrados por rectángulos abiertos. La siguiente proposición nos dice que de hecho coinciden. Esto simplificará considerablemente algunos cálculos más adelante (¿Recuerdas la equivalencia de compacidad con cubiertas abiertas?). También ilustra una técnica que usaremos recurrentemente para aproximar una cantidad numerable de elementos: Estimamos cada parte con un «error» $\epsilon$ multiplicado por un término de alguna serie convergente (usualmente $\sum _{k=1}^{\mathrm{\infty }}\frac{1}{2^k}=1$) de tal manera que el «error total» sea menor o igual a $\epsilon$ por alguna constante.

Proposición (medida exterior con rectángulos abiertos). La medida exterior se puede calcular usando rectángulos abiertos. Si
$${\lambda }_0^{\ast }(\mathrm{\Omega })=inf\left\{\sum _{i\in I}|Q_i|\right\}$$ Donde $Q_1,Q_2\dots$ son rectángulos ABIERTOS e $I$ es a lo más numerable, entónces $${\lambda }_0^{\ast }(\mathrm{\Omega })={\lambda }^{\ast }(\mathrm{\Omega })$$

Demostración. Para la desigualdad $\ge$, dada una cubierta de $\mathrm{\Omega }$ con rectángulos abiertos $\mathrm{\Omega }\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{Q}_k$, entonces tomando la cerradura de los rectángulos: $$\mathrm{\Omega }\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{Q}_k\subseteq \bigcup _{k=1}^{\mathrm{\infty }}\overline{Q_k}.$$ Y
$${\lambda }^{\ast }(\mathrm{\Omega })\le \sum _{k=1}^{\mathrm{\infty }}|\overline{Q_k}|=\sum _{k=1}^{\mathrm{\infty }}|Q_k|.$$
Tomando ínfimos sobre las cubiertas de rectángulos abiertos se sigue la desigualdad buscada.

Veamos la desigualdad opuesta. Si ${\lambda }^{\ast }(\mathrm{\Omega })=\mathrm{\infty }$, por lo anterior ${\lambda }_0^{\ast }(\mathrm{\Omega })\ge {\lambda }^{\ast }(\mathrm{\Omega })=\mathrm{\infty }$, por tanto ${\lambda }_0^{\ast }(\mathrm{\Omega })=\mathrm{\infty }$ y se da la igualdad. Así que basta suponer que ${\lambda }^{\ast }(\mathrm{\Omega })<\mathrm{\infty }$.

Sea $\epsilon >0$ arbitrario. Al ser ${\lambda }^{\ast }(\mathrm{\Omega })$ ínfimo (finito), podemos tomar una cubierta de rectángulos cerrados $\mathrm{\Omega }\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{R}_k$ tal que $$\sum _{k=1}^{\mathrm{\infty }}|R_k|<{\lambda }^{\ast }(\mathrm{\Omega })+\epsilon \le \sum _{k=1}^{\mathrm{\infty }}|R_k|+\epsilon .$$ Por la aproximación con rectángulos abiertos, para cada $k=1,2,\dots$, podemos tomar un rectángulo abierto $Q_k$ tal que $R_k\subseteq Q_k$ y $|Q_k|<|R_k|+\frac{\epsilon }{2^k}$. Entonces $\mathrm{\Omega }\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{R}_k\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{Q}_k$. Luego: $${\lambda }_0^{\ast }(\mathrm{\Omega })\le \sum _{k=1}^{\mathrm{\infty }}|Q_k|<\sum _{k=1}^{\mathrm{\infty }}(|R_k|+\frac{\epsilon }{2^k})<{\lambda }^{\ast }(\mathrm{\Omega })+2\epsilon .$$ Como lo anterior es cierto para cualquier $\epsilon >0$ se sigue que ${\lambda }^{\ast }(\mathrm{\Omega })\ge {\lambda }_0^{\ast }(\mathrm{\Omega })$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Como ya lo habíamos mencionado, la medida exterior de los rectángulos coincide con su volumen.

Proposición. La medida exterior de un rectángulo (abierto o cerrado) $R$ coincide con su volumen: $${\lambda }^{\ast }(R)=|R|.$$

Demostración. Veamos primero el caso en el que $R=[a_1,b_1]\times [a_2,b_2]\times \cdots \times [a_n,b_n]$ es cerrado. Al considerar la cubierta de $R$ con el propio $R$, se sigue $0\le {\lambda }^{\ast }(R)\le |R|$.

Veamos la otra desigualdad. El caso en el que $R$ es degenerado es trivial, así que supongamos que $R$ no es degenerado. La idea es usar la equivalencia de la medida exterior con rectángulos abiertos y la compacidad de $R$.

Sea $Q_1,Q_2,\dots$ cualquier cubierta de rectángulos abiertos de $R$: $R\subseteq \bigcup _{k=1}^{\mathrm{\infty }}{Q}_k$. Como $K$ es compacto, podemos extraer alguna subcubierta finita, supongamos sin pérdida de generalidad que $R\subseteq \bigcup _{k=1}^N{Q}_k$. Al ser una cubierta finita sabemos que $|R|\le \sum _{k=1}^N|Q_k|$ [ENLACE], de donde:
$$|R|\le \sum _{k=1}^N|Q_k|\le \sum _{k=1}^{\mathrm{\infty }}|Q_k|.$$ Como lo anterior es cierto para cualquier cubierta con rectángulos abiertos, tomando ínfimos se sigue que $|R|\le {\lambda }^{\ast }(R)$.

Si $R$ es un rectángulo abierto, la cubierta de $R$ con el propio $R$ (o su cerradura) establecen ${\lambda }^{\ast }(R)\le |R|$. Para la otra desigualdad podemos usar la aproximación por rectángulos cerrados, la monotonía de la medida exterior y el caso anterior: $$|R|=\underset{\begin{array}{c}Q\subseteq R;Q\text{ cdo.}\end{array}}{sup}\{|Q|\}=\underset{\begin{array}{c}Q\subseteq R;Q\text{ cdo.}\end{array}}{sup}\{{\lambda }^{\ast }(Q)\}\le {\lambda }^{\ast }(R).$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Ejemplo. Si $A\subseteq {\mathbb{R}}^n$ es acotado, entonces ${\lambda }^{\ast }(A)$ es finita pues podemos encontrar un rectángulo $R$ suficientemente grande tal que $A\subseteq R$ de modo que ${\lambda }^{\ast }(A)\le {\lambda }^{\ast }(R)=|R|<\mathrm{\infty }$.

$\mathrm{△}$

Ejemplo. La medida exterior de ${\mathbb{R}}^n$ es $\mathrm{\infty }$.

Consideremos le sucesión de rectángulos anidados $R_k=[-k,k]\times [-k,k]\times \cdots \times [-k,k]$ $k=1,2,\dots$. Luego ${\lambda }^{\ast }(R_k)=|R_k|=(2k{)}^n$. Como $R_k\subseteq {\mathbb{R}}^n$ $\mathrm{\forall }$ k, entonces $(2k{)}^n\le {\lambda }^{\ast }({\mathbb{R}}^n)$ $\mathrm{\forall }k$ así que necesariamente ${\lambda }^{\ast }({\mathbb{R}}^n)=\mathrm{\infty }$.

$\mathrm{△}$

Más adelante…

Seguiremos con nuestro estudio de la medida exterior. Nos enfocaremos en estudiar las propiedades relacionadas con la «aditividad» de la medida exterior, aunque veremos un ejemplo clásico de que ésta en general no es aditiva.

Tarea moral