El conjunto de Kakeya

Las tres imagenes siguientes son, respectivamente, de un cuadro suprematista de K. Malevich, de una escultura de L. Frechilla del Rey que adorna una
plaza de Madrid, y de un magnfico conjunto multidireccional de estalactitas
que se encuentra en la cueva El soplao, de Santander. Pero podran tambien
ser consideradas como plasmaciones artsticas, o presentes en la naturaleza,
de un objeto matematico muy interesante: el conjunto de Kakeya, o de Besicovitch, formado por cilindros (rectangulos o prismas) secantes en m
ultiples
direcciones del espacio.

Malevich

Frechilla del Rey

Estalactitas

Suprematismo

Mirando a lo alto

El Soplao (Santander)

Que aspecto tendra el conjunto plano de area mnima dentro del cual
sea posible mover un segmento orientado (aguja) hasta invertir su posicion?
Se trata de una pregunta formulada por Soichi Kakeya en 1917 que se ha
convertido en un tema central del Analisis Armonico contemporaneo. Tanto
por sus conexiones directas con la transformada de Fourier ndimensional
(teoremas de restriccion, sumabilidad esferica de series e integrales de Fourier,
teorema de diferenciacion de Lebesgue), como por dar lugar a una serie de
preguntas inquietantes en torno a dos paradigmas se
neros del Analisis: la
medida de Lebesgue y la teora de integrales singulares.
Besicovitch, quien es uno de los creadores de la teora geometrica de la
medida, escribio un artculo en el American Mathematical Monthly (1963,
697706), dando noticia de un trabajo suyo publicado en la Rusia de 1917
en el que se haca la misma pregunta de Kakeya aportando una respuesta
quizas sorprendente: Dado un n
umero positivo , sin que importe lo peque
no
que este sea, Besicovitch construyo un conjunto de area menor que donde
es posible invertir continuamente la posicion de la aguja.
1

1.

La construcci
on de Besicovitch
Consideremos un triangulo T0 , de altura h0 ( 1) y base b0 , en el que podemos girar un segmento de longitud unidad
A

desde la posicion AB hasta la A0 B 0 , barriendo

6
un angulo 0 , como se indica en la figura.
0
T0
h0

( 1)

Ahora bien, el mismo efecto puede conseguirse en el conjunto P , obtenido dividiendo en

0
B
dos partes el triangulo T0 por la mediana de
?

b0
su base y trasladando despues los triangulos
resultantes haciendo que se solapen un poco.
La magnitud del solapamiento la podemos controlar por medio del parametro , 12 < 1, como se muestra en la siguiente figura:
B

1 2

T0

6
h1= h0

T02

T01

1
2

b0

1
2

b0

b1 = b0

T1

R1

h1

b1

El conjunto P obtenido (arbol peque

no o pimpollo) consta de un tronco, que es un triangulo T1 semejante a T0 con razon , y unas ramas R1 .
Un sencillo calculo nos da la relacion

area(P ) = area(T1 ) + area(R1 ) = 2 + 2(1 )2 area(T0 )

cantidad que podemos hacer estrictamente menor que area(T0 ) sin mas que
escoger el n
umero convenientemente ( 21 < 1).
Si designamos con 1 , 2 a los angulos opuestos a la base b0 /2 de los
triangulos obtenidos en la subdivision de T0 , es claro que 0 = 1 + 2 y que
2

la aguja puede ser girada un angulo 1 en T01 (respectivamente 2 en T02 ).

Observemos tambien que T01 y T02 tienen dos lados paralelos y que siempre
podemos trasladar la aguja delgada (un segmento) a una posicion paralela
en cuanto dispongamos de una porcion de area para gastar, por peque
na que
esta sea, aunque quizas tengamos que irnos muy lejos para hacerlo, como se
indica en la siguiente figura:
A

B0

z
A0

A000

B 000

A00

B 00

La combinacion de las dos estrategias anteriores permite usar el conjunto

P para girar la aguja un angulo total de 0 dentro de un area estrictamente
menor que la del triangulo de partida T0 . La idea de Besicovitch consistio en
repetir esta construccion muchas veces.
Dado un entero positivo n, dividimos la base de un triangulo equilatero T0
de altura h0 en 2n segmentos de identica longitud. A partir de ellos obtenemos
la descomposicion en triangulos
n

T0 = T01 T02 T02

T01 T02 T03

...

Con cada pareja T02k1 , T02k , k = 1, . . . , 2n1 construimos el pimpollo

P1k = T1k R1k
de la manera antes descrita, usando un parametro 1 ,

1
2

1 < 1.

