Voir la notice de l'article provenant de la source Numdam
La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité . Cela implique en particulier la « -minimalité » : une partie définissable d’un corps algébriquement clos valué est une combinaison booléenne finie de boules, ouvertes ou fermées. Cette propriété peut être considérée dans toute structure ultramétrique, et les structures qui en jouissent sont l’objet de ce texte. Nous étudions semblances et dissemblances entre structures -minimales et o-minimales. Nous nous concentrons plus particulièrement sur le cas des corps et prouvons un résultat de dérivabilité presque partout des fonctions définissables dans un corps -minimal.
In algebraic geometry the class of constructible sets is closed under projection. Model theory expresses this fact by saying that algebraically closed fields eliminate quantifiers in the language of rings. Analogously, non-trivially valued algebraically closed fields eliminate quantifiers in the language of rings with an additional binary relation for . This implies that such a valued field is “-minimal”: a definable subset of is a finite Boolean combination of open and closed balls. This property can be considered in any ultrametric structure and the structures that enjoy it are the subject of this text. We study analogies and differences between -minimal and o-minimal structures, with a particular emphasis on fields. We prove a result of almost everywhere differentiability.
@article{AFST_2012_6_21_2_413_0,
author = {Delon, Fran\c{c}oise},
title = {Corps {\protect\emph{C}-minimaux,} en l{\textquoteright}honneur de {Fran\c{c}ois} {Lucas}},
journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
pages = {413--434},
publisher = {Universit\'e Paul Sabatier, Institut de Math\'ematiques},
address = {Toulouse},
volume = {6e s{\'e}rie, 21},
number = {2},
year = {2012},
doi = {10.5802/afst.1339},
zbl = {1283.12001},
mrnumber = {2978100},
language = {fr},
url = {http://geodesic.mathdoc.fr/articles/10.5802/afst.1339/}
}
TY - JOUR AU - Delon, Françoise TI - Corps C-minimaux, en l’honneur de François Lucas JO - Annales de la Faculté des sciences de Toulouse : Mathématiques PY - 2012 SP - 413 EP - 434 VL - 21 IS - 2 PB - Université Paul Sabatier, Institut de Mathématiques PP - Toulouse UR - http://geodesic.mathdoc.fr/articles/10.5802/afst.1339/ DO - 10.5802/afst.1339 LA - fr ID - AFST_2012_6_21_2_413_0 ER -
%0 Journal Article %A Delon, Françoise %T Corps C-minimaux, en l’honneur de François Lucas %J Annales de la Faculté des sciences de Toulouse : Mathématiques %D 2012 %P 413-434 %V 21 %N 2 %I Université Paul Sabatier, Institut de Mathématiques %C Toulouse %U http://geodesic.mathdoc.fr/articles/10.5802/afst.1339/ %R 10.5802/afst.1339 %G fr %F AFST_2012_6_21_2_413_0
Delon, Françoise. Corps C-minimaux, en l’honneur de François Lucas. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 21 (2012) no. 2, pp. 413-434. doi: 10.5802/afst.1339
Cité par Sources :