A Necessary and sufficient Condition for Finiteness of Nonwandering Sets of Mappings of the Interval

Denote C^0(I, I) the set of all continuous mappings of the interval. Let $f \in c^0(I,I)$, for any positive integer n, we define f^n inductively by f^1=f , f^n=f*f^n-1 and f^0= the identity map. Definition 1. Let If there exists a positive integer n such that f^n(p) =p, then p is called a periodic point of f. Denote P(f) the set of all periodic points of f. Definition 2. Let p \in I. If for any neighborhood U(p) of p, there exists k>0 sue h that f^k(U(p)) \bigcap U(p) \neq ф, then p is called a non wandering point of f. Denote $\[\Omega (f)\]$ the set of all nonwandering points of f. Our main aim of this article is to prove the following theorem which, together with Theorem A in [1] , answers a question of Block [2, p. 358]. Main Theorem. $\[\Omega (f)\]$ is finite for $f \in C^0(I,I)$, if and only if P(f) is finite. As a consequence, we obtain directly that the topological entropy of f is zero, if P(f) is finite.     

树映射的ω-极限集

Let T be a tree and f be a continuous map form T into itself.We show mainly in this paper that a point x of T is an ω-limit point of f if and only if every open neighborhood of x in T contains at least nx 1 points of some trajectory,where nx equals the number of connected components of T/{x}.Then,for any open subset Gω(f) in T,there exists a positive integer m=m(G) such that at most m points of any trajectory lie outside G.This result is a generalization of the related result for maps of the interval.     

图映射的非游荡集

§ 1　IntroductionLet N be the set of all natural numbers.Write Z+=N∪ { 0 } ,Nn={ 1 ,2 ,...,n} andZn={ 0 }∪Nnfor any n∈N.Let X be a topological space and f:X→X be a continuous map.Forx∈X,O(x,f) ={ fk(x) :k∈ Z+} is called the orbit of x.The set of periodic points,the set of recurrentpoints,the set ofω-limit points for some x∈X and the set of non-wandering points of fare denoted by P(f) ,R(f) ,ω(x,f) andΩ(f) ,respectively(for the definitions see[1 ] ) .Let A X,we use int(A) ,A…     

Entropy,Periodicity, and Graphs with Zero Euler Characteristic

Let G be a graph which contains exactly one simple closed curve. We prove that a continuous map f : G → G has zero topological entropy if and only if there exist at most k ≤ |(Edg(G) End(G) 3)/2] different odd numbers n1,...,nk such that Per(f) is contained in ∪i=1^k ∪j=0^∞ ni2^j, where Edg(G) is the number of edges of G and End(G) is the number of end points of G.     

Topological Stability and Entropy for Certain Set-valued Maps

In this paper,the dynamics(including shadowing property,expansiveness,topological stability and entropy) of several types of upper semi-continuous set-valued maps are mainly considered from differentiable dynamical systems points of view.It is shown that(1) if f is a hyperbolic endomorphism then for each ε> 0 there exists a C¹-neighborhood U of f such that the induced set-valued map F_f,U has the ε-shadowing property,and moreover,if f is an expanding endomorphism then the...     

ON DISTRIBUTIONAL n-CHAOS

Let(X, f) be a topological dynamical system, where X is a nonempty compact and metrizable space with the metric d and f : X → X is a continuous map. For any integer n ≥ 2, denote the product space by X(n)= X ×× X n times. We say a system(X, f) is generally distributionally n-chaotic if there exists a residual set D ? X(n)such that for any point x =(x1,, xn) ∈ D,lim infk→∞#({i : 0 ≤ i ≤ k- 1, min{d(fi(xj), fi(xl)) : 1 ≤ j = l ≤ n} δ0})k= 0for some real number δ0 0 and lim sup k→∞#({i : 0 ≤ i ≤ k- 1, max{d(fi(xj), fi(xl)) : 1 ≤ j = l ≤ n} δ})k= 1for any real number δ 0, where #() means the cardinality of a set. In this paper, we show that for each integer n ≥ 2, there exists a system(X, σ) which satisfies the following conditions:(1)(X, σ) is transitive;(2)(X, σ) is generally distributionally n-chaotic, but has no distributionally(n + 1)-tuples;(3) the topological entropy of(X, σ) is zero and it has an IT-tuple.     

Equicontinuity of maps on a dendrite with finite branch points

Let(T, d) be a dendrite with finite branch points and f be a continuous map from T to T. Denote byω(x,f) and P(f) the ω-limit set of x under f and the set of periodic points of,respectively. Write Ω(x,f) = {y| there exist a sequence of points x_k E T and a sequence of positive integers n_1 n_2 … such that lim_(k→∞)x_k=x and lim_(k→∞)f~(n_k)(x_k) =y}. In this paper, we show that the following statements are equivalent:(1) f is equicontinuous.(2) ω(x, f) = Ω(x,f) for any x∈T.(3) ∩_(n=1)~∞f~n(T) = P(f),and ω(x,f)is a periodic orbit for every x ∈ T and map h : x→ω(x,f)(x ET)is continuous.(4) Ω(x,f) is a periodic orbit for any x∈T.     

