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

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.     

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.     

REAL COMPACTIFICATIONS THROUGH ZERO-SET SPACES

Abstract

The Alexandroff (= zero-set) spaces were introduced in [l] as the “completely normal spaces”, and have been studied in a number of more recent papers. In this paper we unify the theory of Wallman realcompactifications via the Alexandroff bases and introduce the realcompactfine Alexandroff spaces as particularly relevant to their investigation. These latter spaces are defined analogously to the A-c uniform spaces which are based on a construction of A.W. Hager [25].     

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.     

THE WALLMAN COMPACTIFICATION OF FRAMES

Abstract

We show that a B-conjunctive frame L, where B is a normal base for L gives rise to a strong inclusion on L and therefore a compactification of L. The resulting compact regular frame corresponds to the quotient frame obtained by Johnstone in his construction of the Wallman compactification for frames. It is also shown that, in the presence of pseudocompactness the Wallman compactification and the Wallman realcompactification coincide.     

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.     

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.     

An elementary approach to ‘Algebra ∩ topology = compactness’

Herrlich and Strecker characterized the category Comp ₂ of compact Hausdorff spaces as the only nontrivial full epireflective subcategory in the category Top ₂ of all Hausdorff spaces that is concretely isomorphic to a variety in the sense of universal algebra including infinitary operations. The original proof of this result requires Noble's theorem, i.e. a space is compact Hausdorff iff every of its powers is normal, which is far from being elementary. Likewise, Petz' characterization of the class of compact Hausdorff spaces as the only nontrivial epireflective subcategory of Top ₂, which is closed under dense extensions (= epimorphisms in Top ₂) and strictly contained in Top ₂ is based on a result by Kattov stating that a space is compact Hausdorff iff its every closed subspace is H-closed. This note offers an elementary approach for both, instead.Presented at the European Colloquium of Category Theory, Tours, France, 25–31 July 1994.     

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.     

CARTESIAN CLOSEDNESS,EXPONENTIALITY, AND FINAL HULLS IN PSEUDOTOPOLOGICAL SPACES

Abstract

We show that each non-trivial epireflective subcategory of the topological or pretopological spaces fails to be cartesian closed. Motivated by this “negative” result, we consider the supercategory of pseudotopological spaces and obtain: An epireflective subcategory of the pseudotopological spaces which contains a finite non-indiscrete space is cartesian closed iff it is closed with respect to powers in the pseudotopological spaces. Here the density property that every pseudotopological space is a final epi-sink of free ultraspaces is essential.     

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

On characterization and properties of replete Wallman spaces

The subset of lattice regular zero-one valued measures on an algebra generated by a lattice (a Wallman-type space) which integrates all lattice continuous functions on an arbitrary setX is introduced and some properties of it are presented.Then repleteness of certain Wallman spaces is considered and used in finally establishing conditions whereby the space of lattice regular zero-one valued measures on the algebra generated by a lattice which are countably additive (a Wallman-type space) is realcompact.     

Every scattered space is subcompact

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every ?ech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω  -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense _Gδ$G_{\delta }$-subsets of Cantor cubes are subcompact.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.     

POWERS AND EXPONENTIAL OBJECTS IN INITIALLY STRUCTURED CATEGORIES AND APPLICATIONS TO CATEGORIES OF LIMIT SPACES

Abstract

Generalizing results of Herrlich and Nel, the author characterizes by means of smallest proper structures those objects X of an initially structured category for which X x—has a right adjoint, and describes the corresponding function spaces. It is shown that reduction to finally and initially dense classes is possible. The results are applied to epireflective subcategories of the category of limit spaces containing a finite non-indiscrete space, in particular to epireflective subcategories of TOP.     

DISCONNECTEDNESS

Abstract

There are three different ways to characterize To-spaces in the category of topological spaces. All three methods are canonical, i.e. they can be easily formulated in a general setting, where they, in general, do not coincide. In the following, the characterization of T₀-spaces by indiscrete spaces is generalized to an abstract category and investigated.     

A Survey on Frölicher Spaces

Abstract

This survey paper highlights a series of results in recent research on topology, geometry and categorical properties of spaces provided with a new structure in the mathematical literature, called Frölicher spaces. Without any fear of contradiction, these smooth spaces are stated to generalize the theory of differentiable manifolds. More precisely, the present study will give the state of research on this topic which historically links a fundamental theorem of calculus in so-called Boman's theorem (and its generalization) to abstract spaces, whether they are normable or not.     

HAUSDORFF NEARNESS SPACES

Abstract

A categorical characterization of the category Haus of Hausdorft topological spaces within the category Top of topological spaces is given. A notion of a Hausdorff nearness space is then introduced and it is proved that the resulting subcategory Haus Near of the category Near of nearness spaces fulfills exactly the same characterization as derived for Haus in Top. Properties of Haus Near and relations to other important sub-categories of Near are studied.     

Monolithic spaces and D-spaces revisited

We introduce the classes of monotonically monolithic and strongly monotonically monolithic spaces. They turn out to be reasonably large and with some nice categorical properties. We prove, in particular, that any strongly monotonically monolithic countably compact space is metrizable and any monotonically monolithic space is a hereditary D-space. We show that some classes of monolithic spaces which were earlier proved to be contained in the class of D-spaces are monotonically monolithic. In particular, Cp(X) is monotonically monolithic for any Lindelöf Σ-space X. This gives a broader view of the results of Buzyakova and Gruenhage on hereditary D-property in function spaces.