[論文レビュー] Analysis on Metric Space Q

Wei Zhu|ArXiv.org|Jul 21, 2006

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

ひとこと要約

本稿では、metric space $(\mathbb{Q}, \mathcal{G})$ がアレクサンドロフの意味で正曲率空間であることを確立し、そのmetric tangent coneを多価関数空間の積として明示的に記述し、連続多価関数に対する微分の微積分学的定義を導入する。主な貢献は、強くアフィン近似可能な関数が微分可能な単価選択肢を有することを示す正則選択定理であり、分解において微分可能性が保存されることを示している。

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.

研究の動機と目的

• metric space $(\mathbb{Q}, \mathcal{G})$ の内在的な幾何的構造がアレクサンドロフの意味で正曲率空間としてどのように構成されるかを調査すること。
• $(\mathbb{Q}, \mathcal{G})$ の各点におけるmetric tangent coneを、多価関数空間の積構造を用いて特徴付けること。
• アルムグレーンの線形近似アプローチとは別に、連続多価関数の微分の微積分学的定義を構築すること。
• 連続多価関数が微分可能な単価選択肢を有する条件を確立し、微分可能性を保存すること。
• 多価関数のテンソル和構成を提供し、$L^p$ 空間や $\mathbb{Q}$ 上の解析におけるその役割を調査すること。

提案手法

• $\mathbb{Q}$ 内の任意の2点間の測地線を分析することで、$(\mathbb{Q}, \mathcal{G})$ がPC空間であることを証明する。
• 任意の点 $A \in \mathbb{Q}$ におけるmetric tangent coneを、$\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}$ 内のmetric差を表す。
• 新しい微分定義がアルムグレーンのアフィン近似可能性の概念と同値であることを確立し、強いアフィン近似可能性が微分可能な選択肢の存在を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 metric space $(\mathbb{Q}, \mathcal{G})$ はアレクサンドロフの意味で正曲率空間であるか？
• RQ2 $(\mathbb{Q}, \mathcal{G})$ の各点におけるmetric tangent coneの正確な構造は何か？
• RQ3 連続多価関数に対して、アルムグレーンの定義と同値な微積分学的微分定義を定式化できるか？
• RQ4 区間 $[a,b]$ 上の連続多価関数が、連続的かつ微分可能な単価関数への分解を許容する条件は何か？
• RQ5 テンソル和構成は、$\mathbb{Q}$ 上での意味のある解析、たとえば $L^p$ 空間の定義を可能にするか？

主な発見

• $(\mathbb{Q}, \mathcal{G})$ は、測地線の曲率性質によって、アレクサンドロフの意味で正曲率空間（PC-space）であることが確立された。
• 符号 $S(A) = (J, k_1, \dots, k_J)$ を持つ任意の点 $A \in \mathbb{Q}$ におけるmetric tangent coneは、積計量を伴う積空間 $\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]$ 上で連続的かつ微分可能な単価関数 $f_1, \dots, f_Q$ への分解を有する。
• テンソル和演算 $f \oplus g$ は、$p$-値関数と $q$-値関数から $pq$-値関数を生成し、$L^p$ 空間の構成および $\mathbb{Q}$ 上のさらなる解析を可能にする。
• 区間 $[-1,1]$ 上で $f(x) = [[x]] + [[-x]]$ と定義される例は、単なるアフィン近似可能性では微分可能な選択肢が保証されないが、強いアフィン近似可能性では十分であることを示している。