Related papers: On the bifurcation sets of functions definable in …

Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…

We characterize the subsets $E \subset \mathbb{R}$ for which there exists a continuous real valued function $f: \mathbb{R}\to\mathbb{R}$ such that lip $f$ is finite everywhere and Lip $f$ is infinite exactly on $E$.

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

For a continuous map on the unit interval or circle, we define the bifurcation set to be the collection of those interval holes whose surviving set is sensitive to arbitrarily small changes of their position. By assuming a global…

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…

A celebrated result in bifurcation theory is that global connected sets of non-trivial solutions bifurcate from trivial solutions at non-zero eigenvalues of odd algebraic multiplicity of the linearized problem when the operators involved…

A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…

For each ${\small b\in(0, \infty)}$ we intend to generate a decreasing sequence of subsets $(\mathcal{Y}_{b}^{(n)}) \subset Y_{\mathrm{conc}}$ depending on $b$ such that whenever $n\in\mathbb{N}$, then $\mathcal{A}\cap\mathcal{Y}_{b}^{(n)}%…

In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…

Consider the (formal/analytic/algebraic) map-germs Maps(X,(k^p,o)). Let G be the group of right/contact/left-right transformations. I extend the following (classical) results from the real/complex-analytic case to the case of arbitrary…

Under general conditions, the equation $g(x,y) = 0$ implicitly defines $y$ locally as a function of $x$. In this article, we express divided differences of $y$ in terms of bivariate divided differences of $g$, generalizing a recent result…

We study the class $\mathcal{M}$ of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in $\mathcal{M}$, with at least one essential singularity, permutes with a non-constant rational…

We study Diophantine equations of type $f(x)=g(y)$, where $f$ and $g$ are lacunary polynomials. According to a well known finiteness criterion, for a number field $K$ and nonconstant $f, g\in K[x]$, the equation $f(x)=g(y)$ has infinitely…

Under general conditions, the equation $g(x,y) = 0$ implicitly defines $y$ locally as a function of $x$. In this short note we study the combinatorial structure underlying a recently discovered formula for the divided differences of $y$…

We introduce the concept of F-decomposable systems, well-ordered inverse systems of Hausdorff compacta with fully closed bonding mappings. A continuous mapping between Hausdorff compacta is called fully closed if the intersection of the…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

For each odd prime power q, we construct an infinite sequence of rational functions f(X) in F_q(X), each of which is exceptional, which means that for infinitely many n the map c-->f(c) induces a bijection of P^1(F_{q^n}). Moreover, each of…

Let $B$ be Banach algebra and $M$ be topological space. If there exists homeomorphism \[ f:M\rightarrow N \] of topological space $M$ into convex set $N$ of the space $B^n$, then homeomorphism $f$ is called chart of the set $M$. The set $M$…

In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…

We prove that, if f:R^n\to R satisfies Fr\'echet's functional equation and f(x_1,...,x_n) is not an ordinary algebraic polynomial in the variables x_1,...,x_n, then f is unbounded on all non-empty open set U of R^n. Furthermore, the closure…