LOWER SET-VALUED FUZZY TOPOLOGIES

Abstract

A construction by the second author of generating fuzzy topologies from a decreasing chain of fuzzy topologies is generalized by considering the lattice of all lower sets of a completely distributive lattice as a range space of a fuzzy topology.     

PRECOMPACTNESS IN FUZZY UNIFORM SPACES

Abstract

The notion of a precompact fuzzy set in a fuzzy uniform space is defined and it is shown that this is a good extension of the standard notion. A theory of precompact fuzzy sets is developed using the previously defined notion of a Cauchy prefilter in a fuzzy uniform space and this theory generalises standard theory.     

ON CERTAIN INITIAL COMPLETIONS IN FUZZY TOPOLOGY

Abstract

Following a lead given by I.W. Alderton, it is shown that the MacNeille completion and the universal initial completion coincide for the categories of zero-dimensional fuzzy T₀-topological spaces, T₀-fuzzy closure spaces, 2T ₀-fuzzy bitopological spaces, and T ₁-fuzzy topological spaces and that these turn out to be respectively the categories of zero-dimensional fuzzy topological spaces, fuzzy closure spaces, fussy bitopological spaces, and fuzzy R ₀ topological spaces.     

POWERSET OPERATOR BASED FOUNDATION FORPOINT-SET LATTICE-THEORETIC (POSLAT) FUZZY SET THEORIES and TOPOLOGIES

Abstract

This paper sets forth in detail point-set lattice-theoretic or poslat foundations of all mathematical and fuzzy set disciplines in which the operations of taking the image and pre-image of (fuzzy) subsets play a fundamental role; such disciplines include algebra, measure and probability theory, and topology. In particular, those aspects of fuzzy sets, hinging around (crisp) powersets of fuzzy subsets and around powerset operators between such powersets lifted from ordinary functions between the underlying base sets, are examined and characterized using point-set and lattice-theoretic methods. The basic goal is to uniquely derive the powerset operators and not simply stipulate them, and in doing this we explicitly distinguish between the “fixed-basis” case (where the underlying lattice of membership values is fixed for the sets in question) and the “variable-basis” case (where the underlying lattice of membership values is allowed to change). Applications to fuzzy sets/logic include: development and justification/characterization of the Zadeh Extension Principle [36], with applications for fuzzy topology and measure theory; characterizations of ground category isomorphisms; rigorous foundation for fuzzy topology in the poslat sense; and characterization of those fuzzy associative memories in the sense of Kosko [18] which are powerset operators. Some results appeared without proof in [31], some with partial proofs in [32], and some in the fixed-basis case in Johnstone [13] and Manes [22].     

FUZZY SYNTOPOGENEOUS STRUCTURES

Abstract

The author gives a detailed analysis of the relation between the theories of realcompactifications and compactifications in the category of ditopological texture spaces and in the categories of bitopological spaces and topological spaces.     

RELATIVE COMPACTNESS AND COMPACTNESS OF GENERAL SUBSETS IN AN I- TOPOLOGICAL SPACE

Abstract

In a previous work, we introduced a form of compactness applicable to general fuzzy sets in an I-topological space. It was shown that many of the standard results for compactness in general topology remain valid in the fuzzy setting. In this paper we continue our investigations into the behaviour of compact fuzzy subsets. We also introduce the notion of a relatively compact fuzzy subset and obtain results very similar to those of general topology. Many of our results are in the setting of fuzzy neighbourhood space and fuzzy uniform spaces. In particular, a number of criteria for compactness, already known for the whole space, are extended to arbitrary fuzzy subsets in a fuzzy neighbourhood space.     

COMPLETENESS IN LINEAR FUZZY NEIGHBORHOOD SPACES

Abstract

Some of the problems related to the completeness in linear fuzzy neighborhood spaces are investigated. It is shown that if (E, N) is a linear fuzzy neighborhood space, then the space É = M(E) of all minimal hyper-Cauchy prefilters on (E, N), equipped with a certain linear fuzzy neighborhood structure N, is the unique, up to isomorphism, ultracompletion of (E, N).     

FUZZY IDEALS OF GROUP GRADED RINGS AND THEIR SMASH PRODUCTS

ABSTRACT

We prove the fuzzy analogoues of the Orbit Problem, Incomparability and Going down problem for group graded rings and their smash products.     

CATEGORICAL AXIOMS OF NEIGHBORHOOD SYSTEMS

Abstract

This paper presents a categorical formulation of the neighborhood axioms of topological spaces including a characterization by the corresponding axioms of interior operators. Properties as Hausdorff's separation axioms, compactness are discussed, and various links to internal topologies of topoi, fuzzy topologies, etc. are given.     

The Hausdorff separation axiom for fuzzy topological spaces

