Lipschitz tensor product

Authors M. G. Cabrera-Padilla, Javier Alejandro Chávez-Domínguez, Moisés Villegas-Vallecillos, A. Jiménez-Vargas

Publication date 15 April 2016

Published in Khayyam Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1408.1874, http://www.emis.de/journals/KJM/KJM_v1n2a5.pdf

$p$-summing operator duality Lipschitz compact operator Lipschitz map tensor product

Lipschitz (Hölder) classes (26A16) Spaces of operators; tensor products; approximation properties (46B28) Banach spaces of continuous, differentiable or analytic functions (46E15) Tensor products in functional analysis (46M05) Operator ideals (47L20)

Abstract: Inspired by ideas of R. Schatten in his celebrated monograph on a theory of cross-spaces, we introduce the notion of a Lipschitz tensor product X�oxtimes E of a pointed metric space and a Banach space E as a certain linear subspace of the algebraic dual of Lipo(X,E^*). We prove that <Lipo(X,E^*),X�oxtimes E> forms a dual pair. We prove that X�oxtimes E is linearly isomorphic to the linear space of all finite-rank continuous linear operators from (X^#,T) into E, where X^# denotes the space Lipo(X,K) and T is the topology of pointwise convergence of X^#. The concept of Lipschitz tensor product of elements of X^# and E^* yields the space X^#�oxast E^* as a certain linear subspace of the algebraic dual of X�oxtimes E. To ensure the good behavior of a norm on X�oxtimes E with respect to the Lipschitz tensor product of Lipschitz functionals (mappings) and bounded linear functionals (operators), the concept of dualizable (respectively, uniform) Lipschitz cross-norm on X�oxtimes E is defined. We show that the Lipschitz injective norm epsilon, the Lipschitz projective norm pi and the Lipschitz p-nuclear norm d_p (1<=p<=infty) are uniform dualizable Lipschitz cross-norms on X�oxtimes E. In fact, epsilon is the least dualizable Lipschitz cross-norm and pi is the greatest Lipschitz cross-norm on X�oxtimes E. Moreover, dualizable Lipschitz cross-norms alpha on X�oxtimes E are characterized by satisfying the relation epsilon<=alpha<=pi. In addition, the Lipschitz injective (projective) norm on X�oxtimes E can be identified with the injective (respectively, projective) tensor norm on the Banach-space tensor product between the Lipschitz-free space over X and E. In terms of the space X^#�oxast E^*, we describe the spaces of Lipschitz compact (finite-rank, approximable) operators from X to E^$.

Review text

Following the lead of \textit{R. Schatten} [A theory of cross-spaces. Princeton, N. J.: Princeton University Press (1950; Zbl 0041.43502)], the authors introduce the ``Lipschitz tensor product of a pointed metric space $X$ and a Banach space $E$. For every $x \in X$ and $e \in E$, the Lipschitz tensor product $\delta_{(x,0)} \boxtimes e$ is defined by $(\delta_{(x,0)} \boxtimes e)(f) = \langle f(x), e \rangle$ for $f \in \mathrm{Lip}_0(X,E^*)$. The Lipschitz tensor product $X \boxtimes E$ is the linear span of all such simple tensors in the algebraic dual of $\mathrm{Lip}_0(X,E^*)$.NEWLINENEWLINEA norm $\alpha$ on $X \boxtimes E$ is a Lipschitz cross-norm if $\alpha(\delta_{(x,y)} \boxtimes e) = d(x,y)\|e\|$. To ensure the good behavior of a norm on $X \boxtimes E$ with respect to the Lipschitz tensor product of Lipschitz functionals (mappings) and bounded linear functionals (operators), the concept of dualizable (respectively, uniform) Lipschitz cross-norm on $X \boxtimes E$ is defined.NEWLINENEWLINEThere is a least dualizable Lipschitz cross-norm $\varepsilon$ and a greatest Lipschitz cross-norm $\pi$ on $X \boxtimes E$. Both $\varepsilon$ and $\pi$ are uniform. Dualizable Lipschitz cross-norms $\alpha$ on $X \boxtimes E$ are characterized by satisfying the relation $\varepsilon \leq \alpha \leq \pi$. The norm $\varepsilon$ is called injective and it is shown that it respects injections (Theorem~5.6), and $\pi$ is called projective since it is shown to respect projections (Proposition~6.12).NEWLINENEWLINEIn addition, the Lipschitz injective (projective) norm on $X \boxtimes E$ can be identified with the injective (respectively, projective) tensor norm on the Banach-space tensor product of the Lipschitz-free space over $X$ and $E$, but this identification does not hold for the Lipschitz $2$-nuclear norm and the corresponding Banach-space tensor norm.NEWLINENEWLINEThe spaces of Lipschitz compact (finite-rank, approximable) operators from $X$ to $E^*$ are also described in terms of Lipschitz tensor products.

Recommendations

Cited in

(13)

This page was built for publication: Lipschitz tensor product

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2800619)