[论文解读] Analysis on Metric Space Q

Wei Zhu|ArXiv.org|Jul 21, 2006

Advanced Harmonic Analysis Research参考文献 7被引用 7

一句话总结

本文证明了度量空间 $(\mathbb{Q}, \mathcal{G})$ 在亚历山德罗夫意义下是正曲率空间，明确描述了其度量切锥为多值函数空间的乘积结构，并提出了基于微积分的连续多值函数导数定义。关键贡献在于一个正则选择定理，证明强仿射可逼近函数可选择出保持可微性的单值可微函数，且在分解下可微性得以保持。

ABSTRACT

In this paper, we show that the metric space Q is a positively-curved space (PC-space) in the sense of Alexandrov. We also discuss some issues like metric tangent cone and exponential map of Q. Then we give a stratification of this metric space according to the signature of points in Q. Some properties of this stratification are shown. The second part of this paper is devoted to some basic analysis on the space Q, like the tensor sum and L-p space, which can be of independent interest. In the end, we give another definition of derivative for multiple-valued functions, which is equivalent to the one used by Almgren. An interesting theorem about regular selection of multiple-valued functions which preserves the differentiability concludes this paper.

研究动机与目标

• 研究度量空间 $(\mathbb{Q}, \mathcal{G})$ 在亚历山德罗夫意义下的内在几何结构，作为正曲率空间。
• 通过多值函数空间的乘积结构，刻画 $(\mathbb{Q}, \mathcal{G})$ 在每一点的度量切锥。
• 提出一种基于微积分的连续多值函数导数定义，作为阿尔姆格伦线性逼近方法的替代方案。
• 建立连续多值函数可选择出可微单值函数的条件，且保持可微性。
• 提供多值函数的张量和构造，并探讨其在定义 $L^p$ 空间及 $\mathbb{Q}$ 上分析中的作用。

提出的方法

• 通过分析 $\mathbb{Q}$ 中任意两点间的测地线，证明 $(\mathbb{Q}, \mathcal{G})$ 是 PC-空间。
• 显式描述任意点 $A \in \mathbb{Q}$ 处的度量切锥为 $\mathbb{Q}_{k_1}(\mathbb{R}^n) \times \cdots \times \mathbb{Q}_{k_J}(\mathbb{R}^n)$，并赋予乘积度量。
• 基于测地线与切锥的结构，定义 $(\mathbb{Q}, \mathcal{G})$ 上的指数映射。
• 引入多值函数的张量和运算：$(f \oplus g)(x) = \sum_{i,j} [[f_i(x) + g_j(x)]]$，用于从 $p$-值与 $q$-值函数构造 $pq$-值函数。
• 通过极限 $\lim_{t \to 0} \frac{f(x_0 + tv) (-) f(x_0)}{t}$ 提出新的导数定义，其中 $(-)$ 表示 $\mathbb{Q}$ 中的度量差。
• 建立新导数定义与阿尔姆格伦关于仿射可逼近性的概念之间的等价性，并证明强仿射可逼近性蕴含可微选择的存在性。

实验结果

研究问题

• RQ1 度量空间 $(\mathbb{Q}, \mathcal{G})$ 在亚历山德罗夫意义下是否为正曲率空间？
• RQ2 $(\mathbb{Q}, \mathcal{G})$ 中每一点的度量切锥的精确结构是什么？
• RQ3 能否为连续多值函数构造一种基于微积分的导数定义，使其与阿尔姆格伦的定义等价？
• RQ4 在何种条件下，定义在 $[a,b]$ 上的连续多值函数可分解为连续可微的单值函数？
• RQ5 张量和构造是否能实现 $\mathbb{Q}$ 上有意义的分析，例如定义 $L^p$ 空间？

主要发现

• 该空间 $(\mathbb{Q}, \mathcal{G})$ 在亚历山德罗夫意义下是正曲率空间（PC-空间），其测地线的曲率性质已确立。
• 任意点 $A \in \mathbb{Q}$ 处的度量切锥，其谱型为 $S(A) = (J, k_1, \dots, k_J)$，与赋予乘积度量的乘积空间 $\mathbb{Q}_{k_1}(\mathbb{R}^n) \times \cdots \times \mathbb{Q}_{k_J}(\mathbb{R}^n)$ 等距。
• 通过极限 $\lim_{t \to 0} \frac{f(x_0 + tv) (-) f(x_0)}{t}$ 定义的新导数与阿尔姆格伦通过仿射可逼近性定义的导数等价。
• 在 $x_0$ 处强仿射可逼近的连续函数 $f: [a,b] \to \mathbb{Q}$ 可分解为 $[a,b]$ 上的 $Q$ 个连续可微单值函数 $f_1, \dots, f_Q$。
• 张量和运算 $f \oplus g$ 可从 $p$-值与 $q$-值函数构造出 $pq$-值函数，从而实现 $L^p$ 空间及 $\mathbb{Q}$ 上进一步分析的构建。
• 例子 $f(x) = [[x]] + [[-x]]$ 在 $[-1,1]$ 上表明，仅具有仿射可逼近性不足以保证可微选择，但强仿射可逼近性足以保证。