A simplified proof of the o-minimal Whitney Extension Theorem

1. O Problema

O artigo aborda o Teorema de Extensão de Whitney no contexto da teoria o-minimal. O problema clássico de Whitney consiste em determinar quando um campo de polinômios (um "campo de Whitney") definido sobre um subconjunto fechado $E \subset \mathbb{R}^n$ pode ser estendido a uma função suave definida em todo o espaço $\mathbb{R}^n$.

No contexto o-minimal, o desafio adicional é garantir que a função estendida e todas as suas propriedades de regularidade sejam definíveis dentro da estrutura o-minimal dada (uma extensão do corpo dos números reais $\mathbb{R}$). O teorema estabelece que, dado um campo de Whitney $C^p$ definível $F$ sobre um conjunto fechado definível $E$, existe uma função $f: \mathbb{R}^n \to \mathbb{R}$ que é:

• Definível e de classe $C^p$ em todo $\mathbb{R}^n$.
• De classe $C^q$ (onde $q \geq p$) no complemento $\mathbb{R}^n \setminus E$.
• Tal que as derivadas de $f$ até a ordem $p$ coincidem com os componentes do campo $F$ em $E$.

Provas anteriores deste resultado foram estabelecidas em trabalhos como [KP1], [KP2] e [T], mas o objetivo deste artigo é fornecer uma prova simplificada.

2. Metodologia

A prova mantém a estrutura geral das abordagens anteriores, baseando-se em duas ferramentas principais, mas introduz uma simplificação crucial:

• Estratificação em Células $\Lambda^p$-Regulares: O método utiliza a decomposição do conjunto fechado $E$ em células regulares (estratificação). Uma célula $\Lambda^p$-regular é um conjunto definível onde as funções que a definem e suas derivadas satisfazem certas estimativas de crescimento controlado em relação à distância ao bordo. Isso permite tratar o problema localmente em células geométricas bem-comportadas.
• Lema de Urysohn Definível $C^q$ (Novo Ingrediente): A principal inovação metodológica é o uso de uma versão definível do Lema de Urysohn para funções de classe $C^q$ (apresentada na Seção 3 e baseada no trabalho [K-CPV2]).
  • Diferente das provas anteriores que podem ter exigido construções mais complexas para "colar" funções ou controlar a regularidade nas fronteiras, este lema permite a construção de uma função de corte ($\omega$) definível, de classe $C^q$, que é igual a 1 numa vizinhança de um conjunto fechado $W$ e tem suporte contido numa vizinhança ligeiramente maior, mantendo estimativas precisas nas derivadas em função da distância ao conjunto $Z$ (o complemento de $W$).

3. Contribuições Chave

1. Simplificação da Prova: O artigo reduz a complexidade técnica da demonstração do Teorema de Extensão de Whitney o-minimal, eliminando a necessidade de argumentos mais intrincados presentes nas versões anteriores.
2. Aplicação do Lema de Urysohn Definível: A introdução e aplicação sistemática do Lema de Urysohn $C^q$ definível (Teorema 3.2) como ferramenta central para a extensão e colagem de funções. Isso permite controlar a regularidade $C^q$ fora do conjunto singular $E$ de forma mais direta.
3. Generalidade Estrutural: A prova é construída de forma a ser robusta e aplicável a qualquer corpo realmente fechado, não apenas aos números reais, mantendo a definibilidade.

4. Resultados Principais

O resultado central é o Teorema 1.1, que afirma:

Dada uma extensão o-minimal de $\mathbb{R}$, seja $E$ um subconjunto fechado definível de $\mathbb{R}^n$. Para inteiros positivos $p \leq q$, se $F$ é um campo de Whitney $C^p$ definível em $E$, então existe uma função $f: \mathbb{R}^n \to \mathbb{R}$ definível tal que:

• $f \in C^p(\mathbb{R}^n)$ e $f \in C^q(\mathbb{R}^n \setminus E)$.
• $D^\alpha f = F^\alpha$ em $E$ para todo multi-índice $\alpha$ com $|\alpha| \leq p$.

Esboço da Prova (Seções 5 e 6):

• Caso Genérico (Proposição 5.1): A prova começa tratando o caso onde o campo de Whitney é nulo exceto em uma única célula $\Lambda^q$-regular aberta em $E$. Utiliza-se um automorfismo $\Lambda^q$-regular para "achatar" a célula, estende-se o campo para um espaço produto usando o Lema de Urysohn para multiplicar por uma função de corte suave, garantindo que a extensão seja $C^q$ fora do bordo da célula.
• Indução (Seção 6): Para o caso geral, utiliza-se indução na dimensão de $E$.
  1. Estratifica-se $E$ em células $\Lambda^q$-regulares.
  2. Decompõe-se $E$ em um conjunto fechado de dimensão inferior e uma união de células abertas.
  3. Aplica-se a hipótese indutiva para estender o campo no conjunto de dimensão inferior.
  4. Usa-se o Lema 6.1 (soma de extensões) e a Proposição 5.1 para estender o campo nas células abertas restantes, "colando" as soluções usando partições da unidade definíveis e o Lema de Urysohn.

5. Significado

Este trabalho é significativo para a Geometria O-Minimal e a Análise Real Definível por:

• Acessibilidade: Oferecer uma prova mais limpa e acessível de um teorema fundamental, facilitando a compreensão e a aplicação do resultado por outros pesquisadores.
• Ferramentas Novas: Estabelecer o Lema de Urysohn $C^q$ definível como uma ferramenta padrão e poderosa para problemas de extensão e aproximação em contextos definíveis.
• Consolidação Teórica: Reforçar a conexão entre a estrutura geométrica das células regulares ($\Lambda^p$-regular) e a análise suave, mostrando que a regularidade $C^q$ pode ser preservada de forma controlada fora do conjunto singular, o que é crucial para aplicações em topologia e geometria definível.

Em resumo, o artigo não apenas reafirma um teorema existente, mas otimiza a sua demonstração, tornando-a mais elegante e dependente de uma ferramenta de análise (Urysohn definível) que simplifica a manipulação de regularidade em espaços definíveis.