[논문 리뷰] Lipschitz tensor product

M. G. Cabrera-Padilla, Javier Alejandro Chávez‐Domínguez외 2명|arXiv (Cornell University)|2014. 08. 08.

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^$.

연구 동기 및 목표

• 리프시츠의 교차공간 이론에 영감을 받은 텐서곱 기법을 사용하여 점이 있는 거리공간 $X$에서 바나흐 공간 $E$로의 리프시츠 연산자에 대한 이중성 이론을 개발한다.
• 리프시츠 텐서곱 $X\boxtimes E$를 $\mathrm{Lip}_0(X,E^*)$의 대수적 쌍대공간의 선형부분공간으로 정의하고, 이는 프로젝티브 텐서곱 이중성의 비선형 해석을 가능하게 한다.
• $X$에서 $E^*$로의 리프시츠 컴팩트, 유한계수, 근사 가능한 연산자 공간을 이중공간 $X^\# \boxast E^*$를 통해 특성화한다.
• 균일하게 이중가능한 리프시츠 교차노름을 정의하고 분석하며, 특히 $\varepsilon$가 최소, $\pi$가 최대인 노름임을 규명한다.
• 리프시츠 임베딩/프로젝티브 노름 $\varepsilon$, $\pi$가 리프시츠 자유공간과 $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$가 리프시츠 자유공간과 $E$의 텐서곱에서의 고전적 임베딩 및 프로젝티브 텐서 노름과 등거리 등장사상이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 점이 있는 거리공간 $X$와 바나흐 공간 $E$에 대해 리프시츠 연산자 맥락에서 이중성을 모델링할 수 있는 텐서곱의 구조를 정의할 수 있는가?
• RQ2 리프시츠 교차노름 $\alpha$가 이중가능하기 위한 필요충분조건은 무엇이며, 고전적 임베딩 및 프로젝티브 노름과의 관계는 어떠한가?
• RQ3 리프시츠 컴팩트, 유한계수, 근사 가능한 연산자 공간이 이중공간 $X^\# \boxast E^*$를 통해 특성화될 수 있는가?
• RQ4 리프시츠 임베딩 노름 $\varepsilon$, 프로젝티브 노름 $\pi$, $p$-핵심 노름 $d_p$ 사이의 관계는 무엇이며, 이중가능한 노름의 계층에서 어떻게 비교되는가?
• RQ5 리프시츠 자유공간과 $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$ 위의 리프시츠 임베딩 및 프로젝티브 노름은 리프시츠 자유공간과 $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'$의 등식이 성립함을 확인하여 이중성 대칭성을 확인한다.