Related papers: On definable open continuous mappings

Let X and Y be compact, simply connected and locally connected subsets of R^2, and let f : X -> Y be a homeomorphism isotopic to the identity on X. Generalizing Brouwer's plane translation theorem for self-maps of the plane, we prove that f…

Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein…

Let X be a connected family of complex Fano manifolds. We show that if some fiber is the product of two manifolds of lower dimensions, then so is every fiber. Combining with previous work of Hwang and Mok, this implies immediately that if a…

We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and…

We prove a conjecture of Courcelle, which states that a graph property is definable in MSO with modular counting predicates on graphs of constant treewidth if, and only if it is recognizable in the following sense: constant-width tree…

We prove that a closed convex subset $C$ of a real Hilbert space $X$ has the fixed point property for $(c)$-mappings if and only if $C$ is bounded. Some convergence results about the iterations are obtained.

This article introduces descriptive fixed sets and their properties in descriptive proximity spaces viewed in the context of planar ribbon complexes. These fixed sets are a byproduct of descriptive proximally continuous maps that spawn…

In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…

We prove the (generalized) coherence conjecture of Pappas and Rapoport. As a corollary, one theorem of Pappas an Rapoport, which describes the geometry of the special fibers of the local models for ramified unitary groups, holds…

A graph $G$ is said to be ubiquitous, if every graph $\Gamma$ that contains arbitrarily many disjoint $G$-minors automatically contains infinitely many disjoint $G$-minors. The well-known Ubiquity conjecture of Andreae says that every…

We show that for any family of curves over a base scheme of finite type over the prime field $\mathbb F_p$ such that the monodromy is ``maximal'', there exist infinitely many closed points of the base scheme such that the Jacobian of fibre…

For some class of mappings, there are investigated problems connected with a possibility of continuous extension to a boundary on Riemannian manifolds. In particular, for so-called ring mappings, there is proved a result related to…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

In this paper, we consider boundary extensions of two classes of mappings between metric measure spaces. These two mapping classes extend in particular the well-studied geometric mappings such as quasiregular mappings with integrable…

Let $E,F$ be two topological spaces and $u:E\rightarrow F$ be a map. \ If $F$ is Haudorff and $u$ is continuous, then its graph is closed. \ \ The Closed Graph Theorem establishes the converse when $E$ and $F$ are suitable objects of…

In this paper we consider two connected closed Haken manifolds denoted by M^3 and N^3, with the same Gromov simplicial volume. We give a simple homological criterion to decide when a given map f: M^3-->N^3 between M^3 and N^3 can be changed…

We show that for a compact surface without boundary $M$ the set of cw-expansive homeomorphisms is dense in the set of all the homeomorphisms of $M$ with respect to the $C^0$ topology. After this we show that for a generic homeomorphism $f$…

We consider topological conditions under which a locally invertible map admits a global inverse. Our main theorem states that a local diffeomorphism $f: M \to\mathbb{R}^n$ is bijective if and only if $H_{n-1}(M)=0$ and the pre-image of…

A map $f: \ff^n \to \ff^n$ over a field $\ff$ is called affine if it is of the form $f(x)=Ax+b$, where the matrix $A \in \ff^{n\times n}$ is called the linear part of affine map and $b \in \ff^n$. The affine maps over $\ff=\rr$ or $\cc$ are…

If $X$ is a topological space and $Y$ is any set then we call a family $\mathcal{F}$ of maps from $X$ to $Y$ nowhere constant if for every non-empty open set $U$ in $X$ there is $f \in \mathcal{F}$ with $|f[U]| > 1$, i.e. $f$ is not…