Smooth interval maps have symbolic extensions

We prove that if X denotes the interval or the circle then every transformation T:X→X of class C ^r , where r>1 is not necessarily an integer, admits a symbolic extension, i.e., every such transformation is a topological factor of a subshift over a finite alphabet. This is done using the theory of entropy structure. For such transformations we control the entropy structure by providing an upper bound, in terms of Lyapunov exponents, of local entropy in the sense of Newhouse of an ergodic measure ν near an invariant measure μ (the antarctic theorem). This bound allows us to estimate the so-called symbolic extension entropy function on invariant measures (the main theorem), and as a consequence, to estimate the topological symbolic extension entropy; i.e., a number such that there exists a symbolic extension with topological entropy arbitrarily close to that number. This last estimate coincides, in dimension 1, with a conjecture stated by Downarowicz and Newhouse [13, Conjecture 1.2]. The passage from the antarctic theorem to the main theorem is applicable to any topological dynamical system, not only to smooth interval or circle maps.     

Entropy and<Emphasis Type="Italic">σ</Emphasis>-algebra equivalence of certain random walks on random sceneries

LetX=X ₀,X ₁,…be a stationary sequence of random variables defining a sequence space Σ with shift mapσ and let (T _t, Ω) be an ergodic flow. Then the endomorphismT _X(x, ω)=(σ(x),T _{x 0}(ω)) is known as a random walk on a random scenery. In [4], Heicklen, Hoffman and Rudolph proved that within the class of random walks on random sceneries whereX is an i.i.d. sequence of Bernoulli-(1/2, 1/2) random variables, the entropy ofT _t is an isomorphism invariant. This paper extends this result to a more general class of random walks, which proves the existence of an uncountable family of smooth maps on a single manifold, no two of which are measurably isomorphic. This research was sustained in part by fellowship support from the National Physical Science Consortium and the National Security Agency.     

Any two irrational rotations are nearly continuously Kakutani equivalent

Ergodic homeomorphisms T and S of Polish probability spaces X and Y are evenly Kakutani equivalent if there is an orbit equivalence ϕ: X ₀ → Y ₀ between full measure subsets of X and Y such that, for some A ⊂ X ₀ of positive measure, ϕ restricts to a measurable isomorphism of the induced systems T _A and S _ϕ(A). The study of even Kakutani equivalence dates back to the seventies, and it is well known that any two irrational rotations of the circle are evenly Kakutani equivalent. But even Kakutani equivalence is a purely measurable relation, while systems such as irrational rotations are both measurable and topological.     

A condition for asymptotic finite-dimensionality of an operator semigroup

Let X be a Banach space and let T: X → X be a power bounded linear operator. Put X ₀ = {x ∈ X ∣ T ⁿ x → 0}. Assume given a compact set K ⊂ X such that lim inf _n→∞ ρ{T ⁿ x, K} ≤ η < 1 for every x ∈ X, ∥x∥ ≤ 1. If $\eta < \tfrac{1} {2} $\eta < \tfrac{1} {2} , then codim X ₀ < ∞. This is true in X reflexive for $\eta \in [\tfrac{1} {2},1) $\eta \in [\tfrac{1} {2},1) , but fails in the general case.     

Finitary reconstruction of a measure preserving transformation

