Introducción

En la entrada previa a esta vimos el importantísimo teorema de Bayes. Por ahora dejaremos de lado las propiedades de la probabilidad condicional. En contraste, el teorema que veremos en esta entrada es un resultado teórico que será de utilidad mucho más adelante.

El tema de esta entrada es el teorema de continuidad de las medidas de probabilidad. Esencialmente, se trata de una propiedad que satisface toda medida de probabilidad. En particular, se relaciona con la noción que tienes de continuidad en funciones. Sin embargo, se trata de una propiedad más básica de continuidad para límites de eventos, que son conjuntos.

Conceptos previos

En el contexto de cálculo y análisis, una propiedad de las funciones continuas es su capacidad de «meter» el límite. Esto es, que si $\{a_n{\}}_{n\in {\mathbb{N}}^{+}}\subseteq \mathbb{R}$ es una sucesión de números reales tal que existe $a\in \mathbb{R}$ que satisface $\underset{n\to \mathrm{\infty }}{lim}{a}_n=a$, y $f:\mathbb{R}\to \mathbb{R}$ es una función continua, entonces

$$\underset{n\to \mathrm{\infty }}{lim}f(a_n)=f\left(\underset{n\to \mathrm{\infty }}{lim}{a}_n\right)=f(a).$$

Nosotros queremos ver que cualquier medida de probabilidad satisface una propiedad similar. Sin embargo, dado un espacio de probabilidad $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$, el dominio de $\mathbb{P}$ no es $\mathbb{R}$, ¡es $\mathcal{F}$! Es decir, ¡el argumento de una medida de probabilidad es un conjunto! Por ello, es necesario presentar una noción de límite de eventos. La manera en que lo haremos será a través de las llamadas sucesiones crecientes.

---

Definición. Sea $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$ un espacio de probabilidad, y sea $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}\subseteq \mathcal{F}$ una sucesión de eventos. Diremos que es una sucesión creciente de eventos si

$$\mathrm{\forall }n\in {\mathbb{N}}^{+}:A_n\subseteq A_{n+1}.$$

Esto es, que cada $A_n$ es un subconjunto del evento que le sigue, $A_{n+1}$. A veces esto se denota como $A_1\subseteq A_2\subseteq \dots$ Por su parte, la unión

$$A=\bigcup _{n=1}^{\mathrm{\infty }}{A}_n$$

de una sucesión de este tipo es llamada el límite de la sucesión. Este hecho suele denotarse por $A_n\uparrow A$.

---

En la definición anterior, la unión $A=\bigcup _{n=1}^{\mathrm{\infty }}{A}_n$ de una sucesión creciente de eventos es, nuevamente, un evento. Esto pasa gracias a las propiedades de un σ-álgebra y a que $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una familia numerable de eventos.

Por otro lado, también se define la noción de sucesión decreciente de eventos como sigue.

---

Definición. Sea $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$ un espacio de probabilidad, y sea $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}\subseteq \mathcal{F}$ una sucesión de eventos. Diremos que es una sucesión decreciente de eventos si

$$\mathrm{\forall }n\in {\mathbb{N}}^{+}:A_n\supseteq A_{n+1}.$$

Es decir, cada $A_n$ contiene (como subconjunto) al evento que le sigue, $A_{n+1}$. En ocasiones, esto se denota como $A_1\supseteq A_2\supseteq \cdots$ Además, la intersección

$$A=\bigcap _{n=1}^{\mathrm{\infty }}{A}_n$$

de una sucesión de este tipo es llamada el límite de la sucesión. Este hecho suele denotarse por $A_n\downarrow A$.

---

De la misma manera que con una sucesión creciente, la intersección $A=\bigcap _{n=1}^{\mathrm{\infty }}{A}_n$ de una sucesión decreciente de eventos también es un evento.

La continuidad de una medida de probabilidad

A continuación presentamos el teorema de continuidad de una medida de probabilidad.

---

