Ergodic properties for some non-expanding non-reversible systems

We study several properties of invariant measures obtained from preimages, for non-invertible maps on fractal sets which model non-reversible dynamical systems. We give two ways to describe the distribution of all preimages for endomorphisms which are not necessarily expanding on a basic set Λ. We give a topological dynamics condition which guarantees that the corresponding measures converge to a unique conformal ergodic borelian measure; this helps in estimating the unstable dimension a.e. with respect to this measure with the help of Lyapunov exponents. When there exist negative Lyapunov exponents of this limit measure, we study the conditional probabilities induced on the non-uniform local stable manifolds by the limit measure, and also its pointwise dimension on stable manifolds.     

Chaotic sets of continuous and discontinuous maps

This paper discusses Li-Yorke chaotic sets of continuous and discontinuous maps with particular emphasis to shift and subshift maps. Scrambled sets and maximal scrambled sets are introduced to characterize Li-Yorke chaotic sets. The orbit invariant for a scrambled set is discussed. Some properties about maximality, equivalence and uniqueness of maximal scrambled sets are also discussed. It is shown that for shift maps the set of all scrambled pairs has full measure and chaotic sets of some discontinuous maps, such as the Gauss map, interval exchange transformations, and a class of planar piecewise isometries, are studied. Finally, some open problems on scrambled sets are listed and remarked.     

Topological entropy of maps on the real line

The aim of this paper is to introduce a definition of topological entropy for continuous maps such that, at least for continuous real maps, it keeps the following general philosophy: positive topological entropy implies that the map has a complicated dynamical behaviour. Besides, we pursue that our definition keeps some properties which are hold by the classic definition of topological entropy introduced for compact sets.     

Omega-limit sets and invariant chaos in dimension one

Omega-limit sets play an important role in one-dimensional dynamics. During last fifty year at least three definitions of basic set has appeared. Authors often use results with different definition. Here we fill in the gap of missing proof of equivalency of these definitions. Using results on basic sets we generalize results in paper [P. Oprocha, Invariant scrambled sets and distributional chaos, Dyn. Syst. 24 (2009), no. 1, 31–43.] to the case continuous maps of finite graphs. The Li-Yorke chaos is weaker than positive topological entropy. The equivalency arises when we add condition of invariance to Li-Yorke scrambled set. In this note we show that for a continuous graph map properties positive topological entropy; horseshoe; invariant Li-Yorke scrambled set; uniform invariant distributional chaotic scrambled set and distributionaly chaotic pair are mutually equivalent.     

On open problems concerning distributional chaos for triangular maps

We show that in the class T of the triangular maps (x,y)?(f(x),g_x(y)) of the square there is a map of type 2^∞ with non-minimal recurrent points which is not DC3. We also show that every DC1 continuous map of a compact metric space has a trajectory which cannot be (weakly) approximated by trajectories of compact periodic sets. These two results make possible to answer some open questions concerning classification of maps in T with zero topological entropy, and contribute to an old problem formulated by A.N. Sharkovsky.     

On b-locally closed sets and related topics

The aim of this paper is to introduce the class of b-locally closed sets and two different notions of generalizations of continuous maps namely b-LC-continuous and b-LC-irresoluteness in a topological space. We discuss some of their properties. Several examples are provided to illustrate the behaviour of these new types of sets and functions.     

Counterexamples of continuous maps on dendrites

We take a list of properties of continuous maps on compact metric spaces, e.g. the existence of an arc horseshoe, the positivity of topological entropy, the existence of a homoclinic trajectory, the existence of an omega-limit set containing two minimal sets and others. Our aim is to find the relations between the properties in the case of dendrite maps. To achieve the aim at least partially, we consider several examples of dendrite maps and check which of the properties particular examples have. It also helps us to understand the dynamics of dendrite maps.     

Self-similar sets satisfying the common point property

A self-similar set is a fixed point of iterated function system (IFS) whose maps are similarities. We say that a self-similar set satisfies the common point property if the intersection of images of the attractor under the maps of the IFS is a singleton and this point has a common pre-image, under the maps of the IFS, and the pre-image is in the attractor.Self-similar sets satisfying the common point property were introduced in Sirvent (2008) in the context of space-filling curves. In the present article we study some basic topological and dynamical properties of self-similar sets satisfying the common point property. We show examples of this family of sets.We consider attractors of a sub-IFS, an IFS formed from the original IFS by removing some maps. We put conditions on this attractors for having the common point property, when the original IFS have this property.     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.     

广义近似空间的粗糙同胚与拓扑同胚

对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.     

Dynamical systems on lattices with decaying interaction I: A functional analysis framework

