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 θ-PROXIMITIES AND RELATED f-PROXIMITIES

Abstract

We show that every θ-proximity as defined by V.V. Fedor?uk is an f-proximity which we call a k-proximity. Two related f-proximities are introduced, viz. t- and d-proximities. The smallest and largest members of M_f(X, c) for f=k, d and t are characterised where M_f(X, c) is the family of f-proximities compatible with a given closure space (X, c).     

Function Spaces and Dieudonné Completeness

Abstract

For a completely regular space X and a normed space E let C_k (x, E) (resp., C_p (x, E)) be the set of all E-valued continuous maps on X endowed with the compact-open (resp., pointwise convergence) topology. It is shown that the set of all F-valued linear continuous maps on C_k (x, E) when equipped with the topology of uniform convergence on the members of some families of bounded subsets of C_k (x, E) is a complete uniform space if F is a Band space and X is Dieudonné complete. This result is applied to prove that Dieudonné completeness is preserved by linear quotient surjections from C_k (x, E) onto C_k (Y, E) (resp., from C_p (x, E) onto C_p (x, E)) provided E, F are Band spaces and Y is a k-space.     

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.     

PROXIMAL LIMIT SPACES

Abstract

The proximal limit spaces are introduced which fill the gap arising from the existence of proximity spaces, uniform spaces, and uniform limit spaces. It is shown that the proximal limit spaces can be considered as a bireflective subcategory of the topological category of uniform limit spaces. A limit space is induced by a proximal limit space if and only if it is a S₁-limit space.     

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.     

LEGENDRE TRANSFORMATIONS AND CARTAN FORMS IN THE CALCULUS OF VARIATIONS OF MULTIPLE INTEGRALS

ABSTRACT

(PART II): In terms of a given Hamiltonian function the 1-form w = dH + ?_j|dπ^j is defined, where {?_j:j = 1,…, n} denotes an invariant basis of the planes of the distribution D_n. The latter is said to be canonical if w = 0 (which is analogous to the definition of Hamiltonian vector fields in symplectic geometry). This condition is equivalent to two sets of canonical equations that are expressed explicitly in term of the derivatives of H with respect to its positional arguments. The distribution D_n is said to be pseudo-Lagrangian if dπ^j(?_j,V_h) = 0; if D_n, is both canonical and pseudo-Lagrangian it is integrable and such that H = const. on each leaf of the resulting foliation. The Cartan form associated with this construction [9] is defined a II = π² ? ? πⁿ. If π is closed, the distribution D_N is integrable, and the exterior system {π^j} admits the representation ψ^j = dS^j in terms of a set of 0-forms S^j on M. If, in addition, the distribution D_N is canonical, these functions satisfy a single first order Hamilton-Jacobi equation, and conversely. Finally, a complete figure is constructed on the basis of the assumptions that (i) the Cartan form be closed, and (ii) that the distribution D_n, be both canonical and integrable. The last of these requirements implies the existence of N functions ψ^A that depend on x^h and N parameters w^B, whose derivatives are given by ?ψ^A (x^h, w^B)/?x^j = B^A _j (x^h, ψ^B (x^h,w^B)). The complete figure then consists of two complementary foliations: the leaves of the first are described by the functions ψ^A and satisfy the standard Euler-Lagrange equations, while the second, that is, the transversal foliation, is represented by the aforementioned solution of the Hamilton-Jacobi equation. The entire configuration then gives rise in a natural manner to a generalized Hilbert independent integral and consequently also to a generalized Weierstrass excess function.     

On lightly and countably compact spaces in ZF

Abstract

Given a topological space X = (X, T ), we show in the Zermelo-Fraenkel set theory ZF that:

1. Every locally finite family of open sets of X is finite iff every pairwise disjoint, locally finite family of open sets is finite.

2. Every locally finite family of subsets of X is finite iff every pairwise disjoint, locally finite family of subsets of X is finite iff every locally finite family of closed subsets of X is finite.

3. The statement “every locally finite family of closed sets of X is finite” implies the proposition “every locally finite family of open sets of X is finite”. The converse holds true in case X is T₄ and the countable axiom of choice holds true.

   We also show:

4. It is relatively consistent with ZF the existence of a non countably compact T₁ space such that every pairwise disjoint locally finite family of closed subsets is finite but some locally finite family of subsets is infinite.

5. It is relatively consistent with ZF the existence of a countably compact T₄ space including an infinite pairwise disjoint locally finite family of open (resp. closed) sets.

     

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

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.     

