[论文解读] Lipschitz tensor product

M. G. Cabrera-Padilla, Javier Alejandro Chávez‐Domínguez+2 more|arXiv (Cornell University)|Aug 8, 2014

Advanced Banach Space Theory参考文献 7被引用 3

一句话总结

本文引入了带基点度量空间 $X$ 与巴拿赫空间 $E$ 的利普希茨张量积 $X\boxtimes E$，作为 $\mathrm{Lip}_0(X,E^*)$ 的代数对偶空间的线性子空间，建立了其与从 $(X^\#, \tau_p)$ 到 $E$ 的所有有限秩连续算子空间的同构关系。关键贡献在于对利普希茨可对偶化张量范数的刻画，表明利普希茨内射范数 $\varepsilon$ 是最小的，而张量积范数 $\pi$ 是最大的此类范数，所有可对偶化范数均满足 $\varepsilon \leq \alpha \leq \pi$。该框架为利普希茨算子建立了对偶理论，并通过对偶空间 $X^\# \boxast E^*$ 刻画了利普希茨紧算子、有限秩算子与逼近算子的性质。结果将经典的张量积理论推广到了利普希茨映射的非线性设定。

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\boxtimes 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 forms a dual pair. We prove that X\boxtimes 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^#\boxast E^* as a certain linear subspace of the algebraic dual of X\boxtimes 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. 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\boxtimes E. In fact, epsilon is the least dualizable Lipschitz cross-norm and pi is the greatest Lipschitz cross-norm on X\boxtimes E. Moreover, dualizable Lipschitz cross-norms alpha on X\boxtimes E are characterized by satisfying the relation epsilon<=alpha<=pi. In 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 between the Lipschitz-free space over X and E. In terms of the space X^#\boxast E^*, we describe the spaces of Lipschitz compact (finite-rank, approximable) operators from X to E^$.

研究动机与目标

• 通过受施坦纳交叉空间理论启发的张量积技术，为从带基点度量空间 $X$ 到巴拿赫空间 $E$ 的利普希茨算子发展对偶理论。
• 将利普希茨张量积 $X\boxtimes E$ 定义为 $\mathrm{Lip}_0(X,E^*)$ 的代数对偶空间的线性子空间，从而实现对张量积对偶性的非线性类比。
• 利用对偶空间 $X^\# \boxast E^*$ 刻画从 $X$ 到 $E^*$ 的利普希茨紧算子、有限秩算子与逼近算子的空间。
• 定义并分析 $X\boxtimes E$ 上的统一可对偶化利普希茨交叉范数，特别识别出 $\varepsilon$ 为最小范数，$\pi$ 为最大范数。
• 建立 $X\boxtimes E$ 上利普希茨内射/张量积范数与 $X$ 和 $E$ 的利普希茨自由空间张量积上的经典内射/张量积范数之间的等距同构关系。

提出的方法

• 利普希茨张量积 $X\boxtimes E$ 定义为 $\mathrm{Lip}_0(X,E^*)$ 上的评价泛函 $\delta_x \boxtimes e$ 的线性张成，其中 $\delta_x \boxtimes e(f) = \langle f(x), e \rangle$，构成 $\mathrm{Lip}_0(X,E^*)$ 的代数对偶空间的子空间。
• 证明 $X\boxtimes E$ 线性同构于从 $(X^\#, \tau_p)$ 到 $E$ 的所有有限秩连续线性算子空间，其中 $X^\# = \mathrm{Lip}_0(X,\mathbb{K})$，$\tau_p$ 为点点收敛拓扑。
• 定义泛函 $g \in X^\#$ 与 $\phi \in E^*$ 的利普希茨张量积为 $g \boxtimes \phi$，其作用于 $X\boxtimes E$ 上的表达式为 $ (g \boxtimes \phi)(\sum \delta_{(x_i,y_i)} \boxtimes e_i) = \sum (g(x_i) - g(y_i)) \langle \phi, e_i \rangle $，从而生成 $X^\# \boxast E^*$ 作为 $X\boxtimes E$ 的代数对偶空间的子空间。
• 若利普希茨交叉范数 $\alpha$ 满足 $\varepsilon \leq \alpha \leq \pi$，则称为可对偶化范数；若其与 $X\boxtimes E$ 和 $X^\# \boxast E^*$ 之间的对偶关系兼容，则称为统一范数。
• 论文证明了利普希茨内射范数 $\varepsilon$、张量积范数 $\pi$ 以及 $p$-核范数 $d_p$ 均为 $X\boxtimes E$ 上的统一可对偶化利普希茨交叉范数，且 $\varepsilon$ 为最小范数，$\pi$ 为最大范数。
• 论文建立 $X\boxtimes E$ 上的 $\varepsilon$ 与 $\pi$ 与 $X$ 和 $E$ 的利普希茨自由空间张量积上的经典内射与张量积范数之间的等距同构关系。

实验结果

研究问题

• RQ1 如何为带基点度量空间 $X$ 与巴拿赫空间 $E$ 定义张量积结构，以在利普希茨算子的背景下建模对偶性？
• RQ2 利普希茨交叉范数 $\alpha$ 在 $X\boxtimes E$ 上可对偶化的充要条件是什么？其与经典内射范数和张量积范数有何关系？
• RQ3 能否通过 $X^\# \boxast E^*$ 对从 $X$ 到 $E^*$ 的利普希茨紧算子、有限秩算子与逼近算子空间进行刻画？
• RQ4 利普希茨内射范数 $\varepsilon$、张量积范数 $\pi$ 与 $p$-核范数 $d_p$ 在 $X\boxtimes E$ 上的关系是什么？它们在可对偶化范数的层级结构中如何比较？
• RQ5 在 $X$ 和 $E$ 的利普希茨自由空间上的经典张量积范数与利普希茨张量积 $X\boxtimes E$ 之间存在何种关系？

主要发现

• 空间 $X\boxtimes E$ 线性同构于从 $(X^\#, \tau_p)$ 到 $E$ 的所有有限秩连续线性算子空间，从而为利普希茨算子建立了对偶框架。
• 利普希茨内射范数 $\varepsilon$ 是 $X\boxtimes E$ 上最小的可对偶化利普希茨交叉范数，而张量积范数 $\pi$ 是最大的，所有可对偶化范数 $\alpha$ 均满足 $\varepsilon \leq \alpha \leq \pi$。这为可对偶化范数提供了完整的序理论刻画。
• $X\boxtimes E$ 上的利普希茨内射与张量积范数与 $X$ 和 $E$ 的利普希茨自由空间张量积上的经典内射与张量积范数之间存在等距同构关系，从而将非线性与线性张量理论联系起来。
• $X\boxtimes E$ 上的 $p$-核范数 $d_p$ 对所有 $1 \leq p \leq \infty$ 均为统一可对偶化利普希茨交叉范数，表明 $p$-求和性质可推广至利普希茨设定。
• $X^\# \boxast E^*$ 空间（由泛函 $g \boxtimes \phi$ 的线性张成构成）提供了对偶表示，从而刻画了从 $X$ 到 $E^*$ 的利普希茨紧算子、有限秩算子与逼近算子的空间。
• $X\boxtimes E$ 与 $X^\# \boxast E^*$ 之间的对偶性在统一可对偶化范数下保持不变，且在自然配对下满足 $\varepsilon = \pi'$ 与 $\pi = \varepsilon'$，从而确认了对偶对称性。