逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

几种格上拓扑空间范畴中乘积与上积运算的封闭性

本文引入四种格上拓扑空间范畴,分别讨论了其中的乘积与上积运算,以及相应的结构性、唯一性和存在性问题。通过讨论,给出了一种比较理想的格上拓扑空间的乘积空间,并指出目前使用的格上拓扑空间的乘积空间具有一定的局限性,其所属范畴的态射是Ｚａｄｅｈ型映射,这类映射保持Ｆｕｚｚｙ点的高度不变,隐含度量不变性。     

L-fuzzy集理论的范畴基础与层表示

鉴于L-fuzzy集在理论上的重要性和应用上的广泛性,旨在建立L-fuzzy集理论的范畴基础与它的层表示,提出完备范畴中对象上的格值结构概念,这一概念是L-fuzzy结构在范畴层面上的提升,进一步提出完备范畴上格值结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与格值结构是同构的.以集层、群层、环层和左R-模层以及Grothendieck层等概念为基础,提出完备范畴中对象上的层结构以及完备范畴上层结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与层结构也是同构的.     

Insertion and extension theorems for lattice-valued functions on preordered topological spaces

In this paper, the possibility of inserting an increasing continuous lattice-valued function between two comparable semicontinuous functions is studied. First, we obtain a sufficient condition for such insertion, then we get new characterizations of several classes of preordered topological spaces, among them normally preordered and extremally preorder-disconnected spaces. Conditions for the continuous and increasing extension of lattice-valued maps of the same type defined on closed (resp. open) sets are also investigated.     

L-不分明化一致空间和L-不分明化一致拓扑

通过应用完全剩余格值逻辑语义的方法把不分明化一致空间和不分明化一致拓扑推广为L-不分明化一致空间和L-不分明化一致拓扑。并且讨论了L-不分明化一致空间和L-不分明化一致拓扑的一些基本性质。     

加权测度下Banach 格值鞅的原子分解

本文讨论加权情形下Banach 格值鞅的原子分解并借助于原子分解研究Banach 格值鞅空间的内插理论.     

Monotone insertion of lattice-valued functions

Insertion of lattice-valued functions in a monotone manner is investigated. For L a ⊲-separable completely distributive lattice (i.e. L admits a countable base which is free of supercompact elements), a monotone version of the Katětov-Tong insertion theorem for L-valued functions is established. We also provide a monotone lattice-valued version of Urysohn’s lemma. Both results yield new characterizations of monotonically normal spaces. Moreover, extension of lattice-valued functions under additional assumptions is shown to characterize also monotone normality. This research was supported by the MEyC and FEDER under grant MTM2006-14925-C02-02/ and by UPV05/101     

Atomic decompositions of Banach lattice-valued martingales

In this paper, atomic decompositions of Banach lattice-valued martingales are given. We discuss the relation between the LERMT property and atomic decompositions. With the help of atomic decompositions, the relation of the martingale spaces is investigated.     

Monotone normality free of T 1 axiom

Monotone normality is usually defined in the class of T ₁ spaces. In this paper new characterizations of monotone normality, free of T ₁ axiom, are provided and it is shown that in this context it is not a hereditary property. Also, a Tietze-type extension theorem for lattice-valued functions for this class of spaces is given.     

Connectedness for lattice-valued subsets in lattice-valued convergence spaces

In this paper, a connectedness in stratified L-generalized convergence spaces, is defined and discussed. This connectedness is di?erent from Jäger’s connectedness, in particular, it is defined for L-subsets however Jäger’s connectedness is defined for crisp subsets. Thus this give a partly answer to Jäger’s question in 2016: define a connectedness for L-subsets in lattice-valued convergence spaces. Then the basic properties of this connectedness are discussed.     

Completely prime L-filters,irreducible L-filters and sobriety

In this paper, for a frame L, we characterize modified sobriety in stratified L-topological spaces and strong L-topological spaces internally using certain classes of stratified L-filters. While the first characterization using completely prime L-filters is trivial and applies to all stratified L-topological spaces, the other one using irreducible L-filters generalizes an approach of R.E. Ho?mann to the lattice-valued case but is restricted to either the case that the lattice is a complete Boolean algebra or to the case of completely distributive lattices and strong L-topological spaces.     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

