-algebra producto y -algebra inducida por una familia de

funciones

1. -
algebra producto
Q
Sea un conjunto T 6= , y sean (Yt , Yt ), tQ T , espacios medibles. Sea Y = tT Yt . Si E
T , definimos la proyeccion de Y en YE = tE Yt , como la aplicacion PE : Y YE tal que
PE ((yt )tT ) = (yt )tE . Para t T , escribimos Pt en lugar de P{t} . Consideremos las siguientes
clases:
La clase de los cilindros medibles,
n o
C0 = Pt1 (A) Y : t T A Yt .

Note que C0 y C0 es cerrada bajo complementacion. Si nombramos A = At a un subcon-

junto de Yt en Yt , a veces escribimos
!
Y
At Ys ,
sT, s6=t

en lugar de Pt1 (A). Tambien podemos escribir

{y = (ys )sT Y : yt At }
en lugar de Pt1 (A).
La clase formada por las intersecciones finitas de cilindros medibles,
n\ o
C1 = B Y : B C0 , finito .

Note que C0 C1 y C1 es cerrada bajo intersecciones finitas. Note ademas que C C1

si, existe un subconjunto E T finito y subconjuntos As Ys , s E, tales que
si, y solo Q
C = PE1 ( sE As ). Si escribimos E = {t1 , ..., tm }, y elegimos Atj Ytj , para cada 1 j m,
a veces escribimos !
m
Y Y
Atj Ys
j=1 sT, s6=tj , 1jm

en lugar de PE1 (
Q
sE As ). Tambien escribimos a veces
{y = (ys )sT : ytj Atj , 1 j m}.
en lugar de PE1 (
Q
sE As ).

1
 La clase de las uniones finitas de intersecciones finitas de cilindros medibles,
