El Problema de la Medida

En sus esfuerzos por resolverlos, los losofos tienden a buscar algo asi
como un metodo o una tecnica, o una clave infalible para el exito losoco.
Pero tales metodos o tecnicas no existen...... Lo que importa no son los
metodos o tecnicas, sino la sensibilidad para los problemas y la ardiente
pasion por ellos. K.R.Popper
1
1. Preliminares
Nos proponemos formalizar la idea de Volumen. Lo que buscamos es una forma
de medir los conjuntos, es decir a cada E R
n
le queremos asignar un numero real
al que denotaremos |E| que jugara el rol de su Volumen. Esta asignacion debe ser
coherente con nuestra idea intuitiva de Volumen, es por eso que vamos a pedirle que
se veriquen 2 condiciones:
Si A B R
n
entonces |A| |B|
Si A, B R
n
con A y B disjuntos entonces |A B| = |A| +|B|
Resulta natural pedirle ademas que si I es un intervalo, es decir I =

[a
i
, b
i
]
entonces |I| = V(I) (donde V(I) =

(b
i
a
i
) es su volumen). Como medir el resto
de los conjuntos?
La primer idea que surgue es la de aproximar al conjunto con intervalos y asi
aproximar su medida. Si cubrimos a nuestro conjunto E con una coleccion de inter-
valos entonces sus medidas deberian sumar al menos la medida de E. Es entonces
que llegamos a nuestra primer dencion, la medida exterior. Es esencial permitirnos
incluso cubrimientos por numerables intervalos, no solo nitos. Si E R
n
entonces
|E|
e
= inf
_

V(I
j
) : E
_
I
j
, I
j
intervalo
_
Resulta que con esta denicion la primer propiedad se verica trivialemente pero
la segunda resulta falsa. Pero no todo esta perdido, nos podemos restringir a una
1
Debo a Lucas esta cita de Popper (yo nunca lei nada de Popper).
1
clase mas chica de conjuntos para los que si valga la segunda propiedad. Lo que
haremos es quedarnos con los conjuntos que podemos aproximar sucientemente bien
con abiertos.
Decimos que E R
n
es medible si para todo > 0 existe un abierto G R
n
tal
que |GE|
e
< . En el caso en que E sea medible, |E| = |E|
e
, esta es su Medida de
Lebesgue.
1. Si tenemos un intervalo I R
n
cubierto por intervalos I
1
,...,I
n
,.. entonces

V(I
i
) V(I). Concluir que |I|
e
= V(I).
2. Sea E R
n
, dado > 0 existe G R
2
abierto tal que E G y
|G|
e
|E|
e
+
3. Si F R
n
es cerrado entonces F es medible.
4. Sea E R
n
medible, con |E| < probar que para todo > 0 existen nitos
intervalos I
1
, ...I
k
tales que |E

I
j
| < .
5. Si E
1
, ..., E
n
, .. son todos medibles (una cantidad numerable) probar que

E
i
y

E
i
tambien lo son.
6. Sea E R
n
medible, probar que E = H Z donde H es un F

y |Z| = 0.
7. Si E
1
, E
2
R
n
son tales que d(E
1
, E
2
) > 0 entonces
|E
1
E
2
|
e
= |E
1
|
e
+|E
2
|
e
Nota: Si A, B R
n
denimos d(A, B) =nf |ab| donde el inmo recorre todos
los pares con a A y b B.
8. Si los E
i
son medibles disjuntos (una cantidad numerable) entonces
|
_
E
i
| =

|E
i
|
9. Si E
1
, E
2
, .. es una sucesion creciente de conjuntos entonces
|
_
E
i
|
e
= lm
k
|E
k
|
e
10. (Caratheodory) Sea A R
n
, probar que A es medible si y solo si para todo
E R
n
|E|
e
= |E A|
e
+|E A
c
|
e
2
2. Generalidades
Si tenemos A, B R
n
entonces A +B R
n
es su suma de Minkowski donde
A +B = {x R
n
/x = a +b, a A, b B}
Si tenemos A, B R
n
entonces A B R
2n
donde
A B =
_
(a, b) R
2n
/a A, b B
_
1. Sea N R el conjunto de los numeros reales que no usan al 7 en su expresion
decimal. Probar que |N| = 0.
2. Existe A R, medible, tal que |A [a, b]| =
ba
2
para todo intervalo [a, b]? Y
no medible?
3. Dado A R
n
, |A|
e
> 0 y > 0 probar que existe un cubo C tal que
|A C|
e
> (1 )|C|
Sugerencia: Hacer primero el caso n = 1.
4. Sean A, B R con |A|
e
, |B|
e
de medida nita. Demostrar que
|A B|
e
= |A|
e
+|B|
e
si y solo si existen A
1
, B
1
medibles tales que A A
1
, B B
1
y |A
1
B
1
| = 0.
5. Sea A R
n
tal que |A|
e
> 0 entonces existe B A con B no medible.
6. Sea A R tal que |A| = 0 probar que existe B R tal que A B = y B es
no numerable con |B| = 0.
7. Si E R es tal que |E|
e
> 0 entonces existe N E no numerable tal que
cualquier subconjunto no numerable de N tiene medida exterior positiva.
8. Probar que cualquier conjunto con medida positiva tiene cardinal c.
9. Puede ser que A R con |A| = 0 de forma que existe tal que no se puede
cubrir A con una familia {I
j
}
jJ
de intervalos I
j
donde |I
j
|

