csf可数空间的注记

讨论csf可数空间的性质,把csf可数空间刻画为度量空间的映像,同时探讨了伪紧的csf可数空间的第一可数性质,推广了Arhangel’skiˇ?关于度量空间伪开s映像的结果,证明了正则伪紧的仿拓扑群是可度量化的当且仅当它是csf可数的Fr′echet空间.     

关于函数空间上三个特殊拓扑满足第一可数公理的条件

本文给出了函数空间上的一致收敛拓扑、紧收敛拓扑及 Cauchy收敛拓扑满足第一可数公理的条件 .     

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

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

关于1-序列商映射

引进了1-序列商映射，证明了1-序列商映射象保持sm-第一可数空间．作为这一结果的一个应用，本文证明了几乎开，闭映射保持度量空间，g-度量空间，sm-度量空间．此外本文还证明了度量空间上的1-序列商，紧映射是1-序列覆盖映射．这些结果改进并推广了广义度量空间映射象的有关理论．     

可数对一映射及相关问题

本文研究了■0-sn-度量空间与度量空间之间的关系.利用特殊映射,获得了在序列空间中下述命题等价:(1)空间X是■0-sn-度量空间;(2)存在从度量空间M到X可数对一、序列商、σ映射f;(3)存在从度量空间M到X可数对一、序列商、σ映射f使得对每一个x∈X,■f-1(x)是σ-紧.推广了参考文献[3,4]中的一些结果.     

格上点式p.q.度量的乘性

本文在可数多个分子格的乘积上构造了一个乘积点式p·q·度量函数,从而证明了点式p·q·度量分子格的可数积是可点式p·q·度量化的.     

度量空间的序列覆盖边界紧映象(英文)

本文主要讨论了度量空间的序列覆盖边界紧映象.用序列商、序列覆盖或1-序列覆盖的纤维边界紧或有限来刻画具有sn网或弱基的空间.主要结果如下:(1)度量空间上的序列覆盖边界紧映射是1-序列覆盖映射;(2)空间X是度量空间的序列商边界紧映象当且仅当X是snf-第一可数空间;(3)空间X是度量空间的序列覆盖边界紧S映象当且仅当X有点可数sn-网.     

拓扑空间可度量化的充要条件

本文研究了拓扑空间的可度量化的充要条件.利用可数开覆盖的性质和度量化的遗传性及定义,获得了拓扑空间可度量化的两个充要条件结果,推广了构造可度量化的拓扑空间和判断拓扑空间是度量空间的依据.     

黎曼空间的全测地曲面的推广

<正> 在本文中我们给出黎曼空间中全测地曲面的两种推广,即第一类和第二类次测地曲面.首先将全测地曲面概念加以推广的是谷超豪,他在仿射联络空间的研究中引进了ρ型次全测地曲面(在黎曼空间中现称为第一类次测地曲面)的概念,本文就是在这个基础上层开讨论的.在§1我们得到了次测地曲面的充要条件,在§2中将平面公理推广到第一类次测地曲面提出了第一类次平面公理,在§3提出了第二类次平面公理.     

概率逻辑学基本定理在多值命题逻辑系统中的推广

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.     

一类g-第一可数空间的刻画

本文引进了弱开映射,利用它把一类ｇ－第一可数空间刻画为度量空间在不同弱开映射下的象,特别地,本文肯定回答了Ｈｏｓｈｉｎａ的一个问题。     

关于局部可数网与ss映射

本文建立了度量空间在几类序列覆盖ss映射下象空间的特征,讨论了局部可数集族与局部可数基（弱基）之间的相互关系,特别地证明了几类具有特定性质的局部可数网的正则空间与度量空间的几类序列覆盖ss映象之间相互等价,回答了Tanaka提出的一个问题．     

关于σ-局部可数映射(英文)

借助σ-局部可数映射,建立了一些具有σ-局部可数网的空间与度量空间之间的关系。     

关于R-商、ss-映射

本文借助于R-商、ss-映射建立具有局部可数k-网的k_R-空间(具有由紧子集组成的局部可数k-网的k_R-空间)和度量空间(局部紧度量空间)之间的联系。     

局部可数集族、局部有限集族与Alexandroff问题

本文引进分层强ｓ－映射和分层强紧映射建立具有σ－局部可数网、具有σ－局部可数ｋ－网、具有σ－局部可数基的正则空间以及σ－空间、－空间、ｇ－可度量空间和确定的度量空间之间的联系．这些都是对Ａｌｅｘａｎｄｒｏｆｆ问题的回答．     

局部可数集族、局部有限集族与Alexandroff问题

本文引进分层强ｓ－映射和分层强紧映射建立具有σ－局部可数网、具有σ－局部可数ｋ－网、具有σ－局部可数基的正则空间以及σ－空间、－空间、ｇ－可度量空间和确定的度量空间之间的联系．这些都是对Ａｌｅｘａｎｄｒｏｆｆ问题的回答．     

Fuzzy度量的点式刻划及其应用

本文对[1]中引入的Fuzzy P.度量给出了一个颇具直观的点式刻划.利用这个刻划,给出了关于Fuzzy度量的可数乘性的一个构造性证明;并且Fuzzy P.度量空间中的网收敛可用此点式度量直观地表出.     

F*空间上点态半有界和非无界线性算子族的共鸣定理

证明每个F~*空间(即满足第一可数公理的Hausdorff拓扑向量空间)可借助于它的"标准生成伪范数族"来表征.利用标准生成伪范数族P,在F~*空间中引入P-有界集、P-半有界集和P-无界集的概念,建立点态半有界和非无界线性算子族的共鸣定理.作为其推论,得到了Menger概率赋范空间中点态概率半有界和非概率无界线性算子族的共鸣定理,改进并推广了某些已有的结果.     

有可数基的半一致格

在[1]中,Carlson 用接近结构刻划了可展空间,基本的结果是:一个拓扑空间 E是可展的当且仅当它的拓扑由一个有可数基的半一致(即接近)导出。本文建立有可数基的半一致格的几个结果,它们可看作是度量空间的相应定理的推广。这些结果将特别适用于可展拓扑空间与模糊半一致空间。     

关于弱拟第一可数空间的注记

给出一个弱拟第一可数空间成为弱第一可数空间的充要条件,证明了空间是弱第一可数空间当且仅当它是具有序列点Gδ性质的弱拟第一可数空间且不含Sw的闭拷贝.同时还证明了每一弱第一可数空间(弱拟第一可数空间)都是某个第一可数空间的商二到一映像(商可数到一映像),作为应用,部分回答了林寿(2007)的一个问题.