[논문 리뷰] Free spaces over some proper metric spaces

Aude Dalet|arXiv (Cornell University)|2014. 04. 15.

Advanced Banach Space Theory참고 문헌 15인용 수 6

한 줄 요약

이 논문은 가산 적으로 올바른 거리 공간 위의 리프시츠-자유 공간이 등거리적으로 이중 공간임을 증명하며, 거리 근사 성질(MAP)을 가짐을 보인다. 올바른 초거리 공간의 경우, 리프시츠-자유 공간이 $c_0(\bbN)$와 동형인 공간의 이중과 등거리임을 추가로 증명함으로써 구체적인 전이공간의 구조를 밝히고, 이 클래스의 공간에서 MAP가 성립함을 확인한다.

ABSTRACT

We prove that the Lipschitz-free space over a countable proper metric space is isometric to a dual space and has the metric approximation property. We also show that the Lipschitz-free space over a proper ultrametric space is isometric to the dual of a space which is isomorphic to c_0.

연구 동기 및 목표

• 가산 적으로 올바른 거리 공간 위의 리프시츠-자유 공간의 선형 구조를 규명하는 것.
• 이러한 공간이 거리 근사 성질(MAP)을 갖는지 조사하는 것.
• 특히 그 이중성과 근사 성질을 포함한 리프시츠-자유 공간의 특성 규명.
• 초거리 공간의 경우 $c_0(\bbN)$와 동형인 전이공간의 존재를 확립하는 것.

제안 방법

• 거리의 원점에서 점점 흐려지는 함수들로 이루어진 $S \subset \mathrm{lip}_0(M)$ 공간을 도입하며, 이는 먼 쌍에서의 차수에 대한 감쇠 조건으로 정의된다.
• 페투닌과 플리치코의 이중성 정리(이중성 정리)를 적용한다. 이 정리는 $\mathcal{F}(M)^*$의 부분공간이 점을 분리하고, 노름을 도달하는 함수들로 이루어져 있으면, $\mathcal{F}(M)$이 그 이중과 등거리임을 보여준다.
• 적절한 컴팩트성에 기반해, $S$가 $\mathrm{NA}(\mathcal{F}(M))$의 부분공간임을 증명한다. 이는 올바른 거리 공간에서 닫힌 볼의 컴팩트성과 함께, 리프시츠 노름이 컴팩트 집합에서 도달됨을 이용한다.
• 거리 공간의 링형 영역 $C_{j,k}$에 $\varepsilon$-넷을 구성하여, $T: S \to c_0(F)$를 정의함으로써, $S$가 $c_0(\bbN)$의 부분공간과 $(1+\varepsilon)$-등거리임을 보인다.
• 초거리 공간의 경우, 점들을 균일하게 분리하기 위해, $|h(x)-h(y)| = d(x,y)$를 만족하고 균일하게 유계인 리프시츠 상수를 가진 함수 $h$를 구성한다.
• 균일한 분리성과 노름 도달성에 기반해, 이중성 정리를 적용하여 $\mathcal{F}(M) \cong S^*$를 도출한다.

실험 결과

연구 질문

• RQ1 가산 적으로 올바른 거리 공간 위의 리프시츠-자유 공간이 이중 공간과 등거리일 수 있는가?
• RQ2 올바른 초거리 공간 위의 리프시츠-자유 공간이 $c_0(\bbN)$와 동형인 전이공간을 갖는가?
• RQ3 가산 적으로 올바른 거리 공간 위의 리프시츠-자유 공간이 거리 근사 성질(MAP)을 갖는가?
• RQ4 적절한 거리 공간의 경우, $M$ 위의 천천히 변화하는 함수들로 이루어진 공간 $S$가 $\mathcal{F}(M)$의 전이공간이 될 수 있는가?

주요 결과

• 가산 적으로 올바른 거리 공간 $M$ 위의 리프시츠-자유 공간 $\mathcal{F}(M)$은 무한에서 감쇠 조건을 만족하는 $\mathrm{lip}_0(M)$의 함수들로 이루어진 공간 $S$의 이중과 등거리 동형이다.
• 올바른 공간에서 닫힌 볼의 컴팩트성과 컴팩트 집합에서 리프시츠 노름이 도달됨을 고려할 때, 공간 $S$는 $\mathrm{NA}(\mathcal{F}(M))$의 부분집합이다.
• 올바른 초거리 공간의 경우, $\mathcal{F}(M)$은 $c_0(\bbN)$와 동형인 공간의 이중과 등거리 동형이며, 이는 균일하게 점을 분리하는 부분공간 $S$를 통해 이루어진다.
• 초거리 공간의 경우, $|h(x)-h(y)| = d(x,y)$를 만족하고 균일하게 유계인 리프시츠 상수를 가진 함수 $h$를 구성함으로써, 공간 $S$가 점들을 균일하게 분리한다.
• 함수 $T: S \to c_0(F)$를 $f \mapsto \left(\frac{f(x_1)-f(x_2)}{d(x_1,x_2)}\right)_{(x_1,x_2)\in F}$로 정의하면, 이는 $\varepsilon$-등거리 변환이며, 이는 $S$가 $c_0(\bb{N})$의 부분공간과 $(1+\varepsilon)$-등거리임을 보여준다.
• 결과적으로, $\mathcal{F}(M)$은 가산 적으로 올바른 거리 공간과 올바른 초거리 공간 모두에서 거리 근사 성질(MAP)을 갖는다.