English

Generating operators between Banach spaces

Functional Analysis 2023-06-06 v1

Abstract

We introduce and study the notion of generating operators as those norm-one operators G ⁣:XYG\colon X\longrightarrow Y such that for every 0<δ<10<\delta<1, the set {xX ⁣:x1, Gx>1δ}\{x\in X\colon \|x\|\leq 1,\ \|Gx\|>1-\delta\} generates the unit ball of XX by closed convex hull. This class of operators includes isometric embeddings, spear operators (actually, operators with the alternative Daugavet property), and other examples like the natural inclusions of 1\ell_1 into c0c_0 and of L[0,1]L_\infty[0,1] into L1[0,1]L_1[0,1]. We first present a characterization in terms of the adjoint operator, make a discussion on the behaviour of diagonal generating operators on c0c_0-, 1\ell_1-, and \ell_\infty-sums, and present examples in some classical Banach spaces. Even though rank-one generating operators always attain their norm, there are generating operators, even of rank-two, which do not attain their norm. We discuss when a Banach space can be the domain of a generating operator which does not attain its norm in terms of the behaviour of some spear sets of the dual space. Finally, we study when the set of all generating operators between two Banach spaces XX and YY generates all non-expansive operators by closed convex hull. We show that this is the case when X=L1(μ)X=L_1(\mu) and YY has the Radon-Nikod\'ym property with respect to μ\mu. Therefore, when X=1(Γ)X=\ell_1(\Gamma), this is the case for every target space YY. Conversely, we also show that a real finite-dimensional space XX satisfies that generating operators from XX to YY generate all non-expansive operators by closed convex hull only in the case that XX is an 1\ell_1-space.

Keywords

Cite

@article{arxiv.2306.02645,
  title  = {Generating operators between Banach spaces},
  author = {Vladimir Kadets and Miguel Martin and Javier Meri and Alicia Quero},
  journal= {arXiv preprint arXiv:2306.02645},
  year   = {2023}
}

Comments

24 pages

R2 v1 2026-06-28T10:56:13.640Z