Related papers: Observing expansive maps
Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…
The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological…
Takens constructed a residual subset of the state space consisting of initial points with historic behaviour for expanding maps on the circle. We prove that this statistical property of expanding maps on the circle is preserved under small…
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…
We give a new and elementary proof showing that a homeomorphism of a compact metric space is positively expansive if and only if the space is finite.
We present a necessary and sufficient condition for the topological equivalence of a continuous function on a plane to a projection onto one of coordinates.
It is shown that given a metric space $X$ and a $\sigma$-finite positive regular Borel measure $\mu$ on $X$, there exists a bounded continuous real-valued function on $X$ that is one-to-one on the complement of a set of $\mu$ measure zero.
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functors and monads are at the core of many applications of…
We consider the trajectories of points on $\mathbb{S}^{d - 1}$ under sequences of certain folding maps associated with reflections. The main result characterizes collections of folding maps that produce dense trajectories. The minimal…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…
We study the problem of extending an order-preserving real-valued Lipschitz map defined on a subset of a partially ordered metric space without increasing its Lipschitz constant and preserving its monotonicity. We show that a certain type…
We define extension maps as maps that extend a system (through adding ancillary systems) without changing the state in the original system. We show, using extension maps, why a completely positive operation on an initially entangled system…
It is proved that each of compact linear groups of one special type admits a polynomial factorization map onto a real vector space. More exactly, the group is supposed to be non-commutative one-dimensional and to have two connected…
In this paper we investigate two important properties of metric measure spaces satisfying the reduced curvature-dimension condition for negative values of the dimension parameter: the existence of a transport map between two suitable…
We study several properties of expansive group actions on metric spaces and obtain relation between expansivity for subgroup and group actions. Through counter examples necessity of hypothesis are justified. We also study expansivity of…
We consider linear operators defined on a subspace of a complex Banach space into its topological antidual acting positively in a natural sense. The goal of this paper is to investigate of this kind of operators. The main theorem is a…
We study the property of global-local mixing for full-branched expanding maps of either the half-line or the interval, with one indifferent fixed point. Global-local mixing expresses the decorrelation of global vs local observables w.r.t.…
Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to…
The notion of expansivity and its generalizations (measure expansive, measure positively expansive, continuum-wise expansive, countably-expansive) are well known for deterministic systems and can be a useful property for studying…
With the aim of treating the local behaviour of additive functions, we develop analogues of the Matom\"{a}ki-Radziwill theorem that allow us to approximate the average of a general additive function over a typical short interval in terms of…