Probabilidades

Deber # 2

19/01/2011
Esthela Patricia Cortez Guevara
1. Sea Ω  :   0,1 el conjunto de puntos racionales de 0,1, el álgebra de
conjuntos del cual cada uno es una suma finita de conjuntos disjuntos  de una de las
formas :     , :     , :     , :      y     .
Muestre que ,   es un conjunto de funciones finitamente aditivas, pero no
contable aditivas.
SOLUCION
FINITA ADITIVA
Sean ,  . Se debe demostrar que       
     y     , por tanto       
CONTABLE ADITIVA
Sean  ,  , …  . ∑$ $ $ $
%&   Ω # ∑%& %   1 ' ∑%& %   ∑%&%  % 

2. Sea Ω un conjunto numerable y ( la colección de todos estos subconjuntos. Asuma

  0 si  es finito y   ∞ si  es infinito. Muestre que el conjunto de
funciones  es finitamente aditivas, pero no contablemente aditivas.
SOLUCION
FINITA ADITIVA
Sean ,  (. Se debe demostrar que       
- Si  y  son finitos,    también es finito, entonces     0,   0 y
  0, por tanto       
- Si  y  son infinitos,    también es infinito, entonces     ∞,  
∞ y   ∞, por tanto       
- Si A es infinito y B finito, A+B es infinito, entonces     ∞,   ∞ y
  0, por tanto       
- De manera análoga se muestra para  finito,  infinito.
CONTABLE ADITIVA
Sean  ,  , …  (. Si todos los % son conjuntos finitos, se tiene que *$
%& % es un
$ $
conjunto infinito y por tanto ∑%& %   ∞ ' ∑%& %   0

3. Sea  una medida finita sobre una +  á-./ (, 0  (, 1  1,2, …, y   lim0 0

(es decir   lim0 0  lim0 0 ). Muestre que   lim0 0 .
SOLUCION
Dada la colección de conjuntos  ,  , 6 , … , construimos las sucesiones siguientes:
7   ,  , 6 , … 
7   , 6 , 8 , … 
9
70  0 , 0: , 0: , … 
9
Llamamos   inf 7 ,   inf 7 , … , 0  inf 70 , … y   sup 7 ,  
sup 7 , … , 0  sup 70 , …
Por tanto   sup 0   inf 0 
  lim 0 
0
  sup 0   inf 0 
  sup inf 70   inf sup 70 
Por otro lado construimos la sucesión:  ,  , 6 , … , y adicionalmente:
 Llamamos y

Podemos observar que y

Por tanto:

4. Pruebe que .
SOLUCION

5. Muestre que las “distancias“ y definidas por

Satisfacen la desigualdad triangular.

triang
SOLUCION

Consideremos el siguiente Diagrama de Venn

A
C B
Sabemos que
y
Además
 Por tanto ∆  ∆A  A∆

6. Sea  una medida finitamente aditiva sobre un álgebra y sean los conjuntos
 ,  , …  disjuntos dos a dos y satisfacen   ∑$
%& %  . Entonces  B
$
∑%& % .
SOLUCION
Consideremos la familia de conjuntos C  ∑C%& % , entonces C   ∑C%& %  y
C D , por tanto

C   
lim C   
C
∑$
%& %   .

7. Pruebe que
SOLUCION
$
Puesto que lim sup 0  E$
0& *C&0 C (puntos que están en un número infinito de
$
0  y lim inf 0  *$
0& E0&C C (puntos que están todos los 0 , salvo un número
finito)
a. lim sup 0  lim inf 0
b. lim inf 0  lim sup 0
c. lim inf 0 D lim sup 0
d. lim sup0 F 0   lim sup 0 F lim sup 0
e. lim sup 0 G lim inf 0 D lim sup0 G 0  D lim sup 0 G lim sup 0
f. Si 0 H  o 0 I  entonces lim inf 0  lim sup 0
8. Sea J0  una sucesión de números y 0  ∞, J0 . Muestre que J  lim sup J0 y
  lim sup 0 están relacionados en la siguiente forma ∞, J D  D ∞, KJ. En
otras palabras  es igual a ∞, J o a ∞, KJ.
9. De un ejemplo para mostrar que si una medida toma el valor de ∞, no se sigue, en
general, que la aditividad numerable no implica en continuidad en el L.
1. Sean M y M +  á-./N de subconjuntos de Ω. ¿Son los siguientes sistemas de
conjuntos +  á-./N?
SOLUCION
Puesto que M y M son +  á-./N tenemos que:
- L  M
- Si   M O P  M
- Si  ,  , 6 , …  M O *$ %& %  M
- LM
- Si A  M O A P  M
- Si A , A , A6 , …  M O *$ %& A%  M
a. M G M Q :   M R   M 
- L  M G M
- Si   M G M # P  M R P  M # P  M G M
- Si  ,  ,  , …  M G M # *$ $ $
%& %  M R *%& %  M # *%& %  M G M
Si es +  á-./
b. M F M Q :   M S   M 
- L  M F M
- Si   M F M # P  M S P  M # P  M F M
- Si  ,  ,  , …  M F M # *$ $ $
%& %  M S *%& %  M # *%& %  M F M
Si es +  á-./

2. Sea T  U , U , …  una descomposición numerable de Ω y M  +T. ¿Existen

algunos conjuntos únicamente contables en M?
3. Muestre que
MW 0  X MW  MW 0: 
SOLUCION
Usando inducción
Para 1  1
MW X MW  MW 
Si ,  Y ,   MW X MW O ,  Y ,   MW 
Si ,  Y ,   MW  O ,  Y ,   MW X MW
Para 1  Z suponemos verdadero y demostramos para 1  Z  1
M[W C \ X MW  MW C: 
M[W C \ X MW X MW  MW C:  X MW
M[W C: \ X MW  MW C: 

4. Pruebe que los conjuntos (b)-(f) (mire la sub sección 4) pertenecen a MW $ .
5. Muestre que los conjuntos  y 6 (mire la sub sección 5) no pertenecen a MW ]. .
6. Pruebe que la función (15) define una métrica.
7. Pruebe que M] W 0   MW 0 , 1 B 1, y M] W$   MW $ .
8. Sea A  A0, ∞ el espacio de las funciones continuas J  J^  definidas para _ B 0.
Muestre que con lamétrica
$

`J, R  a 2b0 min c sup |J^  R^ |, 1f , J, RA

]d^d0
0&
Este es un espacio métrico separable y que la +  á-./ M] A generada por los
conjuntos abiertos coincide con la +  á-./ MA generada por los conjuntos de
cilindros.