On local non‐compactness in recursive mathematics

A metric space is said to be locally non‐compact if every neighborhood contains a sequence that is eventually bounded away from every element of the space, hence contains no accumulation point. We show within recursive mathematics that a nonvoid complete metric space is locally non‐compact iff it is without isolated points. The result has an interesting consequence in computable analysis: If a complete metric space has a computable witness that it is without isolated points, then every neighborhood contains a computable sequence that is eventually computably bounded away from every computable element of the space. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Resolution of the uniform lower bound problem in constructive analysis

In a previous paper we constructed a full and faithful functor ?? from the category of locally compact metric spaces to the category of formal topologies (representations of locales). Here we show that for a real‐valued continuous function f, ??(f) factors through the localic positive reals if, and only if, f has a uniform positive lower bound on each ball in the locally compact space. We work within the framework of Bishop constructive mathematics, where the latter notion is strictly stronger than point‐wise positivity. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

一致覆盖和度量空间的紧映象

本文利用一致覆盖的概念,讨论了度量空间的序列覆盖紧映象的结构.主要结果有: (1)空间X是局部可分度量空间的序列覆盖紧映象当且仅当X具有由cosmic子空间构成的一致sn网; (2)空间X是局部可分度量空间的序列覆盖,商紧映象当且仅当X是度量空间的序列覆盖,商紧映象且是局部cosmic空间.     

Metric complements of overt closed sets

We show that the set of points of an overt closed subspace of a metric completion of a Bishop‐locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop‐compact. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

星可数k网与序列覆盖s映射

证明了在空间具有星可数ｋ网的条件下,度量空间的１（２）序列覆盖ｓ映象是局部可分度量空间的１（２）序列覆盖、紧覆盖ｓ映象。     

局部可分度量空间闭s映象的注记

该文讨论局部可分度量空间闭s映象的分解定理, 证明了正则的Fréchet空间是局部可分度量空间的闭s映象当且仅当满足如下条件: 具有点可数的cs*网, 第一可数的闭子空间是局部可分的, 且Lindelof的闭子空间是可分的.     

伪群作用与覆盖空间

证明了如果U是一个黎曼流形的子集,伪群G作用在它上面,若这个伪作用是第一类的,那么覆盖空间方法给出了U/G的一个正规覆盖空间;若X是一个局部紧的长度空间X,且伪群H在X的一个度量球上的作用是第二类的,则构造出来的空间是X的一个正规覆盖空间.另外,还证明了对于两类流形,存在切球上的由道路提升定义的第一类伪作用.     

關於Borsuk的絕對同倫擴充性質的討論

<正> 序言.在同倫論中,常常需要考慮滿足這種性質的拓撲空間X設Y為任意的一個正規空間,B為Y的任何一個非空閉集,任何一個由B×(0,1)+Y×(0)到X的映像都可以扩充為一個由Y×(0,1)到X的映像,我們稱這種性質為絕對同倫扩充性質,具有這種性質的空間以及用AHE表示.Borsuk曾經介紹這樣一個重要的定理:     

本刊英文版Vol.32(2016),No.6论文摘要（英文）

正On Proximinality of Convex Sets in Superspaces Li Xin CHENG Zheng Hua LUO Wen ZHANG Ben Tuo ZHENG Abstract In this paper,we show that a closed convex subset C of a Banach space is strongly proximinal(proximinal,resp.)in every Banach space isometrically containing it if and only if C is locally(weakly,resp.)compact.As a consequence,it is proved that local compactness of C is also equivalent to that for every Banach space Y isometrically containing it,the metric