SPACES WITH WALLMAN EQUIVALENT INTERMEDIATE SPACES

Abstract

If every infinite closed subset of the Wallman compactification, WX, of a space X must contain at least one element of X, then for any space Y intermediate between X and WX the Wallman compactification WY is homeomorphic to WX. This extends a property which characterizes normality inducing spaces. In the case where X is not normal, however, this is not a characterization, since there are nonnormal spaces for which all intermediate spaces are Wallman equivalent, but have infinite closed subsets contained in WX/X.     

Arzelà-Ascoli theorem via the Wallman compactification

In the paper, we recall the Wallman compactification of a Tychonoff space T (denoted by Wall(T)) and the contribution made by Gillman and Jerison. Motivated by the Gelfand-Naimark theorem, we investigate the homeomorphism between C^b(T), the space of continuous and bounded functions on T , and C(Wall(T)), the space of continuous functions on the Wallman compactification of T. Along the way, we attempt to justify the advantages of the Wallman compactification over other manifestations of the Stone-?ech compactification. The main result of the paper is a new form of the Arzelà-Ascoli theorem, which introduces the concept of equicontinuity along ω-ultrafilters.     

SOME RESULTS CONCERNING THE WALLMAN COMPACTIFICATION

Abstract

The first part of this paper surveys results and open questions about categories of T₁-spaces on which the wallman compactification induces an epireflection. The second part proves results on spaces whose Wallman remainder is Hausdorff.     

A net and open-filter process of compactification and the Stone-?ech, Wallman compactifications

By a characterization of compact spaces in Section 1, a process of obtaining a compactification (X^∗,k) of an arbitrary topological space X is described in Section 2 by a combined approach of nets and open filters. The Wallman compactification can be embedded in X^∗ if X is Hausdorff and by a little modification, the compactification of X is the Stone-?ech compactification of X if X is Tychonoff.     

Some aspects of (non) functoriality of natural discrete covers of locales

Abstract

The frame S_c(L) generated by closed sublocales of a locale L is known to be a natural Boolean (“discrete”) extension of a subfit L; also it is known to be its maximal essential extension. In this paper we first show that it is an essential extension of any L and that the maximal essential extensions of L and S_c(L) are isomorphic. The construction S_c is not functorial; this leads to the question of individual liftings of homomorphisms L → M to homomorphisms S_c(L) → S_c(M). This is trivial for Boolean L and easy for a wide class of spatial L, M . Then, we show that one can lift all h : L → 2 for weakly Hausdor? L (and hence the spectra of L and S_c(L) are naturally isomorphic), and finally present liftings of h : L → M for regular L and arbitrary Boolean M.     

WALLMAN REMAINDERS OF REGULAR SPACES

ABSTRACT

This paper shows that the only Hausdorff spaces which can occur as Wallman remainders of Regular spaces are themselves completely regular. This is in contrast to the previously known result that any T1 space can occur as a Wallman remainder.     

Property C. Wallman basis and S-metrizability

In this present paper we prove that every Lindelof space which has a perfect locally connected Hausdorff compactification, has property C. (This latter concept was introduced by R.F. Dickman Jr). We make clear that this class of Lindelöf spaces properly contains the class of paracompact, connected, locally compact and locally connected spaces, as well as the class of those spaces whose topology can be induced by a metric with property S (or S-metrizable spaces). In this fashion, we simultaneously generalize two previous results of Dickman on spaces with property C. The use of Wallman basis with certain connectedness properties turns out to be a very convenient tool in the construction of locally connected compactifications as well as in characterizing S-metrizable spaces.     

On strongly replete lattices,support of A measure,and the wallman remainder

LetX be an abstract set andL a lattice of subsets ofX. To eachL-regular measure on the algebra generated byL, there are associated two measures on appropriate algebras of the Wallman space. In terms of these measures, we can obtain characterization for-smoothness,-smoothness, and tightness of the original measure. In particular, tight regular measures and their properties are investigated.     

DAS WALLMAN-VERFAHREN UND INVERSE LIMITES

Abstract

The relationship between Wallman's construction of a compact T₁-space [9] and Flachsmeyer's inverse limit spaces of inverse systems of decomposition spaces [2] is investigated. There are connections between Wallman spaces and inverse limits, which were initiated by Alexandroff in 1928. Some old theorems using inverse limits have shorter proofs now. On the other hand we obtain a new method to treat Wallman compactifications in terms of inverse limit spaces. A suitable notion in this context is the “prime-filter space”, having an interesting maximality property. This space seems to be proper to examine prime ideals in C(X).     

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.     

Zero-dimensional proximities and zero-dimensional compactifications

We introduce zero-dimensional proximities and show that the poset 〈Z(X),?〉 of inequivalent zero-dimensional compactifications of a zero-dimensional Hausdorff space X is isomorphic to the poset 〈Π(X),?〉 of zero-dimensional proximities on X that induce the topology on X. This solves a problem posed by Leo Esakia. We also show that 〈Π(X),?〉 is isomorphic to the poset 〈B(X),⊆〉 of Boolean bases of X, and derive Dwinger's theorem that 〈Z(X),?〉 is isomorphic to 〈B(X),⊆〉 as a corollary. As another corollary, we obtain that for a regular extremally disconnected space X, the Stone-?ech compactification of X is a unique up to equivalence extremally disconnected compactification of X.     

Some new characterizations of pointfree pseudocompactness

Abstract

By [3], a frame L is pseudocompact iff every ??-sequence in L joining to the top terminates. Here it is shown, for any completely regular L, that pseudocompactness is also equivalent to (i) the analogous condition for ?-sequences, (ii) the countable almost compactness of L, (iii) the almost compactness of CozL as a σ-frame and (iv) the condition that every countably based proper filter in L clusters. Further we establish the zero-dimensional counterparts of the above, concerning the integer valued notion of pseudocompactness. Finally, we add to this a characterization of pseudocompactness in terms of uniformities.     

