Searcharxiv⌕ Search

arXiv subjects

William B. Johnson

Publications and source records attributed to William B. Johnson.

33 records · Page 2Linked to original sources
arXiv2007

Multiplication operators on L(L_p) and $\ell_p$-strictly singular operators

A classification of weakly compact multiplication operators on L(L_p), $1<p<\infty$, is given. This answers a question raised by Saksman and Tylli in 1992. The classification involves the concept of $\ell_p$-strictly singular operators, and we also investigate the structure of general $\ell_p$-strictly singular operators on L_p. The main result is that if an operator T on L_p, 1<p<2, is $\ell_p$-strictly singular and T_{|X} is an isomorphism for some subspace X of L_p, then X embeds into L_r for all r<2, but X need not be isomorphic to a Hilbert space. It is also shown that if T is convolution by a biased coin on L_p of the Cantor group, $1\le p <2$, and $T_{|X}$ is an isomorphism for some reflexive subspace X of L_p, then X is isomorphic to a Hilbert space. The case p=1 answers a question asked by Rosenthal in 1976.

math.FA↗
arXiv1998

Nonlinear quotients

New concepts related to approximating a Lipschitz function between Banach spaces by affine functions are introduced. Results which clarify when such approximations are possible are proved and in some cases a complete characterization of the spaces $X$, $Y$ for which any Lipschitz function from $X$ to $Y$ can be so approximated is obtained. This is applied to the study of Lipschitz and uniform quotient mappings between Banach spaces. It is proved, in particular, that any Banach space which is a uniform quotient of $L_p$, $1<p<\infty$, is already isomorphic to a linear quotient of $L_p$.

math.FA↗
arXiv1997

Banach spaces determined by their uniform structures

Following results of Bourgain and Gorelik we show that the spaces $\ell_p$, $1<p<\infty$, as well as some related spaces have the following uniqueness property: If $X$ is a Banach space uniformly homeomorphic to one of these spaces then it is linearly isomorphic to the same space. We also prove that if a $C(K)$ space is uniformly homeomorphic to $c_0$, then it is isomorphic to $c_0$. We show also that there are Banach spaces which are uniformly homeomorphic to exactly $2$ isomorphically distinct spaces.

math.FA↗
arXiv1996

Extensions of $c_0$

If $X$ is a closed subspace of a Banach space $L$ which embeds into a Banach lattice not containing $\ell_\infty^n$'s uniformly and $L/X$ contains $\ell_\infty^n$'s uniformly, then $X$ cannot have local unconditional structure in the sense of Gordon-Lewis (GL-{\sl l.u.st.}).

math.FA↗
arXiv1995

Universal Non-Completely-Continuous Operators

A bounded linear operator between Banach spaces is called {\it completely continuous} if it carries weakly convergent sequences into norm convergent sequences. Isolated is a universal operator for the class of non-completely-continuous operators from $L_1$ into an arbitrary Banach space, namely, the operator from $L_1$ into $\ell_\infty$ defined by $$ T_0 (f) =\left( \int r_n f \, dμ\right)_{n\ge 0} \ , $$ where $r_n$ is the $n^{\text{th}}$ Rademacher function. It is also shown that there does not exist a universal operator for the class of non-completely-continuous operators between two arbitrary Banach space. The proof uses the factorization theorem for weakly compact operators and a Tsirelson-like space.

math.FA↗
arXiv1994

Banach spaces with the $2$-summing property

A Banach space $X$ has the $2$-summing property if the norm of every linear operator from $X$ to a Hilbert space is equal to the $2$-summing norm of the operator. Up to a point, the theory of spaces which have this property is independent of the scalar field: the property is self-dual and any space with the property is a finite dimensional space of maximal distance to the Hilbert space of the same dimension. In the case of real scalars only the real line and real $\ell_\infty^2$ have the $2$-summing property. In the complex case there are more examples; e.g., all subspaces of complex $\ell_\infty^3$ and their duals.

math.FA↗
arXiv1993

The Complete Continuity Property and Finite Dimensional Decompositions

A Banach space $\X$ has the complete continuity property (CCP) if each bounded linear operator from $L_1$ into $\X$ is completely continuous (i.e., maps weakly convergent sequences to norm convergent sequences). The main theorem shows that a Banach space failing the CCP (resp., failing the CCP and failing cotype) has a subspace with a finite dimensional decomposition (resp., basis) which fails the CCP.

