SOLUCIONES DE LOS EJERCICIOS DE MEDIDA Y

PROBABILIDAD
1. Revisar (escribir explícimatente) las sKálgebras B , F1 , B , F2 , B , F3 , etc...

F2 = : ; B ; 0, 0, w3 , w4 , ... , wn , ..... ; 0, 1, w3 , w4 , ... , wn , ..... ; 1, 0, w3 , w4 , ..

. , wn , ..... ; 1, 1, w3 , w4 , ... , wn , ..... ; 0, w2 , w3 , w4 , ... , wn , ..... ; 1, w2 , w3 ,
w4 , ... , wn , ..... ; w1 , 0, w3 , w4 , ... , wn , ..... ; w1 , 1, w3 , w4 , ... , wn , ..... ; 0, 0,
w3 , w4 , ... , wn , ..... n 1, 1, w3 , w4 , ... , wn , ..... ; 0, 1, w3 , w4 , ... , wn , ..... n 1, 0, w3 ,
w4 , ... , wn , ..... ; 1, w2 , w3 , w4 , ... , wn , ..... n w1 , 1, w3 , w4 , ... , wn , ..... ; 0, w2 ,
w3 , w4 , ... , wn , ..... n w1 , 0, w3 , w4 , ... , wn , ..... ; 0, w2 , w3 , w4 , ... , wn , ..... n w1 , 1,
w3 , w4 , ... , wn , ..... ; 1, w2 , w3 , w4 , ... , wn , ..... n w1 , 0, w3 , w4 , ... , wn , .....
.

2. Muestre que
3
p3 w1 , w2 , w3 , w4 , ... , wn , ..... = w1 , w2 , w3 2 0, 1

3
es F4 / P 0, 1 Kmedible.

La familia

0, 0, 0 ; 0, 0, 1 ; 0, 1, 0 ; 0, 1, 1 ; 1, 0, 0 ; 1, 0, 1 ; 1, 1, 0 ; 1, 1,
1
.
3
genera P 0, 1 , por eso basta ver que

1
pK
3
0, 0, 0 = 0, 0, 0, w4 , ... , wn , ..... 2 F4 ,

1
pK
3
0, 0, 1 = 0, 0, 1, w4 , ... , wn , ..... 2 F4 , etc....

3. Qué es la sKálgebra generada por una función? consultar...

4. Encuentre la sKálgebra generada por p3 .

Respuesta: Es la sKálgebra generada por

1 1 1 1 1
pK
3
0, 0, 0 ; pK
3
0, 0, 1 ; pK
3
0, 1, 0 ; pK
3
0, 1, 1 ; pK
3
1, 0, 0 ;
1 1 1
pK
3
1, 0, 1 ; pK
3
1, 1, 0 ; pK
3
1, 1, 1

es decir F3 .
5. Encuentre la sKálgebra generada por

n
pn w1 , w2 , ... , wn , ..... = w1 , w2 , ... , wn 2 0, 1 .

Respuesta: Fn (ver "filtración" en sucesiones de Bernoulli)

6. Muestre que para cada n fijo, la función

w d w1 , w2 , ... , wn , ..... / Pn w d wn

es una variable aleatoria.

Como Pn w 2 0, 1 , basta ver que

K1
Pn 0 = w1 , w2 , ... , wn K 1 , 0, wn C 1 , ..... 2 FN

y que
K1
Pn 1 = w1 , w2 , ... , wn K 1 , 1, wn C 1 , ..... 2 FN .

7. Encontrar la sKálgebra generada por Pn y compararla con la sKálgebra generada por pn .

s Pn = : ; B ; w1 , w2 , ... , wn K 1 , 0, wn C 1 , ..... ; w1 , w2 , ... , wn K 1 , 1, wn C 1 , .....

4 Fn

n
Note que Fn tiene 22 elementos, en cuanto que s Pn solo tiene 4 cualquiera que sea n .

8. Qué es la medida imagen? consultar

9. Encuentre la medida imagen de la medida de Bernoulli por las funciones P3 y p3 , en sus

respectivos espacios.

Respuesta: son las medidas uniformes en 0, 1 , P 0, 1 y en 0, 1 3 , P 0, 1 3 ,

respectivamente, es decir, la medida de cada conjunto es el número de elementos del conjunto, dividido
por el número total, o sea 2 y 8 respectivamente.

10. Encuentre la medida imagen de la medida de Bernoulli por las funciones Pn y pn (en sus
respectivos espacios).
Respuesta: son las medidas uniformes en 0, 1 , P 0, 1 y en 0, 1 n , P 0, 1 n ,
respectivamente, es decir, la medida de cada conjunto es el número de elementos del conjunto, dividido
por el número total, o sea 2 y 2n respectivamente.