We develop a theory of α-Hausdorff fuzzy topological spaces which is compatible with α-compactness and fuzzy continuity, and for α a certain type of member of a given lattice we obtain characterizations of the α-Hausdorff subspaces of the fuzzy unit interval, the fuzzy open unit interval, and the fuzzy real line. In route we give an easy proof of the Fuzzy Tychonov Theorem for α-compactness and extend the theory of one-point α-compactifications.     

PROPOSITIONAL LOGIC,FRAMES, AND FUZZY ALGEBRA

Abstract

This paper offers a new look at such things as the fuzzy subalgebras and congruences of an algebra, the fuzzy ideals of a ring or a lattice, and similar entities, by exhibiting them as the models, in the chosen frame T of truth values, of naturally corresponding propositional theories. This provides a systematic approach to the study of the partially ordered sets formed by these various entities, and we demonstrate its usefulness by employing it to derive a number of results, some old and some new, concerning these partially ordered sets. In particular, we prove they are complete lattices, algebraic or continuous, depending on whether T is algebraic or continuous, respectively (Proposition 3); they satisfy the same lattice identities for arbitrary T that hold in the case T = 2 (Corollary of Proposition 4); and they are coherent frames for any coherent T whenever this is the case for T = 2 (Proposition 6). In addition we show, generalizing a result by Makamba and Murali [10], that the familiar classical situations where the congruences of an algebra correspond to certain other entities, such as the normal subgroups of a group or the ideals of a ring, extend to the fuzzy case by proving that the corresponding propositional theories are equivalent (Proposition 2). Further, we obtain the result of Gupta and Kantroo [5] that the fuzzy radical ideals of a commutative ring with unit are the meets of fuzzy prime ideals for arbitrary continuous T in place of the unit interval, using basic facts concerning continuous frames (Proposition 7).     

On convergence in fuzzy metric spaces

The concept of p-convergence in fuzzy metric spaces, in George and Veeramani's sense, has been recently given by D. Mihet in [D. Mihet, On fuzzy contractive mappings in fuzzy metric spaces, Fuzzy Sets and Systems 158 (2007) 915-921]. In this note we study some aspects relative to this concept and characterize those fuzzy metric spaces, that we call principal, in which the family of p-convergent sequences agrees with the family of convergent sequences. Also a non-completable fuzzy metric space, which is not principal, is given.     

Fuzzy (Θ, S)-continuity and fuzzy (Θ, S)-closed graphs

The concept of (,s)-continuity [6] is considered and studied in fuzzy setting. It is seen that althought it is independent with each of the concepts of fuzzy continuity [2], fuzzy -continuity [10], fuzzy almost continuity [1] and fuzzy semicontinuity [1]; it implies fuzzy weak continuity [1], but the converse may not be true. The image of a compact fts [2] under a fuzzy (,s)-continuous surjective function isS-closed [5]. Finally the concepts of fuzzy (,s)-closed graphs, fuzzy (,s)-T ₂ spaces and fuzzy Urysohn spaces are introduced and mainly their connections with fuzzy (,s)-continuity are studied.     

EMBEDDINGS INTO THE CATEGORY OF SUPER UNIFORM SPACES

Abstract

The category US of uniform spaces has been generalised in various ways. The category FUS, of fuzzy uniform spaces and the category GUS, of generalised uniform spaces have both been shown to be good extensions in the sense that US can be embedded into them. We show here that the category SUS, of super uniform spaces also enjoys this property and furthermore, the categories FUS and GUS can be embedded into SUS.     

On the division by R n

Summary In this paper we prove that, ifS ×R ⁿ is homeomorphic toR ^{n + 1}, thenS is homeomorphic toR.     

On the semi-uniformity of bornological convergence

Abstract

When in the construction of the ρ-Hausdorff distance the balls with finite radius are replaced with an arbitrary ideal of bounded sets we no longer obtain a uniformity, but a semi-uniformity. In this paper we study the uniform reflection of this structure and its properties.     

On the Urysohn number of a topological space II

Abstract

Some variations of Arhangel'skii inequality ∣X∣ = 2^χ(X)L(X) for every Hausdorff space X [3], given in [2] and [6] are improved.     

BASIC ASPECTS OF UNIRATIONAL HOMOTOPY THEORY

Abstract

In this note clopen-to-closed mappings are used to characterize strongly zero-dimensional spaces and ultranormal spaces.     

On Q-sobriety

The study of fixed-basis variety-based topology was initiated by S.A. Solovyov (in 2008), which, among other things, generalizes fuzzy topology. We extend within this framework, an earlier result due to Srivastava et al. (in 1998), which showed that the category of sober fuzzy topological spaces is the epireflective hull of the fuzzy Sierpinski space in the category of T₀-fuzzy topological spaces.