[논문 리뷰] Low distortion embeddings into Asplund Banach spaces

A. Procházka, Luis Sánchez-González|arXiv (Cornell University)|2013. 11. 18.

Advanced Banach Space Theory참고 문헌 4인용 수 4

한 줄 요약

이 논문은 왜곡이 2보다 작게 되는 어떤 Asplund Banach 공간에도 포함될 수 없는 가чёт한 거리 공간 $M$를 구성한다. 이는 그러한 포함이 $\ell_1$의 사본을 포함해야 함을 보이며, $M$이 $\ell_1$와 동형인 공간에 등거리로 포함되지만 $\ell_1$ 자체에는 왜곡이 2보다 작게 포함되지 않음을 보여, Asplund 공간 내에서 왜곡의 날카로운 한계를 확립한다.

ABSTRACT

We give a simple example of a countable metric space $M$ that does not embed bi-Lipschitz with distortion strictly less than 2 into any Asplund space. Actually, if $M$ embeds with distortion strictly less than 2 to a Banach space $X$, then $X$ contains an isomorphic copy of $\ell_1$. We also show that the space $M$ does not embed with distortion strictly less than $2$ into $\ell_1$ itself but it does embed isometrically into a space that is isomorphic to $\ell_1$.

연구 동기 및 목표

• Asplund Banach 공간이 모든 분리 가능 거리 공간을 이중리프시츠로 포함할 수 있는 최소 왜곡 $D$를 결정하는 것.
• 왜곡 $D<2$로 모든 분리 가능 거리 공간을 포함하는 범주에서 $\ell_1$가 반드시 존재하는지 조사하는 것.
• 특정 가чёт한 거리 공간 $M$이 $\ell_1$ 및 Asplund $C(K)$ 공간으로의 포함 성질을 분석하는 것.
• 낮은 왜곡 포함과 Banach 공간 내 $\ell_1$-복사 존재 간의 관계를 명확히 하는 것.
• 일반화된 둥근성과 자유 Banach 공간이 포함 제약에 미치는 영향을 탐색하는 것.

제안 방법

• 그래프 구조에 기반한 최단거리 거리 함수를 갖는 $M = \{\emptyset\} \cup \mathbb{N} \cup F$를 구성한다. 여기서 $F$는 $\mathbb{N}$의 모든 유한 비어있지 않은 부분집합의 집합이다.
• 이중리프시츠 포함 $f: M \to X$의 왜곡을 $\mathrm{dist}(f) = \inf \frac{C_2}{C_1}$로 정의한다. 여기서 $C_1 d(x,y) \leq \|f(x)-f(y)\| \leq C_2 d(x,y)$이다.
• Zippin의 보조정리와 쌍대성 논증을 사용하여, 만약 $X$가 $D<2$인 $D$-이중리프시츠로 보편적이라면 $X$는 반드시 $\ell_1$의 동형 복사가 포함되어야 함을 보인다.
• Rosenthal의 정리에 따라 약한 코시 수열을 적용하여 $X$ 내의 수열 $f(n)$이 약한 코시 수열이 아니며, 이는 $\ell_1$-포함을 암시함을 증명한다.
• Enflo의 일반화된 둥근성 이론을 적용하여, $M$이 $L_1(\mu)$에 왜곡 $D<2$로 포함될 수 없음을 보이며, 이는 $1 \in gr(L_1(\mu))$이기 때문이다.
• $\ell_1$에 동치 노름을 구성하여, Lipschitz 자유 공간 $\mathcal{F}(M)$과 $\ell_1$ 간의 동형성을 이용해 $M$이 등거리로 포함됨을 보인다.

실험 결과

연구 질문

• RQ1 어느 Asplund Banach 공간이라도 모든 분리 가능 거리 공간을 왜곡이 2보다 작게 포함할 수 있는가?
• RQ2 왜곡 $D<2$로 모든 분리 가능 거리 공간을 포함하는 Banach 공간은 반드시 $\ell_1$의 복사가 포함되어야 하는가?
• RQ3 구성된 거리 공간 $M$이 $\ell_1$에 포함될 수 있는 최소 왜곡은 무엇인가?
• RQ4 $M$은 $\ell_1$ 자체에는 왜곡이 2 미만으로 포함되지 않지만, $\ell_1$와 동형인 공간에 등거리로 포함될 수 있는가?
• RQ5 $\mathcal{F}(M)$과 $\ell_1$ 사이의 Banach-Mazur 거리는 얼마이며, 이는 포함 왜곡과 어떻게 관련이 있는가?

주요 결과

• $M$은 어떤 Asplund Banach 공간에도 왜곡이 2보다 작게 포함될 수 없다.
• 왜곡 $D<2$로 $M$을 포함하는 임의의 Banach 공간 $X$는 Rosenthal의 정리와 약한 코시 수열 논증을 통해 반드시 $\ell_1$의 동형 복사가 포함되어야 한다.
• $M$은 일반화된 둥근성 논증과 $1 \in gr(L_1(\mu))$의 성질로 인해 $\ell_1$에 왜곡이 2보다 작게 포함될 수 없다.
• 그럼에도 불구하고, Lipschitz 자유 공간 구성법을 통해 $M$은 $\ell_1$와 동형인 Banach 공간에 등거리로 포함된다.
• $\mathcal{F}(M)$과 $\ell_1$ 사이의 Banach-Mazur 거리는 최소 2 이상 최대 4 이하이며, 이는 비자명한 동형성을 시사한다.
• $C(K)$ 공간 $X$는 $D<2$인 $D$-이중리프시츠 보편성을 갖기 위해서는 $K$가 산산이 흩어져 있지 않아야 하며, 이러한 공간들은 분리 가능한 Banach 공간에 등거리로 보편적이다.