L—Fuzzy拓扑空间的Os—连通性

在L－fuzzy拓扑空间中借助开集提出了一种具有fuzzy特色的Os-连通性,当s=0时,它就是O－连通性,讨论它的若干性质,证明它是L－好的推广。     

R＋（L）值半连续映射与连续d锥

定义L－fuzzy非负扩充实直线R＋（L）与R＋（L）值半连续映射,证明在一个L－core紧的L－fuzzy拓扑空间（L^x,δ）上的R＋（L）值下半连续映射的全体关于点式序,加法运算与数乘运算的构成一个连续d锥,推广了文献[6]中的结果。     

L-fuzzy拓扑空间中α-开运算及α-紧性

给出了L-fuzzy拓扑空间中L-fuzzyα-开运算的定义.然后借助L-fuzzyα-开运算给出L-fuzzy拓扑空间中L-fuzzyα-紧的定义;其次给出L-拓扑空间中开覆盖及fuzzyα-紧的定义;并分别得到了一些相关性质;最后讨论了L-fuzzy拓扑空间中L-fuzzyα-紧与L-拓扑空间中fuzzyα-紧之间的关系.     

L—Fuzzy拓扑空间中的可数SR—紧性

从层次结构入手引入L－fuzzy拓扑空间中的可数SR－紧性,证明了可数SR－紧性对强半闭子集遗传,可数SR－紧子集在S－不定映射 像保持,给出了可数SR－紧性的几何刻画与有限交性质的刻画。     

Fuzzy拓扑共生结构与预序关系

A. Csáaszár在[1]中引入拓扑共生(Syntopogenous)结构的概念,将拓扑结构,邻近结构,一致结构适当地统一起来研究。近年来,A·K·Katsaras等人在[2,3,4]中分别提出Fuzzy序拓扑空间,Fuzzy拓扑共生空间的概念,给出了一些基本性质。在文[6]中,我们对以完全分配格L为值域的Fuzzy拓扑共生空间作了一些初步的讨论,得到包括它与L-fuzzy拓扑,邻近性,一致性的关系,连续性,连通性等的若干性质。本文将X上的L-fuzzy拓扑共生结构与X上的预序结构联系起来,讨论了L-fuzzy拓扑共生结构生成的预序,预序决定的L-fuzzy拓扑生成结构,以及递增(减)的L-fuzzy拓扑共生结构的性质;其它进一步的讨论将在随后的工作中给出。     

L-fuzzy层次拓扑空间的准Ir—Lindelof性质

在L-fuzzy层次拓扑空间中，利用Da-闭集，定义了准Ir-Lindelof性质，得出它们在更广泛的层次拓扑空间中，保持了L—fuzzy拓扑空间中的准Lindelof性质的主要结论。例如，闭遗传性、弱拓扑不变性和好的推广等。     

L-fuzzy代数的刻画

鉴于[2]中已有fuzzy代数结合的不理想，谷文祥和卢荼在L－fuzzy集论中重新定义了L－fuzzy代数，得到了一些理想的结论。但却没有给出它的截集式刻画。本文的目的就是借助于L－fuzzy集的几种水平截集给出了它的几个等价刻画，使得它的表现更为直观且更便于应用。最后，作为应用，本文简洁地证明了L－fuzzy代数在代数同态下是不变的和逆不变的。     

L—fuzzy保序算子空间的准ω-Lindeloef性质

在L—fuzzy保序算子空间中引进了准ω-Lindeloef性质及准ω-Lindeloef空间等概念，系统地讨论了这些概念的性质，得出它们保持了L—fuzzy拓扑空间中的准Lindeloef性质的主要结论，如闭遗传性、好的推广和弱拓扑不变性等。     

L—FUZZY拓扑空间中几种紧性

本文在L－fuzzy拓扑空间中引进了几种不同的具有有限交性质的闭集族，并以此刻划了良紧空间、强F紧空间和F紧空间的特征。另外，对F紧空间还给出了复盖式以及远域族式的刻划。     

有序拓扑向量空间中的共鸣定理

本文研究有序拓扑向量空间中非线性映照的共鸣定理．对于取值于有序拓扑向量空间中的映照，利用序关系，引入了一类广泛的非线性映照．对于这类非线性映照，应用纲理论，并给出了关于点态序有界蕴涵一致序有界的共鸣定理．     

