不同值域格值拓扑空间中的F紧性

讨论了F紧性在不同值域格值拓扑空间中的乘积问题.证明了模糊子集的重积是F紧子集当且仅当每个模糊子集是F紧子集.从而,在重积空间中,F紧性的Tychonoff乘积定理成立.     

本刊外文版6卷3期文章简介

<正> 格值半连续映射在解决L不分明紧化理论问题中起着基本而重要的作用,在本文中,我们给出了格值半连续映射与格的完全分配性之间的相互描述关系、格值满层空间、弱诱导空间和诱导空间(统称之     

不分明嵌入理论及其应用

本文讨论一类格上拓扑学中嵌入问题,确切说是讨论值域为fuzzy格的L不分明拓扑空间中嵌入理论及其应用.首先概述若干诸如不分明单位区间、重域构造以及格上保并映射类的代数运算等基础性成果.其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理.最后作为嵌入定理的应用,得到了不分明Urysohn度量化定理并完成了不分明Stone-Cech紧化的一般理论。     

不分明拓扑空间中完全正则性的点式刻划与嵌入定理

本文研究了以一般格为值域的不分明拓扑空间中的嵌入问题,提出了一种在嵌入理论中较贴切的分离性,利用重域构造与格上某种映射类的代数性质,给出了不分明完全正则性的点式刻划,并证明了关于不分明一致结构的Weil定理,建立了不分明基本方体中一般性的嵌入定理     

格值半连续映射和L-不分明Hausdorff良紧空间

本文给出了格值映射上(下)半连续性的一组代数刻划,证明了Hausdorff良紧空间的子集是良紧集当且仅当它是底空间上的上半连续映射,进而给出了Hausdorff良紧空间的拓扑结构。应用这一结果,改进了[4]关于T_2~*弱诱导紧化方面的基本结果,使之适合于更一般的Hausdorff紧化;本文还讨论了良紧空间上的连续映射的若干性质。     

连续映射扩充的格论处理

本文研究了拓扑空间上的连续映射扩充的问题.利用格论方法,获得了值域为局部紧Hausdorff空间的连续映射从稠密子空间连续扩充到整个空间的一个充要条件;推广了Blair的两个结果,并将其作为特例.     

格值命题逻辑系统L（X）（Ⅱ）

本文讨论以格蕴涵代数为真值域的格值命题逻辑系统Ｌ（Ｘ）的语法问题，给出了系统的公理和推演规则，并证明了系统的可靠性定理，演绎定理及协调性定理。     

有限可补格上的一阶格值逻辑几个性质

本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.     

弱向量变分不等式的解集及其连通性

建立Hausdorff拓扑向量空间的非空凸子集到其值域为连续线性映射空间L(X, Y) 内的C -单调映射的弱向量变分不等式和它的纯量型变分不等式问题解的存在性, 讨论该弱向量变分不等式与之相联系的纯量型变分不等式解集的关系, 利用映射的C -弱次连续和C -单调性及其集值映射的不动点定理,通过纯量型变分不等式解集所诱导的集值映射所具有的特性给出弱向量变分不等式解集的连通性.     

否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

I(L)值半连续映射与一类新的诱导空间

本文讨论了I(L)值半连续映射的基本性质,证明了当L为具有逆序对合对应的无穷分配格时,L-不分明拓扑空间(L~X,δ)上的所有 I(L)值下半连续映射的集对任意并与有限交运算封闭,因而诱导出一个 I(L)—不分明拓扑空间(I(L)~X,ω(δ));然后讨论了诱导空间的一些性质,特别证明了它们是保乘积的,并且给出了 I(L)—不分明拓扑空间是诱导空间的充要条件。     

拓扑空间中Fan-Browder映射的连续选择定理及其应用

首先,在不具有任何凸性结构的拓扑空间中引入Fan-Browder映射的概念．然后,证明了一个新的关于Fan-Browder映射的连续选择定理,其中定义域是非紧的,值域是不具有任何凸性结构的拓扑空间的子集．作为应用,给出了一些不动点定理、叠合点定理和一个非空交定理．这些新的概念和定理统一和推广了许多已有的结果．     

WZ-Domain与WZ-Scott拓扑

引入WZ-双小于关系, 以此为基础给出WZ-Domain的概念, 讨论它的基本性质, 证明当子集系统Z满足一定条件时, WZ-Domain上的WZ-双小于关系具有插入性.其次, 在Z-完备偏序集上定义WZ-Scott拓扑, 证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之并. 最后对WZ-Domain上的WZ-Scott拓扑的性质进行研究, 证明对一类子集系统,WZ-Scott拓扑空间是Sober空间当且仅当该拓扑空间具有Rudin性质.     

Pontriagin空间上算子的交换性

证明了:当Pontrjagin空间上的正规算子A没有零性不变子空间时,Putnam- Fuglede定理成立;当正规算子A有零性不变子空问时,通过构造反例说明此时Putnam- Fuglede定理不成立,并对Π1空间上算子相关的交换性条件进行了讨论,得到了Π1空间上算子代数的二次交换定理．     

拓扑分子格的分离公理

在[1]中我们建立了拓扑分子格的理论,它既是古典的点集拓扑学的推广,又是晚近发展起来的Fuzzy拓扑学的推广,对于某些Fuzzy格L(如L是线性序集或L是分子格等),它也是L—Fuzzy拓扑学的推广。因此,凡在拓扑分子格中得到的结果自然都是上述各种拓扑学中相应定理的一般化形式。在本文中我们将讨论拓扑分子格的分离公理。 我们熟知点集拓扑学中的分离公理有多种不同的等价形式。以正则性为例,设X是拓扑空间,X叫正则的,当且仅当对每个点a∈X以及a的每个开邻域U,a有开邻域V满足条件V~-U。这一分离公理又可表述为:设a∈X,F是X中不包含a的闭集,则有开集P     

有可数基的半一致格

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

关于紧连续L-domain的一个刻画定理

本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理．其主要结果是：连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致．     

引理与弧连通完全分配格

称一个完全分配格L满足Urysohn条件,如果对任一正规空间X及X的任意两个不交闭子集A,B都有连续映射fX→L,使得f［A］=0,f［B］=1,这里L赋予区间拓扑.本文证明了完全分配格L满足Urysohn条件当且仅当L弧连通,而L弧连通又等价于L有同构于单位区间I的极大链     

一种新的L-fuzzy仿紧性

在L-fuzzy拓扑空间上引入了S-紧和S-仿紧的概念,证明了Tychonoff定理对S-紧是成立的;证明了弱诱导的L-fuzzy拓扑空间是S-仿紧的,当且仅当(X,[δ])是仿紧的。并且证明了满足S-T2分离性的S-仿紧的L-fuzzy拓扑空间是S-正则。     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.