Teorema. Sea $(\mathrm{\Omega },\mathcal{F},\mathbb{P})$ un espacio de probabilidad. Entonces se cumplen las siguientes propiedades.

1. Si $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una sucesión creciente de eventos, entonces$$\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(A_n\right)=\mathbb{P}\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right).$$
2. Si $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una sucesión decreciente de eventos, entonces$$\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(A_n\right)=\mathbb{P}\left(\bigcap _{n=1}^{\mathrm{\infty }}{A}_n\right).$$

---

Demostración. Para demostrar 1, podemos utilizar un truco que usamos hace ya varias entradas. Esto es, que

$$\bigcup _{n=1}^{\mathrm{\infty }}{A}_n=A_1\cup (A_2\setminus A_1)\cup (A_3\setminus A_2)\cup \cdots$$

Es decir, si para cada $i\in {\mathbb{N}}^{+}$ definimos $B_i=A_i\setminus A_{i-1}$, con $A_0=\mathrm{\varnothing }$, se tiene que

$$\bigcup _{n=1}^{\mathrm{\infty }}{A}_n=\bigcup _{n=1}^{\mathrm{\infty }}{B}_n.$$

Además, observa que los conjuntos $B_i$ son ajenos dos a dos, por construcción. Entonces podemos aplicar la σ-aditividad de $\mathbb{P}$ para obtener que

$$\begin{array}{rl}\mathbb{P}\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right)& =\mathbb{P}\left(B_1\right)+\mathbb{P}\left(B_2\right)+\mathbb{P}\left(B_3\right)+\cdots \\ & =\underset{n\to \mathrm{\infty }}{lim}\sum _{k=1}^n\mathbb{P}\left(B_k\right).\end{array}$$

Sin embargo, sabemos que para cada $i\in {\mathbb{N}}^{+}$ se cumple que $A_i\subseteq A_{i+1}$ y $B_i=A_i\setminus A_{i-1}$, así que para cada $i\in {\mathbb{N}}^{+}$ se tiene que

$$\mathbb{P}\left(B_i\right)=\mathbb{P}(A_i\setminus A_{i-1})=\mathbb{P}\left(A_i\right)-\mathbb{P}\left(A_{i-1}\right).$$

Por lo tanto,

$$\begin{array}{rl}\mathbb{P}\left({\cup }_{n=1}^{\mathrm{\infty }}{A}_n\right)& =\underset{n\to \mathrm{\infty }}{lim}\sum _{k=1}^n[\mathbb{P}\left(A_k\right)-\mathbb{P}\left(A_{k-1}\right)]\\ & =\underset{n\to \mathrm{\infty }}{lim}[\mathbb{P}\left(A_n\right)-\mathbb{P}\left(A_0\right)]\\ & =\underset{n\to \mathrm{\infty }}{lim}[\mathbb{P}\left(A_n\right)-\mathbb{P}\left(\mathrm{\varnothing }\right)]\\ & =\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(A_n\right),\end{array}$$

que es justamente lo que queríamos demostrar.

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

Para demostrar la parte 2 del teorema puede usarse la parte 1 de manera conveniente. La manera de hacerlo viene detallada (a manera de instrucciones) en la tarea moral.

Una aplicación del teorema de continuidad

A pesar de que, de momento, no utilizaremos con profundidad el teorema que acabamos de ver, es posible hacer un ejemplo donde se aplica de manera no teórica.

Ejemplo. Es intuitivamente claro que la probabilidad de nunca obtener un «águila» en una infinidad de lanzamientos de una moneda equiprobable es $0$. Podemos demostrarlo usando el teorema anterior. En primer lugar, el espacio muestral de este experimento es

$$\mathrm{\Omega }=\{(x_n{)}_{n\in {\mathbb{N}}^{+}}\mid \mathrm{\forall }i\in {\mathbb{N}}^{+}:x_i\in \{\mathrm{A},\mathrm{B}\}\}$$