11. Trazar el gráfico de la función de acumulación de la medida imagen de la medida Bernoulli por
la función Pn .

Note que no depende de n .

Como 0, 1 4 = y P 0, 1 4 B , entonces esta medida es boreliana (la medida uniforme sobre

P 0, 1 ) ya que podemos definir:

0 si AX 0, 1 =:
1
cA2B/ si AX 0, 1 = 0 o 1 .
2
1 si AX 0, 1 = 0, 1

La función de acumulación es constante por intervalos, da dos saltos (en 0 y en 1) y es continua a la

derecha. trazar el gráfico...

12. Encuentre la medida preimagen de las medidas uniformes (sobre los espacios respectivos) por
las funciones Pn y pn .

La primera es una medida sobre s Pn (que solo tiene 4 elementos), llamemosla nn

1
nn w1 , w2 , ... , wn K 1 , 0, wn C 1 , ..... = µn w1 , w2 , ... , wn K 1 , 1, wn C 1 , ..... = .
2

el resto ya se sabe...

Note que lo que realmente depende de n es la sKálgebra. Aunque todas ellas son equivalentes a
P 0, 1 , ellas son distintas.

La segunda es una medida sobre Fn , llamemosla µn

n 1
µn x1 , x2 , ... , xn , wn C 1 , ..... ; x1 , x2 , ... , xn 2 0, 1 = ,
2n

cualquiera que sea x1 , x2 , ... , xn . Los otros elementos de Fn son uniones de conjuntos de este
tipo ( n es fijo) y su medida es la suma de las medidas de los "átomos" que intervienen en la unión del
conjunto en causa.

Ejemplo: si n = 3 , calcular n3 1, w2 , 0, w4 , w5 , ..... y n3 1, w2 , 0, 0, w5 , ..... .

Note que µn es la misma medida que definimos sobre Fn en la sección sobre las sucesiones de
Bernoulli.

13. Muestre que la función

N
w d w1 , w2 , ... , wi , ..... / t w d
i=1
> w $2 i
Ki
2 0, 1

(esta es la función muy muy importante, ya que relaciona los dos ejemplos fundamentales
B , FN, b y 0, 1 , B, l )

es sobreyectiva:

N
Si s = 0 , 0 = > 0$2
i=1
Ki
= t 0, 0, 0 , ..... .

Si s 2 0, 1 , escogemos

1 1
0 si s 2 0, 0 si 2s K w1 2 0,
2 2
w1 = , w2 =
1 1
1 si s 2 ,1 1 si 2s K w1 2 ,1
2 2

y definimos por inducción:

i
1
0 si 2 $ s Ki
> w $2
j=1
j
Kj
2 0,
2
wi C 1 = .
i
1
1 si 2i $ s K > w $2
j=1
j
Kj
2
2
,1

Note que

i
1
sK > w $2
j=1
j
Kj
2 0,
2i
.

Luego,

N i
wj
t w1 , w2 , ... , wj , ..... = >
j=1
wj $2 Kj
= i lim
/N >2
j=1
j
=s.

14. Muestre que esta función es inyectiva excepto en los números "diádicos". Es decir, para todo
s 2 0, 1 , existe una única sucesión binária w1 , w2 , ... , wi , ..... (compuesta de ceros y
unos) tal que
 N
s= > w $2
i=1
i
Ki
,

k
excepto en los números de la forma n
, n 2 ; , k = 1, ... , 2n , para los cuales existen dos
2
sucesiones binarias, una que "termina en ceros" y la otra que "termina en unos".

De hecho, si

N N
_
s= >
i=1
wi $2 Ki
= >
i=1
wi $2Ki

_ _ _
y si w1 , w2 , ... , wi , ..... s w1 , w2 , ... , wi , ..... , entonces existe n 2 ; , tal que
_
wn = 0 y wn = 1 (o viceversa) y
_
wi = wi , para todo i ! n .

nK1 nK1
_
Poniendo a = >
i=1
wi $2Ki
, si n R 2 y a = 0 si n = 1 , como también a = >
i=1
wi $2Ki , tenemos

N N
1 1 _ 1
a% > w $2
i=1
i
Ki
% aC
2n
y al mismo tiempo a C
2 n
% > w $2
i=1
i
Ki
% aC
2 nK1
.

1
Como la suma de ambas series es s , entonces s = a C que es el único valor que pertenece a los
2n
dos intervalos al mismo tiempo. Lo que prueba que s es un diádico y además, necesáriamente wi = 1
_
para todo i R n C 1 y wn = 0 para todo i R n C 1 .