n[ o
C2 = D Y : D C, finito .

Note que C1 C2 y C2 es cerrada bajo uniones finitas.

La clase de las uniones finitas ajenas de intersecciones finitas de cilindros medibles,

n[ o
C2 = D Y : D C, subfamilia finita de subconjuntos ajenos .

Note que C1 C2 C2 y C2 es cerrada bajo uniones finitas ajenas.

Q
Definici
on 1.1. El -algebra sobre Y = tT Yt definido y denotado como
O

Yt := C0 ,
tT

es llamado -
algebra producto.

N
Proposicion 1.1. tT Yt = (C1 ) = (C2 ) = (C2 ).

Demostracion. Claramente,
C0 C1 C2 C2 (C0 ).

Lema 1.1. La clase C1 es un demi-anillo (i.e. es una clase cerrada para intersecciones finitas, y la
diferencia de cualquiera dos elementos de C1 es una union finita disjunta de elementos de C1 ).

Demostracion. Sea L T y L0 T finitos. Sea At Yt y A0t0 Yt0 para cada t L y t0 L0 .

Consideremos los conjuntos en C1 ,
! !
Y Y Y Y
C= At Ys y D = A0t0 Ys .
tL sT \L t0 L0 sT \L0

Para cada r L\L0 (si hubiere), defimos A0r = Yr , y para cada r0 L0 \L (si hubiere), definimos
A0r0 = Yr0 . De esta forma, podemos suponer, sin perdida de generalidad que

L = L0 = {t1 , ..., tn },

para alg un n 1. Sea k {1, ..., n}. Tomamos k ndices distintos j1 , ..., jk {1, ..., n} y tomamos
el conjunto (posiblemente vaco)

      n
Y Y
Bk (j1 , ..., jk ) = Atj1 \A0tj1 Atj2 \A0tj2 Atjk \A0tj Ati A0ti Ys .

k
i=1 sT \L
i6=j1 ,...,jk

2
Entonces Bk (j1 , ..., jk ) C. Ademas, si {j1 , ..., jk } y {j10 , ..., jk0 } son dos conjuntos de k ndices
distintos tales que {j1 , ..., jk } 6= {j10 , ..., jk0 }, entonces Bk (j1 , ..., jk ) Bk (j10 , ..., jk0 ) = . Definimos el
conjunto [
Bk = Ck (j1 , ..., jk ).
j1 ,...,jk {1,...,n}
distintos

Entonces n
[
C\D = Bk .
k=1

Corolario 1.1. C2 y E2 son algebras de subconjuntos. Mas a

un, (C0 ) = (C1 ) = C2 = C .

Demostracion. Que (C0 ) = C2 se sigue del lema anterior y de la Proposicion 3.2.3. del libro de
Dudley, Real analysis and probability, pagina 96. Ahora,

C0 C1 C2 C2 (C0 ).

Podemos generalizar esta idea del modo siguiente.

Lema 1.2. Sea X un conjunto no vaco y sea A una clase de subconjuntos de X cerrada bajo
complementacion. Entonces

a) (A) es la clase de todas las uniones finitas de intersecciones finitas de subconjuntos en A.

b) (A) es la clase de todas las uniones finitas ajenas de intersecciones finitas de subconjuntos
en A.

c) La clase C de todas las intersecciones finitas de subconjuntos en A es demi-anillo, y tambien

(C) = (A).

Demostracion. Sea U la clase de todas las uniones finitas de intersecciones finitas de subconjuntos
de A. Sea n 1. Para cada k = 1, ..., n, sea mk 1 y sea {Ak1 , Ak2 ,S ..., Akmk } A una coleccion
finita de subconjuntos en A, y sea Bk = A1 A2 Amk . Si U = nk=1 Bk , entonces
k k k

n
! n m1 [m2 mn
/ [ \ [ [
(X\A1i1 ) (X\A2i2 ) (X\Anin ) U.
 
X\U = X Bk = X\Bk =
k=1 k=1 i1 =1 i2 =1 in =1

Entonces U es algebra y claramente A U (A).

Por otro lado, A C (A), de donde (C) = (A).
Ahora, sean A y B dos conjuntos en C. Sin perdida de la generalidad, podemos escribir

A = A1 A2 An y B = B1 B2 Bn ,

3
donde Ai y Bi es un subconjunto en A o bien es X mismo, para todo i = 1, ..., n. Para cada
k = 1, ..., n, tomamos k ndices distintos j1 , ..., jk {1, ..., n} y tomamos el conjunto

k
! n
\ \ \
Ck (j1 , ..., jk ) = (Aji \Bji )
(Aj Bj ).

i=1 j=1
j {j
/ 1 ,...,jk }

Notamos que Ck (j1 , ..., jk ) C o bien es el conjunto vaco, ademas tales conjuntos son ajenos. Sea
[
Ck = Ck (j1 , ..., jk ).
j1 ,...,jk {1,...,n}
distintos

Entonces n
[
A\B = Ck .
k=1

Lo que prueba que C es un demianillo, y por el mismo resultado del libro de Dudley, (C) es la clase
de todas las uniones finitas ajenas de intersecciones finitas de subconjuntos de A.

2. -
algebra inducida
Sean X 6= y T 6= dos conjuntos, y sean (Yt , Yt ), t T , espacios medibles. Sea F := {ft }tT
una familia de funciones ft : X Yt , t T .

Definici on 2.1. La mnima -algebra sobre X, denotada por (F ) o ({ft }tT ), tal que para cada
t T , la funcion ft es (F )/Yt -medible es llamada -algebra inducida por la familia F = {ft }tT .
N Q
Proposici on 2.1. La -algebra producto tT Yt sobre Y = tT Yt es la -algebraNinducida por
la familia de proyecciones naturales {t : t T }. Es decir, la -algebra producto tT Yt es la
mnima -algebra para la cual las proyecciones naturales son medibles.

Demostracion. Es inmediato.

Teorema 2.1. {ft }tT = {ft1 (A) : t T, A Yt }

Demostracion. La contension es inmediata. Por otra parte, es claro que cada ft es medible
respecto de la -algebra de la parte derecha, por lo tanto la contension tambien es valida.
 N
Teorema 2.2. ({ft }tT ) = {x X : (ft (x))tT B} X : B tT Yt .
Q
Demostracion. Para abreviar, si B t Yt , hacemos

G(B) = {x X : (ft (x))tT B} X.

Tenemos,
Q
a) G ( t Yt ) = X,

4
 Q Q
b) X\G(B) = G (( t Yt )\B), para todo B t Yt , y
S S Q
c) n G(Bn ) = G ( n Bn ) para cualquier familia numerable de subconjuntos Bn t Yt , n N.
Se sigue inmediatamente que las clases
 O
G : = G(B) : B Yt
tT
 O
F := B Yt : G(B) ({ft }tT )
tT
Q
son -algebras sobre X y sobre tT Tt , respectivamente.
Por otro lado, si t T , A Yt , y si definimos
!
Y
Bt = Ys A
sT, s6=t

entonces
ft1 (A) = {x X : (fs (x))sT Bt } = G(Bt ).
Luego, si ademas A Yt , por un lado, ft1 (A)
NG, de donde se concluye que ft es G/Yt -medible.
Y por otro lado, G(Bt ) ({fs }sT ), de donde sT Ys = F. Y por lo tanto

({fs }sT ) G ({fs }sT ).

Esto es, ({fs }sT ) = G

Q
Corolario 2.1. Si definimos la funcion f : X t Yt dada por f (x) = (ft (x))tT , entonces
!
O
({ft }tT ) = f 1 Yt = (f 1 (C0 )) = (f 1 (C1 )) = (f 1 (C2 )) = (f 1 (C2 )).
t

Teorema 2.3. Si H ({ft }tT ), entonces existe un subconjunto S T a lo sumo numerable tal
que H ({fs }sS ).
Demostracion. Definimos la clase

H = {H ({ft }tT ) : S T numerable t.q. H ({fs }sT )}.

Claramente H es -algebra. Por otro lado, para s T fijo y A Ys , y definimos

!
Y
Bs = Ys A,
tT, t6=s

entonces, como antes,

fs1 (A) = {x X : (ft (x))tT Bs } = G(Bs ),
y dado que f 1 (A) (fs ), se sigue que G(Bs ) H. Luego el resultado se sigue inmediatamente
del teorema y corolario anterior.
Estas notas estan referidas a los problemas del Karatzas