Precompactness in the uniform ergodic theory

Yu. Lyubich; J. Zemánek

Displaying similar documents to “Precompactness in the uniform ergodic theory”

Aposyndesis in $ℕ$

José del Carmen Alberto-Domínguez, Gerardo Acosta, Maira Madriz-Mendoza (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We consider the Golomb and the Kirch topologies in the set of natural numbers. Among other results, we show that while with the Kirch topology every arithmetic progression is aposyndetic, in the Golomb topology only for those arithmetic progressions $P (a, b)$ with the property that every prime number that divides $a$ also divides $b$ , it follows that being connected, being Brown, being totally Brown, and being aposyndetic are all equivalent. This characterizes the arithmetic progressions which are...

Some properties of the class of arithmetic functions $T_{r} (N)$

R. P. Pakshirajan (1963)

Annales Polonici Mathematici

Similarity:

On the (C,α) Cesàro bounded operators

Elmouloudi Ed-dari (2004)

Studia Mathematica

Similarity:

For a given linear operator T in a complex Banach space X and α ∈ ℂ with ℜ (α) > 0, we define the nth Cesàro mean of order α of the powers of T by $M ₙ^{α} = {(A ₙ^{α})}^{- 1} \sum_{k = 0}^{n} A_{n - k}^{α - 1} T^{k}$ . For α = 1, we find $M ₙ ¹ = {(n + 1)}^{- 1} \sum_{k = 0}^{n} T^{k}$ , the usual Cesàro mean. We give necessary and sufficient conditions for a (C,α) bounded operator to be (C,α) strongly (weakly) ergodic.

Spaces of operators and c₀

P. Lewis (2001)

Studia Mathematica

Similarity:

Bessaga and Pełczyński showed that if c₀ embeds in the dual X* of a Banach space X, then ℓ¹ embeds complementably in X, and $ℓ^{\infty}$ embeds as a subspace of X*. In this note the Diestel-Faires theorem and techniques of Kalton are used to show that if X is an infinite-dimensional Banach space, Y is an arbitrary Banach space, and c₀ embeds in L(X,Y), then $ℓ^{\infty}$ embeds in L(X,Y), and ℓ¹ embeds complementably in $X \otimes_{γ} Y *$ . Applications to embeddings of c₀ in various spaces of operators are given.

On a certain class of arithmetic functions

Antonio M. Oller-Marcén (2017)

Mathematica Bohemica

Similarity:

A homothetic arithmetic function of ratio $K$ is a function $f : ℕ \to R$ such that $f (K n) = f (n)$ for every $n \in ℕ$ . Periodic arithmetic funtions are always homothetic, while the converse is not true in general. In this paper we study homothetic and periodic arithmetic functions. In particular we give an upper bound for the number of elements of $f (ℕ)$ in terms of the period and the ratio of $f$ .

Numerical characterization of nef arithmetic divisors on arithmetic surfaces

Atsushi Moriwaki (2014)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

In this paper, we give a numerical characterization of nef arithmetic $ℝ$ -Cartier divisors of $C^{0}$ -type on an arithmetic surface. Namely an arithmetic $ℝ$ -Cartier divisor $\bar{D}$ of $C^{0}$ -type is nef if and only if $\bar{D}$ is pseudo-effective and $\hat{\deg} ({\bar{D}}^{2}) = \hat{vol} (\bar{D})$ .

On generalized square-full numbers in an arithmetic progression

Angkana Sripayap, Pattira Ruengsinsub, Teerapat Srichan (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $a$ and $b \in ℕ$ . Denote by $R_{a, b}$ the set of all integers $n > 1$ whose canonical prime representation $n = p_{1}^{α_{1}} p_{2}^{α_{2}} \dots p_{r}^{α_{r}}$ has all exponents $α_{i}$ $(1 \leq i \leq r)$ being a multiple of $a$ or belonging to the arithmetic progression $a t + b$ , $t \in ℕ_{0} : = ℕ \cup {0}$ . All integers in $R_{a, b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

A condition equivalent to uniform ergodicity

Maria Elena Becker (2005)

Studia Mathematica

Similarity:

Let T be a linear operator on a Banach space X with $s u p ₙ | | T ⁿ / n^{w} | | < \infty$ for some 0 ≤ w < 1. We show that the following conditions are equivalent: (i) $n^{- 1} \sum_{k = 0}^{n - 1} T^{k}$ converges uniformly; (ii) $c l (I - T) X = z \in X : l i m_{n} \sum_{k = 1}^{n} T^{k} z / k e x i s t s$ .

Compact operators whose adjoints factor through subspaces of $l_{p}$

Deba P. Sinha, Anil K. Karn (2002)

Studia Mathematica

Similarity:

For p ≥ 1, a subset K of a Banach space X is said to be relatively p-compact if $K \subset \sum_{n = 1}^{\infty} α ₙ x ₙ : α ₙ \in B a l l (l_{p^{'}})$ , where p’ = p/(p-1) and $x ₙ \in l_{p}^{s} (X)$ . An operator T ∈ B(X,Y) is said to be p-compact if T(Ball(X)) is relatively p-compact in Y. Similarly, weak p-compactness may be defined by considering $x ₙ \in l_{p}^{w} (X)$ . It is proved that T is (weakly) p-compact if and only if T* factors through a subspace of $l_{p}$ in a particular manner. The normed operator ideals $(K_{p}, κ_{p})$ of p-compact operators and $(W_{p}, ω_{p})$ of weakly p-compact operators, arising from these factorizations,...

Spaces of compact operators on $C (2^{} \times [0, α])$ spaces

Elói Medina Galego (2011)

Colloquium Mathematicae

Similarity:

We classify, up to isomorphism, the spaces of compact operators (E,F), where E and F are the Banach spaces of all continuous functions defined on the compact spaces $2^{} \times [0, α]$ , the topological products of Cantor cubes $2^{}$ and intervals of ordinal numbers [0,α].

Essentially Incomparable Banach Spaces of Continuous Functions

Rogério Augusto dos Santos Fajardo (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We construct, under Axiom ♢, a family ${(C (K_{ξ}))}_{ξ < 2^{(2^{ω})}}$ of indecomposable Banach spaces with few operators such that every operator from $C (K_{ξ})$ into $C (K_{η})$ is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size $2^{ω}$ instead of $2^{(2^{ω})}$ .

A note on a class of homeomorphisms between Banach spaces

Piotr Fijałkowski (2005)

Colloquium Mathematicae

Similarity:

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F (x) : = F ̃ x^{(2 n + 1)}$ where $F ̃ : X^{2 n + 1} \to Y$ is a continuous (2n+1)-linear operator.

Some properties and applications of equicompact sets of operators

E. Serrano, C. Piñeiro, J. M. Delgado (2007)

Studia Mathematica

Similarity:

Let X and Y be Banach spaces. A subset M of (X,Y) (the vector space of all compact operators from X into Y endowed with the operator norm) is said to be equicompact if every bounded sequence (xₙ) in X has a subsequence $(x_{k (n)}) ₙ$ such that $(T x_{k (n)}) ₙ$ is uniformly convergent for T ∈ M. We study the relationship between this concept and the notion of uniformly completely continuous set and give some applications. Among other results, we obtain a generalization of the classical Ascoli theorem and a compactness...

General position properties in fiberwise geometric topology

Taras Banakh, Vesko Valov

Similarity:

General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L C^{n - 1}$ -space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

On integers of the form $p + 2^{k}$

Laurent Habsieger, Xavier-François Roblot (2006)

Acta Arithmetica

Similarity:

A structure theorem for sets of small popular doubling

Przemysław Mazur (2015)

Acta Arithmetica

Similarity:

We prove that every set A ⊂ ℤ satisfying $\sum_{x} m i n (1_{A} * 1_{A} (x), t) \leq (2 + δ) t | A |$ for t and δ in suitable ranges must be very close to an arithmetic progression. We use this result to improve the estimates of Green and Morris for the probability that a random subset A ⊂ ℕ satisfies |ℕ∖(A+A)| ≥ k; specifically, we show that $ℙ (| ℕ ∖ (A + A) | \geq k) = Θ (2^{- k / 2})$ .

2-summing multiplication operators

Dumitru Popa (2013)

Studia Mathematica

Similarity:

Let 1 ≤ p < ∞, $= {(X ₙ)}_{n \in ℕ}$ be a sequence of Banach spaces and $l_{p} ()$ the coresponding vector valued sequence space. Let $= {(X ₙ)}_{n \in ℕ}$ , $= {(Y ₙ)}_{n \in ℕ}$ be two sequences of Banach spaces, $= {(V ₙ)}_{n \in ℕ}$ , Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{} : l_{p} () \to l_{q} ()$ by $M_{} ({(x ₙ)}_{n \in ℕ}) : = {(V ₙ (x ₙ))}_{n \in ℕ}$ . We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

Topological properties of some spaces of continuous operators

Marian Nowak (2016)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

Let X be a completely regular Hausdorff space, E and F be Banach spaces. Let $C_{b} (X, E)$ be the space of all E-valued bounded continuous functions on X, equipped with the strict topology β. We study topological properties of the space $L_{β} (C_{b} (X, E), F)$ of all $(β, | | \cdot | |_{F})$ -continuous linear operators from $C_{b} (X, E)$ to F, equipped with the topology $τ_{s}$ of simple convergence. If X is a locally compact paracompact space (resp. a P-space), we characterize $τ_{s}$ -compact subsets of $L_{β} (C_{b} (X, E), F)$ in terms of properties of the corresponding sets of the representing...

A problem of Rankin on sets without geometric progressions

Melvyn B. Nathanson, Kevin O'Bryant (2015)

Acta Arithmetica

Similarity:

A geometric progression of length k and integer ratio is a set of numbers of the form $a, a r, . . ., a r^{k - 1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${(a_{i})}_{i = 1}^{\infty}$ of positive real numbers with a₁ = 1 such that the set $G^{(k)} = ⋃_{i = 1}^{\infty} (a_{2 i}, a_{2 i - 1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{(k)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...

The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces

S. Gabriyelyan, J. Kąkol, G. Plebanek (2016)

Studia Mathematica

Similarity:

Following Banakh and Gabriyelyan (2016) we say that a Tychonoff space X is an Ascoli space if every compact subset of $C_{k} (X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_{ℝ}$ -space, hence any k-space, is Ascoli. Let X be a metrizable space. We prove that the space $C_{k} (X)$ is Ascoli iff $C_{k} (X)$ is a $k_{ℝ}$ -space iff X is locally compact. Moreover, $C_{k} (X)$ endowed with the weak topology is Ascoli iff X is countable and discrete. Using some basic concepts from probability...

Pisier's inequality revisited

Tuomas Hytönen, Assaf Naor (2013)

Studia Mathematica

Similarity:

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies $\int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} \partial_{j} f_{j} {(ε) | |}^{p} d μ (ε) \leq^{p} \int_{- 1, 1 ⁿ} \int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} δ_{j} Δ f_{j} (ε) {| |}^{p} d μ (ε) d μ (δ)$ , where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${\partial_{j}}_{j = 1}^{n}$ and $Δ = \sum_{j = 1}^{n} \partial_{j}$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by $ⁿ_{p} (X)$ , we show that $ⁿ_{p} (X) \leq \sum_{k = 1}^{n} 1 / k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

Integral equalities for functions of unbounded spectral operators in Banach spaces

Benedetto Silvestri

Similarity:

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g (R_{F}) \int f_{x} (R_{F}) d μ (x) = h (R_{F})$ . (1) They involve functions of the kind $X ∋ x \mapsto f_{x} (R_{F}) \in B (F)$ , where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

On the Aronszajn property for integral equations in Banach space

Stanisław Szufla (1989)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$ , belonging to the class $L^{p}(J,E)$ , $p>1$ . Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

Transference of weak type bounds of multiparameter ergodic and geometric maximal operators

Paul Hagelstein, Alexander Stokolos (2012)

Fundamenta Mathematicae

Similarity:

Let $U ₁, . . ., U_{d}$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $ℤ ₊^{d}$ and the associated collection of rectangular parallelepipeds in $ℝ^{d}$ with sides parallel to the axes and dimensions of the form $n ₁ \times \dots \times n_{d}$ with $(n ₁, . . ., n_{d}) \in Γ .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{Γ}$ are defined respectively on $L ¹ (ℝ^{d})$ and L¹(Ω) by $M_{} g (x) = s u p_{x \in R \in} 1 / | R | \int_{R} | g (y) | d y$ and $M_{Γ} f (ω) = s u p_{(n ₁, . . ., n_{d}) \in Γ} 1 / n ₁ \dots n_{d} \sum_{j ₁ = 0}^{n ₁ - 1} \dots \sum_{j_{d} = 0}^{n_{d} - 1} | f (U ₁^{j ₁} \dots U_{d}^{j_{d}} ω) |$ . Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

The Embeddability of c₀ in Spaces of Operators

Ioana Ghenciu, Paul Lewis (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Results of Emmanuele and Drewnowski are used to study the containment of c₀ in the space $K_{w *} (X *, Y)$ , as well as the complementation of the space $K_{w *} (X *, Y)$ of w*-w compact operators in the space $L_{w *} (X *, Y)$ of w*-w operators from X* to Y.

On arithmetic progressions on Edwards curves

Enrique González-Jiménez (2015)

Acta Arithmetica

Similarity:

Let $m \in ℤ_{> 0}$ and a,q ∈ ℚ. Denote by $_{m} (a, q)$ the set of rational numbers d such that a, a + q, ..., a + (m-1)q form an arithmetic progression in the Edwards curve $E_{d} : x ² + y ² = 1 + d x ² y ²$ . We study the set $_{m} (a, q)$ and we parametrize it by the rational points of an algebraic curve.

Decompositions for real Banach spaces with small spaces of operators

Manuel González, José M. Herrera (2007)

Studia Mathematica

Similarity:

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_{i}$ for which $(X_{i}) / ℐ n (X_{i})$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_{i}$ can be divided into subsets in such a way that if $X_{i}$ and $X_{j}$ are in different...

Extension operators on balls and on spaces of finite sets

Antonio Avilés, Witold Marciszewski (2015)

Studia Mathematica

Similarity:

We study extension operators between spaces of continuous functions on the spaces $σ ₙ (2^{X})$ of subsets of X of cardinality at most n. As an application, we show that if $B_{H}$ is the unit ball of a nonseparable Hilbert space H equipped with the weak topology, then, for any 0 < λ < μ, there is no extension operator $T : C (λ B_{H}) \to C (μ B_{H})$ .

Reflexivity and approximate fixed points

Eva Matoušková, Simeon Reich (2003)

Studia Mathematica

Similarity:

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_{k}}$ for which $s u p_{f \in S_{X *}} l i m s u p_{k \to \infty} f (x_{n_{k}})$ is attained at some f in the dual unit sphere $S_{X *}$ . A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f \in S_{X *}$ , there exists $g \in S_{X *}$ such that $l i m s u p_{n \to \infty} f (x ₙ) < l i m i n f_{n \to \infty} g (x ₙ)$ . Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

On the H-property and rotundity of Cesàro direct sums of Banach spaces

Saard Youyen, Suthep Suantai (2008)

Banach Center Publications

Similarity:

In this paper, we define the direct sum ${(⨁_{i = 1}^{n} X_{i})}_{c e s_{p}}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${(⨁_{i = 1}^{n} X_{i})}_{c e s_{p}}$ has the H-property if and only if each $X_{i}$ has the H-property, and ${(⨁_{i = 1}^{n} X_{i})}_{c e s_{p}}$ has the Schur property if and only if each $X_{i}$ has the Schur property. Moreover, we also show that ${(⨁_{i = 1}^{n} X_{i})}_{c e s_{p}}$ is rotund if and only if each $X_{i}$ is rotund.

Some duality results on bounded approximation properties of pairs

Eve Oja, Silja Treialt (2013)

Studia Mathematica

Similarity:

The main result is as follows. Let X be a Banach space and let Y be a closed subspace of X. Assume that the pair $(X *, Y^{⊥})$ has the λ-bounded approximation property. Then there exists a net $(S_{α})$ of finite-rank operators on X such that $S_{α} (Y) \subset Y$ and $| | S_{α} | | \leq λ$ for all α, and $(S_{α})$ and $(S *_{α})$ converge pointwise to the identity operators on X and X*, respectively. This means that the pair (X,Y) has the λ-bounded duality approximation property.