[论文解读] Soft Cone Metric Spaces and Some Fixed Point Theorems

İsmet Altıntaş, Kemal Taşköprü|arXiv (Cornell University)|Sep 5, 2016

Fixed Point Theorems Analysis被引用 3

一句话总结

本文通过软元素引入软锥度量空间，作为锥度量空间与软度量空间的推广，建立了收敛性与柯西序列的性质。研究证明了在各种条件下，压缩映射的不动点定理，表明在特定软常数约束（如 $ ilde{t} < rac{1}{2}$ 或 $ ilde{t} + \tilde{r} < 1$）下，不动软元素的存在性与唯一性。结果将经典不动点理论推广至具有不确定性处理能力的软结构框架。

ABSTRACT

This paper is an introduction to soft cone metric spaces. We define the concept of soft cone metric via soft element, investigate soft converges in soft cone metric spaces and prove some fixed point theorems for contractive mappings on soft cone metric spaces.

研究动机与目标

• 通过软元素推广锥度量空间与软度量空间，提出一种新的数学框架——软锥度量空间。
• 在软锥度量空间中定义并研究软收敛性与柯西序列。
• 在完备软锥度量空间中建立压缩映射的不动点定理。
• 通过软集理论将经典不动点理论推广至包含不确定性与参数化结构的设定。

提出的方法

• 使用软元素定义软锥度量空间，其中每个参数 λ ∈ A 映射到一个锥度量空间中的集合。
• 通过锥度量中的逐参数收敛性，引入软锥度量空间中的软收敛性与柯西序列。
• 利用软实数与软范数公理，定义空间中的结构与序关系。
• 应用涉及软常数 $\tilde{t}$ 与 $\tilde{r}$ 的压缩条件，例如 $d(T\tilde{x}, T\tilde{y}) \preceq \tilde{t}(d(T\tilde{x}, \tilde{x}) + d(T\tilde{y}, \tilde{y}))$。
• 通过涉及 $\tilde{s} = \tilde{t}/(1 - \tilde{t})$ 的估计，证明迭代序列 $\{T^n\tilde{x}\}$ 收敛于不动软元素。
• 利用软锥度量空间的完备性与锥的性质（闭性、正规性），证明 $d(T\tilde{x}^*, \tilde{x}^*) = \Theta$，从而推出 $T\tilde{x}^* = \tilde{x}^*$。

实验结果

研究问题

• RQ1 如何通过软集理论与软元素将锥度量空间推广以纳入不确定性？
• RQ2 在何种压缩条件下，软锥度量空间上的映射存在唯一的不动软元素？
• RQ3 软锥度量空间中的收敛性与柯西序列行为与经典度量空间相比有何异同？
• RQ4 软常数 $\tilde{t}$ 与 $\tilde{r}$ 在确保不动点的存在性与唯一性中起何作用？

主要发现

• 当 $\bar{0} \leq \tilde{t} < \frac{1}{2}$ 时，完备软锥度量空间在压缩条件 $d(T\tilde{x}, T\tilde{y}) \preceq \tilde{t}(d(T\tilde{x}, \tilde{x}) + d(T\tilde{y}, \tilde{y}))$ 下存在唯一的不动软元素。
• 对于条件 $d(T\tilde{x}, T\tilde{y}) \preceq \tilde{t}(d(T\tilde{x}, \tilde{y}) + d(T\tilde{y}, \tilde{x}))$，在相同 $\tilde{t}$ 约束下，存在唯一的不动软元素。
• 在条件 $d(T\tilde{x}, T\tilde{y}) \preceq \tilde{t}d(\tilde{x}, \tilde{y}) + \tilde{r}d(\tilde{y}, T\tilde{x})$ 下，存在不动软元素，且当 $\tilde{t} + \tilde{r} < \bar{1}$ 时其唯一性成立。
• 在上述三种压缩情形下，迭代序列 $\{T^n\tilde{x}\}$ 均收敛于不动软元素，其证明基于 $\tilde{s} = \tilde{t}/(1 - \tilde{t})$ 的几何级数对 $d(\tilde{x}_n, \tilde{x}_m)$ 的估计。
• 不动软元素的唯一性源于压缩不等式与 $\tilde{t}$ 或 $\tilde{t} + \tilde{r}$ 的严格性，从而推出 $d(\tilde{x}^*, \tilde{y}^*) = \Theta$。
• 证明依赖于空间的完备性与锥 $P$ 的闭性，通过反证法可证若 $d(T\tilde{x}^*, \tilde{x}^*) \neq \Theta$ 将导致矛盾。