completions of non- filter spaces完成的非过滤空间.pdfVIP

COMPLETIONS OF NON-T2 FILTER SPACES NANDITA RATH Received 15 December 2004 and in revised form 18 September 2005 The well-known completions of T2 Cauchy spaces and T2 filter spaces are extended to the completions of non-T2 filter spaces, and a completion functor on the category of all filter spaces is described. 1. Introduction The categorical topologists Bentley et al. [ 1] have shown that the category FIL of filter spaces is isomorphic to the category of filter merotopic spaces which were introduced ˇ by Katetov [3]. The category CHY of Cauchy spaces is also known to be a bireflective, finally dense subcategory of FIL [7]. So the category FIL is an important category which deserves special discussion. A completion theory for filter spaces was introduced in [4], where a completion functor was defined on the subcategory T2 FIL of T2 filter spaces. This completion theory was later applied to completion of filter semigroups [9]. Several other types of completions and their properties were also studied by Minkler et al. [5] ´ ´ and Csaszar [2]. In this paper, a completion theory is developed for filter spaces without the T2 restriction on the spaces. Also, a completion functor is defined on a subcategory of FIL, which is constructed by taking all the filter spaces as objects and morphisms as certain special type of continuous maps which we call s-maps. 2. Preliminaries For basic definitions and terminologies related to filters, the reader is referred to [11], though a few of the definitions will be mentioned here. Let X be a set and let F(X ) be the set of all filters on X . If , ∈ F(X ) and F ∩ G = φ for all F ∈ , G ∈ , then ∨ denotes the filter generated by {F ∩ G : F ∈ and G ∈ }. If there exist F ∈ and G ∈ ˙ such that F ∩ G = φ, we say that ∨ fails to exist . For each x ∈ X , we denote by