Scott开滤子拓扑的连续性巩(英文)

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑．特别地，若Ｌ的素元集是序生成集，则Ｌ为连续格当且仅当σＦ（Ｌ）为连续格．     

关于完备格的Σ—core紧性及ΣF—core紧性

所为一个格具有Σｃｏｒｅ紧性（ΣＦ－ｃｏｒｅ紧性）,是指在赋以ｓｃｏｔｔ拓扑（ｓｃｏｒｅ开滤子拓扑）之后,这个格作为拓扑空间是ｃｏｒｅ紧的。本文证明了若ΣＦ（Ｌ）为序相容拓扑空间,则Ｌ具有ΣＦ－ｃｏｒｅ紧性当且仅当Ｌ为连续格。     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，∨）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子；（２）ｘ，ｙ∈Ｌ，ｘ∨Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）；（４）Ｆ满足：ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）∨Ｆ（ｙ））＝Ｆ（ｘ∨ｙ）．另外，还给出拓扑内部算子的方程描述：集Ｘ的幂集Ｓｕ（Ｘ）到自身的映射Ｉ是Ｘ上的一个拓扑内部算子当且仅当方程Ｘ－Ａ∩Ｉ（Ａ）∩Ｉ２（Ｂ）＝Ｉ（Ｘ）－Ｉ（Ａ∩Ｂ）成立     

半连续函数空间

应用连续格理论来研究半连续函数空间，主要结果是：（１）拓扑空间Ｘ到单位区间［０，１］的下（上）半连续函数空间Ｌ（Ｘ）（Ｕ（Ｘ））的Ｗｉｊｓｍａｎ收敛是拓扑的，当且仅当Ｘ局部紧。这时，诱导拓扑作为连续格与Ｌ（Ｘ）上的Ｌａｗｓｏｎ拓扑一致；（２）具有Ｗｉｊｓｍａｎ拓扑（对偶Ｌａｗｓｏｎ拓扑）的Ｘ到［０，１］的上半连续函数空间Ｕ（Ｘ），是具有Ｋｕｒａｔｏｗｓｋｉ收敛的拓扑（对偶Ｌａｗｓｏｎ拓扑）的闭集构     

关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论

对任意一族具有小元的dcpo{Li}i∈I，证明了若每个σ(Li)是连续格，则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑，得到了关于连续函数way-below关系的一些结果。     

关于诱导的I(L)型Fuzzy拓扑群

利用Ｉ（Ｌ）型诱导空间讨论Ｌ－Ｆｕｚｚｙ拓扑群，得到了如下结论：（１）（ＬＸ，δ）是Ｌ－Ｆｕｚｙ拓扑群当且仅当（Ｉ（Ｌ）Ｘ，ω（δ））是Ｌ－Ｆｕｚｙ拓扑群；（２）诱导的Ｉ（Ｌ）型Ｆｕｚｙ拓扑群保持乘积与商运算。     

半格上算子的方程描述

文中定义了半格上的算子，给出了半格上算子的几个等价描述，得到如下定理：设（Ｌ，Ｖ）表示Ｌ是一并半格，Ｆ是Ｌ到自身的一个映射，则如下几条等价：（１）Ｆ是Ｌ上的闭包算子。（２）Ｖｘ，ｙ∈Ｌ，ｘＶＦ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；３）Ｆ是Ｌ上的闭包算子，且满足Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）；（４）Ｆ满足，ｘ≤Ｆ（ｘ）且Ｆ（Ｆ（ｘ）ＶＦ（ｙ））＝Ｆ（ｘＶｙ）。另外，还给出拓扑内部算子的方程描     

局部dcpo上的S-极限

在局部dcpo上引入了S-极限的概念，并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果：证明了U是Scott开集当且仅当U∈O(S)；D是连续的局部dcpo当且仅当，S-收敛是关于Scott拓扑的拓扑收敛。     

半连续dcpo

作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

Fuzzy格上的Urysohn度量化定理

当Ｌ是Ｆｕｚｚｙ格时,证明了一个Ｃ;拓扑分子格（Ｌ,η）可点式ｐ．度量化当且仅当其是正则的;可点式度量化当且仅当其是正则Ｔ１的。     

Z-拟代数Domain

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质．     

逆极限空间上移位映射的拓扑熵与混沌

