首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Pre-apartness structures on spaces of functions
Authors:DS Bridges  LS V&#x; &#x;&#x;
Institution:aDepartment of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand
Abstract:Pre-apartness structures are defined on YX, where X is an inhabited set and Y a uniform space. These structures clarify the discussion of proximal and uniform convergence in the constructive theory of apartness spaces.
Keywords:Constructive  Apartness  Proximal convergence  Uniform structure
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号