'

&
$
%
1. Estructuras de clases de conjuntos. Espacio probabilizable.
Nociones y resultados de la Teora de Conjuntos. Sucesiones de conjuntos.
Estructuras de clases de conjuntos. Clase mon otona.
Estructuras generadas por clases de conjuntos: Clase minimal.
Espacio de Borel (real).
Espacio medible producto (caso nito).
1
Cap.1
ESTRUCTURAS DE CLASES DE CONJUNTOS
Relaciones conjuntistas:
Inclusion: A B
Igualdad: A = B
Operaciones conjuntistas:
Interseccion: A B ( o tambien AB)
Uni on: A B ( o A + B, si A B = )
Complementacion: A
c
Diferencia: AB = A B
c
Clase: Es un conjunto no vaco C cuyos elementos son conjuntos de .
Ejemplo: P() es la clase de las partes del espacio .
1-1
Propiedad: Si C es clase cerrada para la uni on nita (numerable) y la complementaci on
entonces es clase cerrada para la interseccion nita (numerable) y la diferencia.
Otras clases: clase disjunta, clase nita, clase numerable.
Sucesion: {A
n
}
Inmo:

n=1
A
n
Supremo:

n=1
A
n
lminf A
n
= {w ; n 1 / w A
k
, k n}
lmsup A
n
= {w ; w A
n
, para innitos n}
lminf A
n
lmsup A
n
lminf A
n
=
_
n1

kn
A
k
lmsup A
n
=

n1
_
kn
A
k
Clases de sucesiones: convergentes, mon otonas.
Propiedad: Las sucesiones monotonas son convergentes.
1-2
1.2. Estructuras de clases de conjuntos.
Semianillo: Es una clase C de conjuntos del espacio tal que C, es clase cerrada para
la interseccion nita y
A, B C {C
i
}
n
i=1
C disjunta tal que AB =
n

i=1
C
i
Ejemplo: C = {(x, y]; x, y R
n
} para n 1.
Semialgebra: Es una clase C de conjuntos de tal que C, es clase cerrada para la
interseccion nita y
A C {C
i
}
n
i=1
C disjunta tal que A
c
=
n

i=1
C
i
Ejemplo: C = {, R
n
, (, w], (x, y], (z, +); w, x, y, z R
n
} para n 1.

Algebra: Es una clase Q de conjuntos de , cerrada para la complementaci on, para la

uni on nita y tal que Q.
1-3
-algebra: Es una clase A de conjuntos de cerrada para la complementaci on, para la
uni on numerable y tal que A.
Espacio medible (o probabilizable): Es el par (, A), en el que A es un -algebra de
conjuntos de . Cualquier conjunto de A se denomina conjunto medible.
Clase mon otona: Es una clase Mde conjuntos de , cerrada para la formaci on de lmites
de sucesiones monotonas de la clase, es decir,
{A
n
} mon otona / A
n
M n es lmA
n
M
Propiedades:
1. Todo -algebra A es clase cerrada para la formacion de lmites de sucesiones convergen-
tes, esto es, {A
n
} A tal que lmA
n
, es lmA
n
A.
2. Clausura de estructuras para la intersecci on: La interseccion de algebras (-
algebras, clases monotonas) es otro algebra (-algebra, clase monotona).
3. Todo algebra mon otono es un -algebra y recprocamente.
1-4
1.3. Clase minimal: Construcci on.
Denicion: Dada una clase C de conjuntos de , se dice que C

es la -clase minimal
sobre C cuando, C C

y C

-clase de tal que C C

, entonces C C

.
Como consecuencia de la clausura de estructuras para la interseccion, la -clase minimal
C

sobre C existe, es unica y viene dada por

C

tT
C
t
(1)
donde C C
t
para cada t T. Aunque (1) es descriptiva, la construcci on esta resuelta en
algunos casos. Por ejemplo:

Algebra minimal sobre un semialgebra: Es suciente a nadir al semi algebra las sumas
nitas de los conjuntos del semi algebra.

Algebra generada por k conjuntos A

1
, . . . , A
k
: Es la clase formada por los conjuntos
, y todas las posibles uniones, intersecciones y complementaciones de los conjuntos {A
i
; i =
1, . . . , k}.
Cualquier conjunto del algebra es la suma de algunos de sus atomos.
1-5

Algebra minimal sobre una clase arbitraria C: Es la clase formada por todas las
sumas nitas

n
i=1
B
i
, donde cada B
i
es una interseccion nita

m
j=1
A
ij
, con A
ij
C
1
,
Q(C) =

C; C =
n