el conjunto de todas las sucesiones infinitas de $\mathrm{A}$’s y $\mathrm{S}$’s. Para cada $i\in {\mathbb{N}}^{+}$, definimos los conjuntos

$$\begin{array}{rl}{A}_i& =\{(x_n{)}_{n\in {\mathbb{N}}^{+}}\in \mathrm{\Omega }\mid x_i=\mathrm{A}\},\\ S_i& =\{(x_n{)}_{n\in {\mathbb{N}}^{+}}\in \mathrm{\Omega }\mid x_i=\mathrm{S}\}\end{array}$$

Es decir, $A_i$ es el conjunto de todas las sucesiones infinitas de $\mathrm{A}$’s y $\mathrm{S}$’s tales que su $i$-ésima entrada es una $\mathrm{A}$. Por ejemplo, para $A_1$, se tiene que

$$\begin{array}{rl}(\mathrm{A},\mathrm{S},\mathrm{S},\mathrm{A},\mathrm{A},\mathrm{A},\mathrm{A},\mathrm{A},\dots )& \in A_1,\\ (\mathrm{A},\mathrm{S},\mathrm{S},\mathrm{S},\mathrm{S},\mathrm{S},\mathrm{S},\mathrm{S},\dots )& \in A_1,\\ (\mathrm{A},\mathrm{S},\mathrm{A},\mathrm{S},\mathrm{A},\mathrm{S},\mathrm{A},\mathrm{S},\dots )& \in A_1,\end{array}$$

etcétera. El subíndice de $A_i$ indica que la $i$-ésima entrada de todos sus elementos es $\mathrm{A}$. Análogamente, $S_i$ es el conjunto de todas las sucesiones infinitas de $\mathrm{A}$’s y $\mathrm{S}$’s tales que su $i$-ésima entrada es una $\mathrm{S}$. Ahora, considera la siguiente familia de subconjuntos de $\mathrm{\Omega }$:

$$\mathcal{C}=\{A_i\mid i\in {\mathbb{N}}^{+}\}\cup \{S_i\mid i\in {\mathbb{N}}^{+}\}$$

Esto es, $\mathcal{C}\subseteq \mathcal{P}(\mathrm{\Omega })$ es el conjunto cuyos elementos son todos los $A_i$’s y todos los $B_i$’s. De este modo, tomaremos a $\sigma (\mathcal{C})$ como σ-álgebra.

Ahora, definimos nuestra medida de probabilidad para los $A_i$’s y $B_i$’s como sigue: para cada $i\in {\mathbb{N}}^{+}$, la probabilidad de $A_i$ y $B_i$ se define como

La definimos de esta forma pues asumimos que la moneda es equiprobable, por lo que la probabilidades de que en la $i$-ésima posición salga «águila» o salga «sol» deben de ser iguales. Además, le pediremos a $\mathbb{P}$ que cualquier familia de $A_i$’s y $S_i$’s sean independientes. Esto es, que para todo $n\in {\mathbb{N}}^{+}$, los eventos $A_1$, $A_2$, …, $A_n$ son independientes. Esto asegura que también sus complementos, $S_1$, $S_2$, …, $S_n$ forman una familia de eventos independientes.

Ahora, para cada $n\in {\mathbb{N}}^{+}$, definamos el evento $C_n$ como el evento en el que, de los primeros $n$ lanzamientos, ninguno es un águila. Observa que, en términos de $A_i$’s y $S_i$’s, $C_n$ sería

$$C_n=\bigcap _{k=1}^n{S}_k,$$

