[논문 리뷰] Metric Spaces with Linear Extensions Preserving Lipschitz Condition

Alexander Brudnyi, Yu. A. Brudnyi|ArXiv.org|2004. 04. 17.

Advanced Harmonic Analysis Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 거리 공간 M의 부분집합에서 M 자체로의 리프시츠 함수의 선형 확장에서 발생하는 최악의 왜곡을 측정하는 새로운 이중 리프시츠 불변량 λ(M)을 제안한다. M의 핵심 클래스인 거리 수목, 다항성장 군, 그로모프-하이퍼볼릭 군, 그리고 유계 기하학을 갖는 특정 리만 다양체에 대해 λ(M)이 유한함을 증명하며, 유계 기하학을 갖는 2차원 리만 다양체에 대해 λ(M) = ∞인 반례를 구성한다.

ABSTRACT

We study a new bi-Lipschitz invariant λ(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor controlled by λ(M). We prove that λ(M) is finite for several important classes of metric spaces. These include metric trees of arbitrary cardinality, groups of polynomial growth, Gromov-hyperbolic groups, certain classes of Riemannian manifolds of bounded geometry and finite direct sums of arbitrary combinations of these objects. On the other hand we construct an example of a two-dimensional Riemannian manifold M of bounded geometry for which λ(M)=\infty.

연구 동기 및 목표

• 거리 공간 M의 부분집합에서 M 자체로의 리프시츠 함수의 선형 확장에서 발생하는 왜곡을 정량화하는 새로운 이중 리프시츠 불변량 λ(M)을 정의하고 분석하는 것.
• λ(M)이 유한한 거리 공간의 클래스를 규명하여, 일관되게 유계된 선형 확장 연산자가 존재함을 나타내는 것.
• 특정 공간, 즉 거리 수목, 카르노 군, 이러한 공간들의 직접 합 등에 대해 λ(M)의 정밀한 또는 渐近적 경계를 설정하는 것.
• 유계 기하학을 갖는 2차원 리만 다양체에 대해 선형 확장 연산자가 존재하지 않는 반례를 구성하는 것 (λ(M) = ∞).

제안 방법

• 모든 부분집합 S ⊂ M에 대해, Lip(S)에서 Lip(M)으로의 선형 확장 연산자의 최소 연산자 노름의 상한으로서 λ(M)을 정의한다.
• 기저점에서 0이 되는 리프시츠 함수의 이중성과 평가 함수형이 생성하는 바나흐 공간의 이중성 간의 쌍대성 관계를 이용한다.
• 고정된 점에서 0이 되는 1-리프시츠 함수의 공간을, 리프시츠 함수의 단위 구를 기반으로 하는 l∞(B)로의 등거리 임베딩을 통해 표현한다.
• 이 임베딩 하에 M의 상의 닫힌 선형 생성을 바나흐 공간 V로 구성하고, 그 이중공간 V*를 기저점에서 0이 되는 1-리프시츠 함수의 공간으로 식별한다.
• 하인-반하우젠 정리와 젠달 변환을 적용하여 V 위의 함수형을 표현하고, 정규 Borel 측도를 통해 그들의 연산자 노름을 통제한다.
• 진동도 추정과 평가 함수형의 유한한 볼록 조합에 의한 근사화를 통해 확장된 함수의 리프시츠 노름을 경계한다.

실험 결과

연구 질문

• RQ1 어떤 거리 공간 M에 대해 선형 확장 상수 λ(M)이 유한한가?
• RQ2 거리 수목, 카르노 군, 또는 이러한 공간들의 직접 합과 같은 특정 클래스에 대해 λ(M)의 정밀한 또는 渐近적 경계는 무엇인가?
• RQ3 거리 공간의 기하학적 성질을 바탕으로, 노름이 제어된 선형 확장 연산자의 존재를 특성화할 수 있는가?
• RQ4 유계 기하학을 갖는 거리 공간 중에서 선형 확장 연산자가 존재하지 않는 경우, 즉 λ(M) = ∞ 인 경우가 존재하는가?
• RQ5 λ(M)의 유한성은 M의 국소 이중성 성질 및 기타 기하 불변량과 어떻게 관련되는가?

주요 결과

• 모든 임의의 기수를 갖는 거리 수목에 대해 λ(M)은 유한하며, λ(⊕_{i=1}^n T_i)는 절대 상수 C₁, C₂ > 0에 대해 C₁√n 와 C₂n 사이로 유계이다.
• Z^n에 단어 거리가 부여된 경우, c√n ≤ λ(Z^n) ≤ 24n 를 만족하는 어떤 0 < c < 1 가 존재한다.
• 동일한 상한 λ(G) ≤ 24n 은 동차 차원 n인 임의의 카르노 군 G에 대해 성립한다.
• 다항성장 군과 그로모프-하이퍼볼릭 군에 대해 λ(M)은 유한하다.
• 국소적으로 이중성 성질을 갖는, 즉 이러한 공간들의 유한한 직접 합을 포함하는, 유계 기하학을 갖는 리만 다양체에 대해 λ(M)은 유한하다.
• 유계 기하학을 갖는 2차원 리만 다양체 Σ가 존재하여, 어떤 부분공간 S에 대해 Ext(S,Σ) = ∅ 를 만족하며, 이는 λ(Σ) = ∞ 를 의미한다.