[论文解读] Non-removable sets for quasiconformal and locally biLipschitz mappings in R^3

Christopher J. Bishop|ArXiv.org|Jun 3, 1998

Analytic and geometric function theory参考文献 18被引用 5

一句话总结

本文构造了一个 $ E \subset \mathbb{R}^3 $ 的完全不连通集，其Hausdorff维数为2，且对于拟共形映射和局部双Lipschitz映射不可去。该构造展示了一个 $ \mathbb{R}^3 $ 上的同胚映射，其在 $ E $ 外为拟共形，但在整个 $ \mathbb{R}^3 $ 上并非拟共形，表明此类集合尽管在拓扑上很小，仍可能阻碍全局拟共形性。

ABSTRACT

We give an example of a totally disconnected set E in R^3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R^3 to itself which is quasiconformal off E, but not quasiconformal on all of R^3. The set E may be taken with Hausdorff dimension 2. The construction also gives a non-removable set for locally biLipschitz homeomorphisms.

研究动机与目标

• 为了证明在 $ \mathbb{R}^3 $ 中存在拟共形映射不可去的集合，挑战‘小集合或完全不连通集合可去’的直觉。
• 构造一个具体例子：一个紧致的、完全不连通的集合 $ E \subset \mathbb{R}^3 $，其Hausdorff维数为2，且对拟共形同胚映射不可去。
• 将不可去性结果推广至局部双Lipschitz映射类，表明在此更广泛的类中也存在类似的阻碍。
• 提供一个反例，以反驳在 $ \mathbb{R}^3 $ 中完全不连通集合若维数小于2则对拟共形映射可去的猜想。

提出的方法

• 通过在 $ \mathbb{R}^3 $ 中精心设计的Cantor型集合构造，采用逐次移除球体的方式，以保持拓扑不连通性并控制Hausdorff维数。
• 构造集合 $ E $，使其支持一列共形扭曲，这些扭曲以某种方式累积，从而阻止全局拟共形性。
• 在 $ \mathbb{R}^3 \setminus E $ 上定义一个拟共形同胚映射，但其在 $ E $ 附近扭曲度无界，导致无法延拓为 $ \mathbb{R}^3 $ 上的拟共形映射。
• 论证依赖于 $ E $ 中存在一列点，使得映射的畸变度在这些点发散，从而违反全局拟共形条件。
• 通过确保局部双Lipschitz常数在 $ E $ 附近爆炸，将相同构造适配以证明局部双Lipschitz映射的不可去性。
• 证明使用了几何与测度论估计，以控制 $ E $ 的维数，表明其可被精确构造为2维。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^3 $ 中，一个Hausdorff维数为2的完全不连通集是否可能对拟共形映射不可去？
• RQ2 是否存在一个集合 $ E \subset \mathbb{R}^3 $，其完全不连通且维数为2，使得一个在 $ E $ 外拟共形的同胚映射在 $ \mathbb{R}^3 $ 上并非拟共形？
• RQ3 不可去性现象是否可推广至 $ \mathbb{R}^3 $ 中的局部双Lipschitz映射类？
• RQ4 在 $ \mathbb{R}^3 $ 中，可去集合的临界维数阈值是多少？维数为2的集合是否可能不可去？
• RQ5 能否在 $ \mathbb{R}^3 \setminus E $ 上定义一个拟共形映射，但其无法拟共形延拓至 $ \mathbb{R}^3 $，即使 $ E $ 是完全不连通的？

主要发现

• 本文构造了一个紧致的、完全不连通的集合 $ E \subset \mathbb{R}^3 $，其Hausdorff维数恰好为2，且对拟共形同胚映射不可去。
• 存在一个同胚映射 $ f: \mathbb{R}^3 \to \mathbb{R}^3 $，其在 $ \mathbb{R}^3 \setminus E $ 上为拟共形，但在 $ \mathbb{R}^3 $ 上并非拟共形，从而证明了 $ E $ 的不可去性。
• 相同构造可产生对局部双Lipschitz映射不可去的集合，表明该阻碍适用于更广泛的映射类。
• 集合 $ E $ 通过一种迭代几何过程构造，以确保维数受控且拓扑上不连通。
• 拟共形性的失效源于 $ E $ 附近的扭曲度无界，尽管 $ f $ 在 $ E $ 外为拟共形。
• 该结果表明，在 $ \mathbb{R}^3 $ 中，完全不连通的2维集合可能阻碍全局拟共形性，从而挑战了关于可去性阈值的先前猜想。