This paper considers thefinitary reconstruction of an ergodic measure preserving transformationT of a complete separable metric spaceX from a single trajectoryx, Tx, …, or more generally, from a suitable reconstruction sequence x=x ₁,x ₂, … withx _i∈X. Ann-sample reconstruction is a functionT _n: X ⁿ⁺¹ →X; the map (·;x ₁, …,x _n)is treated as an estimate ofT(·) based on then initial elements of x. Given a reference probability measureμ ₀ and constantM>1, functionsT ₁,T ₂, … are defined, and it is shown that for everyμ with 1/M≤dμ/dμ ₀≤M, everyμ-preserving transformationT, and every reconstruction sequence x forT, the estimates (·;x ₁, …,x _nconverge toT in the weak topology. For the family of interval exchange transformations of [0, 1] a simple family of estimates is described and shown to be consistent both pointwise and in the strong topology. However, it is also shown that no finitary estimation scheme is consistent in the strong topology for the family of all ergodic Lebesgue measure preserving transformations of the unit interval, even if x is assumed to be a generic trajectory ofT. Supported in part by NSF Grant DMS-9501926.     

The Alternative Dunford–Pettis Property for Subspaces of the Compact Operators

A Banach space X has the alternative Dunford–Pettis property if for every weakly convergent sequences (x_n) → x in X and (x_n*) → 0 in X* with ||x_n|| = ||x||= 1 we have (x_n*(x_n)) → 0. We get a characterization of certain operator spaces having the alternative Dunford–Pettis property. As a consequence of this result, if H is a Hilbert space we show that a closed subspace M of the compact operators on H has the alternative Dunford–Pettis property if, and only if, for any h ∈ H, the evaluation operators from M to H given by S ↦ Sh, S ↦ S^th are DP1 operators, that is, they apply weakly convergent sequences in the unit sphere whose limits are also in the unit sphere into norm convergent sequences. We also prove a characterization of certain closed subalgebras of K(H) having the alternative Dunford-Pettis property by assuming that the multiplication operators are DP1.     

On the almost monotone convergence of sequences of continuous functions

A sequence (f _n ) _n of functions f _n : X → ℝ almost decreases (increases) to a function f: X → ℝ if it pointwise converges to f and for each point x ∈ X there is a positive integer n(x) such that f _n+1(x) ≤ f _n (x) (f _n+1(x) ≥ f _n (x)) for n ≥ n(x). In this article I investigate this convergence in some families of continuous functions.     

Asymptotic behavior of nonexpansive mappings in normed linear spaces

LetT be a nonexpansive mapping on a normed linear spaceX. We show that there exists a linear functional.f, ‖f‖=1, such that, for allx∈X, lim_n→x f(T ⁿ x/n)=lim_n→x‖T ⁿ x/n ‖=α, where α≡inf _y∈c ‖Ty-y‖. This means, ifX is reflexive, that there is a faceF of the ball of radius α to whichT ⁿ x/n converges weakly for allx (inf_z∈f g(T ⁿ x/n-z)→0, for every linear functionalg); ifX is strictly conves as well as reflexive, the convergence is to a point; and ifX satisfies the stronger condition that its dual has Fréchet differentiable norm then the convergence is strong. Furthermore, we show that each of the foregoing conditions on X is satisfied if and only if the associated convergence property holds for all nonexpansiveT. Supported by National Science Foundation Grant MCS-79-066.     

Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Exact and explicit analytic solutions of an extended Jabotinsky functional differential equation

A Banach space X will be called extensible if every operator E → X from a subspace E ⊂ X can be extended to an operator X → X. Denote by dens X. The smallest cardinal of a subset of X whose linear span is dense in X, the space X will be called automorphic when for every subspace E ⊂ X every into isomorphism T: E → X for which dens X/E = dens X/TE can be extended to an automorphism X → X. Lindenstrauss and Rosenthal proved that c ₀ is automorphic and conjectured that c ₀ and ℓ₂ are the only separable automorphic spaces. Moreover, they ask about the extensible or automorphic character of c ₀(Γ), for Γ uncountable. That c ₀(Γ) is extensible was proved by Johnson and Zippin, and we prove here that it is automorphic and that, moreover, every automorphic space is extensible while the converse fails. We then study the local structure of extensible spaces, showing in particular that an infinite dimensional extensible space cannot contain uniformly complemented copies of ℓ _n ^p , 1 ≤ p < ∞, p ≠ 2. We derive that infinite dimensional spaces such as L _p (μ), p ≠ 2, C(K) spaces not isomorphic to c ₀ for K metric compact, subspaces of c ₀ which are not isomorphic to c ₀, the Gurarij space, Tsirelson spaces or the Argyros-Deliyanni HI space cannot be automorphic. The work of the first author has been supported in part by project MTM2004-02635     

On Jakovlev spaces

A topological spaceX is called weakly first countable, if for every pointx there is a countable family {C _n ^x |n ∈ω} such thatx ∈C _n ^+1x ⊆C _n ^x and such thatU ⊂X is open iff for eachx ∈U someC _n ^x is contained inU. This weakening of first countability is due to A. V. Arhangelskii from 1966, who asked whether compact weakly first countable spaces are first countable. In 1976, N. N. Jakovlev gave a negative answer under the assumption of continuum hypothesis. His result was strengthened by V. I. Malykhin in 1982, again under CH. In the present paper we construct various Jakovlev type spaces under the weaker assumption b=c, and also by forcing. The second author was supported by the Ben-Gurion University Center for Advanced Studies in Mathematics, Be’er Sheva. The third author was supported by OTKA grant no. 37758 of Hungary.     

Operators on <Emphasis Type="Italic">C</Emphasis>[0,1] preserving copies of asymptotic ℓ<Subscript>1</Subscript> spaces

Given separable Banach spaces X, Y, Z and a bounded linear operator T:X→Y, then T is said to preserve a copy of Z provided that there exists a closed linear subspace E of X isomorphic to Z and such that the restriction of T to E is an into isomorphism. It is proved that every operator on C([0,1]) which preserves a copy of an asymptotic ℓ₁ space also preserves a copy of C([0,1]).     

Existence d’un generateur suivant une sous-suite de densite superieure nulle

Ergodic theory: for every dynamical system (X,A,T, μ), totally ergodic and of finite entropy, there exist a sequenceS of integers, of upper density zero, and a partitionQ ofX, such that V _i∈S T ⁻ⁱ Q is the whole σ-algebraA. Furthermore, there is a “universal” sequenceS ⁰ for which this property is true if we restrict ourselves to the class of strongly mixing systems.      

The hyperspace of the regions below continuous maps with the fell topology

For a Tychonoff space X,we use ↓USC F(X) and ↓C F(X) to denote the families of the hypographs of all semi-continuous maps and of all continuous maps from X to I = [0,1] with the subspace topologies of the hyperspace Cld F(X × I) consisting of all non-empty closed sets in X × I endowed with the Fell topology.In this paper,we shall show that there exists a homeomorphism h:↓USC F(X) → Q = [1,1] ω such that h(↓CF(X))=c0 = {(xn)∈Q| lim n→∞ x n = 0} if and only if X is a locally compact separable metrizable space and the set of isolated points is not dense in X.     

On definability of completely decomposable torsion-free Abelian groups by certain groups of homomorphisms

Let C be an Abelian group. An Abelian group A from a class X of Abelian groups is said to be _C H-definable in X if, for any group B ∈ X, the isomorphism Hom(C,A) ≅ Hom(C,B) implies that A ≅ B. If every group from X is _C H-definable in X, then X is called an _C H-class. In this paper, we study conditions under which a class of completely decomposable torsion-free Abelian groups is an _C H-class, where C is a vector group.     

Extreme value limit laws in the nonidentically distributed case

LetX ₁, ...,X _n be independent random variables, letF _i be the distribution function ofX _i (1≦i≦n) and letX _1n ≦... ≦X _nn be the corresponding order statistics. We consider the statisticsX _kn, wherek=k(n),k/n → 1 andn−k → ∞. Under some additional restrictions concerning the behaviour of the sequences {a _n>0,b _n,k(n),F _n} we characterize the class of all distribution functionsH such that Prob{(X _kn −b _n )/a _n <x)}→H. Dedicated to the Memory of N. V. Smirnov (1900–1966)     

