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)=sup\varrho \left(x\right(t),y(t\left)\right):t\in S$. (ii) For each countable subset...

For a countable ordinal α we denote by ${}_{\alpha }$ the class of separable, reflexive Banach spaces whose Szlenk index and the Szlenk index of their dual are bounded by α. We show that each ${}_{\alpha }$ admits a separable, reflexive universal space. We also show that spaces in the class ${}_{{\omega }^{\alpha ·\omega }}$ embed into spaces of the same class with a basis. As a consequence we deduce that each ${}_{\alpha }$ is analytic in the Effros-Borel structure of subspaces of C[0,1].

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) $\overline{linf\left(\right[0,1\left]\right)}$ contains an order isomorphic copy of D(0,1), (2) $\overline{linf\left(Q\right)}$ contains an isomorphic copy of C([0,1]), (3) $\overline{linf\left(\right[0,1\left]\right)}/\overline{linf\left(Q\right)}$ contains an isomorphic copy of c₀(Γ) for some uncountable...

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

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 $su{p}_{f\in S_{X*}}limsu{p}_{k\to \infty }f\left(x_{n_k}\right)$ 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 $limsu{p}_{n\to \infty }f\left(xₙ\right)<limin{f}_{n\to \infty }g\left(xₙ\right)$. Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

There exists a universal control sequence ${p̅\left(m\right)}_{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}_{\pi \left(n\right)}*\left(x\right)x_{\pi \left(n\right)}$ where π(n) is a permutation of n which depends on x but is uniformly controlled by ${p̅\left(m\right)}_{m=1}^{\infty }$, that is, $n_{n=1}^m\subseteq \pi {\left(n\right)}_{n=1}^{p̅\left(m\right)}\subseteq n_{n=1}^{p̅(m+1)}$ for each m.

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\left(K_A\right)$.

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f(tx+(1-t\left)y\right)\le tf\left(x\right)+(1-t)f\left(y\right)+min[t,(1-t\left)\right]\alpha \left(\right||x-y|\left|\right)$. Then there is a dense $G_{\delta }$-set $A_G\subset \Omega$ such that f is Gateaux differentiable at every point of $A_G$.

Suppose a metrizable separable space Y is sigma hereditarily disconnected, i.e., it is a countable union of hereditarily disconnected subspaces. We prove that the countable power $X^{\omega }$ of any subspace X ⊂ Y is not universal for the class ₂ of absolute $G_{\delta \sigma }$-sets; moreover, if Y is an absolute $F_{\sigma \delta }$-set, then $X^{\omega }$ contains no closed topological copy of the Nagata space = W(I,ℙ); if Y is an absolute $G_{\delta }$-set, then $X^{\omega }$ contains no closed copy of the Smirnov space σ = W(I,0). On the other hand, the countable...

We consider the question of when $X_M=X$, where $X_M$ is the elementary submodel topology on X ∩ M, especially in the case when $X_M$ is compact.

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ 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...

A separable Banach space X contains ${\ell }_1$ isomorphically if and only if X has a bounded fundamental total $w{c}_0*$-stable biorthogonal system. The dual of a separable Banach space X fails the Schur property if and only if X has a bounded fundamental total $w{c}_0*$-biorthogonal system.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\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 ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{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 ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

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.

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ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

In this short article we answer the question posed in Ghadermazi M., Karamzadeh O.A.S., Namdari M., On the functionally countable subalgebra of $C\left(X\right)$, Rend. Sem. Mat. Univ. Padova 129 (2013), 47–69. It is shown that $C_c\left(X\right)$ is isomorphic to some ring of continuous functions if and only if ${\upsilon }_{0}X$ is functionally countable. For a strongly zero-dimensional space $X$, this is equivalent to say that $X$ is functionally countable. Hence for every $P$-space it is equivalent to pseudo-${\aleph }_0$-compactness.

Geometric structure of Cesàro function spaces $Ce{s}_p\left(I\right)$, where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $Ce{s}_p[0,1]$ contains isomorphic and complemented copies of $l_q$-spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $Ce{s}_p[0,1]$.

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2n}$ such that $C\left(K_{2n}\right)$ has no uncountable (semi)biorthogonal sequence ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2n}$, but has biorthogonal systems ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

