Extending Tamm's theorem

Dries, Lou van den ; Miller, Chris

Annales de l'Institut Fourier, Tome 44 (1994), p. 1367-1395 / Harvested from Numdam

Résumé

On généralise un résultat de M. Tamm :

Soit $f:A\rightarrow {\Bbb R}$, $A\subseteq {\Bbb R}^{m+n}$, définissable dans le corps ordonné des nombres réels augmenté par toutes les fonctions analytiques réelles sur les cubes compacts et toutes les puissances $x\mapsto x^r:(0,\infty )\rightarrow {\Bbb R}$, $r\in {\Bbb R}$. Alors, il existe $N\in {\Bbb N}$ telle que pour chaque $(a,b)\in A$, la fonction $y\mapsto f(a,y)$ est $C^N$ dans un voisinage de $b$ si et seulement si $y\mapsto f(a,y)$ est analytique dans un voisinage de $b$.

Abstract

We extend a result of M. Tamm as follows:

Let $f:A\rightarrow {\Bbb R},\, A\subseteq {\Bbb R}^{m+n}$, be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions $x\mapsto x^r:(0,\infty )\rightarrow {\Bbb R},\, r\in {\Bbb R}$. Then there exists $N\in {\Bbb N}$ such that for all $(a,b)\in A$, if $y\mapsto f(a,y)$ is $C^N$ in a neighborhood of $b$, then $y\mapsto f(a,y)$ is real analytic in a neighborhood of $b$.

Détail

Publié le : 1994-01-01

MR 96g:32016 | Zbl 0816.32004

DOI : https://doi.org/10.5802/aif.1438

Bibliographie

[AM] S. Abhyankar and T. Moh, Reduction theorem for divergent power series, J. Reine Angew. Math., 241 (1970), 27-33. | MR 41 #3800 | Zbl 0191.04403

[BM] E. Bierstone and P. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math., 67 (1988), 5-42. | Numdam | MR 89k:32011 | Zbl 0674.32002

[BS] J. Bochnak and J. Siciak, Analytic functions in topological vector spaces, Studia Math., 39 (1971), 77-112. | MR 47 #2365 | Zbl 0214.37703

[DD] J. Denef and L. Van Den Dries, p-adic and real subanalytic sets, Ann. of Math., 128 (1988), 79-138. | MR 89k:03034 | Zbl 0693.14012

[D1] L. Van Den Dries, Remarks on Tarski's problem concerning (ℝ, +, ., exp), Logic Colloquium 1982, eds. G. Lolli, G. Longo and A. Marcja, North Holland, Amsterdam (1984), 97-121. | MR 86g:03052 | Zbl 0585.03006

[D2] L. Van Den Dries, A generalization of the Tarski-Seidenberg theorem and some nondefinability results, Bull. Amer. Math. Soc. (N.S.), 15 (1986), 189-193. | MR 88b:03048 | Zbl 0612.03008

[D3] L. Van Den Dries, Tame topology and o-minimal structures, (monograph in preparation). | Zbl 0953.03045

[DMM] L. Van Den Dries, A. Macintyre and D. Marker, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math., 140 (1994), 183-205. | MR 95k:12015 | Zbl 0837.12006

[DM] L. Van Den Dries and C. Miller, On the real exponential field with restricted analytic functions, Israel J. Math., 85 (1994), 19-56. | MR 95e:03099 | Zbl 0823.03017

[H] R. Hardt, Semi-algebraic local triviality in semi-algebraic mappings, Amer. J. Math., 102 (1980), 291-302. | MR 81d:32012 | Zbl 0465.14012

[KPS] J. Knight, A. Pillay and C. Steinhorn, Definable sets in ordered structures. II, Trans. Amer. Math. Soc., 295 (1986), 593-605. | MR 88b:03050b | Zbl 0662.03024

[KR] T. Kayal and G. Raby, Ensembles sous-analytiques: quelques propriétés globales, C. R. Acad. Sci. Paris, Sér. I Math., 308 (1989), 521-523. | MR 90d:32016 | Zbl 0674.32003

[K] K. Kurdyka, Points réguliers d'un sous-analytique, Ann. Inst. Fourier (Grenoble), 38-1 (1988), 133-156. | Numdam | MR 89g:32010 | Zbl 0619.32007

[M1] C. Miller, Exponentiation is hard to avoid, Proc. Amer. Math. Soc., 122 (1994), 257-259. | MR 94k:03042 | Zbl 0808.03022

[M2] C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic, 68 (1994), 79-94. | MR 95i:03081 | Zbl 0823.03018

[M3] C. Miller, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc., (to appear). | Zbl 0823.03019

[P] W. Pawlucki, Le théorème de Puiseux pour une application sous-analytique, Bull. Polish Acad. Sci. Math., 32 (1984), 556-560. | MR 86j:32015 | Zbl 0574.32010

[PS] A. Pillay and C. Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc., 295 (1986), 565-592. | MR 88b:03050a | Zbl 0662.03023

[T] M. Tamm, Subanalytic sets in the calculus of variations, Acta Math., 146 (1981), 167-199. | MR 82h:32012 | Zbl 0478.58010

[To] J.-Cl. Tougeron, Algèbres analytiques topologiquement noethériennes. Théorie de Khovanskii, Ann. Inst. Fourier (Grenoble), 41-4 (1991), 823-840. | Numdam | MR 93f:32005 | Zbl 0786.32011

[W] A. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Jour. Amer. Math. Soc., (to appear). | Zbl 0892.03013