Related papers: On definable open continuous mappings

We prove that if $M$ and $N$ are Riemannian, oriented $n$-dimensional manifolds without boundary and additionally $N$ is compact, then Sobolev mappings $W^{1,n}(M,N)$ of finite distortion are continuous. In particular, $W^{1,n}(M,N)$…

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to…

We study topologically monotone surjective $W^{1,n}$-maps of finite distortion $f \colon \Omega \to \Omega'$, where $\Omega, \Omega' $ are domains in $\mathbb{R}^n$, $n \geq 2$. If the outer distortion function $K_f \in…

We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…

To formulate our results let $f$ be a continuous map from $\mathbb R^n$ to $2^{\mathbb R^n}$ and $k$ a natural number such that $|f(x)|\leq k$ for all $x$. We prove that $f$ is fixed-point free if and only if its continuous extension…

Let $F\in W^{1,n}_{\text{loc}}(\Omega; \Bbb R^n)$ be a mapping with nonnegative Jacobian $J_F(x)=\det DF(x)\ge 0$ for a.e. $x$ in a domain $\Omega\subset\Bbb R^n$. The {\it dilatation} of $F$ is defined (almost everywhere in $\Omega$) by…

We show that if there exists a topologically expansive homeomorphism on a uniform space, then the space is always a regular space. Through examples we show that in general composition of topologically expansive homeomorphisms need not be…

We present a surprisingly short proof that for any continuous map $f : \mathbb{R}^n \rightarrow \mathbb{R}^m$, if $n>m$, then there exists no bound on the diameter of fibers of $f$. Moreover, we show that when $m=1$, the union of small…

Let $X, Y \subset \mathbb{R}^n$ be Lipschitz domains, and suppose there is a homeomorphism $\varphi \colon \overline{X} \to \overline{Y}$. We consider the class of Sobolev mappings $f \in W^{1,n} (X, \mathbb{R}^n)$ with a strictly positive…

We give an explicit example of a fibration $f \colon X \to Y$ between smooth projective varieties whose "orbifold base" $\Delta_f$ in the sense of Campana has the property that the induced morphism $X \to (Y, \Delta_f)$ is not a morphism of…

A note connecting arguments scattered in the extant literature proving that, in any o-minimal expansion of the real field, a definable family of sets has the property that the set of parameters corresponding to finite-volume fibers is…

In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…

In this paper we present an equivalent statement to the Jacobian conjecture. For a polynomial map F on an affine space of dimension n, we define recursively n finite sequences of polynomials. We give an equivalent condition to the…

Our main result states that every fixed-point free continuous self-map of ${\mathbb R}^{n}$ is colorable. This result can be re-formulated as follows: A continuous map $f: {\mathbb R}^{n}\to {\mathbb R}^{n}$ is fixed-point free iff…

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

For any link in the $3$-sphere, we give a visual construction of a stable map $f$ from the $3$-sphere into the real plane enjoying the following properties; $f$ has no cusp point, the set of definite fold points of $f$ is isotopic to the…

We construct an almost everywhere approximately differentiable, orientation and measure preserving homeomorphism of a unit $n$-dimensional cube onto itself, whose Jacobian is equal to $-1$ a.e. Moreover we prove that our homeomorphism can…

Let $X, Y$ be separable metrizable spaces, where $X$ is noncompact and $Y$ is equipped with an admissible complete metric $d$. We show that the space $C(X,Y)$ of continuous maps from $X$ into $Y$ equipped with the uniform topology is…