Una familia de desigualdades geométricas que acotan desde abajo la medida del borde (perímetro, área superficial) de una región en función de su volumen, afirmando que entre conjuntos de volumen fijo la bola (esfera) minimiza la medida del borde.

Principio

Optimizar la medida del borde con la restricción de volumen; en el espacio euclidiano el extremal es la bola redonda porque la simetría y la distribución de curvatura minimizan el perímetro para un volumen dado.

Demostración

En el plano la desigualdad isoperimétrica escribe 4πA ≤ L^2, donde A es el área y L el perímetro; la igualdad se cumple exactamente para el círculo, que alcanza el perímetro mínimo para un área dada.

Aplicación incorrecta

Aplicar la desigualdad isoperimétrica euclidiana clásica a conjuntos con frontera fractal o a espacios métricos sin verificar la regularidad medida-teórica requerida y las hipótesis de curvatura del ambiente.

Consecuencia

Proporciona estimaciones fundamentales usadas para derivar desigualdades de Sobolev y Poincaré, resultados de concentración de medida y cotas inferiores para los valores propios de operadores tipo Laplaciano en análisis geométrico.

Inversión

La noción complementaria es la desigualdad isodiamétrica que compara volumen con diámetro; minimizar el borde para volumen fijo (isoperimétrico) difiere de maximizar volumen para diámetro fijo (isodiamétrico).

Límite

Válida en R^n euclidiano y en muchas variedades riemannianas con curvatura controlada; las extensiones existen pero requieren ajustar constantes y pueden fallar en espacios métricos singulares o muy no euclidianos.

Tensión semántica

A veces se confunde con desigualdades de Sobolev o Poincaré que son consecuencias analíticas: la isoperimetría es geométrica y aguda para formas, mientras que Sobolev acota normas de funciones y puede derivarse de estimaciones isoperimétricas.

Síntesis

La desigualdad isoperimétrica afirma que, entre dominios de volumen fijo, la esfera minimiza la medida del borde, proporcionando un principio extremal geométrico que fundamenta desigualdades analíticas y cotas espectrales.