2
j
?
10. Sea T : R
n
R
n
una transformacion lineal, luego |T(A)|
e
= |detT||A|
e
11. Sea A R
n
convexo. Probar que A es medible.
3
12. Sea {C
j
}
jJ
una familia de cubos de R
n
con lados paralelos a los ejes, probar
que

C
j
es medible.
13. Sea {T
j
}
jJ
una familia de triangulos en el plano, probar que

T
j
es medible.
14. Sea E R con |E|
e
> 0, entonces E contiene una cantidad no numerbale de
conjuntos disjuntos de medida exterior positiva.
15. Demostrar que no existe una familia no numerable de medibles disjuntos con
medida positiva.
16. Sean E
1
, E
2
R
n
medibles. Probar que E
1
E
2
es medible y
|E
1
E
2
| = |E
1
||E
2
|
Que pasa si E
1
y E
2
no son medibles?
17. (Cavalieri) Sean A, B R
n
medibles y H(t) = {x R
n
/x = (t, ...)}. Supong-
amos que para todo t R
|A H(t)| = |B H(t)|
Probar que |A| = |B|.
18. Sea A R
n
tal que diam(A) < 2 luego |A|
e
< |B(0, )|.
19. (Brunn-Minkowski) Sean A, B R
2
poligonos, probar que
_
|A +B|
_
|A| +
_
|B|
3. Borelianos
Sea B la menor familia de subconjuntos de R que es cerrada por tomar complemen-
to, por uniones e intersecciones numerables y ademas contiene a todos los abiertos.
Los elementos de esta familia son los Borelianos de R (para R
n
, o mas aun para un
espacio topologico, se denen de forma analoga). Denamos
Q
0
= {A R, A abierto}
P
0
= {A R, A cerrado}
Q
n
=
_
A =

_
i=1
A
i
, A
i
P
n1
_
4
P
n
=
_
A =

i=1
A
i
, A
i
Q
n1
_
Claramente P
n
, Q
n
B, Son estos todos los Borelianos ?
Recordemos que G

= P
1
y F

= P
2
. Para R
2
se denen P
2
n
y Q
2
n
de forma
analoga.
1. Sean A
1
, A
2
, ... Borelianos de R, probar que los x tales que si x A
n
entonces
x A
n+1
es un Boreliano.
2. Sean A, B R Borelianos , probar que A B R
2
tambien es un Boreliano.
3. Hallar el cardinal de los Borelianos de la recta.
4. Probar que Q no es un G

.
5. Sea f : R R, probar que los puntos donde f es continua es un G

6. Si f : R R es continua, los puntos donde f es diferenciable es un F

.
7. Si f
n
: R R son continuas, los x para los que

f
n
converge es un F

.
8. Decimos que a = 0.a
1
a
2
a
3
.... es normal con respecto al 9, si
lm
#A(n)
n
=
1
10
donde
A(n) = {i/a
i
= 9, i = 1, ..., n}
Probar que los numeros normales con respecto al 9 son un F

.
9. Probar que existe H [0, 1] [0, 1] tal que H P
2
n
y para todo A [0, 1] con
A P
n
, existe x [0, 1] tal que:
H
x
= {y R/(x, y) H} = A
10. (H.Lebesgue) Probar que existe H P
n+1
tal que H P
n
Q
n
.
11. Probar que existe un Boreliano que no esta en ningun P
n
.
5
4. Partir Figuras y Banach-Tarski
Si tenemos A, B R
n
vamos a decir que con A podemos armar B si existen
A
1
, .., A
m
R
n
y B
1
, ..., B
m
R
n
tales que
Los A
i
son disjuntos y A =

A
i
Los B
j
son disjuntos y B =

B
j
Cada A
i
se obtiene rotando, reejando y/o trasladando B
i
Cuando las piezas sean Poligonos o Poliedros vamos a permitirnos que las piezas se
toquen en sus bordes, es decir que se solapen pero no que se intersequen sus interiores.
Ademas si A, B R
n
decimos que A

= B si B se obtiene de A rotando, reejando
y/o trasladando.
1. (Bolyai-Gerwien) Sean A, B poligonos en R
2
tales que |A| = |B|, entonces A se
puede cortar en una cantidad nita de poligonos y con las piezas armar B.
2. Sea : Poligonos R
2
R
0
tal que
Si A y B solo se solapan entonces (A B) = (A) +(B).
Si A

= B entonces (A) = (B).
Si Q
2
= [0, 1] [0, 1] entonces (Q
2
) = 1.
Probar que (A) = |A| para todo poligono A R
2
.
3. Supongamos que tenemos 2 rectangulos R y S de lados paralelos de r
1
r
2
y
s
1
s
2
respectivamente. Se sabe que R =

n
1
R
i
y S =

