[論文レビュー] A fixed point theorem for contractions in modular metric spaces

V Chistyakov Vyacheslav|arXiv (Cornell University)|Dec 23, 2011

Fixed Point Theorems AnalysisMathematics参考文献 24被引用数 21

ひとこと要約

この論文は、チスヤコフによって導入された、標準的距離空間の一般化であるモジュラー距離空間における、収縮写像の不動点定理を確立する。古典的な不動点定理とは異なり、距離の収縮に基づくのではなく、一般化平均速度の収縮に注目し、収束は距離収束ではなく、より弱いモジュラーの意味で発生する。

ABSTRACT

The notion of a (metric) modular on an arbitrary set and the corresponding modular space, more general than a metric space, were introduced and studied recently by the author [V.V. Chistyakov, Metric modulars and their application, Dokl. Math. 73(1) (2006) 32–35, and Modular metric spaces, I: Basic concepts, Nonlinear Anal. 72(1) (2010) 1–14]. In this paper we establish a fixed point theorem for contractive maps in modular spaces. It is related to contracting rather “generalized average velocities” than metric distances, and the successive approximations of fixed points converge to the fixed points in a weaker sense as compared to the metric convergence.

研究の動機と目的

• 標準的距離空間を一般化するモジュラー距離空間への不動点理論の拡張。
• モジュラー距離の文脈における収縮写像の不動点結果の不足を解消すること。
• 従来の距離距離ではなく、モジュラー関数型による収束の定義。
• 繰り返し近似がモジュラー位相において不動点に収束する条件を確立すること。
• 収束が距離空間よりも弱いモジュラー空間において、古典的な収縮写像原理を一般化すること。

提案手法

• 凸関数型の族によって定義される、集合上のモジュラー距離の概念を用いる。
• 標準的距離ではなく、モジュラー距離に基づく収縮写像の概念を導入する。
• モジュラー空間における収縮の挙動をモデル化するために「一般化平均速度」の概念を適用する。
• モジュラー関数型によって定義されるモジュラー位相において、反復列の収束を確立する。
• モジュラー空間理論の技術を用いて、不動点の存在と収束を証明する。
• 収束がモジュラーの意味であることを示し、差のモジュラーがゼロに近づくが、距離がゼロに近づくとは限らない。

実験結果

リサーチクエスチョン

• RQ1 モジュラー距離空間における収縮写像に対して不動点定理を確立できるか？
• RQ2 繰り返し列の収束が、古典的距離空間と比較してモジュラー空間ではどのように振る舞うか？
• RQ3 一般化平均速度は、モジュラー設定における収縮の定義において果たす役割は何か？
• RQ4 収束がモジュラー関数型によって定義されるとき、不動点はどのような意味で現れるか？
• RQ5 提案された枠組みは、古典的なバナッハの収縮原理をどのように一般化するか？

主な発見

• 収縮写像の不動点定理がモジュラー距離空間において確立され、古典的結果がより広範な枠組みへと拡張された。
• 繰り返し近似の収束は、より強い距離の意味ではなく、モジュラー位相において発生する。
• 収縮条件はモジュラー関数型によって定義され、一般化平均速度の挙動を反映している。
• 提案されたモジュラー収縮条件のもとでは、不動点が保証される。
• 収束が距離空間よりも弱いモジュラー空間において、バナッハの収縮原理が一般化された。
• この枠組みは、一様凸性や完備性の欠如により、標準的距離ツールが不十分な空間への応用を可能にする。