Likely Limit Sets of Feigenbaum''''s Maps and Their Hausdorf f Dimensions

A continuous map from a closed interval into itself is called a Feigenbaum's map if it is a solution of the functional equation f2(λx)=λf(x).In this paper, the likely limit sets of a type of Feigenbaum's maps are studied and their Hausdorff dimensions are estimated.As an application, we prove that for any 0相似文献   

Non-wandering sets of the powers of dendrite maps

Let(X, d) be a metric space and f be a continuous map from X to X. Denote by EP(f)and Ω(f) the sets of eventually periodic points and non-wandering points of f, respectively. It is well known that for a tree map f, the following statements hold:(1) If x ∈Ω(f)-Ω(f~n) for some n ≥ 2,then x ∈ EP(f).(2) Ω(f) is contained in the closure of EP(f). The aim of this note is to show that the above results do not hold for maps of dendrites D with Card(End(D)) = ?0(the cardinal number of the set of positive integers).     

Improvement of Hartman''''s linearization theorem

Hartman's linearization theorem tells us that if matrix A has no zero real part and f(x) is bounded and satisfies Lipchitz condition with small Lipchitzian constant, then there exists a homeomorphism of Rn sending the solutions of nonlinear system x' = Ax + f(x) onto the solutions of linear system x = Ax. In this paper, some components of the nonlinear item f(x) are permitted to be unbounded and we prove the result of global topological linearization without any special limitation and adding any condition. Thus, Hartman's linearization theorem is improved essentially.     

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

A recurrence property of smooth functions

LetP andQ be real polynomials of degreesd ande, respectively, andf a periodic function. It is shown that, iff iss times differentiable atQ(0), wheres≧7de ³ log 14e ³, then for every ɛ>0 the diophantine inequality ≧FF5C;P(x)f(Q(x)) -P(0)f(Q(0)) -y≧ εx≠0, has a solution. This settles in particular a question raised by Furstenberg and Weiss [6].     

A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

Diameter preserving linear maps and isometries, II

We study linear bijections of simplex spacesA(S) which preserve the diameter of the range, that is, the seminorm ϱ(f)=sup{|f(x)−f(y)|:x,yεS}.     

Graph maps whose periodic points form a closed set

A continuous map f from a graph G to itself is called a graph map. Denote by P(f), R(f), ω(f), Ω(f) and CR(f) the sets of periodic points, recurrent points, ω-limit points, non-wandering points and chain recurrent points of f respectively. It is well known that P(f)⊂R(f)⊂ω(f)⊂Ω(f)⊂CR(f). Block and Franke (1983) [5] proved that if f:I→I is an interval map and P(f) is a closed set, then CR(f)=P(f). In this paper we show that if f:G→G is a graph map and P(f) is a closed set, then ω(f)=R(f). We also give an example to show that, for general graph maps f with P(f) being a closed set, the conclusion ω(f)=R(f) cannot be strengthened to Ω(f)=R(f) or ω(f)=P(f).     

A global volume lemma and applications

Letf ^t be aC ² Axiom A dynamical system on a compact manifold satisfying the transversality condition. We prove that ifB _x (ε,t)=[y: dist (f ^s x,f ^s y)≤ε for all 0≤s≤t], then volB _x (ε,t) has the order exp(∫ ₀ ^t φ (f ^s x)ds) in the continuous time case and exp (Σ _s ^t−1 φ (f ^s x)) in the discrete time case, whereφ is a Holder continuous extension from basic hyperbolic sets of the negative of the differential expansion coefficient in the unstable direction. An application to the theory of large deviations is given. Partially supported by US-Israel BSF. Partially supported by a Darpa grant.     

On the range of the derivative of Gâteaux-smooth functions on separable banach spaces

We prove that there exists a Lipschitz function froml ¹ into ℝ² which is Gateaux-differentiable at every point and such that for everyx, y εl ¹, the norm off′(x) −f′(y) is bigger than 1. On the other hand, for every Lipschitz and Gateaux-differentiable function from an arbitrary Banach spaceX into ℝ and for everyε > 0, there always exist two pointsx, y εX such that ‖f′(x) −f′(y)‖ is less thanε. We also construct, in every infinite dimensional separable Banach space, a real valued functionf onX, which is Gateaux-differentiable at every point, has bounded non-empty support, and with the properties thatf′ is norm to weak* continuous andf′(X) has an isolated pointa, and that necessarilya ε 0. This work has been initiated while the second-named author was visiting the University of Bordeaux. The second-named author is supported by grant AV 1019003, A1 019 205, GA CR 201 01 1198.     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.