Hypercyclic subspaces for Fréchet space operators

A continuous linear operator is hypercyclic if there is an x∈X such that the orbit {Tnx} is dense, and such a vector x is said to be hypercyclic for T. Recent progress show that it is possible to characterize Banach space operators that have a hypercyclic subspace, i.e., an infinite dimensional closed subspace H⊆X of, except for zero, hypercyclic vectors. The following is known to hold: A Banach space operator T has a hypercyclic subspace if there is a sequence (ni) and an infinite dimensional closed subspace E⊆X such that T is hereditarily hypercyclic for (ni) and Tni→0 pointwise on E. In this note we extend this result to the setting of Fréchet spaces that admit a continuous norm, and study some applications for important function spaces. As an application we also prove that any infinite dimensional separable Fréchet space with a continuous norm admits an operator with a hypercyclic subspace.     

The invariant subspace problem for a class of Banach spaces, 2: Hypercyclic operators

We continue here the line of investigation begun in [7], where we showed that on every Banach spaceX=l ₁⊗W (whereW is separable) there is an operatorT with no nontrivial invariant subspaces. Here, we work on the same class of Banach spaces, and produce operators which not only have no invariant subspaces, but are also hypercyclic. This means that for every nonzero vectorx inX, the translatesT ^r x (r=1, 2, 3,...) are dense inX. This is an interesting result even if stated in a form which disregards the linearity ofT: it tells us that there is a continuous map ofX{0\{ into itself such that the orbit {T ^rx :r≧0{ of anyx teX \{0\{ is dense inX \{0\{. The methods used to construct the new operatorT are similar to those in [7], but we need to have somewhat greater complexity in order to obtain a hypercyclic operator.     

A hypercyclicity criterion with applications

A continuous linear operator on a topological vector space X is called hypercyclic if there is x∈X such that the orbit {Tnx}_n?0 is dense in X. We establish a criterion for hypercyclicity, and study some applications. In particular, we establish hypercyclic left-multipliers on the space L(X,Y) of continuous linear operators between X and Y, provided with the topology of uniform convergence on bounded sets, for some spaces X,Y of holomorphic functions.     

Dual disjoint hypercyclic operators

Let E be a separable Fréchet space. The operators T₁,…,Tm are disjoint hypercyclic if there exists x∈E such that the orbit of (x,…,x) under (T₁,…,Tm) is dense in E×?×E. We show that every separable Banach space E admits an m-tuple of bounded linear operators which are disjoint hypercyclic. If, in addition, its dual E^∗ is separable, then they can be constructed such that are also disjoint hypercyclic.     

On weak positive supercyclicity

A bounded linear operator T on a separable complex Banach space X is called weakly supercyclic if there exists a vector x ∈ X such that the projective orbit {λT ⁿ x: n ∈ ℕ λ ∈ ℂ} is weakly dense in X. Among other results, it is proved that an operator T such that σ _p (T ^*) = 0, is weakly supercyclic if and only if T is positive weakly supercyclic, that is, for every supercyclic vector x ∈ X, only considering the positive projective orbit: {rT ⁿ x: n ∈ ℂ, r ∈ ℝ₊} we obtain a weakly dense subset in X. As a consequence it is established the existence of non-weakly supercyclic vectors (non-trivial) for positive operators defined on an infinite dimensional separable complex Banach space. The paper is closed with concluding remarks and further directions. Partially supported by MEC MTM2006-09060 and MTM2006-15546, Junta de Andalucía FQM-257 and P06-FQM-02225. Partially supported by Junta de Andalucía FQM-257, and P06-FQM-02225     

Weak* Hypercyclicity and Supercyclicity of Shifts on ℓ∞

We study hypercyclicity and supercyclicity of weighted shifts on ℓ^∞, with respect to the weak * topology. We show that there exist bilateral shifts that are weak * hypercyclic but fail to be weak * sequentially hypercyclic. In the unilateral case, a shift T is weak * hypercyclic if and only if it is weak * sequentially hypercyclic, and this is equivalent to T being either norm, weak, or weak-sequentially hypercyclic on c₀ or ℓ^p (1 ≤ p < ∞). We also show that the set of weak * hypercyclic vectors of any unilateral or bilateral shift on ℓ^∞ is norm nowhere dense. Finally, we show that ℓ^∞ supports an isometry that is weak * sequentially supercyclic.     

Rotations of Hypercyclic and Supercyclic Operators

Let T B(X) be a hypercyclic operator and a complex number of modulus 1. Then T is hypercyclic and has the same set of hypercyclic vectors as T. A version of this results gives for a wide class of supercyclic operators that x X is supercyclic for T if and only if the set {tTⁿ x : t > 0, n = 0, 1, ...} is dense in X. This gives answers to several questions studied in the literature.     

Non-sequential weak supercyclicity and hypercyclicity

A bounded linear operator T acting on a Banach space B is called weakly hypercyclic if there exists x∈B such that the orbit is weakly dense in B and T is called weakly supercyclic if there is x∈B for which the projective orbit is weakly dense in B. If weak density is replaced by weak sequential density, then T is said to be weakly sequentially hypercyclic or supercyclic, respectively. It is shown that on a separable Hilbert space there are weakly supercyclic operators which are not weakly sequentially supercyclic. This is achieved by constructing a Borel probability measure μ on the unit circle for which the Fourier coefficients vanish at infinity and the multiplication operator Mf(z)=zf(z) acting on L₂(μ) is weakly supercyclic. It is not weakly sequentially supercyclic, since the projective orbit under M of each element in L₂(μ) is weakly sequentially closed. This answers a question posed by Bayart and Matheron. It is proved that the bilateral shift on ?p(Z), 1?p<∞, is weakly supercyclic if and only if 2<p<∞ and that any weakly supercyclic weighted bilateral shift on ?p(Z) for 1?p?2 is norm supercyclic. It is also shown that any weakly hypercyclic weighted bilateral shift on ?p(Z) for 1?p<2 is norm hypercyclic, which answers a question of Chan and Sanders.     

Cardinality of the Ellis semigroup on compact metric countable spaces

Let E(X, f) be the Ellis semigroup of a dynamical system (X, f) where X is a compact metric space. We analyze the cardinality of E(X, f) for a compact countable metric space X. A characterization when E(X, f) and \(E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb {N}\}\) are both finite is given. We show that if the collection of all periods of the periodic points of (X, f) is infinite, then E(X, f) has size \(2^{\aleph _0}\). It is also proved that if (X, f) has a point with a dense orbit and all elements of E(X, f) are continuous, then \(|E(X,f)| \le |X|\). For dynamical systems of the form \((\omega ^2 +1,f)\), we show that if there is a point with a dense orbit, then all elements of \(E(\omega ^2+1,f)\) are continuous functions. We present several examples of dynamical systems which have a point with a dense orbit. Such systems provide examples where \(E(\omega ^2+1,f)\) and \(\omega ^2+1\) are homeomorphic but not algebraically homeomorphic, where \(\omega ^2+1\) is taken with the usual ordinal addition as semigroup operation.     

Subspace hypercyclicity

A bounded linear operator T on Hilbert space is subspace-hypercyclic for a subspace M if there exists a vector whose orbit under T intersects the subspace in a relatively dense set. We construct examples to show that subspace-hypercyclicity is interesting, including a nontrivial subspace-hypercyclic operator that is not hypercyclic. There is a Kitai-like criterion that implies subspace-hypercyclicity and although the spectrum of a subspace-hypercyclic operator must intersect the unit circle, not every component of the spectrum will do so. We show that, like hypercyclicity, subspace-hypercyclicity is a strictly infinite-dimensional phenomenon. Additionally, compact or hyponormal operators can never be subspace-hypercyclic.     

On Olaleru’s open problem on Gregus fixed point theorem

Let (X, d) be a complete metric space and ${TX \longrightarrow X }$ be a mapping with the property d(Tx, Ty) ≤ ad(x, y) + bd(x, Tx) + cd(y, Ty) + ed(y, Tx) + fd(x, Ty) for all ${x, y \in X}$ , where 0 < a < 1, b, c, e, f ≥ 0, a + b + c + e + f = 1 and b + c > 0. We show that if e + f > 0 then T has a unique fixed point and also if e + f ≥ 0 and X is a closed convex subset of a complete metrizable topological vector space (Y, d), then T has a unique fixed point. These results extend the corresponding results which recently obtained in this field. Finally by using our main results we give an answer to the Olaleru’s open problem.     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

Score vectors of tournaments

A tournament T on any set X is a dyadic relation such that for any x, y ∈ X (a) (x, x) ? T and (b) if x ≠ y then (x, y) ∈ T iff (y, x) ? T. The score vector of T is the cardinal valued function defined by R(x) = |{y ∈ X : (x, y) ∈ T}|. We present theorems for infinite tournaments analogous to Landau's necessary and sufficient conditions that a vector be the score vector for some finite tournament. Included also is a new proof of Landau's theorem based on a simple application of the “marriage” theorem.     

METRIC ENTROPY OF HOMEOMORPHISM ON NON-COMPACT METRIC SPACE

Let T : X → X be a uniformly continuous homeomorphism on a non-compact metric space (X, d). Denote by X* = X ∪ {x*} the one point compactification of X and T * : X* → X* the homeomorphism on X* satisfying T *|X = T and T *x* = x*. We show that their topological entropies satisfy hd(T, X) ≥ h(T *, X*) if X is locally compact. We also give a note on Katok’s measure theoretic entropy on a compact metric space.     

Inverses and regularity of band preserving operators

The following four main results are proved here. Theorem 3.3.For each one-to-one band preserving operatorT:X → Xon a vector lattice its inverseT⁻¹:T(X) → Xis also band preserving. This answers a long standing open question. The situation is quite different if we move from endomorphisms to more general operators. Theorem 4.2.For a vector lattice X the following two conditions are equivalent:

1.

i)|For each one-to-one band preserving operator T:X → X^u from X to its universal completion X^u the inverse T⁻¹ is also band preserving.

2.

ii)|For each non-zero x ? X and each non-zero band U ⊂ {x}^dd there exists a non-zero semi-component of x in U.

Theorem 5.1.For a vector lattice X the following two conditions are equivalent.

1.

i)|Each band preserving operator T:X → X^u is regular.

2.

ii)|The d-dimension of X equals 1.

Corollary 5.9.Let X be a vector sublattice of C(K) separating points and containing the constants, where K is a compact Hausdorff space satisfying any one of the following three conditions: K is metrizable, or connected, or locally connected. Then each band preserving operatorT: X → Xis regular.     

Nonlinear equations involving m-accretive operators

Let X be a Banach space and T an m-accretive operator defined on a subset D(T) of X and taking values in 2^x. For the class of spaces whose bounded closed and convex subsets have the fixed point property for nonexpansive self-mappings, it is shown here that two boundary conditions which imply existence of zeroes for T, appear to be equivalent. This fact is then used to prove that if there exists x₀?D(T) and a bounded open neighborhood U of x₀, such that $\text{¦T(x}{}_0\text{)¦ < r ? ¦T(x)¦}$ for all x??U ∩ D(T), then the open ball B(0; r) is contained in the range of T.     

Classifying Hilbert bundles

A Hilbert bundle (p, B, X) is a type of fibre space p:B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X. We generalize the classical homotopy classification theory of vector bundles to a “homotopy” classification of certain Hilbert bundles. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. The main result here is that if A is a compact set lying in the “edge” of the metric space X (e.g. if X is a topological manifold and A is a compact subset of the boundary of X), then the problem of classifying (m, n)-bundles over (X, A) reduces to a problem in the classical theory of vector bundles. In particular, we show there is a one-to-one correspondence between the members of the orbit set, [A, G_m($\text{C}$ⁿ)]/[X, U(n)] ¦ A, and the isomorphism classes of (m, n)-bundles over (X, A) which are trivial over X, A.     

Limit sets of typical continuous functions

Given a metrizable compact topological n-manifold X with boundary and a finite positive Borel measure μ on X, we prove that for the typical continuous function , it is true that for every point x in a full μ-measure subset of X the limit set ω(f,x) is a Cantor set of Hausdorff dimension zero, f maps ω(f,x) homeomorphically onto itself, each point of ω(f,x) has a dense orbit in ω(f,x) and f is non-sensitive at each point of ω(f,x); moreover, the function x→ω(f,x) is continuous μ-almost everywhere.