PM-空间中扩张型映象的不动点定理

本文中处处假设(E,(?),Δ)是(?)完备的 Menger 空间,t-范数Δ满足(?)Δ(t,t)=1。定义1 设Φ(t)是[0,∞)上的函数,我们称Φ(t)满足条件(Φ_1),如果Φ(t)不减、Φ(0)=0,且(?)Φ~n(t)=∞,(?)t>0;称Φ(t)满足条件(Φ_2),如果Φ(t)严格增、左连续、Φ(0)=0,且(?)Φ~n(t)=∞,(?)t>0,其中Φ~n(t)是Φ(t)的第 n 次迭代。