A simplified proof of the o-minimal Whitney Extension Theorem

A continuación presento un resumen técnico detallado del artículo "A Simplified Proof of the O-Minimal Whitney Extension Theorem" (Una prueba simplificada del Teorema de Extensión de Whitney o-minimal), escrito por Beata Kocel-Cynk, Wiesław Pawłucki y Anna Valette.

1. El Problema

El artículo aborda el Teorema de Extensión de Whitney en el contexto de la o-minimalidad. El problema clásico de Whitney consiste en determinar cuándo un campo de polinomios definido sobre un subconjunto cerrado $E \subset \mathbb{R}^n$ (un "campo de Whitney") puede extenderse a una función global $f: \mathbb{R}^n \to \mathbb{R}$ que preserve la regularidad diferenciable.

En el contexto o-minimal, se requiere que:

1. El conjunto $E$ sea un subconjunto cerrado definible en una extensión o-minimal de los números reales $\mathbb{R}$.
2. El campo de Whitney $F$ esté compuesto por funciones definibles.
3. La extensión global $f$ sea una función definible de clase $C^p$ en todo $\mathbb{R}^n$, y de clase $C^q$ (donde $p \le q$) en el complemento $\mathbb{R}^n \setminus E$.

Anteriormente, este teorema había sido demostrado en trabajos previos ([KP1], [KP2], [T]), pero las pruebas eran complejas. El objetivo de este artículo es proporcionar una demostración simplificada y más accesible.

2. Metodología

La estrategia de demostración se basa en la descomposición geométrica del conjunto y el uso de herramientas de análisis definible:

• Estratificación en Células $\Lambda^p$-Regulares:
  El núcleo de la metodología es el uso de la Teoría de Estratificación. Se utiliza un teorema previo (Teorema 2.7) que garantiza que cualquier conjunto definible $E$ puede ser descompuesto en una estratificación finita de subvariedades $C^p$ llamadas células $\Lambda^p$-regulares.

  • Una aplicación es $\Lambda^p$-regular si es de clase $C^p$ y sus derivadas de orden superior están acotadas por una constante dividida por la distancia al borde del dominio elevado a una potencia.
  • Estas células poseen propiedades geométricas fuertes, como ser quasi-convexas y tener funciones de definición Lipschitz.

• Inducción sobre la Dimensión:
  La prueba principal (Sección 6) procede por inducción sobre la dimensión del conjunto $E$.

  1. Se reduce el problema al caso donde $E$ es la unión de un conjunto cerrado $Z$ y una célula $\Lambda^q$-regular abierta $S$ en $E$.
  2. Se asume que el campo de Whitney es "plano" (cero) en $Z$.
  3. Se descompone $S$ en células más pequeñas donde las restricciones del campo son de clase $C^q$.

• Construcción de la Extensión:
  Para cada célula $\Lambda^q$-regular, se utiliza un cambio de coordenadas (automorfismo $\Lambda^q$-regular) para "aplanar" la célula a un hiperplano. Esto permite extender el campo de Whitney a una función $C^q$ en un entorno abierto.

3. Contribuciones Clave y Nuevos Ingredientes

La principal innovación y factor de simplificación de este trabajo es la introducción de una variante definible del Lema de Urysohn para funciones de clase $C^q$.

• Lema de Urysohn Definible $C^q$ (Sección 3):
  Los autores utilizan un resultado de su trabajo previo [K-CPV2] (Teorema 3.2). Este lema establece que, dados dos conjuntos cerrados definibles disjuntos $Z$ y $W$ (donde $W \subset \mathbb{R}^n \setminus Z$), existe una función definible $\omega: \mathbb{R}^n \setminus Z \to [0, 1]$ tal que:

  1. $\omega \equiv 1$ en una vecindad de $W$.
  2. El soporte de $\omega$ está contenido en una vecindad controlada de $W$.
  3. Crucialmente: La función $\omega$ es de clase $C^q$ y sus derivadas satisfacen cotas específicas relacionadas con la distancia a $Z$:
     $$|D^\alpha \omega(x)| \le \frac{C}{d(x, Z)^{|\alpha|}}$$
     Esta propiedad de control de derivadas es esencial para garantizar que la función extendida mantenga la regularidad $C^q$ cerca del conjunto singular $E$.

• Simplificación del Proceso de Pegado:
  En lugar de construcciones complejas de particiones de la unidad o técnicas de aproximación indirecta, los autores utilizan este lema para "pegar" las extensiones locales definidas en las células $\Lambda^q$-regulares. La función $\omega$ actúa como una función de corte suave que preserva las derivadas necesarias.

4. Resultados Principales

El resultado central es el Teorema 1.1:

Dada una extensión o-minimal de $\mathbb{R}$, sea $E$ un subconjunto cerrado definible de $\mathbb{R}^n$. Si $F$ es un campo de Whitney $C^p$ definible sobre $E$, entonces existe una función $f: \mathbb{R}^n \to \mathbb{R}$ tal que:

1. $f$ es definible y de clase $C^p$ en todo $\mathbb{R}^n$.
2. $f$ es de clase $C^q$ en $\mathbb{R}^n \setminus E$.
3. Las derivadas de $f$ coinciden con las funciones del campo de Whitney $F$ sobre $E$.

Proposiciones y Lemas Técnicos:

• Proposición 5.1: Establece la extensión en el caso "genérico" donde el campo de Whitney es cero excepto en una sola célula $\Lambda^q$-regular abierta. Demuestra que se puede construir una extensión $C^q$ que decae adecuadamente cerca del borde.
• Lema 6.1: Proporciona la herramienta algebraica para combinar extensiones parciales (suma de funciones) manteniendo las propiedades de regularidad.

5. Significado e Impacto

• Simplificación Teórica: El artículo logra reducir la complejidad técnica de las demostraciones anteriores del teorema de extensión en contextos o-minimales. Al integrar el lema de Urysohn $C^q$ definible, se evita la necesidad de construcciones geométricas más intrincadas para controlar la regularidad en los bordes.
• Aplicabilidad General: Los resultados no dependen de propiedades específicas de $\mathbb{R}$, sino que se aplican a cualquier campo realmente cerrado. Además, el teorema se puede generalizar a conjuntos localmente cerrados (cerrados dentro de un abierto definible).
• Herramienta para Geometría Definible: Este teorema es fundamental para el análisis en estructuras o-minimales, permitiendo la construcción de funciones suaves globales a partir de datos locales definibles, lo cual es vital para el estudio de variedades definibles, optimización y topología en contextos no estándar.

En resumen, los autores demuestran que la combinación de la estratificación en células regulares y un lema de partición de la unidad con control preciso de derivadas ($C^q$-Urysohn) es suficiente y más eficiente para probar la existencia de extensiones definibles de campos de Whitney.