i=1
B
i
con B
i
=
m

j=1
A
i,j
con A
i,j
C
1
i, j y n nito

donde C
1
= {A; A = , A C o A
c
C}.
Propiedades:
1. Si C
1
C
2
(C
1
) (C
2
)
2. Si C
1
C
2
(C
1
) (C
2
) = (C
1
)
a) Dada una clase C de conjuntos de , entonces (C) = (Q(C))
Teorema de las clases mon otonas: (Q) = M(Q)
Dem. Dado que (Q) es clase monotona que contiene a Q, entonces M(Q) (Q). Lo
recproco ser a cierto si M(Q) es un -algebra pero, dado que es clase mon otona, es suciente
probar que es un algebra. En este sentido, se prueba que M(Q) tiene las siguientes propiedades:
1-6
1. M(Q), porque Q M(Q).
2. M(Q) es clase cerrada para la complementacion, porque si denimos
M
0
= {A M(Q)/A
c
M(Q)}
entonces M
0
M(Q), y lo recproco tambien es cierto, porque se prueba que M
0
es clase
mon otona que contiene a Q. En efecto, por un lado A Q es A
c
Q A, A
c
M(Q)
A M
0
Q M
0
. Por el otro lado, si {A
n
} M
0
A
n
, A
c
n
M(Q) n. Supongamos
que A
n
, entonces lmA
n
M(Q) porque es clase monotona pero, dado que adem as,
(lmA
n
)
c
=

n
A
c
n
= lmA
c
n
con A
c
n

se tiene igualmente que (lmA
n
)
c
M(Q) y, por tanto, lmA
n
M
0
. De forma an aloga, si
A
n
con {A
n
} M
0
, entonces lmA
n
M
0
y M
0
es clase monotona.
3. M(Q) es clase cerrada para la uni on nita. En efecto, si para cada A M(Q) jo pero
arbitrario, denimos
M
A
= {B M(Q) / A B M(Q)}
se demuestra que M
A
= M(Q) pues es inmediato que, por construcci on, M
A
M(Q). Lo
recproco tambien es cierto y para ello, es suciente probar que M
A
es una clase monotona,
y que Q M
A
. Veamos, en primer lugar, que es una clase mon otona:
1-7
Sea {B
n
} M
A
B
n
M(Q) y AB
n
M(Q) n. Si B
n
, entonces lmB
n
M(Q)
porque M(Q) es clase monotona, y dado que
A (lmB
n
) = A
_
_
n
B
n
_
=
_
n
(A B
n
) = lm(A B
n
)
donde (A B
n
) con (A B
n
) M(Q) n, entonces lm(A B
n
) M(Q) y as, A
(lmB
n
) M(Q) y lmB
n
M
A
. De forma an aloga, si B
n
con {B
n
} M
A
, entonces
lmB
n
M
A
y M
A
es clase monotona.
Finalmente, veamos que Q M
A
, esto es, que D Q es D M
A
o equivalentemente,
A D M(Q). Para ello, debemos distinguir dos casos: A Q y A M(Q).
Si A Q, entonces A D Q M(Q) D M
A
.
Si A M(Q) entonces A D M(Q) y as, D M
A
.
Se tiene as que M(Q) = M
A
pero, dado que A es arbitrario, tendramos por simetra que
tambien M(Q) = M
B
, esto es, A, B M(Q) es A B M(Q)
Denicion: Dados un -algebra A sobre , y un conjunto B de , el -algebra restringido
al conjunto B es el -algebra A
B
sobre el espacio B denido por A
B
= {AB; A A}.
1-8
1.4. Espacio de Borel.
Denicion: Es el espacio medible (, B) tal que (, T ) es un espacio topologico, y B es
la - algebra de los conjuntos de Borel, esto es, B = (T ).
Espacio de Borel real: Es (R
n
, B
n
) donde B
n
es la -algebra generada por los abiertos
de la topologa eucldea sobre R
n
, B
n
= (T ()). En consecuencia, B
n
contiene a todos los
intervalos de R
n
y, por tanto, contiene tambien a todos los conjuntos de R
n
obtenidos por
uniones, intersecciones y complementaciones de ellos. No obstante, existen conjuntos de R
n
que no son conjuntos de Borel.
B
n
sobre R
n
puede describirse, equivalentemente, como la -algebra generada por
El semianillo de los intervalos nitos (x, y]: B
n
= ({(x, y]; x, y R
n
, con x < y})
La clase de los intervalos innitos (, x]: B
n
= ({(, x]; x R
n
})
La semialgebra de los intervalos nitos o innitos de:
B
n
= ({, R
n
, (, w], (x, y], (z, +); w, x, y, z R
n
})
La clase de los compactos de R
n
.
1-9
1.5. Espacio medible producto (Caso nito).
{(
i
, A
i
)}
n
i=1
(, A)
=