We consider weakly coupled map lattices with a decaying interaction. That is, we consider systems which consist of a phase space at every site such that the dynamics at a site is little affected by the dynamics at far away sites.We develop a functional analysis framework which formulates quantitatively the decay of the interaction and is able to deal with lattices such that the sites are manifolds. This framework is very well suited to study systematically invariant objects. One obtains that the invariant objects are essentially local.We use this framework to prove a stable manifold theorem and show that the manifolds are as smooth as the maps and have decay properties (i.e. the derivatives of one of the coordinates of the manifold with respect to the coordinates at far away sites are small). Other applications of the framework are the study of the structural stability of maps with decay close to uncoupled possessing hyperbolic sets and the decay properties of the invariant manifolds of their hyperbolic sets, in the companion paper by Fontich et al. (2011) [10].     

Simplicial ramified covering maps

In this paper we define the concept of a ramified covering map in the category of simplicial sets and we show that it has properties analogous to those of the topological ramified covering maps. We show that the geometric realization of a simplicial ramified covering map is a topological ramified covering map, and we also consider the relation with ramified covering maps in the category of simplicial complexes.     

Simplicial ramified covering maps

In this paper we define the concept of a ramified covering map in the category of simplicial sets and we show that it has properties analogous to those of the topological ramified covering maps. We show that the geometric realization of a simplicial ramified covering map is a topological ramified covering map, and we also consider the relation with ramified covering maps in the category of simplicial complexes.     

Dynamical systems on lattices with decaying interaction II: Hyperbolic sets and their invariant manifolds

This is the second part of the work devoted to the study of maps with decay in lattices. Here we apply the general theory developed in Fontich et al. (2011) [3] to the study of hyperbolic sets. In particular, we establish that any close enough perturbation with decay of an uncoupled lattice map with a hyperbolic set has also a hyperbolic set, with dynamics on the hyperbolic set conjugated to the corresponding of the uncoupled map. We also describe how the decay properties of the maps are inherited by the corresponding invariant manifolds.     

A Grobman-Hartman theorem for nonuniformly hyperbolic dynamics

We establish a version of the Grobman-Hartman theorem in Banach spaces for nonuniformly hyperbolic dynamics. We also consider the case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. More precisely, we consider sequences of Lipschitz maps Am+fm such that the linear parts Am admit a nonuniform exponential dichotomy, and we establish the existence of a unique sequence of topological conjugacies between the maps Am+fm and Am. Furthermore, we show that the conjugacies are Hölder continuous, with Hölder exponent determined by the ratios of Lyapunov exponents with the same sign. To the best of our knowledge this statement appeared nowhere before in the published literature, even in the particular case of uniform exponential dichotomies, although some experts claim that it is well known in this case. We are also interested in the dependence of the conjugacies on the perturbations fm: we show that it is Hölder continuous, with the same Hölder exponent as the one for the conjugacies. We emphasize that the additional work required to consider the case of nonuniform exponential dichotomies is substantial. In particular, we need to consider several additional Lyapunov norms.     

Topology of injective endomorphisms of real algebraic sets

Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real algebraic sets define a partial order on the equivalence classes of these germs divided by continuous semi-algebraic homeomorphisms. We use this observation to deduce that any injective regular self-mapping of a real algebraic set is a homeomorphism. We show also a similar local property. All our results can be extended to arc-symmetric semi-algebraic sets and injective continuous arc-symmetric morphisms, and some results to Euler semi-algebraic sets and injective continuous semi-algebraic morphisms.Mathematics Subject Classification (2000):14Pxx, 14A10, 32B10     

Erratum to “Uniform convergence and chaotic behavior” [Nonlinear Anal. TMA 65 (4) (2006) 933–937]

We present counterexamples which show that the uniform limit of topologically transitive maps on a compact metric space is not necessarily topologically transitive. We also give stronger conditions that ensure the inheritance of topological transitivity for the case of uniform convergence and other situations.     

Topological entropy of maps on regular curves

In [G.T. Seidler, The topological entropy of homeomorphisms on one-dimensional continua, Proc. Amer. Math. Soc. 108 (1990) 1025-1030], G.T. Seidler proved that the topological entropy of every homeomorphism on a regular curve is zero. Also, in [H. Kato, Topological entropy of monotone maps and confluent maps on regular curves, Topology Proc. 28 (2) (2004) 587-593] the topological entropy of confluent maps on regular curves was investigated. In particular, it was proved that the topological entropy of every monotone map on any regular curve is zero. In this paper, furthermore we investigate the topological entropy of more general maps on regular curves. We evaluate the topological entropy of maps f on regular curves X in terms of the growth of the number of components of f−n(y) (y∈X).     

Some simple conditions implying topological transitivity for interval maps

Summary. We provide some sufficient conditions for topological transitivity of piecewise monotonic maps on [0,1]. Our theorems provide shorter and elementary proofs for some known recent results.