A Banach space $X$ has the reciprocal Dunford-Pettis property ($RDPP$) if every completely continuous operator $T$ from $X$ to any Banach space $Y$ is weakly compact. A Banach space $X$ has the $RDPP$ (resp. property $\left(wL\right)$) if every $L$-subset of $X^{*}$ is relatively weakly compact (resp. weakly precompact). We prove that the projective tensor product $X\otimes {}_{\pi }Y$ has property $\left(wL\right)$ when $X$ has the $RDPP$, $Y$ has property $\left(wL\right)$, and $L(X,Y^{*})=K(X,Y^{*})$.

A topological space $(X,\tau )$ is said to be $z$-Lindelöf  [1] if every cover of $X$ by cozero sets of $(X,\tau )$ admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of $z$-Lindelöf spaces.

Following Banakh and Gabriyelyan (2016) we say that a Tychonoff space X is an Ascoli space if every compact subset of $C_k\left(X\right)$ 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\left(X\right)$ is Ascoli iff $C_k\left(X\right)$ is a $k_{ℝ}$-space iff X is locally compact. Moreover, $C_k\left(X\right)$ endowed with the weak topology is Ascoli iff X is countable and discrete. Using some basic concepts from probability...

A Banach space X is asymptotically symmetric (a.s.) if for some C < ∞, for all m ∈ ℕ, for all bounded sequences ${\left(x_j^i\right)}_{j=1}^{\infty }\subseteq X$, 1 ≤ i ≤ m, for all permutations σ of 1,...,m and all ultrafilters ₁,...,ₘ on ℕ, $li{m}_{n₁,₁}...li{m}_{nₘ,ₘ}\left|\right|{\sum }_{i=1}^m{x}_{n_i}^i\left|\right|\le Cli{m}_{n_{\sigma \left(1\right)}{,}_{\sigma \left(1\right)}}...li{m}_{n_{\sigma \left(m\right)}{,}_{\sigma \left(m\right)}}\left|\right|{\sum }_{i=1}^m{x}_{n_i}^i\left|\right|$. We investigate a.s. Banach spaces and several natural variations. X is weakly a.s. (w.a.s.) if the defining condition holds when restricted to weakly convergent sequences ${\left(x_j^i\right)}_{j=1}^{\infty }$. Moreover, X is w.n.a.s. if we restrict the condition further to normalized weakly null sequences. If X is a.s. then...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

Given a metric space ⟨X,ρ⟩, consider its hyperspace of closed sets CL(X) with the Wijsman topology ${\tau }_{W\left(\rho \right)}$. It is known that $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ is metrizable if and only if X is separable, and it is an open question by Di Maio and Meccariello whether this is equivalent to $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ being normal. We prove that if the weight of X is a regular uncountable cardinal and X is locally separable, then $⟨CL\left(X\right),{\tau }_{W\left(\rho \right)}⟩$ is not normal. We also solve some questions by Cao, Junnila and Moors regarding isolated points in Wijsman hyperspaces. ...

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 $\left(X_i\right)/ℐn\left(X_i\right)$ 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...

A subset of a product of topological spaces is called $n$-thin if every its two distinct points differ in at least $n$ coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable $T_3$ space $X$ without isolated points such that $X^n$ contains an $n$-thin dense subset, but $X^{n+1}$ does not contain any $n$-thin dense subset. We also observe that part of the construction can be carried out under MA.

Let ${}_{\infty }\left(B_X\right)$ be the Banach space of all bounded and continuous functions on the closed unit ball $B_X$ of a complex Banach space X and holomorphic on the open unit ball, with sup norm, and let ${}_u\left(B_X\right)$ be the subspace of ${}_{\infty }\left(B_X\right)$ of those functions which are uniformly continuous on $B_X$. A subset $B\subset B_X$ is a boundary for ${}_{\infty }\left(B_X\right)$ if $\parallel f\parallel =su{p}_{x\in B}\left|f\left(x\right)\right|$ for every $f{\in }_{\infty }\left(B_X\right)$. We prove that for X = d(w,1) (the Lorentz sequence space) and X = C₁(H), the trace class operators, there is a minimal closed boundary for ${}_{\infty }\left(B_X\right)$. On the other hand, for X = , the Schreier...