n
1
S
i
donde los R
i
y
los S
i
son rectangulos de lados paralelos a los de R y S y S
i
se obtiene de R
i
trasladandolo. Probar que
r
1
s
1
Q.
Sugerencia: Sea f : R R una funcion tal que f(x + y) = f(x) + f(y) y si T
es un rectangulo de lados a b poner |T|
f
= f(a) b.
4. Sean A, B R
n
tales que con A se puede armar algo que cubra a B y con B se
puede armar algo que cubra a A. Probar que con A podemos armar B.
5. Probar que existen A
1
, A
2
, B
1
, B
2
(disjuntos) tales que A
2
y B
2
se obtienen
dilatando A
1
y B
1
respectivamente y A
1
B
1
es un cuadrado mientras que
A
2
B
2
es un circulo.
6. Probar que con un cuadrado se puede armar un circulo Puede hacerse con
piezas Borelianas?Medibles?
6
7. (Tercer Problema de Hilbert) Probar que con un Tetraedro no se puede armar
un Cubo si las piezas deben ser poliedros. Se puede con piezas Borelianas?
8. Sea S = {x R
3
, |x| = 1}. Probar que existe A S tal que S contiene innitas
copias disjuntas de A pero 4 copias de A alcanzan para tapar S.
Sugerencia: Considerar el grupo libre de automorsmos de la esfera generado
por 2 rotaciones adecuadas.
9. (Banach-Tarski) Sea B R
3
donde B = {x R
3
, |x| 1}. Probar que se puede
partir B en una cantidad nita de pedazos y con ellos armar 2 bolas iguales a
la primera.
10. Si A, B R
3
son tales que A

= y B

= entonces con A se puede armar B.

5. Estructura Aditiva
Un Vitali V R es un conjunto tal que para todo x R existe un unico y V
con x y Q. Es facil ver (usando el lema de Zorn) que si tenemos V

R tal que
si x, y V

luego x y Q entonces V

V para algun Vitali V .

Por ultimo, una Base de Hamel es una base de R como Qespacio vectorial.
1. (Steinhaus) Si A R
n
es medible y |A| > 0, entonces existe > 0 tal que
B(0, ) A A.
2. Sea V R un Vitali, probar que V no es medible, |V |
e
> 0 y si F V con F
cerrado entonces |F| = 0.
3. Construir un Vitali V tal que |V [0, 1]|
e
= 1.
4. Construir un Vitali V tal que |V [a, b]|
e
= b a para todo a < b.
5. Construir un Vitali V tal que V [0, 1] y |V |
e
= a donde 0 < a 1 es dado.
6. Cualquier Subgrupo de R tiene medida cero o medida exterior maxima en cada
subintervalo.
7. (Erdos-Volkmann 1966) Para todo s [0, 1] existe A R, donde A es un
subgrupo aditivo de R que es un boreliano de dimension de Hausdor s.
8. Tiene R
n
subgrupos medibles de medidad positiva? Y cerrados?
9. Sea R, con = {r
i
} un conjunto no numerable linealmente independiente
sobre Q. Que valores puede tener | < > |
e
?
7
10. Construir una base de Hamel H R con |H| = 0. Puede ser H Boreliano?
11. Sea A R, A medible. Si |(A +x) A| = |A| entonces x = 0.
12. Sea A R, A medible. Si f(x) = |(A +x) A| probar que f es continua.
13. Sea E R medible tal que, si x, y E entonces
x+y
2
E. Probar que E tiene
medida cero.
14. Hallar todas las funciones f : R R medibles tales que para todo x, y R
f(x +y) = f(x) +f(y)
15. (Macbeath) Sean A, B R
+
medibles tales que inf A = inf B = 0. Si
|A [0, t]| +|B [0, t]| t
par algun 1 y todo t x, entonces
|(A +B) [0, x]|
i
x
16. Si X, Y R
n
son borelianos entonces X + Y es medible aunque no necesaria-
mente boreliano.
17. (Sierpinski) Probar que existen medibles X, Y tales que X + Y es no medible.
Puede ser X = Y ?
18. Sean X, Y R
n
, medibles no vacios acotados y denamos
X +
e
Y = {z R
n
/|X (z Y )| > 0}
Probar que X +
e
Y es abierto.
19. Sean A, B R
n
medibles con |A| > 0 y |B| > 0. Probar que (A+B)

= . Es
necesaria la hipotesis de A y B medibles?
6. Funciones
Dada una funcion f : E R con E R
n
y E medible, decimos que f es medible
(medible Borel) si {x/f(x) > a} es medible (Boreliano) para todo a R.
Si tenemos f : [a, b] R, decimos que f es absolutamente continua si dado > 0,
existe > 0 tal que para cualquier coleccion de intervalos disjuntos {[a
i
, b
i
]} (no
necesariamente nita) vale que si

(b
i
a
i
) < entonces

