Banach spaces of bounded Szlenk index

E. Odell; Th. Schlumprecht; A. Zsák

Displaying similar documents to “Banach spaces of bounded Szlenk index”

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

James boundaries and σ-fragmented selectors

B. Cascales, M. Muñoz, J. Orihuela (2008)

Studia Mathematica

Similarity:

We study the boundary structure for w*-compact subsets of dual Banach spaces. To be more precise, for a Banach space X, 0 < ϵ < 1 and a subset T of the dual space X* such that ⋃ B(t,ϵ): t ∈ T contains a James boundary for $B_{X *}$ we study different kinds of conditions on T, besides T being countable, which ensure that $X * = {\bar{s p a n T}}^{| | \cdot | |}$ . (SP) We analyze two different non-separable cases where the equality (SP) holds: (a) if $J : X \to 2^{B_{X *}}$ is the duality mapping and there exists a σ-fragmented map f: X → X* such that...

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

On monotonic functions from the unit interval into a Banach space with uncountable sets of points of discontinuity

Artur Michalak (2003)

Studia Mathematica

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. We show that if f: [0,1] → X is an increasing function with respect to a norming subset E of X* with uncountably many points of discontinuity and Q is a countable dense subset of [0,1], then (1) $\bar{l i n f ([0, 1])}$ contains an order isomorphic copy of D(0,1), (2) $\bar{l i n f (Q)}$ contains an isomorphic copy of C([0,1]), (3) $\bar{l i n f ([0, 1])} / \bar{l i n f (Q)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Similarity:

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{σ}$ set under that function is again $F_{σ}$ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers...

On Some Properties of Separately Increasing Functions from [0,1]ⁿ into a Banach Space

Artur Michalak (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f : {[0, 1]}^{m} \to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f : {[0, 1]}^{m} \to X$ with respect to any norming subset there exists a separately increasing function $g : {[0, 1]}^{m} \to ℝ$ such that the sets of...

Every separable Banach space has a basis with uniformly controlled permutations

Paolo Terenzi

Similarity:

There exists a universal control sequence ${p ̅ (m)}_{m = 1}^{\infty}$ of increasing positive integers such that: Every infinite-dimensional separable Banach space X has a biorthogonal system xₙ,xₙ* with ||xₙ|| = 1 and ||xₙ*|| < K for each n such that, for each x ∈ X, $x = \sum_{n = 1}^{\infty} x_{π (n)} * (x) x_{π (n)}$ where π(n) is a permutation of n which depends on x but is uniformly controlled by ${p ̅ (m)}_{m = 1}^{\infty}$ , that is, $n_{n = 1}^{m} \subseteq π {(n)}_{n = 1}^{p ̅ (m)} \subseteq n_{n = 1}^{p ̅ (m + 1)}$ for each m.

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...

Borel parts of the spectrum of an operator and of the operator algebra of a separable Hilbert space

Piotr Niemiec (2012)

Studia Mathematica

Similarity:

For a linear operator T in a Banach space let $σ_{p} (T)$ denote the point spectrum of T, let $σ_{p, n} (T)$ for finite n > 0 be the set of all $λ \in σ_{p} (T)$ such that dim ker(T - λ) = n and let $σ_{p, \infty} (T)$ be the set of all $λ \in σ_{p} (T)$ for which ker(T - λ) is infinite-dimensional. It is shown that $σ_{p} (T)$ is $ℱ_{σ}$ , $σ_{p, \infty} (T)$ is $ℱ_{σ δ}$ and for each finite n the set $σ_{p, n} (T)$ is the intersection of an $ℱ_{σ}$ set and a $_{δ}$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

A nice subclass of functionally countable spaces

Vladimir Vladimirovich Tkachuk (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A space $X$ is functionally countable if $f (X)$ is countable for any continuous function $f : X \to ℝ$ . We will call a space $X$ exponentially separable if for any countable family $ℱ$ of closed subsets of $X$ , there exists a countable set $A \subset X$ such that $A \cap ⋂ 𝒢 \neq \emptyset$ whenever $𝒢 \subset ℱ$ and $⋂ 𝒢 \neq \emptyset$ . Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable...

Exponential separability is preserved by some products

Vladimir Vladimirovich Tkachuk (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that exponential separability is an inverse invariant of closed maps with countably compact exponentially separable fibers. This implies that it is preserved by products with a scattered compact factor and in the products of sequential countably compact spaces. We also provide an example of a $σ$ -compact crowded space in which all countable subspaces are scattered. If $X$ is a Lindelöf space and every $Y \subset X$ with $| Y | \leq 2^{ω_{1}}$ is scattered, then $X$ is functionally countable; if every $Y \subset X$ with $| Y | \leq 2^{𝔠}$ is scattered,...

The Lindelöf property in Banach spaces

B. Cascales, I. Namioka, J. Orihuela (2003)

Studia Mathematica

Similarity:

A topological space (T,τ) is said to be fragmented by a metric d on T if each non-empty subset of T has non-empty relatively open subsets of arbitrarily small d-diameter. The basic theorem of the present paper is the following. Let (M,ϱ) be a metric space with ϱ bounded and let D be an arbitrary index set. Then for a compact subset K of the product space $M^{D}$ the following four conditions are equivalent: (i) K is fragmented by $d_{D}$ , where, for each S ⊂ D, $d_{S} (x, y) = s u p ϱ (x (t), y (t)) : t \in S$ . (ii) For each countable subset...

$ℓ_{\infty}$ -sums and the Banach space $ℓ_{\infty} / c ₀$

Christina Brech, Piotr Koszmider (2014)

Fundamenta Mathematicae

Similarity:

This paper is concerned with the isomorphic structure of the Banach space $ℓ_{\infty} / c ₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $ℓ_{\infty} / c ₀$ does not have an orthogonal $ℓ_{\infty}$ -decomposition, that is, it is not of the form $ℓ_{\infty} (X)$ for any Banach space X. The main local result is that it is consistent that $ℓ_{\infty} (c ₀ ())$ does not embed isomorphically into $ℓ_{\infty} / c ₀$ , where is the cardinality of the continuum,...

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...

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...

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

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.

Modifications of the double arrow space and related Banach spaces C(K)

Witold Marciszewski (2008)

Studia Mathematica

Similarity:

We consider the class of compact spaces $K_{A}$ which are modifications of the well known double arrow space. The space $K_{A}$ is obtained from a closed subset K of the unit interval [0,1] by “splitting” points from a subset A ⊂ K. The class of all such spaces coincides with the class of separable linearly ordered compact spaces. We prove some results on the topological classification of $K_{A}$ spaces and on the isomorphic classification of the Banach spaces $C (K_{A})$ .

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.

Isometric embeddings of a class of separable metric spaces into Banach spaces

Sophocles K. Mercourakis, Vassiliadis G. Vassiliadis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $(M, d)$ be a bounded countable metric space and $c > 0$ a constant, such that $d (x, y) + d (y, z) - d (x, z) \geq c$ , for any pairwise distinct points $x, y, z$ of $M$ . For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of $ℓ_{\infty}$ .

A Dichotomy Principle for Universal Series

V. Farmaki, V. Nestoridis (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Applying results of the infinitary Ramsey theory, namely the dichotomy principle of Galvin-Prikry, we show that for every sequence ${(α_{j})}_{j = 1}^{\infty}$ of scalars, there exists a subsequence ${(α_{k_{j}})}_{j = 1}^{\infty}$ such that either every subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series, or no subsequence of ${(α_{k_{j}})}_{j = 1}^{\infty}$ defines a universal series. In particular examples we decide which of the two cases holds.

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

Sequentially Right Banach spaces of order $p$

Mahdi Dehghani, Mohammad B. Dehghani, Mohammad S. Moshtaghioun (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce and study two new classes of Banach spaces, the so-called sequentially Right Banach spaces of order $p$ , and those defined by the dual property, the sequentially Right $^{*}$ Banach spaces of order $p$ for $1 \leq p \leq \infty$ . These classes of Banach spaces are characterized by the notions of $L_{p}$ -limited sets in the corresponding dual space and $R_{p}^{*}$ subsets of the involved Banach space, respectively. In particular, we investigate whether the injective tensor product of a Banach space $X$ and a reflexive Banach...

On the rigidity of webs

Michel Belliart (2007)

Bulletin de la Société Mathématique de France

Similarity:

Plane $d$ -webs have been studied a lot since their appearance at the turn of the 20th century. A rather recent and striking result for them is the theorem of Dufour, stating that the measurable conjugacies between 3-webs have to be analytic. Here, we show that even the set-theoretic conjugacies between two $d$ -webs, $d \geq 3$ are analytic unless both webs are analytically parallelizable. Between two set-theoretically conjugate parallelizable $d$ -webs, however, there always exists a nonmeasurable conjugacy;...

Some results on semi-stratifiable spaces

Wei-Feng Xuan, Yan-Kui Song (2019)

Mathematica Bohemica

Similarity:

We study relationships between separability with other properties in semi-stratifiable spaces. Especially, we prove the following statements: (1) If $X$ is a semi-stratifiable space, then $X$ is separable if and only if $X$ is $D C (ω_{1})$ ; (2) If $X$ is a star countable extent semi-stratifiable space and has a dense metrizable subspace, then $X$ is separable; (3) Let $X$ be a $ω$ -monolithic star countable extent semi-stratifiable space. If $t (X) = ω$ and $d (X) \leq ω_{1}$ , then $X$ is hereditarily separable. Finally, we prove that for...

C*-algebras have a quantitative version of Pełczyński's property (V)

Hana Krulišová (2017)

Czechoslovak Mathematical Journal

Similarity:

A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T : X \to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$ -algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C (K)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

Remarks on WDC sets

Dušan Pokorný, Luděk Zajíček (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.