L-拟序集上的广义Alexandroff拓扑与广义超度量空间上的广义Alexandroff拓扑

证明[10]中定义的L-拟序集上的广义Alexandroff拓扑是[2]中定义的广义超度量空间上的广义Alexandroff拓扑的推广，并且广义超度量空间中有关广义Alexandroff拓扑的许多性质都可以推广到L-拟序集中。     

量化Domain理论的L-Fuzzy式处理(Ⅱ)L-Fuzzy拟序集的表示

本文是文献的续。对于固定的Frame L，本文证明了每个LF-拟序集可以等价地表示为拟序的层，该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论：一类量化Domain(例如，广义超度量Domain)实际上是将满足一定条件的拟序族进行“粘贴”的结果(按照层论的语言叙述，就是拟序的层)，而通常的拟序则是常值拟序层的特例。     

量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示

本文是文献[4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述,就是拟序的层),而通常的拟序则是常值拟序层的特例。     

模糊偏序集上理想完备的幂等性

主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的.     

拟序下非连续增算子新的广义不动点定理

运用序方法研究了拟序空间X中具A=CB型非连续增算子的广义不动点的存在性问题,证明了在拟序空间X中具A=CB型非连续增算子存在最小广义不动点和最大广义不动点.所得结果推广了相关结论.     

r-拟半开L-集和r-拟半闭L-集

在L-fuzzy拓扑空间中引入r-拟半开L-集和r-拟半闭L-集,正则r-拟半开L-集和正则r-拟半闭L-集,同时讨论它们一些性质.     

L-拓扑空间的强拟半开集

在L-拓扑空间给出了强拟半开集和强拟半闭集的概念,并且讨论了它们的一些性质.     

L-Fuzzy拟序集的理想完备化

建立[4]中定义的L-fuzzy拟序集的一种理想完备化,即证明了L-fuzzy拟序集上的所有L-fuzzy理想组成的集合,赋以合适的程度映射构成L-fuzzydomain,任意从L-fuzzy拟序集到L-fuzzydomain的L-fuzzy单调映射都可以扩张成为一个L-fuzzyScott连续映射。     

L-拓扑空间中的半拟紧性

在L-拓扑空间中借助于半拟开L-集合和它们的不等式给出了半拟紧性的一个新定义,这里L是完备的DeMorgan代数。它也能够借助于半拟闭L-集和它们的不等式刻画。当L是完全分配的DeMorgan代数时,它的许多刻画被给出了。     

分层偏序集上的广义Scott拓扑与不可约拓扑

分层偏序集指的是一个偏序集,且具有其交为已知偏序的按包含递减的偏序族[10]。本文仿照[1]的思路,在分层偏序集上定义了不可约拓扑,讨论了该拓扑的基本性质,特别是限制到偏序集上即得Scott拓扑。不同于一般偏序集上的Scott拓扑恰为Alexandroff拓扑的不可约拓扑,本文通过例子表明分层偏序集上的广义Scott拓扑并非广义Alexandroff拓扑的不可约拓扑。     

Topologies on totally ordered sets

A well-formed ordered space is a totally ordered set equipped with any topology which possesses a subbase consisting entirely of initial and final segments of the set. The well-formed ordered spaces are the structures obtained by repeatedly taking subspaces, quotient spaces and inverse limits, starting from a collection of totally ordered sets with the interval topology, and the paper studies their properties.     

基于二元关系的直觉模糊近似空间与直觉模糊拓扑

讨论在一般二元关系下直党模糊近似空间诱导的直党模糊拓扑空问的若干性质;由直觉模糊拓扑空间诱导直觉模糊近似空同所需的TC条件及其所得近似空间的近似算子若干性质.     

集值映射向量最优化的最优性条件

本文在序线性拓扑空间中,证明了广义Y+一次似凸集值映射的一个择一性定理,利用此定理,我们得到集值映射向量最优化问题的最优性条件.     

决策信息系统中的拓扑学方法

在决策信息系统中引入拓扑结构,借助拓扑学的基本概念(拓扑、内部和闭包等)研究决策问题,用它们刻画决策信息系统中的一些重要概念(决策协调集、决策约简集、下近似协调集、下近似约简集、上近似协调集、上近似约简集),并利用它们把这些重要概念推广到最一般的情况,建立起相应的约简理论.     

一类广义变换半群的格林关系

设X是一个全序集，E是X上的一个凸等价关系．令 OE（X）={f∈TE（X）：Ax，y∈X，x≤y→f（x）≤f（y））， 其中TE（X）是E-保持变换半群．对于取定的θ∈OE（X），在OE（X）上定义运算fog=fθg，使OE（X）成为广义半群OE（X；θ）．对于有限全序集X上的凸等价关系E，本文刻画了广义半群OE（X；θ）的正则元，描述了这个半群的格林关系．     

Compatible connectedness in graphs and topological spaces

A topology on the vertex set of a graphG iscompatible with the graph if every induced subgraph ofG is connected if and only if its vertex set is topologically connected. In the case of locally finite graphs with a finite number of components, it was shown in [11] that a compatible topology exists if and only if the graph is a comparability graph and that all such topologies are Alexandroff. The main results of Section 1 extend these results to a much wider class of graphs. In Section 2, we obtain sufficient conditions on a graph under which all the compatible topologies are Alexandroff and in the case of bipartite graphs we show that this condition is also necessary.     

Topology vs generalized rough sets

This paper investigates the relationship between topology and generalized rough sets induced by binary relations. Some known results regarding the relation based rough sets are reviewed, and some new results are given. Particularly, the relationship between different topologies corresponding to the same rough set model is examined. These generalized rough sets are induced by inverse serial relations, reflexive relations and pre-order relations, respectively. We point that inverse serial relations are weakest relations which can induce topological spaces, and that different relation based generalized rough set models will induce different topological spaces. We proved that two known topologies corresponding to reflexive relation based rough set model given recently are different, and gave a condition under which the both are the same topology.