Observemos que los distintos triangulos T1k , k = 1, . . . , 2n1 , tienen, cada

dos consecutivos, un lado paralelo. Por tanto, pueden ser trasladados hasta
posiciones adyacentes para formar un nuevo triangulo T1 que es semejante a
T0 con razon 1 . Trasladamos ahora tambien las ramas R1k a las posiciones
e12n1 :
e11 R
e1k y obtenemos el primer arbol A1 = T1 R
correspondientes R

area(A1 ) 12 + 2(1 1 )2 area(T0 ) .

3

Como el triangulo T1 es una union de 2n1 triangulos de base 1 b0 2n+1

y altura h1 = 1 h0 , podemos repetir el proceso con otro parametro 2
( 21 2 < 1), y hacerlo sucesivamente un total de n veces con parametros respectivos 1 , 2 , . . . , n , para obtener un arbol An = Tn {ramas}
de manera que
n

area(An ) 12 22 n2 + 2 (1 1 )2 + 12 (1 2 )2
o
2
+ + 12 n1
(1 n )2 area(T0 ) .
Tomando ahora los valores
k = 1

1
n+1k
=
,
n+2k
n+2k

k = 1, 2, . . . , n

obtenemos
1 k =

k
Y
n+1j
j=1

n+2j

k (1 k+1 ) = 1 k =

n+1k
n+1

n+1k
.
n+2k

Por tanto
area(An )

1 2 o
n 1 2
3
+ 2n
area(T0 ) area(T0 ) .
n+1
n+2
n

Finalmente observemos que los 2n triangulos de la subdivision original

de T0 pueden ser trasladados hasta encajar dentro de An y que si hemos
partido de una altura h0 > 1, entonces la aguja puede ser girada 2
radianes
6
si a
nadimos a An un conjunto de area tan peque
na como queramos. Para
acabar basta con tomar seis conjuntos de Besicovitch rotados cada uno de
ellos 2
radianes respecto del inmediato anterior, para poder realizar el giro
6
completo.
Si partimos ahora de un triangulo con altura h0 = 2 entonces cada
triangulo contendra a un rectangulo de base 2n1 y altura 1. Eso nos permite tratar el caso de una aguja gruesa.
Proposici
on 1. Para todo > 0 existe un conjunto plano P de medida
menor que C| log |1 (donde C es una constante fija e independiente de ),
de manera que cualquier rect
angulo del plano de dimensiones 1 y direcci
on
arbitraria, puede ser trasladado dentro de P .
La proposicion anterior tiene una recproca en el sentido siguiente:
4

Proposici
on 2. Existe una constante C > 0 tal que si un subconjunto del
plano contiene a un rect
angulo de dimension 1 en cada direcci
on, entonces
su area deber ser mayor que C/| log |.
Demostraci
on. Sea P un subconjunto medible del plano que verifique las
hipotesis de la proposicion. Para cada j, 0 j 1 , designemos por Rj a
un rectangulo de dimensiones 1 contenido en P cuya direccion, es decir
el angulo que forma su lado mayor con la horizontal, sea j = 21 j.

Obtenemos un total de 1 + 1 rectangulos, con la notacion habitual
[t] = parte entera de t.
Sea j la funcion indicadora de Rj , es decir j (x, y) = 1 si (x, y) Rj ,
mientras que j (x, y) = 0 en casoRRcontrario.
Tenemos que = area(Rj ) =
j (x, y) dx dy. Luego
ZZ X
X
1
area(Rj ) =
j (x, y) dx dy
h

area

Rj

i2 h Z Z X

2
i 12
j (x, y) dx dy

por la desigualdad de Holder.

A continuacion observemos que
ZZ h X
i2
X ZZ
j (x, y)k (x, y) dx dy
j (x, y) dx dy =
j

j, k

area Rj Rk .

j, k

Un sencillo calculo trigonometrico nos permite obtener

area Rj Rk
4 |j k| + 1
y
1

