[논문 리뷰] Approximation and Schur properties for Lipschitz free spaces over compact metric spaces

Peter Hájek, Gilles Lancien외 1명|arXiv (Cornell University)|2015. 07. 09.

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

한 줄 요약

이 논문은 임의의 분리 가능한 바나흐 공간 $X$에 대해, 칸토어 공간과 동형인 컴팩트 거리 공간 $K$가 존재하여 그 리프스치츠-자유 공간 $\mathcal{F}(K)$가 $X$와 동형인 보완된 부분공간을 포함함을 증명한다. 또한 이러한 자유 공간들이 근사성질을 만족하지 못할 수 있음을 보이며, 칸토어 공간 위에 상호 비동형인 자유 공간을 갖는 상호 동치인 거리 구조의 비가чёт 수 가중족이 존재함을 보여준다. 추가로, 모든 가산 컴팩트 거리 공간에 대한 자유 공간은 슈어 성질을 가짐을 증명한다.

ABSTRACT

We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. As a consequence we give an example of a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space fails the approximation property and we prove that there exists an uncountable family of topologically equivalent distances on the Cantor space whose free spaces are pairwise non isomorphic. We also prove that the free space over a countable compact metric space has the Schur property. These results answer questions by G. Godefroy.

연구 동기 및 목표

• 완전하고 전적으로 이산적인 컴팩트 거리 공간(칸토어 공간과 동형)에 대한 리프스치츠-자유 공간이 유계 근사성질을 갖는지 여부에 대한 고델프로의 미해결 질문을 해결하기 위해.
• 칸토어 공간과 동형인 컴팩트 거리 공간을 구성하여 그 리프스치츠-자유 공간이 근사성질을 만족하지 못함을 증명하기 위해.
• 칸토어 공간 위에 상호 동치인 거리 구조의 비가чёт 수 가중족이 존재하여 그에 대응하는 자유 공간들이 상호 비동형임을 보여주기 위해.
• 모든 가산 컴팩트 거리 공간에 대한 리프스치츠-자유 공간이 슈어 성질을 가짐을 증명하여, 약한 순차적 완비성과 노름 수렴과 관련된 추측을 확인하기 위해.

제안 방법

• 베르누르드 공간의 자유 공간에서 선형 등장 사영 구조를 거리 공간으로 일반화하여 바리센터 사상의 등장 사영을 적응하고, [7]의 접근 방식을 수정하여 임의의 분리 가능한 바나흐 공간을 컴팩트 거리 공간의 자유 공간에 매장하기 위해.
• 칸토어-벤디크손 도함수에 대한 초한귀납법을 사용하여 거리 공간을 열린 부분집합들의 분해로 나누며, 각 부분집합의 도함수가 자명해지도록 하여 $K^{(\alpha)} = \{0\}$ 인 경우로 환원하기 위해.
• 불연속합에 대한 자유 공간의 등장 분해를 적용: $K = \bigcup K_i$ 이고 $K_i$들이 서로 분리된 열린 부분집합이면 $\mathcal{F}(K) \cong \big(\bigoplus_{i=1}^n \mathcal{F}(K_i)\big)_{\ell_1}$ 이다.
• 약한 영인 수열이 노름 수렴하지 않는다고 가정하고, 이를 모순으로 이끌기 위해 제어된 사영 $T_k$를 이용해 구성된 부분수열이 $\ell_1$-기저와 동치임을 보이는 반증 기법을 사용하기 위해.
• 특히, $\delta > 0$ 에 대해 $\|\sum \alpha_n \gamma_{i_n}\| \geq \frac{\delta}{6} \sum |\alpha_n|$ 이라는 핵심 추정을 유도하며, 이는 $F_n$ 구간 위에서의 $\frac{1}{3}$-하한 사영 조건에서 유도된다. 이는 약한 영성의 모순을 이끌어내기 위함이다.
• 논문 [13]의 결과인 $\mathcal{F}(M) \hookrightarrow \big(\sum_{k\in\mathbb{Z}} \mathcal{F}(M_k)\big)_{\ell_1}$ 을 이용하여 슈어 성질을 적절한 가산 거리 공간으로 확장하고, 각 $\mathcal{F}(M_k)$ 가 슈어 성질을 갖음을 적용하기 위해.

실험 결과

연구 질문

• RQ1 칸토어 공간과 동형인 컴팩트 거리 공간 중 리프스치츠-자유 공간이 근사성질을 만족하지 못하는 것이 존재하는가?
• RQ2 칸토어 공간 위에 상호 동치인 거리 구조의 비가чёт 수 가중족을 구성하여 그에 대응하는 자유 공간들이 상호 비동형이 되게 할 수 있는가?
• RQ3 가산 컴팩트 거리 공간에 대한 리프스치츠-자유 공간은 슈어 성질을 갖는가?
• RQ4 유계 근사성질은 컴팩트 거리 공간의 자유 공간에 대해 리프스치츠 등장사상에 대해 안정적인가?
• RQ5 모든 분리 가능한 바나흐 공간은 칸토어 공간과 동형이 되는 어떤 컴팩트 거리 공간의 자유 공간의 보완 부분공간으로 표현될 수 있는가?

주요 결과

• 모든 분리 가능한 바나흐 공간 $X$에 대해, 칸토어 공간과 동형이 되는 컴팩트 거리 공간 $K$가 존재하여 $\mathcal{F}(K)$ 가 $X$와 동형인 보완 부분공간을 포함한다.
• 칸토어 공간과 동형이 되는 컴팩트 거리 공간 $K$가 존재하여 $\mathcal{F}(K)$ 가 근사성질을 만족하지 못한다.
• 칸토어 공간 위에 상호 동치인 거리 구조의 비가чёт 수 가중족이 존재하여 그에 대응하는 자유 공간들이 상호 비동형이다.
• 모든 가산 컴팩트 거리 공간 $K$에 대한 자유 공간 $\mathcal{F}(K)$ 는 슈어 성질을 갖는다. 즉, 약하게 수렴하는 수열은 항상 노름 수렴한다.
• 모든 적절한 가산 거리 공간에 대한 자유 공간은 슈어 성질을 갖는다. 이는 컴팩트성 조건을 초월하여 결과를 일반화한다.
• 이 구성에 의해, $K$ 가 가산적이고 컴팩트일 경우 $\mathcal{F}(K)$ 는 쌍대 공간과 등장하며, 메트릭 근사성질을 갖는다.