[论文解读] Completeness with respect to the probabilistic Pompeiu-Hausdorff metric

Ştefan Cobzaş|ArXiv.org|Jul 11, 2005

Fixed Point Theorems Analysis参考文献 14被引用 5

一句话总结

本文在概率度量空间中，基于概率Pompeiu-Hausdorff度量，建立了闭集、有界集、紧集以及凸集族的完备性。证明了若概率度量空间 $L$ 是完备的，则 $L$ 的所有非空闭子集、闭有界子集、紧子集，以及在附加条件下，非空闭凸子集的集合，均关于概率Hausdorff度量 $H$ 也是完备的。该结果将度量空间中的经典完备性结果推广至概率设定。

ABSTRACT

The aim of the present paper is to prove that the family of all closed nonempty subsets of a complete probabilistic metric space $L$ is complete with respect to the probabilistic Pompeiu-Hausdorff metric $H$. The same is true for the families of all closed bounded, respectively compact, nonempty subsets of $L$. If $L$ is a complete random normed space in the sense of Šerstnev, then the family of all nonempty closed convex subsets of $L$ is also complete with respect to $H$.

研究动机与目标

• 将完备度量空间中Pompeiu-Hausdorff度量的经典完备性结果推广至概率设定。
• 研究完备概率度量空间中非空闭集、有界集或紧集族在概率Pompeiu-Hausdorff度量下是否仍保持完备性。
• 研究Šerstnev意义下完备随机赋范空间中闭凸集族的完备性。
• 将先前关于Menger概率度量空间的结果推广至更广泛的概率度量空间类。
• 通过确保集值族的完备性，为概率度量空间中的不动点理论与不变集理论提供基础。

提出的方法

• 基于Egbert与Tardiff的工作，定义了概率度量空间 $L$ 中非空闭子集族上的概率Pompeiu-Hausdorff度量 $H$。
• 在分布函数空间 $\Delta$ 上使用Lévy度量 $d_L$，以定义概率设定下的收敛性与拓扑。
• 应用Helly的第一定理，确保 $\Delta$ 中的每个序列都有弱收敛子列，从而支持底层空间的完备性。
• 证明依赖于集合论构造：通过集合的交集与并集的闭包，证明闭集的柯西序列的极限本身也是闭集。
• 对于凸集，证明利用了 $\epsilon$-邻域 $(A_m)_\epsilon$ 下凸性保持不变的性质，以及可数个凸集的交集仍为凸集的事实。
• 在假设 $L$ 是满足特定不等式条件的上连续三角函数的完备Šerstnev随机赋范空间的前提下，建立了 $P_{fc}(L)$（即非空闭凸子集族）的完备性。

实验结果

研究问题

• RQ1 完备概率度量空间 $L$ 的所有非空闭子集族在概率Pompeiu-Hausdorff度量下是否完备？
• RQ2 完备概率度量空间 $L$ 的所有非空闭有界子集与紧子集族在相同度量下是否也完备？
• RQ3 在完备Šerstnev随机赋范空间中，闭凸子集族在概率Hausdorff度量下是否保持完备？
• RQ4 三角函数需满足何种条件，才能保证闭凸集族的完备性？
• RQ5 概率Pompeiu-Hausdorff完备性结果的类比是否可超越Menger空间而推广至更广范围？

主要发现

• 完备概率度量空间 $L$ 的所有非空闭子集族关于概率Pompeiu-Hausdorff度量 $H$ 是完备的。
• $L$ 的所有非空闭有界子集族与紧子集族在 $H$ 下也保持完备。
• 若 $L$ 是完备的Šerstnev随机赋范空间，则 $L$ 的所有非空闭凸子集族关于 $H$ 是完备的。
• 完备Šerstnev随机赋范空间中所有非空紧凸子集族在 $H$ 下也是完备的。
• $P_{fc}(L)$ 的完备性源于极限集 $A = \bigcap_{\epsilon>0}\bigcup_{n\geq1}\bigcap_{m\geq n}(A_m)_\epsilon$ 在每个 $A_m$ 为凸集时，其本身为凸且闭的性质。
• 证明依赖于 $\epsilon$-邻域下凸性的保持性，以及概率Hausdorff度量下序列收敛的性质。