ALMOST 2-FULLY NORMAL,PAIRWISE PARACOMPACT AND COMPLETE DEVELOPABLE BISPACES

Abstract

Dedicated to Professor Sergio Salbany on the occasion of his 60th birthday.

We introduce and study the notion of an almost 2-fully normal bispace. In particular, we prove that a bispace is quasi-pseudometrizable if and only if it is almost 2-fully normal and pairwise developable. We obtain conditions under which an almost 2-fully normal bispace is subquasi-metrizable and show that the fine quasi-uniformity of any subquasi-metrizable topological space is bicomplete. We prove that every pairwise paracompact bispace (in the sense of Romaguera and Marin, 1988) is almost 2-fully normal and that the finest quasi-uniformity of any 2-Hausdorff pairwise paracompact bispace is bicomplete. We also characterize pairwise paracompactness in terms of a property of σ-Lebesgue type of the finest quasi-uniformity. Finally, we use Salbany's compactification of pairwise Tychonoff bispaces to characterize those bispaces that admit a bicomplete pair development and deduce that an interesting example of R. Fox of a non-quasi-metrizable pairwise stratifiable pairwise developable bispace admits a bicomplete pair development.     

Bispaces admitting only bicomplete or only totally bounded quasi-metrics

We characterize quasi-metrizable bispaces that admit only bicomplete quasimetrics by means of doubly primitive sequences, and deduce that if (X, S, T) is a quasi-metrizable bispace admitting only bicomplete quasi-metrics and either (X, S) or (X, T) is hereditarily Lindelöf, then (X, S ∨ T) is compact. We also give an example which shows that hereditary Lindelöfness cannot be omitted in the above result. Finally, we show that a quasi-pseudometrizable bispace (X, S, T) admits only totally bounded quasi-pseudometrics if and only if (X, S ∨ T) is compact, and deduce that a quasi-pseudometrizable topological space admits only totally bounded quasi-pseudometrics if and only if it is hereditarily compact and quasi-sober (equivalently, if and only if it admits a unique quasi-uniformity).     

PAIRWISE ALMOST COMPACT SPACES

ABSTRACT

The purpose of this paper is to investigate pairwise almost compact bitopological spaces. These spaces satisfy a bitopological compactness criterion which is strictly weaker than pairwise C-compactness and is independent of other well-known bitopological compactness notions. Pairwise continuous maps from such spaces to pairwise Hausdorff spaces are pairwise almost closed, the property is invariant under suitably continuous maps, is inherited by regularly closed subspaces and may be characterized in terms of certain covers as well as the adherent convergence of certain open filter bases. Some new natural bitopological separation axioms are introduced and in conjunction with pairwise almost compactness yield interesting results, including a sufficient condition for the bitopological complete separation of disjoint regularly closed sets by semi-continuous functions.     

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.     

Bitopologies on Totally Ordered Sets

We study the category of ray bispaces, that is, the category whose objects are totally ordered sets with two topologies, each having a subbase of rays and so that the resulting bitopological space is pairwise weakly symmetric, and whose morphisms are the pairwise continuous functions. In contrast with the purely topological results of [5], we show that, (1) such spaces are utterly normal and hence monotonically normal (in the sense of [6]), and (2) (Intermediate Value Theorem) the pairwise continuous image of a pairwise connected bitopological space in a selective ray bispace is an interval. We also obtain conditions for the equality of the de Groot dual (see [4]) and the ray dual (see [5]) of a ray topology and show that a selective ray topology is compact if and only if it is skew compact.     

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.     

STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES

Abstract

A bispace is called strongly zero-dimensional if its bispace Stone—?ech compactification is zero—dimensional. To motivate the study of such bispaces we show that among those functorial quasi—uniformities which are admissible on all completely regular bispaces, some are and others are not transitive on the strongly zero-dimensional bispaces. This is in contrast with our result that every functorial admissible uniformity on the completely regular spaces is transitive precisely on the strongly zero-dimensional spaces.

We then extend the notion of strong zero-dimensionality to frames and biframes, and introduce a De Morgan property for biframes. The Stone—Cech compactification of a De Morgan biframe is again De Morgan. In consequence, the congruence biframe of any frame and the Skula biframe of any topological space are De Morgan and hence strongly zero-dimensional. Examples show that the latter two classes of biframes differ essentially.     

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 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.     