[ i 12 h X
i 12 h
[ i 12
1
1h
1
area
Rj

area
Rj
| log | 2
2
|j k| + 1
j, k

de donde obtenemos
area(P ) area

uniformemente en > 0.

Rj

C
| log |

Si llevamos hasta el lmite la construccion de Besicovitch obtendremos un

conjunto de medida cero que, sin embargo, contiene un segmento de longitud
unidad en cada direccion del plano. Un tal conjunto, al que podemos llamar
conjunto de Kakeya, tiene, no obstante, dimension fractal, o de Minkowski,
maxima: dimM (K) = 2.
Para verlo recordemos que la dimension fractal del conjunto K es el valor
del lmite siguiente:

h
log area(K ) i
dim(K) = lm 2
0
log

siendo K = x : dist(x; K) .
Comoquiera que K contiene a un rectangulo de dimensiones 1 en
cualquier direccion del plano, la Proposicion 2 implica que

area K
Por tanto

C
.
| log |

log area K
log
log()

log
| log |

Proposici
on 3. Todo conjunto de Kakeya plano verifica que dimM (K) = 2.

2.

La funci
on maximal

Estos resultados sobre los conjuntos de Kakeya no pasaran de ser una

mera curiosidad de no ser por sus implicaciones en teoras fundamentales
del Analisis, tales como son la sumacion esferica de las series e integrales de
Fourier, los teoremas de restriccion de la transformada de Fourier a subvariedades, o la ortogonalidad de operadores cuyos smbolos viven en distintas
regiones del espacio de las fases.
Aunque en este artculo no pretendemos profundizar en estas interesantes conexiones, si conviene mencionar, no obstante, un objeto, la funcion
maximal de Kakeya, que esta en la base de todos ellos.
Recordemos el teorema de diferenciacion de Lebesgue que es la extension
del teorema fundamental del Calculo al caso de funciones del espacio L1 (Rn ).
Dice as:
Z
1
f (y) d(y) = f (x) ,
c.t. x Rn .
lm
Q x (Q) Q
6

Es valido para toda f L1 (Rn ), = medida de Lebesgue y donde Q x

significa que el lmite esta considerado sobre todas las sucesiones de cubos Q
que contienen al punto x y cuyo diametro tiende a cero.
Que ocurre si sustituimos la clase de los cubos por la de los rectangulos
(cilindros o prismas) de tama
no y direccion arbitrarios?
Pues bien, en ese contexto, resulta que el teorema de Lebesgue es falso
incluso para funciones de L (Rn ), y los conjuntos de Kakeya originan los
oportunos contraejemplos.
La version cuantitativa esta naturalmente asociada al siguiente objeto,
n
llamado funcion maximal de Kakeya: dado N 1 consideremos la clase BN
de cilindros en Rn (rectangulos en el caso n = 2) cuyo radio r y altura h
verifican la relacion h = rN , pero cuya direccion es arbitraria. Dada una
funcion localmente integrable f definamos
Z
1
n
MN f (x) = sup
|f (y)| d(y) .
n
xRBN (R) R
La conjetura siguiente es una importante cuestion del Analisis Armonico contemporaneo que contiene una version cuantitativa de las propiedades
(diferenciacion de integrales, dimension fractal) de los conjuntos de Kakeya:
Conjetura. En Rn , n 2, existen constantes finitas C(n), (n) tales que

(n)
n
kMN f kLn (Rn ) C(n) log N
kf kLn (Rn )
para toda f Ln (Rn ).
En la referencia [5] encontramos la demostracion de la conjetura en el
caso n = 2. Los casos n 3 estan abiertos, aportando las referencias [6], [8]
y [9] algunos resultados parciales que han sido mencionados explcitamente
entre las razones por las que J. Bourgain and T. Tao fueron galardonados
con la Field Medal.

Referencias
[1] Kakeya, S.: Some problems on maxima and minima regarding ovals.
Toh
uku Sci. Reports 6 (1917), 7188.
[2] Besicovitch, A. S.: On Kakeyas problem and a similar one. Math.
Z. 27 (1928), no. 1, 312320.
[3] Fefferman, C.: The multiplier problem for the ball. Ann. of Math.
(2) 94 (1971), 330336.
7

[4] Davies, R.: Some remarks on the Kakeya problem. Proc. Cambridge
Philos. Soc. 69 (1971), 417421.
rdoba, A.: The Kakeya maximal function and the spherical sum[5] Co
mation multipliers. Thesis University of Chicago, 1974. Amer. J. Math.
99 (1977), no. 1, 122.
[6] Bourgain, J.: Besicovitch type maximal operators and applications to
Fourier Analysis. Geom. Funct. Anal. 1 (1991), no. 2, 147187.
rdoba, A.: The fat needle problem. Bull. London Math. Soc. 25
[7] Co
(1993), no 1, 8183.
[8] Wolff, T.: An improved bound for Kakeya type maximal functions.
Rev. Mat. Iberoamericana 11 (1995), no. 3, 651674.
[9] Katz, N. H. and Tao, T.: New bounds for Kakeya problems. J. Anal.
Math. 87 (2002), 231263.
Antonio Cordoba
Departamento de Matematicas
Facultad de Ciencias
Universidad Autonoma de Madrid
Cantoblanco, 28049 Madrid (Spain)
antonio.cordoba@uam.es