15. (no ejercicio) Definimos la inversa, de w/t w (utilizando una notación sugestiva):

N
t 2 0, 1 / w t = w1 , w2 , ... , wi , ..... 5t= > w $2
i=1
i
Ki
o c n d i R n, wi = 1 .

(La segunda condición significa que cuando existen dos representaciones en serie, i.e. cuando t es
diádico, escogemos la sucesión que no termina en ceros.)

Es decir, dado t 2 0, 1 , escogemos

1 1
0 si t 2 0, 0 si 2 t K w1 2 0,
2 2
w1 t = , w2 t =
1 1
1 si t 2 ,1 1 si 2 t K w1 2 ,1
2 2
y definimos por inducción:

i
1
i
0 si 2 $ t K > w $2
j=1
j
Kj
2 0,
2
wi C 1 t = .
i
1
1 si 2i $ t K > w $2
j=1
j
Kj
2
2
,1

(Cuando t es diádico, este algoritmo produce precisamente la sucesión que termina en unos.)

16. Describa las funciones compuestas t 2 0, 1 / P3 w t y t 2 0, 1 / p3 w t y

diga porqué son medibles.

De acuerdo con el algoritmo anterior, aplicado a i = 3 , tenemos

1
0 si 4 t K 2 w1 K w2 2 0,
2
P3 w t = w3 t = .
1
1 si 4 t K 2 w1 K w2 2 ,1
2

O sea,

1 1 3 1 5 3 7
0 si t 2 0, W , W , W ,
8 4 8 2 8 4 8
P3 w t = w3 t = .
1 1 3 1 5 3 7
1 si t 2 , W , W , W ,1
8 4 8 2 8 4 8

Es una función constante por intervalos y continua a la izquierda. Es medible por eso o por ser
composición de funciones medibles.
 1
0, 0, 0 si t 2 0,
8
1 1
0, 0, 1 si t 2 ,
8 4
1 3
0, 1, 0 si t 2 ,
4 8
3 1
0, 1, 1 si t 2 ,
8 2
p3 w t =
1 5
1, 0, 0 si t 2 ,
2 8
5 3
1, 0, 1 si t 2 ,
8 4
3 7
1, 1, 0 si t 2 ,
4 8
7
1, 1, 1 si t 2 ,1
8

17. Encuentre la medida imagen de la medida de Lebesgue por la función

t 2 0, 1 / p3 w t .

Como
K1 k kC1
p3 + w x1 , x2 , x3 = , ,
8 8

para algún k 2 0, 1, 2, 3, 4, 5, 6, 7 , dependiendo de x1 , x2 , x3 y

k kC1 1
l , =
8 8 8

independientemente de k y por lo tanto independientemente de x1 , x2 , x3 , entonces la medida

imagen es

K1 1
x1 , x2 , x3 / l p3 + w x1 , x2 , x3 =
8

3
que es precisamente la medida uniforme en 0, 1 .

18. Encuentre la medida preimagen de la medida uniforme por la función t 2 0, 1 / p3 w t

.

Es la medida de Lebesgue RESTRINGIDA a la sKálgebra generada por la familia de intervalos

 1 1 1 1 3 3 1 1 5 5 3 3 7 7
0, ; , ; , ; , ; , ; , ; , ; ,1 .
8 8 4 4 8 8 2 2 8 8 4 4 8 8

1
Es decir, es la medida (no vamos a dar nombre ni notación) que a estos intervalos asocia el valor y
8
1
a las uniones de estos intervalos asocia el valor correspondiente a la suma, o sea multiplicado por
8
el número de intervalos (diferentes) que hacen la unión. Cualquier otro conjunto, fuera de los
indicados, no tiene medida asociada, ya que la medida preimagen solo está definida en las preimágenes
de los conjuntos medibles del espacio de llegada...!

19. Muestre que la función t 2 0, 1 / Pn w t es una variable aleatoria y encontrar la

sKálgebra generada por la misma.

Esta función toma dos valores 0 o 1 , de acuerdo con la siguiente tabla (en función de los ya visto
anteiormente)

1 2 3 2n K 2 2n K 1
0 si t 2 0, W , W ... W ,
2n 2n 2n 2n 2n
Pn w t = wn t =
1 2 3 4 2n K 1
1 si t 2 , W , W ... W ,1
2n 2n 2n 2n 2n

Por lo tanto, es constante por intervalos y continua a la izquierda. Es medible por eso o por ser
composición de funciones medibles...

20. Encuentre la medida imagen de la medida de Lebesgue por la función