Tightness relative to some (co)reflections in topology

We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B ∈ B the reflection of a proper subobject? We start with a well known specific instance of this problem, namely the fact that a compact metric space is never the ?ech-Stone compactification of a proper subspace. We show that this holds also in the pointfree setting, i.e., that a compact metrizable locale is never the ?ech-Stone compactification of a proper sublocale. This is a stronger result than the classical one, but not because of an increase in scope; after all, assuming weak choice prin­ciples, every compact regular locale is the topology of a compact Hausdorff space. The increased strength derives from the conclusion, for in general a space has many more sublocales than subspaces. We then extend the analysis from metric locales to the broader class of perfectly normal locales, i.e., those whose frame of open sets consists entirely of cozero elements. We include a second proof of these results which is purely algebraic in character.

At the opposite extreme from these results, we show that an extremally disconnected locale is a compactification of each of its dense sublocales. Finally, we analyze the same phenomena, also in the pointfree setting, for the 0-dimensional compact reflec­tion and for the Lindelöf reflection.     

Spaces betweenX and its Freudenthal compactification

Let X indicate the Freudenthal compactification of a rimcompact, completely regular Hausdorff spaceX. In this paper the spacesY which satisfyXYX are characterized. From this a characterization of whenX lies between its locally compact partL(X) and (L(X)) follows. Such spaces necessarily possess a compactification X for whichCl _X (X–X) is 0-dimensional. Conditions, including those internal toX, are provided which are necessary and sufficient for this property to hold.This research was partially supported by a grant from Moorhead State University.     

Compactifications determined by subsets of C1(X)

It is well known that every compactification of a completely regular space X can be generated, via a Tychonoff-type embedding, by some suitably chosen subset of C¹(X). Different subsets may give rise to equivalent compactifications, and we are concerned with the problem of finding all subsets of C¹(X) which yield a given compactification αX. The problem is easier if generalized: we say that a subset F of C¹(X) “determines” the compactification αX if αX is the smallest compactification to which every element of F extends, and give a simple necessary and sufficient condition for F to determine a given compactification αX. A number of sufficient conditions for two sets to determine the same compactification are given, and the relation between sets which determine αX and those which generate αX (via an embedding) is considered. Generally, a much smaller set of functions is required to determine αX than to generate it; the number needed to determine αX is never more than the weight of αX?X, while the number required to generate it is, if infinite, equal to the weight of αX.     

On extensions of topological spaces in terms of ideals

In the present paper, a kind of extension, termed ideal extension of a given topological space is considered via the concept of ideals. A general method of construction of such an extension of a T₀—space is worked out and it is finally shown that under certain condition imposed on the ideals involved, the said extension space turns out to be the compactification of a given space.     

Ideals associated with realcompactness in pointfree function rings

Abstract

Let RL denote the ring of continuous real-valued functions on a com- pletely regular frame L. The support of an α ∈ RL is the closed quotient ↑(coz α)?. We show that if supports are coz-quotients in L, then the set of functions with realcompact support is an ideal. If L satisfies the stronger condition that supports are C-quotients, then this ideal is the intersection of pure parts of the free maximal ideals of RL. The set of functions whose cozeroes are realcompact is always an ideal, which is free if and only if L is locally realcompact if and only if L is (isomorphic to) an open quotient of υL. Further, this ideal is prime if and only if it is a free real maximal ideal if and only if υL → L is a one-point extension of L.     

On sequentially compact T2 compactifications

It is known that a compact space can fail to be sequentially compact. In this paper we consider the following problem: when does a space admit a sequentially compact T₂ compactification? In the first section we develop a method to produce such compactifications, and we apply it in the second section to study the question using coverings.Moreover, we obtain solutions for locally compact T₂ spaces, and for metrizable spaces.     

A note on weakly Lindelöf frames

The notion of σ^?-properness of a subset of a frame is introduced. Using this notion, we give necessary and su?cient conditions for a frame to be weakly Lindelöf. We show that a frame is weakly Lindelöf if and only if its semiregularization is weakly Lindelöf. For a completely regular frame L, we introduce a condition equivalent to weak realcompactness based on maximal ideals of the cozero part of L. This enables us to show that every weakly realcompact almost P -frame is realcompact. A new characterization of weakly Lindelöf frames in terms of neighbourhood strongly divisible ideals of ?? is provided. The closed ideals of ?? equipped with the uniform topology are applied to describe weakly Lindelöf frames.     

The Stone-Čech compactification of a partial frame via ideals and cozero elements

A partial frame is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. The designated subsets are specified by means of a so-called selection function, denoted by S ; these partial frames are called S-frames.

We construct free frames over S-frames using appropriate ideals, called S-ideals. Taking S-ideals gives a functor from S-frames to frames. Coupled with the functor from frames to S-frames that takes S-Lindelöf elements, it provides a category equivalence between S-frames and a non-full subcategory of frames. In the setting of complete regularity, we provide the functor taking S-cozero elements which is right adjoint to the functor taking S-ideals. This adjunction restricts to an equivalence of the category of completely regular S-frames and a full subcategory of completely regular frames. As an application of the latter equivalence, we construct the Stone-? ech compactification of a completely regular S-frame, that is, its compact coreflection in the category of completely regular S-frames.

A distinguishing feature of the study of partial frames is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of frames or locales and of uniform or nearness frames. The axioms are sufficiently general to include as examples of partial frames bounded distributive lattices, σ-frames, κ-frames and frames.