[논문 리뷰] Compactness and Measures of Noncompactness in Metric Trees

Asuman Güven Aksoy, Matthew Strom Borman외 1명|arXiv (Cornell University)|2007. 02. 05.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 7

한 줄 요약

이 논문은 메트릭 트리에서 비콤팩트성의 집합 측도 α(S)가 정확히 공구 측도 β(S)의 두 배임을 입증한다. 즉, α(S) = 2β(S)이며, 이를 위해 기하적 커버링 성질에 기반한 증명과 리프시츠 특성에 기반한 증명을 두 가지 독립적인 방법으로 제시한다. 주요 기여는 메트릭 트리에서 k-집합 수축성과 k-공 수축성 연산자가 일치함을 증명함으로써, 이 설정에서 두 종류의 수축 맵을 통합한다는 데 있다.

ABSTRACT

A metric tree ($M$, $d$), also known as $\mathbb{R}$-trees or $T$-theory, is a metric space such that between any two points there is an unique arc and that arc is isometric to an interval in $\mathbb{R}$. In this paper after presenting some fundamental properties of metric trees and metric segments, we will give a characterization of compact metric trees in terms of metric segments. Two common measures of noncompactness are the ball and set measures, respectively defined as \[ β(S) = \inf \{ε\mid S {has a finite} ε{-net in} M\} {and} \] \[ α(S) = \inf\{ε\mid S {has a finite cover of sets of diameter} \leq ε\}. \] We will prove that $α= 2β$ for all metric trees. We give two independent proofs of this result, first of which depends on the fact that given a metric tree $M$ and a subset $E$ of diameter $2r$, then for all $\ep >0$ there exists $m \in M$ such that $E \subset B(m;r+\ep)$. The second proof depends on the calculation of underlying geometric constant, Lifschitz characteristic of a metric tree. It is well known that the classes of condensing or contractive operators defined relative to distinct measures of noncompactness are not equal in general, however in case of metric trees, we show that a map $T$ between two metric trees is $k$-set contractive if and only if it is $k$-ball contractive for $k\geq 0$.}

연구 동기 및 목표

• 메트릭 세그먼트와 기하적 성질을 이용하여 메트릭 트리에서의 콤팩트성의 특성을 규명한다.
• 두 표준적인 비콤팩트성 측도인 α(S)와 β(S) 사이의 정확한 관계를 확립한다.
• 메트릭 트리에서 k-집합 수축성과 k-공 수축성 연산자가 동치임을 조사한다.
• 메트릭 트리의 리프시츠 특성을 계산하고, 이를 비콤팩트성 측도와 연관시킨다.

제안 방법

• 메트릭 트리의 유일한 호 성질을 이용하여, 임의의 유계 부분집합 S에 대해, diam(S) = 2r 이고 ε > 0 이면 S ⊆ B(m; r + ε) 를 만족하는 점 m 이 존재함을 증명한다.
• 메트릭 트리의 두 점은 서로를 연결하는 유일한 메트릭 세그먼트가 있으며, 이는 실수 구간과 등장사상임을 이용한다.
• 메트릭 트리에 리프시츠 특성 κ(M)를 적용하여, 닫힌 공과 세그먼트의 교차를 포함하는 커버링 추론을 통해 κ(M) = 2임을 보인다.
• 레마 3.17과 정리 3.18로부터 부등식 κ(M)β(A) ≤ α(A)를 유도하고, κ(M) = 2 이면 α(A) = 2β(A)임을 도출한다.
• α(T(A)) = 2β(T(A)) 이면 β(T(A)) ≤ kβ(A) 와 α(T(A)) ≤ kα(A) 를 만족함을 보여, k-집합 수축성과 k-공 수축성 연산자가 동치임을 증명한다.
• 등장사상의 임bedding과 α, β의 등장사상에 대한 불변성 성질을 이용하여, α = 2β 항등식이 성립하므로 β가 메트릭 트리에서 보존됨을 보인다.

실험 결과

연구 질문

• RQ1 메트릭 트리에서 집합 측도 α(S)와 공 측도 β(S) 사이의 정확한 관계는 무엇인가?
• RQ2 메트릭 트리의 리프시츠 특성을 계산할 수 있으며, 이를 비콤팩트성 측도와 어떻게 연관시킬 수 있는가?
• RQ3 k-집합 수축성과 k-공 수축성 연산자가 메트릭 트리에서 일치하는가?
• RQ4 메트릭 세그먼트의 기하적 성질이 메트릭 트리에서 커버링과 콤팩트성에 어떻게 영향을 미치는가?

주요 결과

• 모든 유계 부분집합 A에 대해 메트릭 트리 M에서 집합 측도 비콤파クト성은 α(A) = 2β(A) 를 만족한다.
• 모든 메트릭 트리 M의 리프시츠 특성은 정확히 κ(M) = 2이며, 이러한 공간에서의 최대 가능한 값이다.
• 모든 유계 부분집합 A에 대해 메트릭 공간에서 κ(M)β(A) ≤ α(A) 이 성립하며, α(A) = 2β(A) 의 등호는 κ(M) = 2 일 때 정확히 성립한다.
• 모든 k ≥ 0 에 대해 메트릭 트리 간의 사상 T는 k-집합 수축성일 필요와 충분이 k-공 수축성일 때 성립하며, 이는 α = 2β 항등식에 기인한다.
• 등장사상에 의한 임베딩에서 β는 일반적인 메트릭 공간과 달리 메트릭 트리에서 불변이며, α = 2β 가 성립하므로 α가 보존되면 β도 보존된다.
• 리프시츠 특성에 기반한 증명은 세그먼트 [x,y] 상의 중심 점 z 를 구성하는 데 의존하며, 이때 두 닫힌 공의 교차가 반지름 r 인 닫힌 공에 포함됨을 보장한다. 이는 트리의 구조에 의해 성립한다.