Mixing properties of Markov operators and ergodic transformations,and ergodicity of cartesian products

LetT be a Markov operator onL ₁(X, Σ,m) withT*=P. We connect properties ofP with properties of all productsP ×Q, forQ in a certain class: (a) (Weak mixing theorem)P is ergodic and has no unimodular eigenvalues ≠ 1 ⇔ for everyQ ergodic with finite invariant measureP ×Q is ergodic ⇔ for everyu ∈L ₁ with∝ udm=0 and everyf ∈L _∞ we haveN ⁻¹Σ _n ^≠1/N |<u, P ⁿf>|→0. (b) For everyu ∈L ₁ with∝ udm=0 we have ‖T ⁿu‖₁ → 0 ⇔ for every ergodicQ, P ×Q is ergodic. (c)P has a finite invariant measure equivalent tom ⇔ for every conservativeQ, P ×Q is conservative. The recent notion of mild mixing is also treated. Dedicated to the memory of Shlomo Horowitz An erratum to this article is available at .     

On weakly null FDD'S in Banach spaces

In this paper we show that every sequence (F _n ) of finite dimensional subspaces of a real or complex Banach space with increasing dimensions can be “refined” to yield an F.D.D. (G _n ), still having increasing dimensions, so that either every bounded sequence (x _n ), withx _n ∈G _n forn∈ℕ, is weakly null, or every normalized sequence (x _n ),withx _n ∈G _n forn∈ℕ, is equivalent to the unit vector basis of ℓ₁. Crucial to the proof are two stabilization results concerning Lipschitz functions on finite dimensional normed spaces. These results also lead to other applications. We show, for example, that every infinite dimensional Banach spaceX contains an F.D.D. (F _n ),with lim _n→∞dim(F _n )=∞, so that all normalized sequences (x _n ),withx _n ∈F _n ,n∈∕, have the same spreading model overX. This spreading model must necessarily be 1-unconditional overX. Research partially supported by NSF DMS-8903197, DMS-9208482, and TARP 235. Research partially supported by NSF.     

Possible limit laws for entrance times of an ergodic aperiodic dynamical system

LetG denote the set of decreasingG: ℝ→ℝ withGэ1 on ]−∞,0], and ƒ ₀ ^∞ G(t)dt⩽1. LetX be a compact metric space, andT: X→X a continuous map. Let μ denone aT-invariant ergodic probability measure onX, and assume (X, T, μ) to be aperiodic. LetU⊂X be such that μ(U)>0. Let τ _U (x)=inf{k⩾1:T ^k xεU}, and defineG _U (t)=1/u(U)u({xεU:u(U)τU(x)>t),tεℝ We prove that for μ-a.e.x∈X, there exists a sequence (U _n ) _n≥1 of neighbourhoods ofx such that {x}=∩ _n U _n , and for anyG ∈G, there exists a subsequence (n _k ) _k≥1 withG _{U n k} ↑U weakly. We also construct a uniquely ergodic Toeplitz flowO(x ^∞,S, μ), the orbit closure of a Toeplitz sequencex ^∞, such that the above conclusion still holds, with moreover the requirement that eachU _n be a cylinder set. In memory of Anzelm Iwanik     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.