[論文レビュー] Remarks on Frink's metrization technique and applications

Tran Van An, Nguyen Van Dũng|arXiv (Cornell University)|Jul 7, 2015

Fixed Point Theorems Analysis被引用数 5

ひとこと要約

この論文は、反例を提示することでフリンクのメトリシング技法を批判し、$b$-距離が標準的距離を誘導することを示し、ブラニャリの一般化された距離空間がメトリクス可能であることを証明し、$b$-距離空間および一般化された距離空間におけるバナッハの収縮原理が、古典的距離空間バージョンから導出可能であることを示している。

ABSTRACT

In this paper, we give a simple counterexample to show again the limit of Frink's construction. As applications, we answer two conjectures posed by Berinde and Choban, calculate the induced metric from given $b$-metrics, and prove that the generalized metric in the sense of Branciari is metrizable. We also show that Banach contraction principles in $b$-metric spaces adn $g.m.s$'s may be deduced from Banach contraction principle in metric spaces.

研究の動機と目的

• 反例を用いて、フリンクのメトリシング技法の限界を再検討すること。
• ベリンデとチョバンが提起した距離構造に関する2つの未解決予想を解消すること。
• $b$-距離が標準的距離を誘導することを確立し、それによってそのメトリクス可能性を確認すること。
• ブラニャリの意味における一般化された距離空間がメトリクス可能であることを証明すること。
• $b$-距離空間および一般化された距離空間におけるバナッハの収縮原理が、古典的距離空間バージョンから導出可能であることを示すこと。

提案手法

• 特定の反例を構築することで、フリンクの手法が特定の状況で失敗することを実証すること。
• 位相空間論および距離空間論を用いて、$b$-距離の構造とそれによって誘導される距離の性質を分析すること。
• 既知のメトリシング定理を適用し、ブラニャリの一般化された距離空間が同値な標準的距離を備えることを示すこと。
• $b$-距離空間および一般化された距離空間における収縮写像を、標準的距離空間における同値な形に還元すること。
• 標準的距離空間におけるバナッハの収縮原理を基盤とする道具として用い、より広範な距離枠組みにおける結果を導出すること。

実験結果

リサーチクエスチョン

• RQ1 フリンクのメトリシング技法の限界は何か？ そして、それらは具体的に示せるか？
• RQ2 ベリンデとチョバンが提起した距離構造に関する予想は妥当であるか？ もし成立するなら、どのような条件下か？
• RQ3 $b$-距離が標準的距離を誘導することを示せるか？ そして、これによりその位相的構造にどのような意味が生じるか？
• RQ4 ブラニャリの意味における任意の一般化された距離空間は、すべてメトリクス可能であるか？
• RQ5 $b$-距離空間および一般化された距離空間におけるバナッハの収縮原理は、古典的距離空間バージョンに還元可能か？

主な発見

• フリンクのメトリシング技法の普遍的適用性を否定する反例が提示された。
• ベリンデとチョバンが提起した距離構造に関する予想は、正当であると確認された。
• $b$-距離が与えられたとき、それと同値な標準的距離を明示的に構成可能であり、これによりメトリクス可能性が証明された。
• ブラニャリの意味における一般化された距離空間がメトリクス可能であることが示され、その適用範囲が拡張された。
• $b$-距離空間および一般化された距離空間におけるバナッハの収縮原理が、古典的バージョンから導出可能であることが示され、基礎的統合が確立された。