SMF

Ensembles symétriques par arcs et applications arc-analytiques

Arc-symmetric Sets and Arc-analytic Mappings

Krzysztof KURDYKA, Adam PARUSINSKI
Ensembles symétriques par arcs et applications arc-analytiques
  • Consulter un extrait
  • Année : 2007
  • Tome : 24
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 14Pxx, 14P05, 14P25 , 32B10, 32C05, 58A07
  • Pages : 33-67

Les ensembles symétriques par arcs d'une variété analytique réelle sont les sous-ensembles vérifiant la condition : un arc analytique rencontre l'ensemble uniquement en des points isolés, ou bien est entièrement contenu dans l'ensemble. Les ensembles semi-algébriques symétriques par arcs d'un espace affine forment une famille contenant toutes les composantes connexes (même celles analytiques) des ensembles algébriques réels. En prenant cette famille de parties pour collection de fermés, on obtient une topologie noethérienne $\mathcal {AR}$ sur $\mathbb {R}^n$ plus fine que la topologie de Zariski. On montre que la topologie $\mathcal AR$ possède des propriétés similaires à celle de Zariski dans le cas algébrique complexe. On en déduit de nouvelles méthodes topologiques en géométrie algébrique réelle. Comme application nous montrons notamment que toute application injective et régulière d'un ensemble algébrique réel dans lui-même est surjective. C'est une version réelle du théorème d'Ax du cas algébriquement clos. Nous donnons aussi une preuve d'un résultat de Kucharz : toute e d'homologie, à coefficients dans $\mathbb {Z}_2$, d'une variété de Nash compacte, se réalise comme e fondamentale d'un sous-ensemble semi-algébrique symétrique par arcs.

Arc-symmetric subsets of a real analytic manifold are the subsets which satisfy the following test : given an analytic arc, then either the arc meets the set at isolated points or it is entirely included in the set. Arc-symmetric semialgebraic subsets of an affine space form a family which contains all connected (even analytic) components of real algebraic sets. Taking the sets of this family as closed sets we obtain a noetherian topology $\mathcal {AR}$ on $\mathbb {R}^n$, stronger than the Zariski topology. We show that the $\mathcal {AR}$ topology has similar properties to the Zariski one in the complex algebraic case, consequently we obtain some new topological methods in the real algebraic geometry. As an application we prove that injective regular self-maps of real algebraic sets are surjective, this is a real version of an analogous theorem of Ax for algebraically closed fields. We give a proof of a result of Kucharz that the homology es with ${\mathbb Z}_2$ coefficients of compact Nash manifolds can be realised by the fundamental es of arc-symmetric semialgebraic sets.

arcs analytiques, ensembles algébriques réels, ensembles semi-algébriques symétriques par arcs, applications arc-analytiques, fonctions Nash constructibles, intégrale d'Euler, applications régulières injectives
Analytic arcs, real algebraic sets, arc-symmetric semi-algebraic sets, arc-analytic mappings, Nash constructible functions, Euler integral, injective regular selfmaps