Domain函数空间上Isbell拓扑与Scott拓扑何时相同

本文证明了,若L是一个双完备的连续DCPO,则对所有的RW-空间X,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当L是有最小元的L-Domain.而且还证明了,若X是核紧的局部连通空间,则对所有有最小元的连续L-DomainL,[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.特别地,若X是连续DCPO,则对所有有最小元的连续L-DomainL,函数空间[X→L]上的Isbell拓扑和Scott拓扑相同当且仅当X是RW-空间.这也给出由Lawson和Mislove提出的一个公开问题的一个部分回答.     

The problem of the formalization of constructive topology

Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to this framework the method used to generate inductively formal topologies with a unary positivity predicate; the main problem that one has to face in such a new setting is that, as a consequence of the lack of a complete formalization, both the cover relation and the positivity predicate can have proper axioms.     

Probabilistische Topologien

Referring only to closed L-fuzzy sets we introduce a concept of probabilistic topological spaces including random metric spaces ([17]) statistical metric spaces ([9][15]) and fuzzy uniform spaces studied by Lowen [11]. In particular probabilistic topologies in the sense of Frank [5] satisfying the additional property (R3) are equivalent to systems of closed [0, 1]-fuzzy sets. Moreover random topologies as well as fuzzy topologies ([3],[13]) equipped with the property (03) can be considered as probabilistic topologies.     

Fuzzy σ-algebras and fuzzy measurable functions

In this paper we first give an axiomatic definition of a fuzzy σ-algebra which is a generalisation of the family of fuzzy events considered by L.A. Zadeh [13]. The relationship between classical and fuzzy σ-algebras and between topologies and σ-algebras, in both cases, classical and fuzzy, is established in the notation of commutative diagrams. For fuzzy topologies we refer to the work of R. Lowen [8]. After a comparison between classical measurability of functions and fuzzy measurability defined in this paper we finally introduce the product of fuzzy σ-algebras.     

Some topologies on a Šerstnev probabilistic normed space

In this paper we will introduce two other topologies, coarser than the so-called strong topology, on a class of Šerstnev probabilistic normed spaces, and obtain some important properties of these topologies. We will show that under the first topology, denoted by τ₀, our probabilistic normed space is decomposable into the topological direct sum of a normable subspace and the subspace of probably null elements. Under the second topology, which is in fact the inductive limit topology of a family of locally convex topologies, the dual space becomes a locally convex topological vector space.     

A boolean transfer principle from L*-Algebras to AL*-Algebras

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is presupposed. MSC: 03C90, 03E40, 17B65, 46L10.     

Intuitionistic choice and classical logic

Abstract. The effort in providing constructive and predicative meaning to non-constructive modes of reasoning has almost without exception been applied to theories with full classical logic [4]. In this paper we show how to combine unrestricted countable choice, induction on infinite well-founded trees and restricted classical logic in constructively given models. These models are sheaf models over a -complete Boolean algebra, whose topologies are generated by finite or countable covering relations. By a judicious choice of the Boolean algebra we can directly extract effective content from -statements true in the model. All the arguments of the present paper can be formalised in Martin-L?f's constructive type theory with generalised inductive definitions. Received: 20 March 1997 / Revised version: 20 February 1998     

Generalized topologies,generalized neighborhood systems,and generalized interior operators

We give a systematic discussion on the relationship among generalized topologies, generalized neighborhood systems, and generalized interior operators. As some applications, we answer a question raised in [7] by Shen, and characterize generalized continuous maps.     

关于无穷矩阵算子代数∑(λ,μ)的乘法连续性问题

本文对序列空间λ,μ之间的无穷矩阵算子代数∑（λ,μ）引入了16种自然的拓扑,并就这些拓补给出乘法连续性的刻划;同时,结合对∑（ω,Φ）乘法连续性的细致讨论,研究了∑（λ,μ）的乘法恒不连续的拓扑,从而全面推广并发展了[1-3]的工作．     

Equivalence of topologies and Borel fields for countably-Hilbert spaces

We examine the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and the -fields generated by these topologies. In particular, we prove that for certain countably-Hilbert spaces the strong and inductive topologies coincide and the -fields generated by the weak, strong, and inductive topologies are equivalent.