Pues $S_1$ son todas aquellas sucesiones cuya primera entrada está fija como un $\mathrm{S}$, $S_2$ son todas aquellas en donde la segunda entrada está fija como un $\mathrm{S}$, y así sucesivamente hasta llegar a $S_n$. Al intersecar esos eventos, el evento resultante es aquel en el que las primeras $n$ entradas están fijas como una $\mathrm{S}$, por lo que es el evento en el que ninguno de los primeros $n$ lanzamientos es un águila. Además, observa que para cada $n\in {\mathbb{N}}^{+}$, se cumple que $C_n\supseteq C_{n+1}$. Es decir, $\{C_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una sucesión decreciente de eventos. Entonces, por el teorema de continuidad de la medida de probabilidad, se tiene que

$$\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(C_n\right)=\mathbb{P}\left(\bigcap _{n=1}^{\mathrm{\infty }}{C}_n\right),$$

Por un lado, observa que

$$\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(C_n\right)=\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(\bigcap _{k=1}^n{S}_k\right)=\underset{n\to \mathrm{\infty }}{lim}[\mathbb{P}\left(S_1\right)\cdot \mathbb{P}\left(S_2\right)\cdots \mathbb{P}\left(S_n\right)]=\underset{n\to \mathrm{\infty }}{lim}{\left(\frac{1}{2}\right)}^n=0$$

donde $\mathbb{P}\left(\bigcap _{k=1}^n{S}_k\right)=\mathbb{P}\left(S_1\right)\cdot \mathbb{P}\left(S_2\right)\cdots \mathbb{P}\left(S_n\right)$ ocurre gracias a que supusimos que para todo $n\in {\mathbb{N}}^{+}$ los eventos $A_1$, $A_2$, …, $A_n$ son independientes.

En consecuencia, tenemos que

$$\mathbb{P}\left(\bigcap _{n=1}^{\mathrm{\infty }}{C}_n\right)=0.$$

En conclusión, la probabilidad del evento $\bigcap _{n=1}^{\mathrm{\infty }}{C}_n$ es $0$. Pero, ¿qué evento es ese? Observa que $\bigcap _{n=1}^{\mathrm{\infty }}{C}_n$ es precisamente el evento de que nunca haya un águila, pues es la intersección de todos los eventos en los que los primeros $n$ lanzamientos no hay un águila. Esto es justamente lo que dictaba la intuición al inicio de este ejemplo.

---

Tarea moral

Los siguientes ejercicios son opcionales. Es decir, no formarán parte de tu calificación. Sin embargo, te recomiendo resolverlos para que desarrolles tu dominio de los conceptos abordados en esta entrada.

1. Demuestra la parte 2 del teorema de continuidad. Sugerencia: Puedes utilizar la parte 1 del teorema, pues ya la demostramos.
   1. Para hacerlo, toma $\{B_n{\}}_{n\in {\mathbb{N}}^{+}}$ una sucesión decreciente de eventos. Para cada $i\in {\mathbb{N}}^{+}$, define $A_i=B_i^{\mathsf{c}}$, donde el complemento es relativo a $\mathrm{\Omega }$. Demuestra que $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una sucesión creciente de eventos.
   2. Ahora, sabiendo que $\{A_n{\}}_{n\in {\mathbb{N}}^{+}}$ es una sucesión creciente de eventos, aplica la parte 1 del teorema. ¿Qué se obtiene?
   3. Usando la parte 1 del teorema se llega a que$$\mathbb{P}\left(\bigcup _{n=1}^{\mathrm{\infty }}{A}_n\right)=\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}\left(A_n\right).$$Sabiendo que cada $A_i=B_i^{\mathsf{c}}$, sustituye en la expresión anterior.
   4. Finalmente, usa la regla de complementación para concluir.

Más adelante…

Con esta entrada concluye la primera unidad de este curso. Esto es, aquí concluye el tratamiento de propiedades generales de las medidas de probabilidad. En la siguiente entrada comenzaremos el estudio de las variables aleatorias−que no son otra cosa que funciones cuyo dominio es el espacio muestral−y la gran cantidad conceptos asociados a estas.

Un consejo… ¡No olvides lo que vimos en esta unidad! Todo lo que vimos en esta unidad será importante para el resto de este curso, y para las materias de probabilidad y estadística que cursarás más adelante.

Entradas relacionadas

• Ir a Probabilidad I
• Entrada anterior del curso: Teorema de Bayes
• Siguiente entrada del curso: Variables Aleatorias