1 Ejercicio 1.1.1(Cerradura Booleana).

Muestre que si E, F Rd son conjuntos elementales, entonces la unin E F , la interseccin E F y la difeo o rencia( de conjuntos ) E \ F := {x E : x F } y su diferencia simtrica / e EF := (E \ F ) (F \ E) tambin son elementales. Si x Rd , muestre que la e traslacin E + x := {y + x : y E} tambien es un conjunto elemental. o e Solucin. o Consideremos los siguientes conjuntos elementales E=
n

In ,

F =
m

Jm

i) Veamos la interseccin. o EF =
n

In
m

Jm

donde In y Jm son cajas. Como distribuye sobre In

n m

Jm =
n,m

(In Jm )

puesto que interseccin de cajas es tambin una caja, esto es, (In Jm ) es caja, o e entonces E F es un conjunto elemental. Note que en caso que (In Jm ) = , entonces = es elemental. Afrimacin. Una caja menos un conjunto elemental, es un conjunto eleo mental. Demostracin o Consideremos una caja P y un conjunto elemental Q = P\
n n

Sn , entonces

Sn =
n

P \ Sn

luego formamos la unin iii) Veamos la unin. o o En este caso conviene considerar una caja R tal que E, F R y escribir a E y F de la siguiente manera: E = R \ (R \ E) y F = R \ (R \ F )

como ya probamos la interseccin y por la armacin, se sigue que o o R \ [(\R \ E) (\R \ F )] [R \ (R \ E)] [R \ (R \ F )] EF

2 entonces, E F es un conjunto elemental. iii) Veamos la diferencia. Como E F R, y como consecuencia de lo probado anteriormente, E (R \F ) es un conjunto elemental, pero como E (R \ F ) = E \ F , entonces tenemos la diferencia. iv) Veamos la diferencia simtrica. e Por un resultado de la teor de conjuntos (AB) = (A B) \ (A B), por todo a lo probado anteriormente (interseccin, diferencia, unin e interseccin) o o o (EF ) = (E F ) \ (E F ) por lo tanto la diferencia sim letrica de conjuntos elementales es un conjunto elemental Ejercicio 1.1.2. De una prueba alterna del Lema 1.1.2(ii) mostrando que para cualesquiera dos particiones de E en cajas admiten un renamiento mutuo en cajas como resultado de tomar el producto cartesiano de elementos de una coleccin nita de intervalos disjuntos. o Lemma 1.1.2 (Medida de un conjunto elemental). Considere E Rd un conjunto elemental. (i) E pude ser expresada como unin nita de cajas. o (ii)Si tomamos una particin de E , es decir, como una unin nita B1 . . . Bk o o de cajas disjuntas, entonces la medida m(E) := |B1 |+...+|Bk | es independiente de la particin. Dicho de otra forma, dada otra particin arbitraria B1 . . .Bk o o de E, se tiene que |B1 | + ... + |Bk | = |B1 | + . . . + |Bk |. Solucin. o Consideremos E =
n

Rn =

Rk .

Caso 1) Si pasa que Rk Rk = , no hay nada que hacer. Caso 2) Tenemos Rk Rk = , esto es, las cajas se traslapan. Para dilucidar este hecho de una manera estricta, pero al menos un poco ms a clara(segn yo), consideremos el caso en dos dimensiones, entonces hagamos u R = n [i , i ] n [i , i ] = R i=1 i=1 entonces, (i = 1, 2 . . . n )x = (x1 . . . xn ) R xi [i , i ] (i = 1, 2 . . . n ) i xi i de manera anloga para R a (i = 1, 2 . . . n )x = (x1 . . . xn ) R xi [i , i ]

(i = 1, 2 . . . n ) i xi i ahora si tomamos min(i , i ) y max(i , i ), se preserva la desigualdad, es decir (i = 1, 2 . . . n ) min(i , i ) xi max(i , i )