|f(b
i
) f(a
i
)| <
8
1. Si f : R R es medible entonces existe g : R R tal que f(x) = g(x) para
casi todo punto con g medible Borel. Se puede pedir g continua?
2. Hallar f, g : R R, con f = g en casi todo punto de forma que f sea continua
y g sea discontinua en casi todo punto.
3. Si f : R R es derivable sobre R entonces su derivada es medible Borel.
4. (Lusin) Sea E R
n
, f : E R. Luego f es medible si y solo si para todo > 0
existe un cerrado F E tal que |E F| < y f es continua en F.
5. Sea f : [a, b] R, medible y > 0. Probar que existe g : [a, b] R tal que
|x/f(x) = g(x)| <
6. (Egorov) Sean f, f
k
: E R, con E R
n
, E medible de medida nita y
supongamos que lmf
k
(x) = f(x) para casi todo x E. Entonces para todo
> 0 hay un cerrado F E tal que |E F| < y f
k
convergen uniformemente
a f en F.
7. (Wolfgang Walter) Construir un contraejemplo para Egorov con parametro con-
tinuo es decir una familia de funciones {f
t
} con t [0, 1].
8. Sea f : [0, 1] [0, 1] R. Si f es continua en cada variable entonces es medible.
9. Si f : R R es monotona entonces es medible Borel, tiene a lo sumo numerables
discontinuidades y es derivable en casi todo punto.
10. (Rademacher) Si f : R
n
R
n
es Lipschitz entonces es diferenciable en casi
todo punto.
11. Si f : [a, b] R es absolutamente continua y Z [a, b] con |Z| = 0, entonces
|f(Z)| = 0.
12. Si f : [a, b] R es absolutamente continua y f(x) = 0 para casi todo x [a, b]
entonces f es constante.
13. (Variacion del lema de Riesz del Sol Naciente) Sea G : [a, b] R continua y
U (a, b) abierto. Luego
U
G
= {x U/ existe y > x, (x, y) U, G(x) > G(y)}
es abierto. Ademas si (c, d) es una componente de U
G
entonces G(c) > G(d).
9
14. Sea f : [0, 1] R una funcion creciente. Y denamos
g(x) = lm
h0
sup
f(x +h) f(x)
h
Probar que la medida exterior de los x tales que g(x) > 1 es f(1) f(0).
7. Medidas Abstractas
Si tenemos una familia de conjuntos F cerrada por uniones y : F R decimos
que es aditiva si (AB) = (A)+(B) para todos los pares de conjuntos disjuntos
A y B de F.
Una familia de conjuntos F es una algebra si es cerrada por tomar complemen-
tos o uniones e intersecciones numerables. Por ejemplo, los Borelianos o los medibles
son algebras.
Si nos es dada una algebra F P(X) y una funcion : F R decimos
que es subaditiva si (

A
i
)

(A
i
) donde los A
i
es una familia numerable
disjunta de elementos de F. Si se da la igualdad decimos que es aditiva.
Una funcion aditiva : F R
0
es una medida donde los medibles son los
E X tales que E esta en la algebra F. Por ultimo si tenemos : P(X) R
0
y es subaditiva entonces es una medida exterior para X.
1. (Banach) Demostrar que existe : P(R) R
0
tal que es aditiva y si A

= B
entonces (A) = (B) (tambien se puede hacer en R
2
pero no en R
3
).
2. Suponiendo la Hipotesis del Continuo probar que si tenemos un conjunto E
de cardinal c y M : P(E) R
0
es una medida tal que M({x}) = 0 para
todo x E entonces M(A) = 0 para todo A E (se puede reemplazar
la Hipotesis del Continuo por condiciones mas debiles con respecto al primer
cardinal inaccesible).
3. (Jordan-Hahn) Sea F una algebra de Conjuntos de X y : F R una
funcion aditiva. Probar que podemos partir X en 2 medibles disjuntos A y
B en F tales que para todo medible E, si E A entonces (E) 0 y si E B
entonces (E) 0.
4. Dada una medida exterior para X. Decimos que E X es medible si verica
la condicion de Caratheodory, es decir si para todo A X
(A) = (A E) +(A E)
Probar que los medibles forman una algebra.
10
5. Consideremos una medida exterior en un espacio Metrico M. Decimos que
es metrica si para todo A, B M con d(A, B) > 0 vale que
(A B) = (A) +(B)
Probar que en toda medida exterior metrica los Borelianos resultan medibles.
6. Consideremos una medida sobre los medibles de R
n
. Supongamos que si A es
medible con |A| = 0 entonces (A) = 0. Probar que existe f : R
n
R, medible
tal que
(A) =
_
A
f(x)dx
8. Lemas de Cubrimiento
Los lemas de cubrimiento estan buenisimos, por su Fuerza y su Belleza. Si bien por
lo general solo es necesaria la existencia de una constante, el problema de determinar
la mejor de ellas tiene interes en si mismo. El problema de Radon es un excelente
ejemplo.
Los cubos o intervalos los consideramos siempre cerrados y no triviales (que no
sean un punto). Decimos que 2 cubos o intervalos se solapan cuando se intersecan sus
interiores. Por ultimo, dado una coleccion K de cubos, decimos que cubre a E en el
sentido de Vitali si para todo > 0 y para todo x E hay un cubo (o intervalo) de
K de diametro menor que que contiene a x.
1. Sea K una coleccion de intervalos I
i
R tales que |

