Weaker forms of the Menger property in bitopological spaces

Abstract

In this paper we continue previous investigations on the weaker forms of the Menger property in bitopological spaces. We introduce weakly Menger property and study some topological properties of almost and weakly Menger bitopological spaces. We also consider the almost Hurewicz spaces in a bitopological context.     

On pairwise Lindelöf bitopological spaces

In this paper, we shall continue the study of bitopological separation axioms begun by Kelly and obtained some results. Furthermore, we introduce two concepts of pairwise Lindelöf bitopological spaces and the properties for them are established. We also show that a pairwise Lindelöf space is not hereditary property.     

Real dicompact textures

A notion of real compactness for completely biregular bi-T₂ ditopological texture spaces is defined and studied under the name real dicompactness. In particular it is shown that real dicompact spaces are nearly plain ∗-spaces, and an important characterization is presented. Finally the connection of this work with topological and bitopological real compactness is discussed in a categorical setting.     

Totally Bounded Quasi-Uniformities and Pseudocompactness of Bispaces

 We characterize pairwise Tychonoff bispaces that admit only totally bounded quasi-uniformities in terms of a suitable notion of bitopological pseudocompactness. We also show that a pairwise Tychonoff bispace has a unique (up to equivalence) bicompactification if and only if it admits a unique totally bounded quasi-unifomity. These results extend classical theorems of R. Doss for uniform spaces to the quasi-uniform (bitopological) setting, and are applied to the study of T ₀ topological spaces that admit a unique quasi-uniformity and a unique bicompactification, respectively. Finally, we discuss the problem of extending the classical Glicksberg theorem on product of pseudocompact spaces to bispaces and a partial solution is obtained. Supported by the Spanish Ministry of Science and Technology, grant BFM2000-1111. Supported by a grant from Generalitat Valenciana. Received November 7, 2001; in revised form August 14, 2002     

BIFRAMES AND BISPACES

Abstract

The concept of a biframe is introduced. Then the known dual adjunction between topological spaces and frames (i.e. local lattices) is extended to one between bispaces (i.e. bitopological spaces) and biframes. The largest duality contained in this dual adjunction defines the sober bispaces, which are also characterized in terms of the sober spaces. The topological and the frame-theoretic concepts of regularity, complete regularity and compactness are extended to bispaces and biframes respectively. For the bispaces these concepts are found to coincide with those introduced earlier by J.C. Kelly, E.P. Lane, S. Salbany and others. The Stone-?ech compactification (compact regular coreflection) of a biframe is constructed without the Axiom of Choice.     

Infinite distributive laws versus local connectedness and compactness properties

Various local connectedness and compactness properties of topological spaces are characterized by higher degrees of distributivity for their lattices of open (or closed) sets, and conversely. For example, those topological spaces for which not only the lattice of open sets but also that of closed sets is a frame, are described by the existence of web neighborhood bases, where webs are certain specific path-connected sets. Such spaces are called web spaces. The even better linked wide web spaces are characterized by F-distributivity of their topologies, and the worldwide web spaces (or C-spaces) by complete distributivity of their topologies. Similarly, strongly locally connected spaces and locally hypercompact spaces are characterized by suitable infinite distributive laws. The web space concepts are also viewed as natural extensions of spaces that are semilattices with respect to the specialization order and have continuous (unary, binary or infinitary) semilattice operations.     

LOCAL COMPACTNESS IN SEMI-UNIFORM CONVERGENCE SPACES

Abstract

Local compactness is studied in the highly convenient setting of semi-uniform convergence spaces which form a common generalization of (symmetric) limit spaces (and thus of symmetric topological spaces) as well as of uniform limit spaces (and thus of uniform spaces). It turns out that it leads to a cartesian closed topological category and, in contrast to the situation for topological spaces, the local compact spaces are exactly the compactly generated spaces. Furthermore, a one-point Hausdorff compactification for noncompact locally compact Hausdorff convergence spaces is considered.¹     

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.     

On some properties of bitopological QHC spaces

Some important questions connected with bitopological QHC spaces are investigated. New conditions are found, under which such spaces are compact with respect to one component of the topology. It is shown that a pairwise extremal disconnected bitopological QHC space is S-closed in the sense of [4]. Theorems on the second category of a base set and on the almost Baire property of bitopological QHC spaces are proved. Also, several properties of QHC bitopological spaces are found under some known bitopological mappings. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 2, pp. 186–192, April–June, 2006.     

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.     