3 y esto ultimo pasa x n [min(i , i ), max(i , i )] i=1 con lo cual podemos concluir que R R es tambin una caja, obtenida a partir e de producto cartesiano de intervalos disjuntos. As Rk Rk es un renamiento mutuo de Rk y Rk . Entonces m(E) := |R1 | + ... + |Rk | = |R1 R1 | + ... + |Rk Rk | = |R1 | + ... + |Rk | .

Ejercicio 1.1.3(Unicidad de la medida elemental). Sea d 1. Sea m : E(Rd ) R+ una funcin de la coleccin E(Rd ) de subconjuntos elementales de Rd a los o o reales no negativos que cumple las propiedades: no negatividad, aditividad nita e invirancia por traslacin. Muestre que existe una constante c R+ tal que o m (E) = cm(E) para cualquier conjunto elemental E. En particular, si asignamos la normalizacin adicional m ([0, 1)d ) = 1, entonces m m.(Sugerencia: o 1 Haga c := m ([0, 1)d ), y despus calcule m ([0, n )d ) para cualquier entero posie tivo n.) Solucin.... pendiente o

Ejercicio 1.1.4. Sea d1 , d2 1 y considere E1 Rd1 , E2 Rd2 conjuntos elementales . Muestre que E1 E2 Rd1 +d2 es elemental, y md1 +d2 (E1 E2 ) = md1 (E1 ) md2 (E2 ). Solucin. o Consideremos los siguientes conjuntos elementales E1 =
in

In ,

E2 =
im

Jm

donde In y Jn son cajas. i) E1 E2 Rd1 +d2 Demostracin. o E1 E2 =

in

In
im

Jm =

{Ii Jj : (i, j) I J}

entonces E1 E2 = y adems E1 Rd1 , E2 Rd2 y esto pasa si y slo si a o E1 E2 Rd1 Rd2 = Rd1 +d2

4 ii) md1 +d2 (E1 E2 ) = md1 (E1 ) md2 (E2 ). Demostracin. o Tenemos que
d d md1 (E1 ) = |B1 1 | + + |Bk 1 |

y
d d md2 (E2 ) = |P1 2 | + + |Pk 2 |

entonces
d d d d md1 (E1 ) md2 (E2 ) = |B1 1 | + + |Bk 1 | |P1 2 | + + |Pk 2 | d d d d d d d d |B1 1 | |P1 2 | + + |Bk 1 | |Pk 2 | = |B1 1 P1 2 | + + |Bk 1 Pk 2 | d d d d |B1 1 P1 2 | + + |Bk 1 Pk 2 | = |(B1 P1 )d1 +d2 | + + |(Bk Pk )d1 +d2 |

|(B1 P1 )d1 +d2 | + + |(Bk Pk )d1 +d2 | = md1 +d2 (E1 E2 )

Ejercicio 1.1.5.(Caracterizacin de la medida de Jordan). Sea E Rd un o conjunto acotado. Muestre que las siguientes armaciones son equivalentes: (1) E es medible segn Jordan u (2) Para todo > 0, existen conjuntos elementales A E B tal que m(B \ A) (3) Para cualquier > 0 existe un conjunto elemental A tal que m,(J) (AB) Solucin. o i) Veamos que (1) implica (2) ) La premisa es, E es medible segn Jordan, entonces por denicin tenemos u o que m(E) = m (E) = m (E) Doy > 0, entonces existe un conjunto elemental de A tal que A E de tal suerte que m(E) m(A) < 2 Por otro lado, existe un conjunto elemental B tal que E B, entonces m(B) m(E) < 2 sumamos ambas desigualdades y obtenemos m(E) m(A) + m(B) m(E) = m(B) m(A) < + < 2 2 ii)Veriquemos que (2) implica (1) Doy > 0, como m(A) < m (E) m (E) < m(B), entonces m (E) m (E) m(B) m(A) < Por lo tanto m (E) = m (E)