The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
This paper discusses existence and uniqueness of the fixed point of some expansion type mapping pairs and properties of fixed point sets in the 2-metric space.
本文讨论2 -距离空间中某些膨胀型映射对的不动点的存在性，唯一性和不动点集的性质。
In Section 1 we discuss some basic properties of weak metric Spaces and obtain two fixed point theorems for self-mappings in weak metric Spaces.
第一部分讨论了弱距离空间的一些基本性质并给出了弱距离空间中自映象的两个不动点定理。
应用推荐