利用一阶量词逻辑演算方法处理度量空间中关于点集的问题．给出了聚点、内点、界点、外点等概念的等价一阶量词逻辑公式，以及等价转化和推演的常用方法与路径．用一阶量词逻辑演算方法证明了关于导集运算的5个重要公式．通过研究，使得度量空间中点集问题的处理变得清晰而简便，从而也减少了学习相关知识的难度．
科研之友
微信
新浪微博
Facebook
分享链接