I
i
| = 2. Probar que para
todo < 1, existen I
1
, .., I
n
K , intervalos disjuntos tales que

n
1
|I
j
| .
Que pasa con = 1?
2. (Radon) Sean I
1
, ..., I
n
cuadrados de lado l y lados paralelos. Si |I
1
... I
n
| = 4
entonces existen algunos cuadrados que no se solapan de forma que sus areas
sumen al menos 1.
3. (Lema Simple de Vitali) Sea K una coleccion de cubos Q
i
R
n
tales que
E =

Q
i
tiene medida nita. Probar que existe una constante K
n
(que solo
depende de n y no de K) y una cantidad nita de cubos disjuntos Q
1
, ..., Q
m
de
K tales que
m

i=1
|Q
j
| K
n
|E|
11
4. (Nacional Oma 2001) Dado un rectangulo R de Area 100000, Pancho debe
cubrir completamente el rectangulo R con una cantidad nita de rectangulos de
lados paralelos a los lados de R. A continuacion, Martn colorea de rojo algunos
rectangulos del cubrimiento de Pancho de modo que no haya dos rectangulos
rojos que tengan puntos interiores en comun. Si el area roja es mayor que 0,00001
gana Martn. En caso contrario, gana Pancho. Demostrar que Pancho puede
realizar el cubrimiento para asegurarse la victoria.
5. Supongamos que E R
n
esta cubierto en el sentido de Vitali por una familia
K de cubos y |E|
e
< . Probar que para todo > 0 hay una sucesion de cubos
disjuntos {Q
i
} de K tales que
|E
_
Q
i
| = 0,

|Q
i
| < (1 +)|E|
e
6. (Besicovich) Probar que existe una constante C
n
tal que si E R
n
esta cubierto
por una coleccion de bolas K de forma que para todo x E hay una bola
B K con centro en x. Entonces hay C
n
subcolecciones de bolas disjuntas
K
1
, ..., K
C
n
K de forma que
E
_
j
_
B
i
K
j
B
i
7. (Miguel de Guzman) Sea R
1
, ..., R
k
una sucesion nita de cubos R
i
R
n
cen-
trados en el origen. Sea A R
n
un conjunto acotado y para cada x A tenemos
un entero i(x) con 1 i(x) k. Pongamos R(x) = x + R
i(x)
. Entonces existe
un subconjunto nito {x
1
, ..., x
h
} A tal que A

R(x
j
) y cada y R
n
esta
en a lo sumo 2
n
de estos R(x
j
).
9. Algunos con Integrales
Recordemos que si A R
n
es medible entonces
L
p
(A) =
_
f : A R/
_
|f|
p
existe y es nita
_
1. Sean A, B R medibles. Probar que h(x) = |(A x) B| es medible y
_
h(x)dx = |A||B|
12
2. (Steinhaus) Dado E R
n
, E medible con 0 < |E| < , probar que E E
contiene un conjunto abierto no vacio.
3. (Brunn-Minkowski) Sea 0 < < 1 y X, Y R
n
con X, Y no vacios, acotados y
medibles. Supongamos ademas que (1 )X +Y es medible, luego
|(1 )X +Y |
1
n
(1 )|X|
1
n
+|Y |
1
n
Ademas, la igualdad se da si y solo si X e Y son homoteticos.
4. Calcular
_

0
sen x
x
dx
5. Sea f L[0, 1] tal que
e

1
0
f
=
_
1
0
e
f
Probar que f es constante casi en todo punto.
6. Sea A R
n
con A medible de medida nita y f L(A). Probar que para todo
> 0 existe > 0 tal que si E A con E medible y |E| < entonces
_
E
f <
7. Sea f L
p
(R
n
) y 1 p < , probar que
lm
|h|0
_
|f(x +h) f(x)|
p
dx = 0
8. Sea g L[0, 1]. Si existe tal que para todo n
_
[0,1]
g(x)
n
dx =
entonces g es una funcion caracteristica casi en todo punto.
9. Sea B R
n
, donde B = {x/|x| 1}. Calcular |B|.
10. Sea T : [0, 1] [0, 1] donde T(0) = 0 y T(x) =
_
1
x
_
en caso contrario ({y} es
la parte decimal de y). Y pongamos
M(A) =
1
log 2
_
A
1
1 +x
Probar que M(A) = M(T
1
(A)) para todo A [0, 1].
13
11. Sean A =
_
(r cos , r sin ) R
2
/r 0, 0 <
2
3
_
y T la rotacion de angulo
2
3
. Denamos B = T(A) y C = T
2
(A). Sea ademas g =
A
+ 2
B
+ 3
c
y
f : R
2
R medible no negativa tal que
_
H
fg =
_
H
(f T)g =
_
H
(f T
2
)g
para todo H R
2
medible tal que T(H) = H. Probar que para todo E R
2
medible vale que
_
E
f =
_
T(E)
f =
_
T
2
(E)
f
12. (Birkho) Sea T : [0, 1] [0, 1] medible tal que |A| = |T
1
(A)| para todo
A [0, 1] medible y sea f L[0, 1]. Entonces si ponemos
f
n
(x) =
1
n
n1