Generalized semi-closed functions and semi-generalized closed functions in bitopological spaces

In this paper we introduce and investigate the notions of a new class of generalized semi-closed functions and a class of semi-generalized closed functions in bitopological spaces. We study the further properties of ij-generalized semi closed and ij-semi-generalized closed sets. Applying of these concepts of sets, we introduce and study two new spaces, namely pairwise generalized s-regular and pairwise s-normal spaces.     

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.     

New types of generalized closed sets in bitopological spaces

In this paper, we introduce a new type of closed sets in bitopological space (X, τ₁, τ₂), used it to construct new types of normality, and introduce new forms of continuous function between bitopological spaces. Finally, we proved that the our new normality properties are preserved under some types of continuous functions between bitopological spaces.     

Bitopological and topological ordered k-spaces

Domain theory, in theoretical computer science, needs to be able to handle function spaces easily. It also requires asymmetric spaces, and these are necessarily not T₁. At the same time, techniques used with the higher separation axioms are useful there (see [Topology Appl. 199 (2002) 241]). In order to handle all these requirements, we develop a theory of k-bispaces using bitopological spaces, which results in a Cartesian closed category. The other well-known way to combine asymmetry and separation is ordered topological spaces [Nachbin, Topology and Order, Van Nostrand, 1965]; we define the category of ordered k-spaces, which is isomorphic to that found among bitopological spaces.     

HEREDITARY SOBRIETY AND THE CARDINALITY OF T 1 TOPOLOGIES ON COUNTABLE SETS

Abstract

A T ₀ space is called sober provided the only irreducibly closed sets are the closures of singletons; a closed set is irreducibly closed if it cannot be written as a union of two of its proper closed subsets. The relationship between hereditarily sober spaces and the lower separation axioms is examined; e.g., every hereditarily sober space satisfies axiom T _D (the derived set of every set is closed). For T ₁ spaces, hereditary sobriety is much weaker than Hausdorff, however an hereditarily sober T ₁ topology on a countably infinite set has cardinality of the continumn.     

Priestley duality for order-preserving maps into distributive lattices

The category of bounded distributive lattices with order-preserving maps is shown to be dually equivalent to the category of Priestley spaces with Priestley multirelations. The Priestley dual space of the ideal lattice L of a bounded distributive lattice L is described in terms of the dual space of L. A variant of the Nachbin-Stone-ech compactification is developed for bitopological and ordered spaces. Let X be a poset and Y an ordered space; X ^Y denotes the poset of continuous order-preserving maps from Y to X with the discrete topology. The Priestley dual of L ^P is determined, where P is a poset and L a bounded distributive lattice.     

SHIFTLIKE APPROXIMATIONS AND TOPOLOGICAL MIXING

Abstract

We show that every map in the group G of self-homeomorphisms of the bisequence space can be approximated by homeomorphisms which “look like” the shift map and are expansive. By removing a certain open set of maps from G, we obtain a closed subspace M which contains all mixing maps. If φ · M then any shiftlike approximation to φ is topologically strong mixing. Thus the strong mixing expansive maps are dense in M. Further the weak mixing maps form a dense Gδ sets in M.     

Bitopological realcompactness

A bitopological version of realcompactness is defined. Constructions of realcompact pairwise extensions of a bitopological space are presented.     

Observations on quasi-uniform products

We prove that any product of quotient maps in the category of quasi-uniform spaces and quasi-uniformly continuous maps is a quotient map. We also show that a quasi-uniformly continuous map from a product of quasi-uniform spaces into a quasi-pseudometric T₀-space depends on countably many coordinates.Furthermore we characterize those quasi-uniformities that are unique in their quasi-proximity class and prove that this property is preserved under arbitrary products in the category of quasi-uniform spaces.     

EXPONENTIAL LAW AND θ-CONTINUOUS FUNCTIONS

Abstract

The category θ-Top of topological spaces and θ-continuous functions is not Cartesian closed; but it is known that under certain local property assumptions, the exponential law in θ-Top is fulfilled. We define a functor from θ-Top to the category of H-θ-topological spaces and prove that in this category the exponential law holds without any local property assumptions. We also provide a functor from θ-Top to Katětov's category of filter-merotopic spaces, which is Cartesian closed.