覆盖近似空间的连续与同胚映射

利用一般映射研究了覆盖近似空间的一些性质,并证明了一些结论.接着定义了覆盖空间的粗糙连续映射及粗糙同胚映射.最后在覆盖粗糙连续映射和覆盖粗糙同胚映射的条件下,研究了两个覆盖近似空间的有关性质,进而在某种程度上为覆盖近似空间的分类提供了理论依据.     

tvs锥度量空间上同胚映射的可扩性

设$f$是紧tvs锥度量空间上同胚映射. 本文证明了$f$是tvs锥可扩的当且仅当$f$有生成元. 进一步, 如果$f$是tvs锥可扩的,则具有收敛半轨的点集是可数集. 本文的这些结果改进了拓扑动力系统的一些可扩同胚定理, 将有助于研究tvs锥度量空间上同胚映射的动力性质.     

具有渐近平均跟踪性质的系统

简记渐近平均跟踪性质为AASP.对于紧致度量空间上的连续映射f,证明了:(1)f有AASP当且仅当其逆极限空间上的移位映射有AASP;(2)若f有AASP且是等度连续的,则f是极小同胚.此外,讨论了AASP的拓扑共轭不变性.     

平均跟踪性与双曲线性同胚

本文研究了双曲线性自同胚的平均跟踪性,利用双曲线性映射的性质和压缩映射定理,得到了在有界的Banach空间上的双曲线性自同胚具有平均跟踪性.另外,证明了在一般的度量空间上的压缩映射也具有平均跟踪性.     

广义L-KKM定理及其应用

引入广义L-KKM映射的概念,它包含R-KKM映射,G-KKM映射,H-KKM映射为其特例.在具有(H)性质的拓扑空间中证明了一些新的广义L-KKM型定理,并进一步获得了关于开覆盖的匹配定理.作为广义L-KKM型定理应用,证明了非空交定理.     

关于分离性和同胚关系的一些推广

1963年Norman Levine引入了半开集和半连续函数的概念。1972年S.Gene Crossley等又引入不定函数和前半开函数,定义了半同胚,讨论了一系列的半拓扑性质。以后出现了不少有关半开集和半同胚方面的论文。作者拟在这里进一步引入两类分离性和几种新的同胚,并且指出在一定意义下有些名称应当改变。 首先,我们在这里利用半开集,产生一种分离手段——半开集分离性,从而定义一系列新的拓扑空间,它们之间及它们与T_(i-)型拓扑空间(i=0,1,2,3,4)之间有着一定的联     

半流的原像熵

本文对紧致度量空间上的连续半流引入了几类原像熵的定义,并对它们的性质进行了研究,证明了对于无不动点的连续半流而言,这些熵具有一定程度的拓扑共轭不变性,对这些熵的关系进行了研究并得到了联系这些熵的不等式,还证明了连续半流与其时刻1映射具有相同的拓扑熵和原像熵。     

半广义不定映射

在L-拓扑空间中引入半广义不定映射,强半广义连续映射,全半广义连续映射,同时讨论它们一些性质。     

L-双拓扑空间的超Lindel(o)f性质

摘 要;借助α-相关远域族,在L-双拓扑空间中引入BPα-超Lindel(o)f空间和BP-超Lindel(o)f空间,研究了其等价刻画,证明了BP-超Lindel(o)f性质是弱同胚不变性和闭遗传性,是L-好的推广.     

模糊近似空间的拓扑性质

进一步研究模糊粗糙近似算子,引入伪常模糊关系的概念,给出模糊近似空间的拓扑性质。     

Problems of homeomorphism arising in the theory of grid generation

Some general criteria of being a homeomorphism for continuous maps of topological spaces and topological manifolds are proved in this paper, as well as criteria of being a diffeomorphism for smooth maps of smooth manifolds.     

逆极限的不变测度和一致正熵性质

In this paper, the interconnection of some ergodic properties between a continuous selfmap and its inverse limit is studied. It has been proved that (1) their invariant Borel probability measures are identical up to homeomorphism and (2) they preserve uniform positive entropy property simuitaneously. As applications, it is also proved that the upper semi-continu-ous properties of their entropy maps are restricted each other, and the entropy map of the asymptotically h-expansive continuous map is upper semi-contlnuous, at the same time a continuous map having u, p.e. is topological weakmixing.     

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.     

Expansive measures for flows

We extend the concept of expansive measure [2] from homeomorphism to flows. We prove for continuous flows on compact spaces that every expansive measure has no singularities in the support, is aperiodic, is expansive with respect to time-T maps (but not conversely), remains expansive under topological equivalence, vanishes along the orbits and is natural under suspensions. We apply these properties to prove that there are no expansive flows (in the sense of [26]) of any closed surface.     

On some types of covering rough sets from topological points of view

The concept of coverings is one of the fundamental concepts in topological spaces and plays a big part in the study of topological problems. This motivates the research of covering rough sets from topological points of view. From topological points of view, we can get a good insight into the essence of covering rough sets and make our discussions concise and profound. In this paper, we first construct a type of topology called the topology induced by the covering on a covering approximation space. This notion is indeed in the core of this paper. Then we use it to define the concepts of neighborhoods, closures, connected spaces, and components. Drawing on these concepts, we define several pairs of approximation operators. We not only investigate the relationships among them, but also give clear explanations of the concepts discussed in this paper. For a given covering approximation space, we can use the topology induced by the covering to investigate the topological properties of the space such as separation, connectedness, etc. Finally, a diagram is presented to show that the collection of all the lower and upper approximations considered in this paper constructs a lattice in terms of the inclusion relation ⊆.     

Matroidal approaches to rough sets via closure operators

This paper studies rough sets from the operator-oriented view by matroidal approaches. We firstly investigate some kinds of closure operators and conclude that the Pawlak upper approximation operator is just a topological and matroidal closure operator. Then we characterize the Pawlak upper approximation operator in terms of the closure operator in Pawlak matroids, which are first defined in this paper, and are generalized to fundamental matroids when partitions are generalized to coverings. A new covering-based rough set model is then proposed based on fundamental matroids and properties of this model are studied. Lastly, we refer to the abstract approximation space, whose original definition is modified to get a one-to-one correspondence between closure systems (operators) and concrete models of abstract approximation spaces. We finally examine the relations of four kinds of abstract approximation spaces, which correspond exactly to the relations of closure systems.     

关于L-fuzzy拓扑分离性的弱同胚不变性质

本文研究了一种新的弱同胚不变性质，它更具有一般性；证明了目前文献中所论述的各种分离性都是弱同胚不变性质，并且否定回答了王国俊提出的两个分离性问题。     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.     

基于k阶二元关系的直觉模糊粗糙集

利用k阶二元关系定义直觉模糊粗糙集,讨论了分别为串行、自反、对称、传递关系时所对应的上、下近似算子的性质。在有限论域U中,研究了任一自反二元关系所诱导的直觉模糊拓扑空间中直觉模糊闭包、内部算子与相对应的上、下近似算子的关系。     

Structure of continuous functions of a completely regular space

It is proved that any completely regular topological space is determined up to homeomorphism by the topological lattice (with the topology of pointwise convergence) of all its continuous real-valued functions. The well-known result of Kaplansky (for compact spaces) is a corollary of this theorem.Translated from Matematicheskie Zametki, Vol. 19, No. 6, pp. 863–869, June, 1976.