Académique Documents
Professionnel Documents
Culture Documents
TEMARIO
Pero podemos remontarnos mucho más atrás en el tiempo, y encontrar cuestiones que también se
enmarcarı́an en esta teorı́a; Aristóteles (384-322 A.C.) se formuló la siguiente pregunta:
¿por qué el sol, cuando brilla a través de un cuadrado, no produce formas rectangulares sino
cı́rculos, tal y como sucede en el caso en que éste brilla a través de una cesta de mimbre?
Una cuestión similar, debida a Tycho Brahe (1546-1601), trata sobre la imagen que toma el sol
sobre la pantalla de una cámara oscura, dependiendo de la forma del diafragma.
(
Sol
(A ∪ B) + C = (A + C) ∪ (B + C),
(A ∩ B) + C ⊂ (A + C) ∩ (B + C),
(A ∪ B) + (A ∩ B) ⊂ (A + B),
λA + λB = λ(A + B),
λA + µA ⊃ (λ + µ)A.
Lema 2.3. Sean K, L, C cuerpos convexos de forma que K ∪ L también es convexo. Entonces
(K ∩ L) + C = (K + C) ∩ (L + C),
K + L = (K ∪ L) + (K ∩ L),
y además, λK + µK = (λ + µ)K.
E n
l volumen n-dimensional de un cuerpo convexo K en R es su medida de Lebesgue en R . Si
n = 2, vol(K) = A(K) se denomina área de K. El volumen verifica las siguientes propiedades:
n
Proposición 2.4. Sea K un cuerpo convexo de Rn . Dado un vector unitario u ∈ Sn−1 , represen-
tamos por Kt = K ∩ Ht (u), donde Ht (u) = x ∈ Rn : hu, xi = t . Entonces,
Z ∞
vol(K) = voln−1 (Kt ) dt. (1)
−∞
Utilizando este método se puede calcular el volumen de algunos conjuntos convexos particulares:
1. El volumen de un conjunto cilı́ndrico K = L + [0, z], esto es, la suma de un conjunto convexo
L (que suponemos contenido en H0 (u)) y un segmento [0, z] = {λz : 0 ≤ λ ≤ 1} es
vol(K) = hz, uivoln−1 (L).
2. El volumen de un conjunto cónico K = conv L ∪ {x} , esto es, la envoltura convexa de un
conjunto convexo L y un punto x 6∈ aff L es
1
vol(K) = hx, uivoln−1 (L).
n
3. El volumen del sı́mplice Sn = conv{0, e1 , . . . , en } = conv {0, e1 , . . . , en−1 } ∪ {en } generado
por los vectores de la base canónica es
1
vol(Sn ) = .
n!
4. En el caso general de un sı́mplice arbitrario S = conv{v0 , v1 , . . . , vn }, donde los vectores vj
son afı́nmente independientes, basta considerar la transformación afı́n T (x) = M x+v0 , siendo
M la matriz cuyas columnas son v1 − v0 , . . . , vn − v0 . Entonces,
det M
vol(K) = .
n!
5. Sean F1 , . . . , Fr las caras (n − 1)-dimensionales de un politopo P con normales exteriores
u1 , . . . , ur , respectivamente. Podemos suponer, sin pérdida de generalidad, que 0 ∈ int P , y
representamos por Ci = conv Fi ∪ {0} . Entonces,
r
1X
vol(P ) = h(P, ui )voln−1 (Fi ).
n
i=1
Definición 2.6. El área de superficie de un cuerpo convexo K ∈ Kn , S(K), es el lı́mite de las áreas
de superficie de cualquier sucesión de politopos convexos que converjan a K. Si n = 2, S(K) = p(K)
se denomina el perı́metro de K.
Teorema 2.7 (La fórmula de Cauchy, 1841). El área de superficie de K es la media de los
volúmenes (n − 1)-dimensionales de las proyecciones ortogonales de K sobre hiperplanos, esto es,
Z
1
S(K) = voln−1 (K| u⊥ ) du. (3)
κn−1 Sn−1
El hecho de que el área de superficie pueda obtenerse de este modo fue demostrado por Steiner
en 1840, aunque fue Minkowski, en 1901, quien utilizó tal fórmula como definición.
L a fórmula o polinomio de Steiner fue deducida originariamente por Steiner en 1840, en los casos
del plano euclı́deo y el espacio tridimensional R3 , para politopos y superficies de clase C 2 . En su
forma más general, ésta puede enunciarse del siguiente modo:
Teorema 2.9 (La Fórmula de Steiner, 1840). El volumen del conjunto paralelo exterior de
K a distancia λ, Kλ , se expresarsa como un polinomio de grado la dimensión del espacio, n,
en el parámetro λ, cuyos coeficientes son, salvo una constante, las llamadas quermassintegrales o
funcionales de Minkowski de K, Wi (K), para 0 ≤ i ≤ n:
n
X n
vol(Kλ ) = vol(K + λBn ) = Wi (K)λi . (5)
i
i=0
4
vol(K + λB3 ) = vol(K) + S(K)λ + M(K)λ2 + πλ3
3
vol(K) = volumen del conjunto original
n − 1 −1
X
H0 = 1 y Hj = ki1 . . . kij ,
j
1≤i1 <...<ij ≤n−1
entonces Z
1
Wi (K) = Hi−1 (x) dx;
n bd K
es decir, los Wi (K) coinciden con las integrales de las curvaturas intermedias.
2.3 Los volúmenes mixtos. 25
n Wn−i (K)
– Si K tiene dimensión i, Vi (K) = i κn−i es el volumen i-dimensional ordinario de K.
– Wi (K) es una función continua y positiva en K.
– Si K ⊂ K 0 , entonces Wi (K) ≤ Wi (K 0 ).
– Wi (K) es invariante bajo movimientos rı́gidos.
– Wi (K) es homogénea de grado n − i (Vi es homogénea de grado i) e independiente de la
dimensión del espacio en el cual esté contenido el conjunto K.
Estos funcionales juegan un papel fundamental en la Teorı́a de los Conjuntos Convexos. Sirva
de ejemplo un conocido resultado de Hadwiger (1957).
Definición 2.11. Una valuación sobre la familia Kn de todos los conjuntos convexos compactos de
Rn es una función ν : Kn −→ R tal que
i) ν(∅) = 0 y
ii) ν(K ∪ L) = ν(K) + ν(L) − ν(K ∩ L), siempre que K ∪ L ∈ Kn .
Teorema 2.12 (Teorema de Hadwiger, 1957). Toda valuación continua e invariante bajo mo-
vimientos rı́gidos ν es una combinación lineal con coeficientes constantes de las quermassintegrales
(o los volúmenes intrı́nsecos), es decir, existen números reales constantes c0 , . . . , cn tales que
n
X
ν(K) = ci Wi (K).
i=0
L a fórmula de Steiner es un caso particular de una fórmula mucho más general que combina los
dos conceptos fundamentales de volumen y suma de Minkowski: con ella se obtiene el volumen de
una combinación lineal arbitraria de cuerpos convexos.
(i) Los volúmenes mixtos no varı́an bajo traslaciones arbitrarias de cualquiera de sus argumentos.
(ii) Si T (x) = M x + b es una transformación afı́n, entonces
V T (K1 ), . . . , T (Kn ) = det M V(K1 , . . . , Kn ).
0 ≤ V(K, K2 , . . . , Kn ) ≤ V(L, K2 , . . . , Kn ).
Como consecuencia de este resultado, se deduce el siguiente corolario (que también se puede
obtener a partir de la propiedad (v) con la definición de Minkowski del área de superficie):
Corolario 2.16. Sea P un politopo en Rn . Entonces, S(P ) = nV(Bn , P, . . . , P ).
Lema 2.17. Sean K un cuerpo convexo y P2 , . . . , Pn politopos en Rn . Sea U ⊂ Sn−1 un conjunto
finito conteniendo todos los vectores normales exteriores unitarios de las caras de los politopos
λ2 P2 + · · · + λn Pn , con λ2 , . . . , λn ≥ 0. Vamos a representar por v(·, . . . , ·) el volumen mixto en
dimensión n − 1. Entonces,
1X
V(K, P2 , . . . , Pn ) = h(K, u)v P2 ∩ H(P2 , u), . . . , Pn ∩ H(Pn , u) . (9)
n
u∈U
2.4 La desigualdad de Brunn-Minkowski y otras desigualdades. 27
Como una generalización del lema anterior, dados ahora n − 1 cuerpos convexos K2 , . . . , Kn , el
teorema de representación de Riesz permite asegurar la existencia de una única medida de Borel
finita en la esfera Sn−1 , la llamada medida mixta de área de superficie S(K2 , . . . , Kn ; ·), tal que para
todo K ∈ Kn , Z
1
V(K, K2 , . . . , Kn ) = h(K, u) dS(K2 , . . . , Kn ; u). (10)
n Sn−1
Dado que las quermassintegrales son los coeficientes que aparecen en el polinomio que determina
el volumen de la suma K + λBn , se tiene claramente que
Wi (K) = V K, (n−i). . . , K, Bn , .(i)
. ., Bn .
En particular,
Z Z
1 1 κn
Wn−1 (K) = V(K, Bn , . . . , Bn ) = h(K, u) dS(Bn , . . . , Bn ; u) = h(K, u) du = b(K).
n Sn−1 n Sn−1 2
E n esta sección vamos a estudiar principalmente dos desigualdades debidas a Brunn, Minkowski,
Aleksandrov y Fenchel, las cuales han constituido la pieza clave para el desarrollo de la llamada
Teorı́a de Brunn-Minkowski, núcleo fundamental de la Geometrı́a Convexa.
dándose la igualdad si, y sólo si, K y L están en hiperplanos paralelos (si tienen dimensión menor
que n), o son homotéticos (si tienen dimensión n).
Teorema 2.19 (Desigualdad de Brunn-Minkowski, version multiplicativa). Si A y B son
conjuntos compactos de Rn y λ ∈ (0, 1), entonces
La formulación dada por Minkowski del teorema, tal como hoy lo conocemos, no apareció hasta
1910. La desigualdad de Brunn-Minkowski fue demostrada primero por Brunn con un argumento
ingenioso e inteligente, aunque algo impreciso, donde además no se establecı́a el caso de la igual-
dad. Fue Minkowski quien proporcionó una demostración correcta y completa del resultado para
cualquier dimensión, caracterizando además la igualdad.
A la vista de un resultado tan “sencillo”, parece difı́cil intuir las potentes extensiones que se
pueden obtener de (11), algunas muy recientes, ası́ como su impacto en las Matemáticas y más
allá de ellas. A mitad del siglo XX, diversos matemáticos (Lusternik, Hadwiger...) extendieron este
resultado a contextos mucho más generales, incluyendo la clase de los conjuntos medibles Lebesgue,
comenzando entonces la desigualdad a moverse en los dominios del Análisis. Los últimos 30 años
han visto consolidar el papel de la desigualdad de Brunn-Minkowski como una potente herramienta
analı́tica, mostrando su estrecha relación con otras desigualdades del Cálculo. La versión integral
de la desigualdad de Brunn-Minkowski se conoce como la desigualdad de Prékopa-Leindler, inversa
de la conocida desigualdad de Hölder, donde ya la geometrı́a parece haber desaparecido.
entonces Z Z 1−λ Z λ
h≥ f g . (14)
Rn Rn Rn
Una poderosa desigualdad cuadrática, a partir de la cual se pueden obtener todas las desigual-
dades geométricas anteriores (y otras muchas), es la llamada desigualdad de Aleksandrov-Fenchel.
Ésta es la desigualdad más potente de este tipo que se conoce hasta el momento.
Este resultado fue demostrado de forma independiente por Aleksandrov (para politopos, 1937)
y por Fenchel (para cuerpos con frontera suficientemente diferenciable, 1936). En ambos casos, la
desigualdad para cuerpos convexos generales se establecı́a por aproximación. Es por esta razón que
la condición de la igualdad se pierde. Claramente, la igualdad se va a alcanzar si los cuerpos K y
L son homotéticos, pero existen otros ejemplos de cuerpos para los cuales la igualdad también se
satisface; una caracterización precisa de la igualdad sigue siendo un problema abierto.
U n problema de optimización geométrica no es otra cosa que la búsqueda, entre una familia de
objetos determinada por ciertas caracterı́sticas geométricas comunes, de aquéllos que maximizan
o minimizan (optimizan) alguna magnitud concreta. En definitiva, un problema de este tipo se
traduce siempre en una desigualdad geométrica, llamada ası́ porque en ella interviene un deter-
minado número de magnitudes geométricas. (recordemos las desigualdades de Brunn-Minkowski,
de Aleksandrov-Fenchel, de Minkowski o la conocida desigualdad isoperimétrica). Además, en la
mayorı́a de los casos, el interés fundamental radica en encontrar el conjunto o conjuntos para los
que se alcanza la igualdad, recibiendo éstos el nombre de conjuntos extremales.
Existen muy diversas magnitudes asociadas a los conjuntos, aunque las medidas más estudiadas
clásicamente son, además del volumen (área) y el área de superficie (perı́metro), el diámetro, la
anchura mı́nima, el inradio y el circunradio. Recordemos que
Definición 2.23. Entre todas las bolas que contienen a un conjunto convexo K, existe una que
tiene radio mı́nimo denominada circumbola (circuncı́rculo en el caso plano) de K o bola circunscrita
a K, cuyo radio recibe el nombre de circunradio de K. Se representa por R(K).
La circumbola es única, ya que si K está contenido en la intersección de dos bolas con igual
radio R, entonces existe otra bola de radio menor que también contiene a K. Además, los puntos
comunes a la frontera de K y a su circumbola se distribuyen en la superficie de ésta de tal modo
que no están situados todos ellos en el mismo hemisferio, es decir, el centro de la bola circunscrita
(el circuncentro) pertenece a la envoltura convexa de dichos puntos. Y recı́procamente; una bola
que contenga al conjunto y que verifique la propiedad anterior es, necesariamente, su circumbola.
Definición 2.24. Entre todas las bolas contenidas en un conjunto convexo K, aquéllas que tienen
radio máximo se denominan imbolas (incı́rculos en el caso plano) de K o bolas inscritas en K. Tal
valor del radio recibe el nombre de inradio de K y se representa por r(K).
El problema análogo para más de dos medidas serı́a el de encontrar los conjuntos convexos que
maximizan o minimizan una magnitud Z cuando se fijan otras dos medidas, digamos X e Y . Su
solución se expresarı́a por medio de desigualdades de la forma φ(X, Y ) ≤ Z ≤ ϕ(X, Y ).
σH : {K ∈ Kn : dim K = n} −→ {K ∈ Kn : dim K = n}
Teorema 2.27 (El teorema de esfericidad de Gross). Sea K ∈ Kn con dim K = n y sea SK el
conjunto de todos los cuerpos convexos obtenidos mediante una cantidad finita de simetrizaciones de
Steiner de K respecto a hiperplanos que contienen el origen. Entonces existe una sucesión Ki ∈ SK ,
i ∈ N, tal que
vol(K) 1/n
lı́m Ki = Bn .
i→∞ vol(Bn )
32 ¿Cómo medir un conjunto? La teorı́a de Brunn-Minkowski
vol(K)vol(K ∗ ) ≤ vol(Bn )2 .
D(K c ) = D(K),
ω(K c ) = ω(K),
Wn−1 (K c ) = Wn−1 (K).