math.FA↗
arXiv1992

Polynomial Schur and Polynomial Dunford-Pettis Properties

A Banach space is {\it polynomially Schur} if sequential convergence against analytic polynomials implies norm convergence. Carne, Cole and Gamelin show that a space has this property and the Dunford-Pettis property if and only if it is Schur. Herein is defined a reasonable generalization of the Dunford--Pettis property using polynomials of a fixed homogeneity. It is shown, for example, that a Banach space will has the $P_N$ Dunford--Pettis property if and only if every weakly compact $N-$homogeneous polynomial (in the sense of Ryan) on the space is completely continuous. A certain geometric condition, involving estimates on spreading models and implied by nontrivial type, is shown to be sufficient to imply that a space is polynomially Schur.

math.FA↗
arXiv1992

Computing p-summing norms with few vectors

It is shown that the p-summing norm of any operator with n-dimensional domain can be well-aproximated using only ``few" vectors in the definition of the p-summing norm. Except for constants independent of n and log n factors, ``few" means n if 1<p<2 and n^{p/2} if 2<p<infinity.

math.FA↗
arXiv1992

Factorizations of natural embeddings of l_p^n int L_r

This is a continuation of the paper [FJS] with a similar title. Several results from there are strengthened, in particular: 1. If T is a "natural" embedding of l_2^n into L_1 then, for any well-bounded factorization of T through an L_1 space in the form T=uv with v of norm one, u well-preserves a copy of l_1^k with k exponential in n. 2. Any norm one operator from a C(K) space which well-preserves a copy of l_2^n also well-preserves a copy of l_{\infty}^k with k exponential in n. As an application of these and other results we show the existence, for any n, of an n-dimensional space which well-embeds into a space with an unconditional basis only if the latter contains a copy of l_{\infty}^k with k exponential in n.

math.FA↗
arXiv1991

Analytic Disks in Fibers over the Unit Ball of a Banach Space

We study biorthogonal sequences with special properties, such as weak or weak-star convergence to 0, and obtain an extension of the Josefson-Nissenzweig theorem. This result is applied to embed analytic disks in the fiber over 0 of the spectrum of H^infinity (B), the algebra of bounded analytic functions on the unit ball B of an arbitrary infinite dimensional Banach space. Various other embedding theorems are obtained. For instance, if the Banach space is superreflexive, then the unit ball of a Hilbert space of uncountable dimension can be embedded analytically in the fiber over 0 via an embedding which is uniformly bicontinuous with respect to the Gleason metric.

math.FA↗
arXiv1990

Operators which factor through Banach lattices not containing c_0

In this supplement to [GJ1], [GJ3], we give an intrinsic characterization of (bounded, linear) operators on Banach lattices which factor through Banach lattices not containing a copy of $c_0$ which complements the characterization of [GJ1], [GJ3] that an operator admits such a factorization if and only if it can be written as the product of two operators neither of which preserves a copy of $c_0$. The intrinsic characterization is that the restriction of the second adjoint of the operator to the ideal generated by the lattice in its bidual does not preserve a copy of $c_0$. This property of an operator was introduced by C. Niculescu [N2] under the name ``strong type B".

math.FA↗
arXiv1990

Remarks on Talagrand's deviation inequality for Rademacher functions

Recently Talagrand [T] estimated the deviation of a function on $\{0,1\}^n$ from its median in terms of the Lipschitz constant of a convex extension of $f$ to $\ell ^n_2$; namely, he proved that $$P(|f-M_f| > c) \le 4 e^{-t^2/4σ^2}$$ where $σ$ is the Lipschitz constant of the extension of $f$ and $P$ is the natural probability on $\{0,1\}^n$. Here we extend this inequality to more general product probability spaces; in particular, we prove the same inequality for $\{0,1\}^n$ with the product measure $((1-η)δ_0 + ηδ_1)^n$. We believe this should be useful in proofs involving random selections. As an illustration of possible applications we give a simple proof (though not with the right dependence on $\varepsilon$) of the Bourgain, Lindenstrauss, Milman result [BLM] that for $1\le r < s \le 2$ and $\varepsilon >0$, every $n$-dimensional subspace of $L_s \ (1+\varepsilon)$-embeds into $\ell ^N_r$ with $N = c(r,s,\varepsilon)n$.

math.PR↗