i=0
f(T
i
(x))
Entonces f
n
(x) converge en casi todo punto a f

(x) con f

L[0, 1] tal que

f

T(x) = f

en casi todo punto y

_
f

=
_
f
13. Hallar todas las funciones f : [0, 1] [0, 1] continuas y derivables tales que para
todo funcion positiva y medible g : [0, 1] [0, 1]
_
1
0
g(x)dx =
_
1
0
g(f(x))dx
14. Sean A, B R
2
medibles con |A| > 0 y f L(R
2
). Supongamos ademas que
para todo y R
2
_
A+y
f(x)dx 0
Probar que existe z R
2
tal que
_
B+z
f(x)dx 0
14
10. Densidad de Lebesgue
Dado A R y x R denimos
(x) = lm
h0
|A [x h, x +h]|
2h
cuando el limite existe. Decimos que x es un punto de Lebesgue si (x) = 1. Llamemos
A

el conjunto de puntos de Lebesgue de A.

1. (Densidad de Lebesgue) Sea A R con A medible tal que |A| > 0. Probar que
|AA

| = 0 Vale para A no medible?.

2. Si A R
n
denimos los puntos de Lebesgue de la misma forma pero esta vez
con cubos centrados en x. Si A

son los puntos de Lebesgue de A, entonces

|AA

| = 0.
3. (Claude-Alain Faure) Probar el Teorema de densidad de Lebesgue considerando
la funcion G(x) = |E (n, x)|
e

n
n+1
x.
4. (Goman) Si Z R es de medida cero entonces existe un conjunto E cuya
densidad no existe en ningun punto de Z.
5. (Goman) El conjunto de puntos en donde la densidad de E R existe pero
no es ni 0 ni 1 es de medida cero y de primera categoria.
6. (Goman) Si Z R es de medida cero y es un F

entonces existe un medible

A cuya densidad existe y es distinta de 0 y 1 en cada punto de Z.
7. Sean A
i
R probar que

A

i
es medible.
8. Dado A R, decimos que A es abierto en medida si A A

. Probar que los

abiertos en medida son los abiertos de una topologia sobre R (es decir que son
cerrados por intersecciones nitas y uniones arbitrarias).
15
11. Construcciones
El conjunto de Cantor se construye de la siguiente forma. Sea C
0
= [0, 1], luego
C
1
se obtiene de C
0
dividiendolo en 3 intervalos iguales y quitando el interior de
el del medio. A continuacion repetimos el proceso con C
1
para obtener C
2
, es decir
que a cada intervalo que forma C
1
lo partimos en 3 y quitamos el interior de el del
medio. En general C
n
es la union de 2
n
intervalos cerrados y C
n+1
se obtiene de C
n
dividiendo cada intervalo que lo compone en 3 partes iguales y borrando el interior
de el del medio. El conjunto de Cantor es C =

C
n
.
Por ultimo construyamos la funcion de Cantor-Lebesgue, La escalera del Diablo.
Recordemos que C
k
era la union de 2
k
intervalos cerrados, entonces si D
k
= [0, 1] C
k
entonces D
k
es la union de 2
k
1 intervalos abiertos que llamamos I
k
j
(ordenados de
izquierda a derecha). Sea f
k
: [0, 1] [0, 1] la funcion continua que vale f
k
(0) = 0,
f
k
(1) = 1, f
k
(x) = j2
k
si x I
k
j
y es lineal en los intervalos que componen C
k
. Por
construccion cada f
k
es monotona. La funcion de Cantor Lebesgue es f(x) = lmf
k
(x).
Los problemas con un asterisco necesitan suponer la Hipotesis del Continuo,
si tiene 2 asteriscos quiere decir que no es necesario pero es recomendable.
1. Construir E [0, 1], con E medible tal que para todo intervalo I [0, 1] se
verica que |E I| > 0 y |I E| > 0.
2. Sea f : [0, 1] [0, 1] la funcion de Cantor-Lebesgue y g : [0, 1] [0, 2] donde
g(x) = f(x) +x. Probar que
La funcion g es continua, biyectiva y con inversa continua.
Si C es el cantor entonces |g(C)| = 1.
h = g
1
entonces existe A medible tal que f
1
(A) no lo es.
Hay medibles no borelianos.
3. Sea C el conjunto de Cantor, probar que para todo x [0, 1] existen c
1
, c
2
C
tales que |c
1
c
2
| = x.
4. Sea x = 0, x
1
x
2
... (base 2), con x [0, 1] y S

una permutacion de N.
Si T(x) = 0, x
(1)
x
(2)
.... probar que si E [0, 1] es medible entonces T(E) es
medible y |T(E)| = |E|.
5. Sea I un conjunto de indices bien ordenado, no necesariamente numerable.
Construir conjuntos A
i
R con i I tales que A
i
A
j
si i < j y |A
i
| = 0 pero
|
_
A
i
|
e
> 0
16
6. Construir una sucesion decreciente de conjuntos acotados {E
k
} tales que

E
k
=
pero
lm
k
|E
k
| > 0
7. Hallar F R tal que F

= y |F|
e
> 0. Puede F tener medida maxima en
cada subintervalo?
8. Mostrar que existe un conjunto H [0, 1] de clase F

