Page 1 Next

Displaying 1 – 20 of 136

Showing per page

A decomposition of a set definable in an o-minimal structure into perfectly situated sets

Wiesław Pawłucki (2002)

Annales Polonici Mathematici

A definable subset of a Euclidean space X is called perfectly situated if it can be represented in some linear system of coordinates as a finite union of (graphs of) definable 𝓒¹-maps with bounded derivatives. Two subsets of X are called simply separated if they satisfy the Łojasiewicz inequality with exponent 1. We show that every closed definable subset of X of dimension k can be decomposed into a finite family of closed definable subsets each of which is perfectly situated and such that any...

A linear extension operator for Whitney fields on closed o-minimal sets

Wiesław Pawłucki (2008)

Annales de l’institut Fourier

A continuous linear extension operator, different from Whitney’s, for 𝒞 p -Whitney fields (p finite) on a closed o-minimal subset of n is constructed. The construction is based on special geometrical properties of o-minimal sets earlier studied by K. Kurdyka with the author.

A note on Bierstone-Milman-Pawłucki's paper "Composite differentiable functions"

Krzysztof Jan Nowak (2011)

Annales Polonici Mathematici

We demonstrate that the composite function theorems of Bierstone-Milman-Pawłucki and of Glaeser carry over to any polynomially bounded, o-minimal structure which admits smooth cell decomposition. Moreover, the assumptions of the o-minimal versions can be considerably relaxed compared with the classical analytic ones.

A proof of the valuation property and preparation theorem

Krzysztof Jan Nowak (2007)

Annales Polonici Mathematici

The purpose of this article is to present a short model-theoretic proof of the valuation property for a polynomially bounded o-minimal theory T. The valuation property was conjectured by van den Dries, and proved for the polynomially bounded case by van den Dries-Speissegger and for the power bounded case by Tyne. Our proof uses the transfer principle for the theory T c o n v (i.e. T with an extra unary symbol denoting a proper convex subring), which-together with quantifier elimination-is due to van den...

Algèbres analytiques topologiquement noéthériennes. Théorie de Khovanskii

Jean-Claude Tougeron (1991)

Annales de l'institut Fourier

On étudie certaines algèbres de fonctions analytiques réelles définies sur un ouvert Ω de R n . La propriété principale de ces algèbres est que tout semi-analytique de Ω défini globalement à l’aide d’un nombre fini de fonctions de 𝒪 ( Ω ) , admet un nombre fini de composantes connexes. En reprenant les idées de Khovanskii (lemme de Rolle généralisé), on démontre que ces algèbres restent topologiquement noethériennes quand on leur adjoint les solutions de certaines équations différentielles du ler ordre. Par...

Arc-analyticity and polynomial arcs

Rémi Soufflet (2004)

Annales Polonici Mathematici

We relate the notion of arc-analyticity and the one of analyticity on restriction to polynomial arcs and we prove that in the subanalytic setting, these two notions coincide.

Bi-Lipschitz trivialization of the distance function to a stratum of a stratification

Adam Parusiński (2005)

Annales Polonici Mathematici

Given a Lipschitz stratification 𝒳 that additionally satisfies condition (δ) of Bekka-Trotman (for instance any Lipschitz stratification of a subanalytic set), we show that for every stratum N of 𝒳 the distance function to N is locally bi-Lipschitz trivial along N. The trivialization is obtained by integration of a Lipschitz vector field.

Closure Theorem for Partially Semialgebraic Sets

María-Angeles Zurro (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

In 1988 it was proved by the first author that the closure of a partially semialgebraic set is partially semialgebraic. The essential tool used in that proof was the regular separation property. Here we give another proof without using this tool, based on the semianalytic L-cone theorem (Theorem 2), a semianalytic analog of the Cartan-Remmert-Stein lemma with parameters.

Constructing blow-analytic isomorphisms

Toshizumi Fukui, Tzee-Char Kuo, Laurentiu Paunescu (2001)

Annales de l’institut Fourier

In this paper we construct non-trivial examples of blow-analytic isomorphisms and we obtain, via toric modifications, an inverse function theorem in this category. We also show that any analytic curve in n , n 3 , can be deformed via a rational blow- analytic isomorphism of n , to a smooth analytic arc.

Currently displaying 1 – 20 of 136

Page 1 Next