Source author record

Haskell P. Rosenthal

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
1topics
2close collaborators

Published work

4 publications

preprint1996arXiv

On wide-(s)(s) sequences and their applications to certain classes of operators

A basic sequence in a Banach space is called wide-(s)(s) if it is bounded and dominates the summing basis. (Wide-(s)(s) sequences were originally introduced by I.~Singer, who termed them P∗P^*-sequences). These sequences and their quantified versions, termed λλ-wide-(s)(s) sequences, are used to characterize various classes of operators between Banach spaces, such as the weakly compact, Tauberian, and super-Tauberian operators, as well as a new intermediate class introduced here, the strongly Tauberian operators. This is a nonlocalizable class which nevertheless forms an open semigroup and is closed under natural operations such as taking double adjoints. It is proved for example that an operator is non-weakly compact iff for every ε>0\varepsilon >0, it maps some (1+ε)(1+\varepsilon)-wide-(s)(s)-sequence to a wide-(s)(s) sequence. This yields the quantitative triangular arrays result characterizing reflexivity, due to R.C.~James. It is shown that an operator is non-Tauberian (resp. non-strongly Tauberian) iff for every ε>0\varepsilon>0, it maps some (1+ε)(1+\varepsilon)-wide-(s)(s) sequence into a norm-convergent sequence (resp. a sequence whose image has diameter less than ε\varepsilon). This is applied to obtain a direct ``finite'' characterization of super-Tauberian operators, as well as the following characterization, which strengthens a recent result of M.~González and A.~Mart{\'ı}nez-Abejón: An operator is non-super-Tauberian iff there are for every ε>0\varepsilon>0, finite (1+ε)(1+\varepsilon)-wide-(s)(s) sequences of arbitrary length whose images have norm at most ε\varepsilon.

preprint1994arXiv

Differences of bounded semi-continuous functions, I

Structural properties are given for D(K)D(K), the Banach algebra of (complex) differences of bounded semi-continuous functons on a metric space KK. For example, it is proved that if all finite derived sets of KK are non-empty, then a complex function φφ operates on D(K)D(K) (i.e., φ∘f∈D(K)φ\circ f\in D(K) for all f∈D(K)f\in D(K)) if and only if φφ is locally Lipschitz. Another example: if W⊂KW\subset K and g∈D(W)g\in D(W) is real-valued, then it is proved that gg extends to a g~\tilde g in D(K)D(K) with ∥g~∥D(K)=∥g∥D(W)\|\tilde g\|_{D(K)} = \|g\|_{D(W)}. Considerable attention is devoted to SD(K)SD(K), the closure in D(K)D(K) of the set of simple functions in D(K)D(K). Thus it is proved that every member of SD(K)SD(K) is a (complex) difference of semi-continuous functions in SD(K)SD(K), and that ∣f∣|f| belongs to SD(K)SD(K) if ff does. An intrinsic characterization of SD(K)SD(K) is given, in terms of transfinite oscillation sets. Using the transfinite oscillations, alternate proofs are given of the results of Chaatit, Mascioni and Rosenthal that functions of finite Baire-index belong to SD(K)SD(K), and that SD(K)≠D(K)SD(K)\ne D(K) for interesting KK. It is proved that the ``variable oscillation criterion'' characterizes functions belonging to B1/4(K)B_{1/4}(K), thus answering an open problem raised in earlier work of Haydon, Odell and Rosenthal. It is also proved that ff belongs to B1/4(K)B_{1/4}(K) (if and) only if ff is a uniform limit of simple DD-functions of uniformly bounded DD-norm iff $\osc_ωf$ is bounded; the last equivalence has also been obtained by V.~Farmaki, using other methods.

preprint1992arXiv

A characterization of Banach spaces containing c0c_0

A subsequence principle is obtained, characterizing Banach spaces containing c0c_0, in the spirit of the author's 1974 characterization of Banach spaces containing ℓ1\ell^1. Definition: A sequence (bj)(b_j) in a Banach space is called {\it strongly summing\/} (s.s.) if (bj)(b_j) is a weak-Cauchy basic sequence so that whenever scalars (cj)(c_j) satisfy sup⁡n∥∑j=1ncjbj∥<∞\sup_n \|\sum_{j=1}^n c_j b_j\| <\infty, then ∑cj\sum c_j converges. A simple permanence property: if (bj)(b_j) is an (s.s.) basis for a Banach space BB and (bj∗)(b_j^*) are its biorthogonal functionals in B∗B^*, then (∑j=1nbj∗)n=1∞(\sum_{j=1}^n b_j^*)_{n=1}^ \infty is a non-trivial weak-Cauchy sequence in B∗B^*; hence B∗B^* fails to be weakly sequentially complete. (A weak-Cauchy sequence is called {\it non-trivial\/} if it is {\it non-weakly convergent\/}.) Theorem. Every non-trivial weak-Cauchy sequence in a (real or complex) Banach space has either an {\rm (s.s.)} subsequence, or a convex block basis equivalent to the summing basis. Remark : The two alternatives of the Theorem are easily seen to be mutually exclusive. Corollary 1. A Banach space BB contains no isomorph of c0c_0 if and only if every non-trivial weak-Cauchy sequence in BB has an {\rm (s.s.)} subsequence. Combining the c0c_0 and ℓ1\ell^1 Theorems, we obtain Corollary 2. If BB is a non-reflexive Banach space such that X∗X^* is weakly sequentially complete for all linear subspaces XX of BB, then c0c_0 embeds in XX; in fact, BB has property~(u)(u).

preprint1992arXiv

On Weakly Null FDD's in Banach Spaces

In this paper we show that every sequence (F_n) of finite dimensional subspaces of a real or complex Banach space with increasing dimensions can be ``refined'' to yield an F.D.D. (G_n), still having increasing dimensions, so that either every bounded sequence (x_n), with x_n in G_n for n in N, is weakly null, or every normalized sequence (x_n), with x_n in G_n for n in N, is equivalent to the unit vector basis of l_1. Crucial to the proof are two stabilization results concerning Lipschitz functions on finite dimensional normed spaces. These results also lead to other applications. We show, for example, that every infinite dimensional Banach space X contains an F.D.D. (F_n), with lim_{n to infty} dim (F_n)=infty, so that all normalized sequences (x_n), with x_n in F_n, n in N, have the same spreading model over X. This spreading model must necessarily be 1-unconditional over X.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.