[論文レビュー] Weak metrics on Euclidean domains

Athanase Papadopoulos, Marc Troyanov|ArXiv.org|Sep 8, 2006

Analytic and geometric function theory参考文献 15被引用数 14

ひとこと要約

この論文は、境界点への距離の対数比を用いて定義されるアポロニウス弱距離の、有界または非有界なユークリッド領域への導入を提案する。この弱距離の下での測地線が境界に直交する一般化された円の弧であることが示され、弱距離の対称化がポアンカレおよびクライン＝ヒルベルトの古典的双曲的距離を回復することを示し、それらの幾何的基盤を共通の弱距離枠組みによって統一する。

ABSTRACT

A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. In the present paper we introduced a weak metric, called the Apollonian weak metric, on any subset of a Euclidean space which is either bounded or whose boundary is unbounded. We then relate this weak metric to some familiar metrics such as the Poincare metric, the Klein-Hilbert metric, Funk metric, and the part metric which play an important role in classic and recent work on geometric function theory.

研究の動機と目的

• 既知の双曲的タイプの距離を一般化する新しい弱距離のクラスをユークリッド領域に定義し、研究すること。
• 特に測地線および三角不等式の性質に注目して、アポロニウス弱距離の幾何的構造を調査すること。
• この弱距離の対称化が、ポアンカレ、クライン＝ヒルベルト、ファンク距離などの古典的距離とどのように関係するかを明らかにすること。
• 弱距離の三角不等式で等号が成立する条件を特定し、点と境界点の共線性と関連づけること。
• 幾何関数論における複数の古典的距離の幾何的基盤を、単一の弱距離枠組みから導出することによって統一すること。

提案手法

• 境界への距離の対数比を用いて、δ_A(x,y) = sup_{a∈∂A} log(1 + |x−y|/|x−a|) としてアポロニウス弱距離 δ_A を定義し、距離の性質を一般化する。
• ∂A のコンパクト性と境界点への距離に関する幾何的不等式を用いて、δ_A における三角不等式を証明する。
• 2つの対称化を導入する：σδ(x,y) = max{δ(x,y), δ(y,x)} と Sδ(x,y) = ½(δ(x,y) + δ(y,x)) であり、これらは半距離を定める。
• σδ_A がヴォルティネの j_A 距離に一致し、Sδ_A がゲーリング＝オズゴード距離に対応することを示し、弱距離と既知の対称距離を結びつける。
• メビウス不変性と複素交比を用いて、測地線が境界に直交する一般化された円の弧として特徴づけられることを示す。
• δ_A(x,z) = δ_A(x,y) + δ_A(y,z) が成り立つのは、ある境界点 a₀ が存在して対数比が一致するとき、かつそのときに限ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非対称性や分離性を要件としないで、既知の双曲的距離を一般化する弱距離をユークリッド領域にどのように定義できるか。
• RQ2 単位円板におけるアポロニウス弱距離の測地線はどのような幾何的構造を示すか。
• RQ3 アポロニウス弱距離の三角不等式で等号が成立する条件は何か。
• RQ4 アポロニウス弱距離の対称化は、ポアンカレ距離やクライン＝ヒルベルト距離といった古典的距離とどのように関係するか。
• RQ5 アポロニウス弱距離は、幾何関数論におけるさまざまな古典的距離の幾何的基盤を統一的に扱えるか。

主な発見

• アポロニウス弱距離 δ_A は、有界または境界が非有界である任意のユークリッド領域 A に対して定義可能であり、三角不等式を満たす。
• 三角不等式 δ_A(x,z) = δ_A(x,y) + δ_A(y,z) における等号成立は、δ_A(x,y) = log(|x−a₀|/|y−a₀|) などが成り立つような境界点 a₀ が存在するとき、かつそのときに限る。
• 単位円板 D² における δ_A の測地線は、単位円 S¹ に直交し、関係する点を通る一般化された円の弧である。
• 最大値対称化 σδ_A はヴォルティネの j_A 距離と一致し、平均値対称化 Sδ_A はゲーリング＝オズゴード距離に対応する。
• 対称化された距離は古典的双曲的モデルを回復する：ポアンカレ距離およびクライン＝ヒルベルト距離は、アポロニウス弱距離の対称化として得られる。
• アポロニウス弱距離は統一的枠組みを提供する：幾何関数論におけるすべての古典的距離は、その対称化および境界挙動から自然に導かれる。