Source author record

Haskell P. Rosenthal

Haskell P. Rosenthal appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
1topics
2close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

4 published item(s)

preprint1996arXiv

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

A basic sequence in a Banach space is called wide-$(s)$ if it is bounded and dominates the summing basis. (Wide-$(s)$ sequences were originally introduced by I.~Singer, who termed them $P^*$-sequences). These sequences and their quantified versions, termed $λ$-wide-$(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 $\varepsilon >0$, it maps some $(1+\varepsilon)$-wide-$(s)$-sequence to a wide-$(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 $\varepsilon>0$, it maps some $(1+\varepsilon)$-wide-$(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 $\varepsilon>0$, finite $(1+\varepsilon)$-wide-$(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)$, the Banach algebra of (complex) differences of bounded semi-continuous functons on a metric space $K$. For example, it is proved that if all finite derived sets of $K$ are non-empty, then a complex function $φ$ operates on $D(K)$ (i.e., $φ\circ f\in D(K)$ for all $f\in D(K)$) if and only if $φ$ is locally Lipschitz. Another example: if $W\subset K$ and $g\in D(W)$ is real-valued, then it is proved that $g$ extends to a $\tilde g$ in $D(K)$ with $\|\tilde g\|_{D(K)} = \|g\|_{D(W)}$. Considerable attention is devoted to $SD(K)$, the closure in $D(K)$ of the set of simple functions in $D(K)$. Thus it is proved that every member of $SD(K)$ is a (complex) difference of semi-continuous functions in $SD(K)$, and that $|f|$ belongs to $SD(K)$ if $f$ does. An intrinsic characterization of $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)$, and that $SD(K)\ne D(K)$ for interesting $K$. It is proved that the ``variable oscillation criterion'' characterizes functions belonging to $B_{1/4}(K)$, thus answering an open problem raised in earlier work of Haydon, Odell and Rosenthal. It is also proved that $f$ belongs to $B_{1/4}(K)$ (if and) only if $f$ is a uniform limit of simple $D$-functions of uniformly bounded $D$-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 $c_0$

A subsequence principle is obtained, characterizing Banach spaces containing $c_0$, in the spirit of the author's 1974 characterization of Banach spaces containing $\ell^1$. Definition: A sequence $(b_j)$ in a Banach space is called {\it strongly summing\/} (s.s.) if $(b_j)$ is a weak-Cauchy basic sequence so that whenever scalars $(c_j)$ satisfy $\sup_n \|\sum_{j=1}^n c_j b_j\| <\infty$, then $\sum c_j$ converges. A simple permanence property: if $(b_j)$ is an (s.s.) basis for a Banach space $B$ and $(b_j^*)$ are its biorthogonal functionals in $B^*$, then $(\sum_{j=1}^n b_j^*)_{n=1}^ \infty$ is a non-trivial weak-Cauchy sequence in $B^*$; hence $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 $B$ contains no isomorph of $c_0$ if and only if every non-trivial weak-Cauchy sequence in $B$ has an {\rm (s.s.)} subsequence. Combining the $c_0$ and $\ell^1$ Theorems, we obtain Corollary 2. If $B$ is a non-reflexive Banach space such that $X^*$ is weakly sequentially complete for all linear subspaces $X$ of $B$, then $c_0$ embeds in $X$; in fact, $B$ has property~$(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.