辅助序相关论文
目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论,可以由Dcop......
在引人φ-辅助序的F-型拓扑空间中,利用其相关性质证明了序区间上增映射的不动点定理。...