Closed structures on categories of topological spaces

The category of all topological spaces and continuous maps and its full subcategory of all T_o-spaces admit (up to isomorphism) precisely one structure of symmetric monoidal closed category (see [2]). In this paper we shall prove the same result for any epireflective subcategory of the category of topological spaces (particularly e.g. for the categories of Hausdorff spaces, regular spaces, Tychonoff spaces).     

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.     

Bitopological realcompactness

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

Monotone versions of δ-normality

According to Mack a space is countably paracompact if and only if its product with [0,1] is δ-normal, i.e. any two disjoint closed sets, one of which is a regular Gδ-set, can be separated. In studying monotone versions of countable paracompactness, one is naturally led to consider various monotone versions of δ-normality. Such properties are the subject of this paper. We look at how these properties relate to each other and prove a number of results about them, in particular, we provide a factorization of monotone normality in terms of monotone δ-normality and a weak property that holds in monotonically normal spaces and in first countable Tychonoff spaces. We also discuss the productivity of these properties with a compact metrizable space.     

SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Abstract

Smyth completeness is the appropriate notion of completeness for quasi-uniform spaces carrying an additional topology to serve as domains of computation [2, 3]. The goal of this paper is to provide a better understanding of Smyth completeness by giving a characterization in terms of nets. We develop the notion of computational Cauchy net and an appropriate notion of strong convergence to get the result that a space is Smyth complete if and only if every computational Cauchy net strongly converges. As we are dealing with typically non-symmetric spaces, this is not an instance of the classical net-filter translation in general topology.     

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.     

The construction of all locally compact extensions

The paper presents one of the ways to construct all the locally compact extensions of a given Tychonoff space T. First, there proved the “local” variant of the Stone-C?ech theorem on “completely regular” Riesz spaces X(T) of continuous bounded functions on T with no unit function, in general, but with a collection of local units. In Theorem 1 it is proved that all the functions from X(T) can be “completely regularly” extended on the largest locally compact extension β_xT. Theorem 3 states, that β_xT are presenting, in fact, all the locally compact extensions of T.     

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.     

An asymmetric characterization of the congruence frame

The functor from regular biframes to frames, taking first parts, is shown to be faithful. This result is used to provide many examples of identical embeddings which are epimorphisms in the category of frames. Then the congruence frame, regarded as a biframe, is characterized as being the unique regular biframe extension. This provides a pointfree analogue to a result of Salbany (1970, 1974 [16]) that the forgetful functor from completely regular bitopological spaces to all topological spaces, taking first parts, has a unique section.     

Bitopological spaces

The paper is, in essence, a monograph devoted to the theory of bitopological spaces and its applications. Not exhausting the entire subject, it reflects basic ideas and methods of the theory. The Introduction gives an idea of the origins of the basic notions, contents, methods, and problems both of the classical (in the spirit of Kelly) and of the general theory of bitopological spaces. The classical theory is described rather schematically in Chapter I, only the theory of extensions of topological and bitopological spaces and the theory of completion of uniform spaces are presented in more detail. The main focus is on the general theory of bitopological spaces (Chapter II). Notions, methods, and results presented here have no analogues in the classical theory. As applications, foundations of the theory of bitopological manifolds, in particular, bitopologically represented piecewise linear manifolds (Chapter III), and the foundations of the theory of bitopological groups are presented (Chapter IV). Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 242, 1997, pp. 7–216. Translated by A. A. Ivanov.     

Universal non-completely-continuous operators

A bounded linear operator between Banach spaces is calledcompletely continuous if it carries weakly convergent sequences into norm convergent sequences. Isolated is a universal operator for the class of non-completely-continuous operators fromL ₁ into an arbitrary Banach space, namely, the operator fromL ₁ into ⊆_∞ defined byT ₀(f) = (∫r _n f d μ) _n>-0, wherer _n is thenth Rademacher function. It is also shown that there does not exist a universal operator for the class of non-completely-continuous operators between two arbitrary Banach spaces. The proof uses the factorization theorem for weakly compact operators and a Tsirelson-like space. Supported in part by NSF grant DMS-9306460. Participant, NSF Workshop in Linear Analysis & Probability, Texas A&M University (supported in part by NSF grant DMS-9311902). Supported in part by NSF grant DMS-9003550.