Comparison of Boolean algebras

In this work, some results related to superatomic Boolean interval algebras are presented, and proved in a topological way. Let x be an uncountable cardinal. To each I x, we can associate a superatomic interval Boolean algebra B _I of cardinality x in such a way that the following properties are equivalent: (i) I I x, (ii) B _I is a quotient algebra of B _J, and (iii) there is an homomorphism f from B _J into B _I such that for every atom b of B _I, there is an atom a of B _J satisfying f(a)=b. As a corollary, there are 2 ^x isomorphism types of superatomic interval Boolean algebras of cardinality x. This case is quite different from the countable one.     

When separability of the space of ultra-extremal functions is preserved

Abstract

The ultrametrically injective hull T_X of an ultrametric space (X, d) is investigated by viewing it as the space of ultra-extremal functions over X. It turns out that the ultra-extremal functions are also ultra-Ka?etov functions, satisfying two inequalities derived from the strong triangle inequality. We shall compare the ultra-extremal functions with some classes of functions defined with the help of one of the two inequalities from the definition of ultra-Kat?tov functions. We shall consider the question of when separability of the space of ultra-extremal functions is preserved.     

Duality in Function Spaces

In this paper we use Bartle’s technique to study duality between a topological space and a function space. Normally such a duality forms an essential part of Functional Analysis. We introduce several new topologies such as the topology of even convergence T_e, the closed-cocompact topology T_{k ′}, the (strong) local proximal convergence. We explore the topological groups of self-homeomorphisms of a topological space and shed light on the earlier work of Arens, Dieudonné, Di Concilio. We also study the concepts such as evenly equidistant, functionally equicontinuous, due to Bouziad-Troallic and topologically equicontinuous due to Royden. In memory of Professor Enrico Meccariello who made a considerable contribution to this work and who suddenly passed away before his time     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

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.     

Lp-continuous extreme selectors of multifunctions with decomposable values: Existence theorems

The existence theorems of L _p -continuous selectors that values are extreme points are proved for a class of multivalued maps. Applications to multivalued maps appearing in multivalued differential equations are presented.Supported in part by RFFI Grant 93-011-264.     

SOME MODULES OVER A B*-ALGEBRA

Abstract

Some modules, ?_p (B) (1 < p < ∞), over a commutative B*-alge= bra with identity are discussed and these are seen to have properties similar to the Banach spaces ?_p (1 < p < ∞).     

Some consequences of MA + ¬wKH

Let wKH denote the following statement: There exists a ω₁-tree of power ω₁ with >ω₁ ω₁-branches. First, using methods of [6] and [13], we shall prove theconsistency of MA + ¬wKH. Then we shall prove that MA + ¬wKH implies the following: (a) There is no θ-dense (splitting) poset of power ω₁; (b) Every LOTS of density ω₁ has a θ-disjoint π-base; (c) There is no Baire LOTS of power ω₁ without isolated points; (d) Every perfectly normal non-Archimedian space of weight ω₁ is metrizable. These results are connected to problems from [4], [10], [7] and [15], respectively. A part of these results was announced in [17].     

On c-realcompact spaces

Abstract

The c-realcompact spaces are fully studied and most of the important and well-known properties of realcompact spaces are extended to these spaces. For a zero-dimensional space X, the space υ₀X, which is the counterpart of υX, the Hewitt realcompactification of X, is introduced and studied. It is shown that υ₀X, which is the smallest c-realcompact space between X and β₀X, plays the same role (with respect to C_c(X)) as υX does in the context of C(X). It is proved for strongly zero-dimensional spaces, c-realcompact spaces, realcompact spaces and N-compact spaces coincide. In particular, if X is a strongly zero-dimensional space, then υX = υ₀X. It is obsesrved that a zero-dimensional space X is pseudocompact if and only if C_c(X) = C*_c(X), or equivalently if and only if υ₀X = β₀ X. In particular, a zero-dimensional pseudocompact space is compact if and only if it is c-realcompact. It is shown that Lindelöf spaces, subspaces of the one-point compactification (resp., Lindelöffication) of a discrete space with a nonmeasurable cardinal, are c-realcompact space. If X is a pseudocompact space, it is observed that C(X) = C_c(X) if and only if βX is scattered. Finally, the simplest possible proof (with reasoning) among the known proofs, of the well-known fact that discrete spaces of cardinality less than or equal to that of the continuum are realcompact, is given.