格值Mealy自动机的同余和同态

提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法.     

FUZZY PRETOPOLOGICAL SPACES, AN EXTENSIONAL TOPOLOGICAL EXTENSION OF FTS

O.Introduction'ByacrazytopologyonasetXwemeanasubsetofixwhichisclosedunderfiniteintersections,arbitraryulilonsandcolltainsalltheconstantfuZzysets.ItiswellknownthatthecategoryFTSoffuzzytopologicalspacesisawell--fibredtopologicalconstruct,andsinceitcoDtainsthecategoryTopasabothreflectiveandcoreflectivesubcategory)likeTOP,thiscategorylacksmanyconvenientpropertiessuchasextensionality(fordefinitionsee[6]or4.1inthispaper),cartesianclosednessandbeingatopologicaluniverse(see[1,6]fordefinitons).SoH…     

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency

In this paper we study fuzzy Turing machines with membership degrees in distributive lattices, which we called them lattice-valued fuzzy Turing machines. First we give several formulations of lattice-valued fuzzy Turing machines, including in particular deterministic and non-deterministic lattice-valued fuzzy Turing machines (l-DTMcs and l-NTMs). We then show that l-DTMcs and l-NTMs are not equivalent as the acceptors of fuzzy languages. This contrasts sharply with classical Turing machines. Second, we show that lattice-valued fuzzy Turing machines can recognize n-r.e. sets in the sense of Bedregal and Figueira, the super-computing power of fuzzy Turing machines is established in the lattice-setting. Third, we show that the truth-valued lattice being finite is a necessary and sufficient condition for the existence of a universal lattice-valued fuzzy Turing machine. For an infinite distributive lattice with a compact metric, we also show that a universal fuzzy Turing machine exists in an approximate sense. This means, for any prescribed accuracy, there is a universal machine that can simulate any lattice-valued fuzzy Turing machine on it with the given accuracy. Finally, we introduce the notions of lattice-valued fuzzy polynomial time-bounded computation (lP) and lattice-valued non-deterministic fuzzy polynomial time-bounded computation (lNP), and investigate their connections with P and NP. We claim that lattice-valued fuzzy Turing machines are more efficient than classical Turing machines.     

THE FORGETFUL FUNCTOR Cont → Prox IS TOPOLOGICAL

Abstract

It is shown that the forgetful functor from the category of contiguity spaces to the category of generalized proximity spaces is topological, and that the right adjoint right inverse of this functor extends the inverse of the forgetful functor from the category of totally bounded uniform spaces to the category of proximity spaces.     

Uniformity Structures on L-Fuzzy Spaces

We extend the notion of a uniform space in a natural way by defining a uniform spaces in L-fuzzy spaces.Although these spaces seem quite similar to ordinary case,we show that the category of this uniform spaces is a good extension of the category of ordinary uniform spaces and the category of L-uniform spaces.Moreover,we introduce the concept of uniform topological spaces in the framework of uniform spaces in L-fuzzy spaces.Furthermore,the relation between proximity and uniform spaces in L-fuzzy spaces will...     

Two subcategories of apartness spaces

We introduce the notion of a topological quasi-apartness space and the notion of a uniform quasi-apartness space, and construct an adjunction between the category of topological quasi-apartness spaces and the category of neighbourhood spaces, and an adjunction between the category of uniform spaces and the category of uniform quasi-apartness spaces.     

Merotopological Spaces

In this paper we introduce a new topological-type of structured set called merotopological space. The appropriate morphisms are defined and characterizations of the corresponding initial and final structures are given. The resulting category contains as fully embedded subcategories not only the category of topological spaces and continuous maps but also the category of merotopic spaces and uniformly continuous maps, and, a fortiori, the category of nearness spaces and the category of uniform spaces. A functorial completion is constructed for merotopological spaces using bunches. A problem that has remained long open in the setting of nearness spaces is to find an internal characterization of the epireflective hull of the topological spaces. We solve the analogue of this problem in the setting of merotopological spaces. Applications to the Wyler prime closed filter compactification and to Taimanov's extension theorem are given.