Corps complet sphérique

En mathématiques, un corps K muni d'une valeur absolue est dit complet sphérique si toute suite décroissante de boules emboîtées a une intersection non vide.

Autrement dit, quelle que soit la suite {B₁, B₂, B₃...} de boules de K (au sens de la distance induite par la valeur absolue) telles que chaque boule soit incluse dans la précédente,

$B_1\supseteq B_2\supseteq B_3\supseteq \cdots$

alors leur intersection est non vide :

$\bigcap _{n\in 𝐍}{B}_n\ne \mathrm{\varnothing }.$

On peut généraliser cette définition à un corps K muni d'une valuation v à valeurs dans un groupe abélien ordonné : ( K, v ) est complet sphérique si chaque ensemble ordonné de boules possède une intersection non vide.

Les corps complets sphériques sont importants pour l'analyse fonctionnelle non archimédienne, car de nombreux résultats analogues aux théorèmes de l'analyse fonctionnelle classique nécessitent que le corps de base soit complet sphérique.

Exemples

• Tout corps localement compact est complet sphérique. Cela inclut, en particulier, les corps Q_p des nombres p-adiques et toutes leurs extensions finies.
• Tout corps complet sphérique est nécessairement complet, mais la réciproque n'est pas vraie. Ainsi, C_p, la complétion de la clôture algébrique de Q_p, n'est pas complet sphérique.
• Le corps des séries de Hahn sur un corps ordonné K est sphériquement complet.