[論文レビュー] An Entourage Approach to the Contraction Principle in Uniform Spaces Endowed with a Graph

Aris Aghanians, Kamal Fallahi+1 more|arXiv (Cornell University)|May 15, 2013

Fixed Point Theorems Analysis参考文献 3被引用数 8

ひとこと要約

本稿は、エントゥラージを用いて有向グラフを備えた一様空間におけるバナッハの収縮原理を拡張し、写像がピカード作用素であるための十分条件を確立する。基本的エントゥラージとグラフの連結性を活用することで、Jachymskiの距離空間における結果を一様空間へ一般化し、弱連結性と軌道的G連続性がバナッハG収縮のもとで一意な不動点を保証することを証明する。

ABSTRACT

In this paper, we study Banach contractions in uniform spaces endowed with a graph and give some sufficient conditions for a mapping to be a Picard operator. Our main results generalize some results of [J. Jachymski, "The contraction principle for mappings on a metric space with a graph", Proc. Amer. Math. Soc. 136 (2008) 1359-1373] employing the basic entourages of the uniform space.

研究の動機と目的

• 距離空間から一様空間へのジャッハムスキーの収縮原理の一般化。
• 一様空間にグラフ構造を備えた場合の写像がピカード作用素であるための十分条件の確立。
• 一様空間の基本的エントゥラージを用いて、距離的設定を超えた不動点結果の一般化。
• 弱連結性および軌道的G連続性が一意な不動点を保証する役割を調査。
• 一様空間理論とグラフ的収縮条件を統合するフレームワークの提供。

提案手法

• 擬距離から導かれる基本的エントゥラージを用いて空間における一様構造を定義し、一般の一様構造において距離的な解析を可能にする。
• エントゥラージとグラフの辺を用いて収縮条件を表現する一様空間におけるバナッハG収縮の概念を導入する。
• 元の無向グラフにおける弱連結性に基づく同値関係[x]_G̃を定義し、不変集合を特定する。
• 軌道的G連続性の概念を適用して、連結成分内での反復列の収束を保証する。
• 反復列の等連続性と逐次完備性を活用して、稠密部分集合からの収束を全体空間へ拡張する。
• Gが弱連結であり、Tが非拡大または等連続なバナッハG収縮であれば、Tの[x]_G̃の閉包への制限はピカード作用素であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 一様空間にグラフを備えた場合、バナッハG収縮が一意な不動点を持つための条件は何か？
• RQ2 グラフ構造を用いて、古典的収縮原理を距離空間から一様空間へ一般化する方法は何か？
• RQ3 グラフの弱連結性が一様空間における反復列の収束に果たす役割は何か？
• RQ4 軌道的G連続性および反復列の等連続性が、一様空間における写像の不動点挙動に与える影響は何か？
• RQ5 グラフ構造を備えた一様完備空間における非拡大写像は、グラフの連結性のもとでピカード作用素と見なせるか？

主な発見

• Gが弱連結であり、Tが軌道的G連続なバナッハG収縮で固定点集合が空でないならば、Tは弱ピカード作用素である。
• 逐次完備性と弱連結性から、固定点をもつ任意の軌道的G連続バナッハG収縮はピカード作用素である。
• 弱連結なグラフGを備えた逐次完備空間上での非拡大バナッハG収縮は、ピカード作用素である。
• 任意のx ∈ XについてTx ∈ [x]_G̃であるとき、反復列が等連続であれば、Tの[x]_G̃の閉包への制限はピカード作用素である。
• 元のグラフが弱連結でない場合、固定点を少なくとも2つもつ軌道的G連続なバナッハG収縮が存在する。
• 写像が軌道的G連続であり、空間が逐次完備である限り、任意のx ∈ [x]_G̃における反復列T^n xは不動点に収束することが保証される。