We simplify the presentation of the method of elementary submodels and we show that it can be used to simplify proofs of existing separable reduction theorems and to obtain new ones. Given a nonseparable Banach space X and either a subset A ⊂ X or a function f defined on X, we are able for certain properties to produce a separable subspace of X which determines whether A or f has the property in question. Such results are proved for properties of sets: of being dense, nowhere dense, meager, residual...

We prove that the unit sphere of every infinite-dimensional Banach space X contains an α-separated sequence, for every $0<\alpha <1+\delta {̅}_X\left(1\right)$, where $\delta {̅}_X$ denotes the modulus of asymptotic uniform convexity of X.

We give a characterization of uniformly convex Banach spaces in terms of a uniform version of the Kadec-Klee property. As an application we prove that if (xₙ) is a bounded sequence in a uniformly convex Banach space X which is ε-separated for some 0 < ε ≤ 2, then for all norm one vectors x ∈ X there exists a subsequence $\left(x_{n_j}\right)$ of (xₙ) such that $in{f}_{j\ne k}\left|\right|x-(x_{n_j}-x_{n_k})\left|\right|\ge 1+{\delta }_X(2/3\epsilon )$, where ${\delta }_X$ is the modulus of convexity of X. From this we deduce that the unit sphere of every infinite-dimensional uniformly convex Banach space contains...

In this paper we survey some recent results concerning separating polynomials on real Banach spaces. By this we mean a polynomial which separates the origin from the unit sphere of the space, thus providing an analog of the separating quadratic form on Hilbert space.

Complete and σ-complete Boolean algebras of projections acting in a Banach space were introduced by W. Bade in the 1950's. A basic fact is that every complete Boolean algebra of projections is necessarily a closed set for the strong operator topology. Here we address the analogous question for σ-complete Boolean algebras: are they always a sequentially closed set for the strong operator topology? For the atomic case the answer is shown to be affirmative. For the general case, we develop criteria...

In this paper, we will characterize sequentially compact sets in a class of generalized Orlicz spaces.

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\le p\le \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 space...

The present paper is a continuation of [23], from which we know that the theory of traces on the Marcinkiewicz operator ideal $\left(H\right):=T\in \left(H\right):su{p}_{1\le m<\infty }1/(logm+1){\sum }_{n=1}^{m}aₙ\left(T\right)<\infty$ can be reduced to the theory of shift-invariant functionals on the Banach sequence space $\left(\mathbb{N}₀\right):=c=\left({\gamma }_l\right):su{p}_{0\le k<\infty }1/(k+1){\sum }_{l=0}^k\left|{\gamma }_l\right|<\infty$. The final purpose of my studies, which will be finished in [24], is the following. Using the density character as a measure, I want to determine the size of some subspaces of the dual *(H). Of particular interest are the sets formed by the Dixmier traces and the Connes-Dixmier traces...

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