[論文レビュー] Distances Induced by Barbilian's Metrization Procedure

Wladimir G. Boskoff, Marian G. Ciucă+1 more|ArXiv.org|Jun 24, 2006

Advanced Differential Geometry Research参考文献 7被引用数 7

ひとこと要約

この論文は、集合 K と J 間の影響関数から距離を生成するバービリアンの計量化手順を拡張し、一般の極値条件下で得られる計量が半距離であることを証明する。この手続きにより、リーマン計量（例：ユークリッド、球面、ポアンカレ）が得られるとともに、特にリーマン計量、フィンスラー計量、またはラグランジュ計量の形に還元できない一般化ラグランジュ計量を構成し、カルタンテンソルの非対称性を用いてその非還元可能性を確立する。

ABSTRACT

Several authors have pointed out the connection between Barbilian's metric introduced in 1934 and the recent study of Apollonian metrics. We provide examples of various distances that can be obtained by Barbilian's metrization procedure and we discuss the relation between this metrization procedure and important Riemannian and generalized Lagrangian metrics. Then we prove an extension of Barbilian's metrization procedure.

研究の動機と目的

• 影響集合 K がコンパクトでない、または点が取り除かれた場合にも、バービリアンの計量化手順が有効であることを保証する。
• バービリアンの手法が、ユークリッド、球面、ポアンカレ計量といった既知のリーマン計量を、K、J、および影響関数の特定の選択により生成することを示す。
• リーマン計量、フィンスラー計量、またはラグランジュ計量の形に還元できない一般化ラグランジュ計量を構成・分析し、カルタンテンソルの対称性を基準として用いる。
• 影響比に関する一般の極値条件下で、誘導される距離関数の三角不等式および対称性を確立する。

提案手法

• K × J → ℝ₊* である影響関数 f を定義し、P ∈ K 上で g_AB(P) = f(P,A)/f(P,B) が有限な最大値および最小値をとることを保証する。
• 距離 d^B(A,B) = ln(max g_AB / min g_AB) を構成し、それが半距離の性質（対称性、三角不等式、恒等元での零）を満たすことを証明する。
• 具体的な幾何的配置に手順を適用する：平行平面（ユークリッド）、同心球面（球面）、上半平面（ポアンカレ）、円の内部（双曲的）。
• 補題 2.3 を用いて、直線および境界 K に接する円の半径 R と r を用いて計量テンソルを導出する。これにより ds² = (1/4)(1/R + 1/r)²(dx² + dy²) を得る。
• カルタンテンソル C_ijk = ½ ∂g_ij/∂x^k を分析し、ラグランジュ計量への還元可能性をテストする。非対称な C_ijk は還元不可能性を示す。
• max/min が達成されない場合でも、K 上での sup と inf を用いた拡張された計量化手順を提案し、d^s(A,B) = ln(sup g_AB / inf g_AB) が一般の極値条件下で半距離の性質を保つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 バービリアンの計量化手順は、非コンパクトまたは穴あきな影響集合 K に対しても、半距離の性質を保ちながら拡張可能か？
• RQ2 平面、球面、半平面といった標準的な幾何的配置を用いた場合、バービリアンの手続きによってどのようなリーマン計量が生成可能か？
• RQ3 バービリアンの手法によって生成されるが、リーマン計量、フィンスラー計量、またはラグランジュ計量の形に還元できない計量は存在するか？
• RQ4 カルタンテンソルの対称性は、一般化計量がラグランジュ形式に還元可能かどうかを決定づける役割を果たすか？
• RQ5 半径 R と r の接円の幾何的構成は、バービリアン枠組みにおける誘導計量テンソルとどのように関係するか？

主な発見

• 上半平面におけるポアンカレ計量は、K を x 軸とし、f(M,A) = ||MA|| とすると、バービリアンの手続きにより回復され、ds² = (1/y²)(dx² + dy²) を得る。
• f(M,A) = ||MA|| を用いた円 K 内部に誘導される計量は、定数ガウス曲率 κ_g = -1 を示し、双曲的であることが確認される。
• 係数 g_11 = g_22 = (1/4)(1/R + 1/r)² である一般化ラグランジュ計量が構成され、カルタンテンソル C_ijk が非対称であるため、ラグランジュ計量への還元は不可能である。
• 非対称な偏微分 ∂g_11/∂ẏ ≠ 0 である一方で ∂g_12/∂ẋ ≡ 0 であることから、カルタンテンソルが完全に対称でないことが示され、非還元性が裏付けられる。
• max/min が達成されない場合でも、一般の極値条件下で d^s(A,B) = ln(sup g_AB / inf g_AB) が半距離であることが証明される。
• 任意の A ∈ J と A を通る直線 d に対して、A で d と接し、K とも接する円がちょうど2つ存在する。これは補題 2.3 における計量導出のための重要な幾何的条件である。