, formado exclusivamente
por numeros irracionales tal que |H| = 1. Probar que H es union numerable de
cerrados con interior vacio.
9. La recta real se puede partir en 2 conjuntos disjuntos A, B con A de medida
cero y B de primera categoria (Un conjunto es de primera categoria si es union
numerbale de nunca densos).
10. (F.Berenstein) Probar que existe un conjunto A R tal que A y A
c
intersecan
a todo cerrado no numerable. Demostrar que A debe ser no medible.
Sugerencia: Probar que hay a lo sumo c cerrados no numerables, luego bienor-
denarlos y usar induccion transnita (Si F es un cerrado no numerable entonces
tiene cardinal c!!).
11. Probar que existe un A R
2
tal que A F = para todo cerrado F R
2
con |F| > 0 y A no tiene tres puntos alineados. Tal conjunto es necesariamente
no medible (esto es un contraejemplo a que si todas las secciones de A R
2
tienen medida cero entonces A tiene medida cero).
12. Construir A R
2
tal que |A| = 0 pero A contiene lineas en cualquier direccion.
13. (Mazurkiewicz) Existe M R
2
tal que M L = 2 puntos para toda linea L
(de hecho se puede pedir que M L = n puntos donde n es dado). Puede M
ser Boreliano? G

? F

? (Solo se sabe que no puede ser F

).
14. Un Conjunto E se dice metricamente-denso si para todo abierto no vacio U,
|EU|
e
> 0. Probar que se puede partir el plano o la recta real en una cantidad
numerable de conjuntos metricamente densos.
15. (Maharam) Decimos que H R
2
es superdenso si para todos A, B [0, 1],
donde A, B son medibles con |A B| > 0 vale que H (A B) = . Probar
que se puede partir el cuadrado unitario (es decir [0, 1] [0, 1]) en 2 medibles
superdensos. De hecho se lo puede partir en una cantidad no numerable de
superdensos.
17
16. Existe f : [0, 1] R de forma que la preimagen de cualquier intervalo cerrado
es no medible?
17. Probar que existe f : R R inyectiva tal que |f(E)|
e
> 0 si E es no numerable.
12. Erdos y Varios
Por ultimo algunos problemas de Erdos y algunas cosas sueltas. Si p, q, r R
2
denotamos por |(pqr)| el area del triangulo con vertices en p, q, r. Erdos conjeturo que
existe c > 0 tal que si A R
2
con A medible y |A| c entonces existen p, q, r A
con |(pqr)| = 1. Erdos lo probo en el caso en que A es abierto y dice que la mejor
constante es c =
4
3

3
.
1. Si A R
2
con A medible y |A| = entonces existen p, q, r A con |(pqr)| = 1.
2. Decimos que A es chico si no existen p, q, r A con |(pqr)| 1. Probar que si
A es chico entonces su capsula convexa tambien lo es.
3. La conjetura vale si se reemplaza la condicion |(pqr)| = 1 por |(pqr)| 1.
4. Existe A R con |A| = de forma que si x, y A entonces
x
y
Z.
5. (Erdos) Sea E (0, ) con |E| > 0 y pongamos E

rE. Es cierto que

para casi todo x > 0, existe M(x) tal que para todo n > M(x) vale que nx E

.
6. (Borel) Decimos que un numero es normal si lo es con respecto a todo digito.
Probar que en base 2 casi todos los numeros son normales.
7. (Poincare) Sea T : [0, 1] [0, 1] tal que si A [0, 1] es medible entonces T
1
(A)
es medible y |T
1
(A)| = |A|. Si E [0, 1] es medible con |E| > 0 entonces existe
F E con |E F| = 0 tal que si x F luego existe n
1
, n
2
, ..., n
k
, .. de forma
que para todo i se verica T
n
i
(x) F.
8. Sea C el conjunto de Cantor y f : [0, 1] [0, 1] la funcion de Cantor-Lebesgue.
Denamos una medida M en C donde M(S) = |f(S)|. Probar que f(x) =
casi en todo punto (M) de C.
9. Probar que no hay ninguna topologia en L(0, 1) que nos de la convergencia en
casi todo punto.
10. Sea H R un G

, probar que H contiene un cerrado nunca denso C de medida

cero tal que existe un f : H [0, 1] continua y sobreyectiva.
18
11. Sea F I = [0, 1] un cerrado nunca denso. Probar que existe un homeomorsmo
h : [0, 1] [0, 1] tal que |h(F)| = 0.
12. Sea A [0, 1] un cerrado no numerable. Probar que existe un homeomormo
h : [0, 1] [0, 1] tal que |h(A)| > 0.
13. Probar que existe E R, no numerable tal que para cualquier homeomorsmo
h : R R, se verica |h(E)| = 0.
14. Sea A = {0, 1}
N
, es decir que A son las secuencias de ceros y unos. Consideremos
g : A [0, 1], donde si a = {a
i
} entonces
g(a) =

