[논문 리뷰] Embeddings of proper metric spaces into Banach spaces

Baudier Florent|arXiv (Cornell University)|2009. 06. 19.

Advanced Banach Space Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 모든 적절한 거리공간이 코타입이 없는 어떤 바나흐 공간으로도 강한 균일 임베딩을 갖는다고 밝히며, 추가로 Lp-공간의 적절한 부분집합들이 바나흐 공간에 균일하게 ℓp^n을 포함하는 경우에 대해 균일하게 코arse bi-Lipschitz 임베딩이 가능하다는 것을 증명한다. 반대 방향 결과는 모든 적절한 거리공간이 제어된 왜곡을 가진 채로 바나흐 공간에 임베딩될 수 있다면, 그 공간은 비자명한 코타입을 가져야 하며, 이러한 임베딩 성질을 통해 이러한 공간을 특성화한다.

ABSTRACT

We show that there exists a strong uniform embedding from any proper metric space into any Banach space without cotype. Then we prove a result concerning the Lipschitz embedding of locally finite subsets of $\mathcal{L}_{p}$-spaces. We use this locally finite result to construct a coarse bi-Lipschitz embedding for proper subsets of any $\mathcal{L}_p$-space into any Banach space $X$ containing the $\ell_p^n$'s. Finally using an argument of G. Schechtman we prove that for general proper metric spaces and for Banach spaces without cotype a converse statement holds.

연구 동기 및 목표

• 모든 적절한 거리공간에 대한 강한 균일 임베딩을 허용하는 바나흐 공간을 특성화하기.
• ℓp^n을 균일하게 포함하는 바나흐 공간으로의 Lp-공간의 적절한 부분집합들의 코arse bi-Lipschitz 임베딩을 조사하기.
• 역설정: 모든 적절한 거리공간이 제어된 왜곡을 가진 채로 임베딩될 수 있다면, 그 목표 바나흐 공간은 비자명한 코타입을 가져야 한다는 것을 증명하기.
• 코타입이 없는 바나흐 공간으로의 국소 유한 거리공간에 대한 리프시츠 임베딩에 관한 기존 결과를 코어스 및 균일 설정으로 확장하기.
• 초곱법 기법과 쌍대성 논증을 사용하여 초곱에서 선형 임베딩을 도출하고, 비선형 임베딩을 선형 구조와 연결하기.

제안 방법

• 적절한 거리공간에서 최대 네트워크와 거리공간의 엔트로피 추정을 통해 강한 균일 임베딩을 구성하기.
• 코타입이 없는 바나흐 공간이 ℓ∞^n을 균일하게 포함한다는 사실을 이용하여 유한차원 근사화를 통한 임베딩 구축하기.
• ℓp^n을 균일하게 포함하는 바나흐 공간으로의 Lp-공간의 국소 유한 부분집합에 대한 국소 임베딩 결과 적용하기.
• 거리공간에서 유한 네트워크로의 코어스 bi-Lipschitz 사상과 그 네트워크를 목표 공간에 리프시츠 임베딩하는 것을 조합하기.
• 초곱법 기법을 사용하여 코어스 임베딩을 초곱에서 선형 임베딩으로 올리며, Heinrich-Mankiewicz 미분 가능성 논증 활용하기.
• 모순에 기반한 역설정 증명: 모든 적절한 공간에 대한 임베딩이 존재한다고 가정하면, 목표 공간이 비자명한 코타입을 가져야 한다는 결론 도출하기.

실험 결과

연구 질문

• RQ1 모든 적절한 거리공간이 코타입이 없는 어떤 바나흐 공간으로도 강한 균일 임베딩이 가능한가?
• RQ2 어떤 조건에서 바나흐 공간이 Lp-공간의 모든 적절한 부분집합들을 코어스 bi-Lipschitz로 임베딩할 수 있는가?
• RQ3 모든 적절한 거리공간이 제어된 왜곡을 가진 채로 코어스 임베딩될 수 있다면, 그 바나흐 공간이 비자명한 코타입을 가져야 하는가?
• RQ4 어떤 바나흐 공간이 모든 적절한 거리공간을 균일한 왜곡을 가진 채로 임베딩할 수 있는가에 따라 그 공간의 특성을 특성화할 수 있는가?
• RQ5 코어스 또는 균일 임베딩이 바나흐 공간의 초곱 또는 쌍대공간에서 선형 구조를 유도하는 데까지 어느 정도 영향을 미치는가?

주요 결과

• 모든 적절한 거리공간은 코타입이 없는 어떤 바나흐 공간으로도 강한 균일 임베딩을 갖는다.
• Lp-공간의 적절한 부분집합들은 ℓp^n을 균일하게 포함하는 어떤 바나흐 공간으로도 코어스 bi-Lipschitz 임베딩이 가능하며, 이 경우의 왜곡과 덧셈 상수는 Lp-구조에만 의존한다.
• 바나흐 공간 X가 비자명한 코타입을 갖지 않음과 동시에 모든 적절한 거리공간이 X로 코어스 bi-Lipschitz 임베딩이 균일한 왜곡과 상수를 가진 채로 가능할 때, 이 두 조건은 동치이다.
• 국소 유한 임베딩 결과의 역설정이 성립한다: 모든 국소 유한 거리공간이 균일한 왜곡을 가진 채로 X에 임베딩된다면, X는 ℓ∞^n을 균일하게 포함해야 하며, 즉 비자명한 코타입을 가져야 한다.
• 초곱법 기법과 쌍대성 논증을 사용하여, 이 논문은 ℓ∞^n이 X의 초곱의 이중이중공간에 선형적으로 임베딩됨을 보여주며, 비선형 임베딩 성질과 선형 구조를 연결한다.
• G. Schechtman의 논증은 모든 적절한 거리공간에 대해 통일된 코어스 bi-Lipschitz 임베딩 상수의 존재가 코타입이 없는 바나흐 공간을 특성화한다는 것을 증명한다.