[论文解读] Compactness and Measures of Noncompactness in Metric Trees

Asuman Güven Aksoy, Matthew Strom Borman+1 more|arXiv (Cornell University)|Feb 5, 2007

Mathematical Dynamics and Fractals参考文献 10被引用 7

一句话总结

本文通过两种独立证明确立了在度量树中，非紧致性集合测度 α(S) 恰好是球测度 β(S) 的两倍，即 α(S) = 2β(S)：一种基于几何覆盖性质，另一种基于 Lifschitz 特征。关键贡献在于证明了在度量树中，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-球压缩算子的等价性。
• 计算度量树的 Lifschitz 特征，并将其与非紧致性测度关联。

提出的方法

• 利用度量树的唯一弧性质，证明对任意有界子集 S，当 diam(S) = 2r 且 ε > 0 时，存在一点 m 使得 S ⊆ B(m; r + ε)。
• 利用度量树中任意两点间由唯一等距于实区间的度量线段连接的几何性质。
• 将 Lifschitz 特征 κ(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 ≥ 0），建立 k-集压缩算子与 k-球压缩算子的等价性。
• 利用等距嵌入及 α 与 β 在等距变换下的不变性，证明在度量树中由于 α = 2β 的恒等式，β 保持不变。

实验结果

研究问题

• RQ1 在度量树中，集合测度 α(S) 与球测度 β(S) 之间的精确关系是什么？
• RQ2 能否计算度量树的 Lifschitz 特征，它与非紧致性测度有何关联？
• RQ3 k-集压缩算子与 k-球压缩算子在度量树中是否一致？
• RQ4 度量线段的几何性质如何影响度量树中的覆盖与紧致性？

主要发现

• 对任意度量树 M 中的有界子集 A，其非紧致性集合测度满足 α(A) = 2β(A)。
• 任意度量树 M 的 Lifschitz 特征恰好为 κ(M) = 2，这是此类空间可能达到的最大值。
• 在任意度量空间中，对所有有界子集 A，不等式 κ(M)β(A) ≤ α(A) 成立，且当且仅当 κ(M) = 2 时，等式形式 α(A) = 2β(A) 成立。
• 映射 T 在度量树之间是 k-集压缩的，当且仅当它是 k-球压缩的（对所有 k ≥ 0），这是由于恒等式 α = 2β。
• 在度量树中，球测度 β 在等距嵌入下保持不变，而一般度量空间中并非如此，因为 α = 2β 确保了当 α 不变时 β 也保持不变。
• 基于 Lifschitz 特征的证明依赖于在 [x,y] 线段上构造一点 z，使得两个闭球的交集包含于半径为 r 的闭球中，这一性质由树结构保证。