i=1
a
i
2
i
Sea E A tal que si a E y b diere de a solo en una cantidad nita de lugares
entonces b E. Probar que |g(E)| = 0 o 1.
15. (Dualidad Sierpinski-Erdos) Probar que existe una biyeccion f : R R con
f = f
1
tal que |f(E)| = 0 si y solo si E es de primera categoria.
13. Medida de Hausdor
Recordemos la denicion de la medida de Hausdor sdimensional. Sea F R
n
y s > 0.
H
s

(F) = inf
_

i=1
|U
i
|
s
: F
_
U
i
, diam(U
i
) <
_
Cuando 0 el inmo se toma sobre menos cubrimientos, luego H
s

(F) crece,
denimos entonces:
H
s
(F) = lm
0
H
s

(F)
No es dicil ver que si F R
n
entonces existe un unico d 0 tal que H
s
(F) = 0 si
s > d y H
s
(F) = si s < d. Ponemos entonces d = dim F y es su dimension.
1. Probar que existe c > 0 tal que para todo A R
n
con A medible H
n
(A) = c|A|.
2. Construir F R
n
tal que para cada s 0 vale H
s
(F) = 0 o H
s
(F) = .
3. Sea F R
n
un Boreliano tal que H
s
(F) = . Probar que existe E F con E
compacto y 0 < H
s
(E) < .
19
4. Calcular la dimension del Cantor y su medida en la dimension correcta.
5. Sea F R
n
y f : F R
m
tal que existe c > 0 para el cual
|f(x) f(y)| < c|x y|
para todo x, y en F. Entonces para todo s 0
H
s
(f(F)) c
s
H
s
(F)
6. Sea f : R R, donde f(x) = x
2
. Si F R, probar que dim f(F) dim F.
7. Sea F R
n
tal que dim F < 1. Probar que F es totalemente disconexo (sus
componentes conexas son puntos).
8. Probar que para cada s con 0 s 2, existe F R
2
totalmente disconexo con
dim F = s.
9. (Numeros de Liouville) Sea E el conjunto de numeros reales z tales que para
todo n existen p, q numeros enteros con q > 1 tales que
|z
p
q
| <
1
q
n
Probar que H
s
(E) = 0 para todo s > 0.
10. Sea A R
2
un Boreliano con |A| = 0 tal que A contiene lineas en cualquier
direccion, entonces dim A = 2.
11. Sea E un Boreliano y llamemos D(E) = E E. Luego
dim D(E) min
_
1, dim E
1
2
_
14. Fuentes
1. Cursada Analisis Real Segundo Cuatrimestre 2006
2. Zygmund A., Wheeden R., Measure And Integral
3. N.Fava, Felipe Zo, Medida e Integral de Lebesgue
4. P.Mattila, Geometry of Sets and Measures in Euclidean Space
20
5. K.Falconer, Fractal Geometry
6. J.Oxtoby, Measure and Category
7. M.Laczkovich, Conjecture and Proof
8. Mathlinks, www.mathlinks.ro
9. Claude-Alain Faure, A Short Proof of Lebesgues Density Theorem, The Amer-
ican Mathematical Monthly, Vol 109, N
o
2, (Feb 2002), pp.194-196.
10. Casper Goman, On Lebesgue Density Theorem, Proceedings of The Ameri-
can Mathematical Society, Vol. 1, N
o
3, (Jun 1950), pp-384-388.
11. Leon W. Cohen, A new proof of Lusins theorem, Fundamenta Mathematicae,
Vol 9, N
o
1, (1927), pp.122-123.
12. Wolfgang Walter, A Counterexample in Connection with Egorovs Theorem,
The American Mathematical Monthly, Vol 84, N
o
2, (Feb 1977), pp.118-119.
13. Paul Erdos, John C. Oxtoby, Partitions of the Plane Into Sets Having Posi-
tive Measure in Every Non-Null Mesurable Product Set, Transactions of The
American Mathematical Society, Vol 79, N
o
1, (May 1955), pp.91-102.
14. Melvyn B. Nathanson, Sumsets of mesurable Sets, Proceedings of the Ameri-
can Mathematical Society, Vol.78, N
o
1, (Jan 1980), pp.59-63.
15. M.Balcerzak, A.Kharazishvili, On Uncountable unions and intersections of me-
surable sets, Georgian Mathematical Journal, Vol.6, N
o
3, 1999, pp.201-212.
16. Miguel de Guzman, Baldemero Rubio, Remarks on the Lebesgue Dierenti-
ation, The Vitali Lemma and the Lebesgue-Radon-Nikodym Theorem, The
American Mathematical Monthly, Vol 79, N
o
4, (Apr 1972), pp.341-348.
17. Paul Erdos, A.H.Stone, On the Sum of Two Borel Sets, Proceedings of The
American Mathematical Society, Vol.25, N
o
2, (Jun 1970), pp.304-306.
18. S. Banach, Sur le probleme de la mesure, Fundamenta Mathematicae, Vol. 4,
N
o
1, (1923), pp.7-33.
19. W.Sierpinski, Sur la question de la mesurabilite de la base de M.Hamel, Fun-
damenta Mathematicae, Vol 1, N
o
1, (1920) ,pp.105-111.
20. R.J.Gardner, The Brunn-Minkowski Inequality, Oct 2001.
21