n
i=1

i
= {(w
1
, . . . , w
n
); w
i

i
, i = 1, . . . , n} es el espacio producto.
Objetivo: Como construir la -algebra A?
Caso bidimensional
Secciones de un conjunto A : A(w
i
) para i = 1, 2.
Rectangulo: A
1
A
2
, donde A
i

i
i, son sus lados.
Propiedades:
1. A
1
A
2
= A
1
= A
2
=
2. Dados dos rectangulos no vacos, A
1
A
2
B
1
B
2
si, y s olo si A
i
B
i
para
i = 1, 2.
3. Si A
1
A
2
= B
1
B
2
A
i
= B
i
para i = 1, 2.
1-10
4. El producto cartesiano es distributivo respecto a la uni on por ambos lados:
a) (A
1
B
1
) A
2
= (A
1
A
2
) (B
1
A
2
).
b) A
1
(A
2
B
2
) = (A
1
A
2
) (A
1
B
2
).
5. El producto cartesiano es distributivo respecto a la intersecci on por ambos lados:
a) (A
1
B
1
) A
2
= (A
1
A
2
) (B
1
A
2
).
b) A
1
(A
2
B
2
) = (A
1
A
2
) (A
1
B
2
).
6. (A
1
A
2
) (B
1
B
2
) = (A
1
B
1
) (A
2
B
2
).
a) (A
1
A
2
) (B
1
B
2
) = (A
1
B
2
) (B
1
A
2
).
7. A
1
(A
2
B
2
) = (A
1
A
2
) (A
1
B
2
).
8. Dados tres rectangulos no vacos, A
1
A
2
= B
1
B
2
+ C
1
C
2
si, y s olo si
A
1
= B
1
+ C
1
y A
2
= B
2
= C
2
o A
1
= B
1
= C
1
y A
2
= B
2
+ C
2
9. La diferencia de dos rect angulos no suele ser un rect angulo, pero siempre puede
expresarse como union de ellos:
a) (A
1
A
2
) (B
1
B
2
) = [(A
1
B
1
) (A
2
B
2
)] [(A
1
B
1
) (A
2
B
2
)]
[(A
1
B
1
) (A
2
B
2
)]
b) (A
1
A
2
) (B
1
B
2
) = [(A
1
B
1
) A
2
] [B
1
(A
2
B
2
)]
1-11
Consecuencia: La clase de los rectangulos cuyos lados son conjuntos medibles,
R = {A
1
A
2
; A
i
A
i
i = 1, 2}
es una semialgebra, que llamamos semi algebra producto.
Denicion. La -algebra producto es
A A
1
A
2
= ( R)
Propiedad: Toda seccion de un conjunto medible A A es un conjunto medible, esto
es, A A
1
A
2
A(w
1
) A
2
w
1

1
y A(w
2
) A
1
w
2

2
Aplicacion: Si (
i
, A
i
) (R, B) para i = 1, 2 entonces el espacio medible producto es
(R
2
, B B) donde B B es la -algebra generada por la semi algebra de los rectangulos
medibles:
B B = ({B
1
B
2
; B
i
B, i = 1, 2})
y si B
2
es la -algebra de Borel sobre R
2
, se demuestra que
B
2
= B B
1-12
Caso nitodimensional
Rectangulo: A
1
A
2
A
n
, donde A
i

i
i, son sus lados.
Propiedad: La semialgebra producto es la semi algebra de los rectangulos cuyos lados
son conjuntos medibles,
R =
_
n

i=1
A
i
; A
i
A
i
i = 1, . . . , n
_
Denicion. La -algebra producto es
A = ( R)
Propiedad: Toda seccion de un conjunto medible A A es un conjunto medible,
A A, w
i

i
A(w
i
) A
(i)
Aplicacion: Si (
i
, A
i
) (R, B) para cada i = 1, . . . , n, el espacio medible producto es
esta formado por
Espacio producto: R
n
, y
1-13
La -algebra producto de las n -algebras de Borel B de R, eso es, la -algebra
generada por la semi algebra de los rectangulos medibles:
(n)
..
B B B
n
B =
__
n

i=1
B
i
; B
i
B, i = 1, . . . , n
__
y tambien en este caso se demuestra que,
B
n
=
n
B
siendo B
n
la -algebra de Borel sobre R
n
.
1-14