研究了紧致度量空间上连续映射ｆ：Ｘ→Ｘ的逆极限空间上移位映射σｆ：ｌｉｎ（Ｘ，ｆ）→ｌｉｍ（Ｘ，ｆ）的拓扑熵与Ｌｉ－Ｙｏｒｋｅ意义下的混沌。证明了１）ｈ（σｆ）＝ｈ（ｆ）；２）ｆ为满射时，σｆ是Ｌｉ－Ｙｏｒｋｅ意义下混沌的当且仅当ｆ是Ｌｉ－Ｙｏｒｋｅ意义下混沌的。     

ST1，ST2及强Hausdorf分离性与λ＿截拓扑

在Ｌ＿Ｆｕｚｚｙ拓扑空间研究中几种分离性是λ＿截拓扑和λ＿弱诱导空间的关系，直接证明ＳＴ１，ＳＴ２及强Ｈａｕｓｄｏｒｆ分离性与λ＿可截性质，并得到，满层的λ＿弱诱导空间（ＬＸ，δ）是ＳＴ１空间，当且仅当λ＿截拓扑空间（Ｘ，ιλ（δ））是Ｔ１空间，当且仅当底空间（Ｘ，［δ］）是Ｔ１空间；满层的λ＿弱诱导空间（ＬＸ，δ）是ＳＴ２空间，当且仅当它是强Ｈａｕｓｄｏｒｆ空间，当且仅当λ＿截空间（Ｘ，ιλ（δ））是Ｈａｕｓｄｏｒｆ空间，当且仅当底空间（Ｘ，［δ］）是Ｈａｕｓｄｏｒｆ空间     

p.q.度量分子格中的拓扑

分子格Ｌ上的一个ｐｑ度量可自然诱导出Ｌ上一个余拓扑ηｄ和一个拓扑τｄ。证明了在拓扑分子格（Ｌ,ηｄ）中,每个分子皆有一个由τｄ－开元组成的远域基;在拓扑空间（Ｌ,τｄ）中,每个分子皆有一个由ηｄ－闭元组成的重域基,这里Ｌ是Ｆｕｚｚｙ格;若（Ｌ,ｄ）是ｐ度量Ｆｕｚｚｙ格,则τｄ′＝τｄ。     

连续广义度量空间

本文研究了连续广义度量空间的基本性质。首先证明了对于连续的广义度量空间，c-Scott拓扑和广义Scott拓扑相等；其次证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续。     

LF拓扑空间的弱导化及H（λ）实直线

引入了ＬＦ拓扑空间弱诱导化的概念，对一类更广的Ｆ格Ｌ证明了Ｈ（λ）单位区间Ｉ（Ｌ）的连通性，给出了Ｉ（Ｌ）的权与Ｌ的权之间的明确关系，定义了Ｈ（λ）的权与Ｌ的权之间的明确关系，定义了Ｈ（λ）实直线Ｒ（Ｌ），证明了Ｒ（Ｌ）的权等于Ｉ（Ｌ）的权，Ｒ（Ｌ）是非Ｆ紧的，强Ｈａｕｓｄｏｒｆｆ的Ｈ（λ）完全正则空间，并证明了当Ｌ的权可数，且Ｌ为链或满足条件Ｌ－｛１｝＝Ｕ｛↓ｅ：ｅ∈Ｓ｝（其中Ｓ为Ｌ（｛１｝的有     

函数空间［X→L］上若干拓扑之间的关系

作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.     

函数空间[X→L]上若干拓扑之间的关系

讨论在函数空间上Isbell拓扑和Scott拓扑何时一致是domain理论中很重要的问题。作者给出了两个主要定理：(1) L 是带有性质m 的含最小元的连续domain，则函数空间[X→L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain. (2) L 是含最小元的连续domain，则函数空间[X→L]上Scott拓扑与 Isbell拓扑对于所有RW空间X一致当且仅当L是Lawson紧的。     

循环群偏序集上的拓扑

利用循环群的特殊代数结构,引入了Scott子群拓扑σP(G),讨论了循环群偏序集上3种不同拓扑之间的关系,即循环群拓扑O(G)、Scott拓扑σ(G)和Scott子群拓扑σP(G),并得出若(G,O(G))是T0的紧空间且sub(G)分离G中的点,则CO(G)=σ(G)=σP(G).