t 2 0, 1 / Pn w t , trazar el gráfico de la función de acumulación en el caso n = 3 .

La medida imagen en 0, 1 , P 0, 1 es la medida que

K1 1 K1 1
0 /l Pn + w 0 = y 1 /l Pn + w 1 = .
2 2

es decir es la medida uniforme en 0, 1 , P 0, 1 .

Como 0, 1 4 = y P 0, 1 4 B , entonces podemos considerar esta medida como siendo una

medida boreliana (sobre = , B ) ya que podemos definir:

0 si AX 0, 1 =:
1
cA2B/ si AX 0, 1 = 0 o 1 .
2
1 si AX 0, 1 = 0, 1

La función de acumulación ya fue descrita anteriormente.

21. Encuentre la medida preimagen de la medida uniforme por la función
t 2 0, 1 / Pn w t .

Es la medida que

1 2 3 2n K 2 2n K 1 1
0, n
W n
, n
W ... W n
, n
/ ,
2 2 2 2 2 2

1 2 3 4 2n K 1 1
n
, n
W n
, n
W ... W n
,1 / ,
2 2 2 2 2 2

0, 1 / 1 y :/ 0 .

Esta medida está definida únicamente en la sKálgebra de 4 elementos:

1 2 3 2n K 2 2n K 1 1 2 3 4
:; 0, 1 ; 0, n
W n
, n
W ... W n
, n
; n
, n
W n
, W ...
2 2 2 2 2 2 2 2 2n
2n K 1
W ,1
2n
.

22. Describa las funciones

N n
t= > w $2
i=1
i
Ki
/ 4n t d > w $2
i=1
i
Ki
,

Para no haber ambiguadad cuando t es diádico, es más correcto escribir

n
4n t d >w
i=1
i
t $2Ki ,

siendo wi t , t 2 0, 1 las funciones definidas por recurrencia (arriba).

Note que
n
k
4n t = >w
i=1
i
t $2Ki =
2n
,

k kC1
donde k 2 0, 1, 2, ... , 2n K 1 es el único entero tal que n
!t% . Esta función es una
2 2n
k k kC1
función en escalera, constante igual a n
en el intervalo
, creciente y continua a la n
,
2 2 2n
izquierda. Por lo tanto, estas funcioes son variables aleatorias (medibles, a valores reales).

La sKálgebra generada por 4n es la sKálgebra generada por la familia de preimagenes de los valores
 k
n
, k 2 0, 1, 2, ... , 2n K 1 , es decir la familia
2
1 1 2 2 3 2n K 1
0, ; , ; , ; ... ; ,1 ,
2n 2n 2n 2n 2n 2n

ya que
1 k k kC1
4K n
= n
, .
n
2 2 2n

23. Encuentre la medida imagen de la medida de Lebesgue por la función 4n , trazar el gráfico de la
función de acumulación en el caso n = 3 .

La medida imagen es

k k k kC1 1
n
/ l 4K 1
n
=l n
, n
= .
2 n
2 2 2 2n

1 2 2n K 1
Es decir, la medida imagen es la medida uniforme sobre los puntos 0, , , ... , , más
2n 2n 2n
exáctamente sobre el espacio

1 2 2n K 1 1 2 2n K 1
0, , , ... , ,P 0, , , ... , .
2n 2n 2n 2n 2n 2n

1 2 2n K 1 1 2 2n K 1
Como 0, , , ... , 4= y P 0,
4 B , podemos , , ... ,
2n 2n 2n 2n 2n 2n
considerar esta medida como una medida boreliana y trazar el gráfico de su función de acumulación que
es
k
Fn t = n ,
2

kK1 k
donde k 2 1, 2, ... , 2n es el único entero tal que %t! . Esta función es una función
2n 2n
k kK1 k
en escalera, constante igual a n
en el intervalo n
, , creciente y continua a la derecha.
2 2 2n
Note que
k
Fn t = 4n t , para todo t s n
, k = 0, 1, 2, ... , 2n (i.e. para todo t no diádico).
2

24. Encuentre la medida preimagen de la medida imagen obtenida en la linea anterior.

k kC1
La medida preimagen está definida sobre la sKálgebra generada los "átomos" n
, . Sobre
2 2n
los "átomos" está definida por
 k kC1 k k kC1 1
n
, n
/ l 4K 1
n
=l n
, n
= .
2 2 n
2 2 2 2n

1
En las uniones de estos intervalos es la suma de las medidas de cada uno. Es decir veces el
2n
número de "átomos" (diferentes) que forman la unión del conjunto en causa. En los otros borelianos, la
medida simplemente no está definida.