[論文レビュー] 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$ が最大であることを示しており、すべての双対可能なノルム $\alpha$ に対して $\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^$.

研究の動機と目的

• シュッテンのクロス空間理論にインspiredされたテンソル積技法を用いて、点付き距離空間 $X$ からバナッハ空間 $E$ へのリプシッツ作用素の双対理論を構築すること。
• 代数的双対 $\mathrm{Lip}_0(X,E^*)$ の線型部分空間として定義されるリプシッツテンソル積 $X\boxtimes E$ を定義・研究し、プロジェクティブテンソル積双対性の非線形アナロジーを可能にすること。
• $X$ から $E^*$ へのリプシッツコンパクト、有限ランク、近似可能な作用素の空間を、双対空間 $X^\# \boxast E^*$ を用いて特徴付けること。
• リプシッツテンソル積 $X\boxtimes E$ 上の一様双対可能リプシッツ交叉ノルムを定義・分析し、特に $\varepsilon$ が最小、$\pi$ が最大となるノルムであることを同定すること。
• リプシッツインジェクティブ／プロジェクティブノルムが、$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^\#, \tau_p)$ から $E$ へのすべての有限ランク連続線型作用素の空間と、$X\boxtimes 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$ が最大のノルムであることを示している。
• リプシッツインジェクティブノルム $\varepsilon$ およびプロジェクティブノルム $\pi$ が、$X$ および $E$ のリプシッツフリー空間のテンソル積上の古典的インジェクティブおよびプロジェクティブテンソルノルムと等長同型であることが確立されている。

実験結果

リサーチクエスチョン

• RQ1 点付き距離空間 $X$ とバナッハ空間 $E$ の間のテンソル積構造をどのように定義すれば、リプシッツ作用素の文脈における双対性をモデル化できるか？
• RQ2 リプシッツテンソル積 $X\boxtimes E$ 上のリプシッツ交叉ノルム $\alpha$ が双対可能であるための必要十分条件は何か？また、それらは古典的インジェクティブノルムおよびプロジェクティブノルムとどのように関係するか？
• RQ3 $X$ から $E^*$ へのリプシッツコンパクト、有限ランク、近似可能な作用素の空間は、双対空間 $X^\# \boxast E^*$ を用いて特徴付けられるか？
• RQ4 リプシッツインジェクティブノルム $\varepsilon$、プロジェクティブノルム $\pi$、$p$-核ノルム $d_p$ の間の関係は何か？また、それらは双対可能ノルムの階層においてどのように位置づけられるか？
• 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$ のリプシッツフリー空間のテンソル積上の古典的インジェクティブおよびプロジェクティブテンソルノルムと等長同型である。これにより、非線形と線形テンソル理論が結びつけられた。
• すべての $1 \leq p \leq \infty$ に対して、$X\boxtimes E$ 上の $p$-核ノルム $d_p$ は一様双対可能リプシッツ交叉ノルムである。これは、$p$-和集合の性質がリプシッツ設定へと拡張されることを示している。
• $X^\# \boxast E^*$ は、関数 $g \boxtimes \phi$ の線型包として構成され、$X$ から $E^*$ へのリプシッツコンパクト、有限ランク、近似可能な作用素の空間を特徴付ける双対的表現を提供する。
• $X\boxtimes E$ と $X^\# \boxast E^*$ の双対性は、一様双対可能ノルムのもとで保存され、自然なペアリングのもとで $\varepsilon = \pi'$ および $\pi = \varepsilon'$ が成り立つ。これにより、双対性の対称性が確認された。