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.     

ON CERTAIN FACTORIZATIONS OF FUNCTORS INTO THE CATEGORY OF QUASI-UNIFORM SPACES

This paper is motivated by the search for natural extensions of classical uniform space results to quasi-uniform spaces. As instances of such extensions we restate some theorems of P. Fletcher and W.F. Lindgren [Pacific J. Math. 43 (1971), 619–6311 on transitive quasi-uniformities and of S. Salbany [Thesis, Univ. Cape Town, 1971] on compactification and completion. The theorems as restated describe properties of certain right inverses of the functor which forgets the quasi-uniform structure and retains one induced topology (for Fletcher and Lindgren's work), respectively retains both induced topologies (for Salbany's work). Accordingly we investigate systematically the process by which the right inverses of the forgetful functors can be extended from the classical setting to one of these settings, and from one of these to the other.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

On the definition of a probabilistic normed space

Summary In this paper we give a new definition of a probabilistic normed space. This definition, which is based on a characterization of normed spaces by means of a betweenness relation, includes the earlier definition of A. N. erstnev as a special case and leads naturally to the definition of the principal class of probabilistic normed spaces, the Menger spaces.     

Open mappings looking like projections

Every open continuous mappingf from a metric space (X, d) onto a countable-dimensional metric spaceY admits a special type of factorization (Y×[0, 1] throughout), provided all fibers off are dense in itself and complete with respect tod. On this basis, an upper semi-continuous Cantor bouquet of disjoint usco selections for a class of 1.s.c. mappings between metrizable spaces is constructed.     

Local compactness and Hewitt realcompactifications of products II

We generalize and refine results from the author's paper [18]. For a completely regular Hausdorff space X, υX denotes the Hewitt realcompactification of X. It is proved that if υ(X×Y)=υX×υY for any metacompact subparacompact (or m-paracompact) space Y, then X is locally compact. A P(n)-space is a space in which every intersection of less than n open sets is open. A characterization of those spaces X such that υ (X×Y = υX×υY for any (metacompact) P(n)-space Y is also obtained.     

Collections of paths and rays in the plane which fix its topology

A collection $\text{F}$ of proper maps into a locally compact Hausdorff space X fixes the topology of X if the only locally compact Hausdorff topology on X which makes each element of $\text{F}$ continuous and proper is the given topology. In I²=[-1, 1]×[-1, 1], neither the collection of analytic paths nor the collection of regular twice differentiable paths fixes the topology. However, in I², both the collection of C^∞ arcs and the collection of regular C¹ arcs fix the topology. In $\text{I}{}^2\text{=[?1,1]×[?1,1], the collection of polynomial rays together with any collection of paths does not fix the topology. However, in}\text{R}{}^2$, the collection of regular injective entire rays together with either the collection of C^∞ arcs or the collection of regular C¹ arcs fixes the topology.     

Some localized separation axioms and their implications

In a topological spaceX, a T₂-distinct pointx means that for anyyX xy, there exist disjoint open neighbourhoods ofx andy. Similarly, T₀-distinct points and T₁distinct points are defined. In a T_i-distinct point-setA, we assume that eachxA is a T _i -distinct point (i=0, 1, 2). In the present paper some implications of these notions which localize the T _i -separation axioms (i=0, 1, 2) requirement, are studied. Suitable variants of regularity and normality in terms of T₂-distinct points are shown hold in a paracompact space (without the assumption of any separation axioms). Later T₀-distinct points are used to give two characterizations of the R _D -axiom.¹ In the end, some simple results are presented including a condition under which an almost compact set is closed and a result regarding two continuous functions from a topological space into a Hausdorff space is sharpened. A result which relates a limit pointv to an -limit point is stated.     

Cauchy's equation on Δ+: Further results

Summary In a previous paper [Cauchy's equation on ⁺, Aequationes Math.41 (1991), 192–211], we began the study of Cauchy's equation on ⁺, the space of probability distribution functions of nonnegative random variables. In this paper we continue this study and extend our previous results to triangle functions of the form _{T, L} , whereT is a continuous Archimedean t-norm andL a binary operation onR ⁺, which is iseomorphic to a strict t-conorm. We again use a lattice theoretic approach, and introduce first a theorem on the powers and roots of certain elements of ⁺ under _T,L . Under certain additional restrictions we obtain a representation of sup-continuous solutions, similar to the one found in the first paper.     

Weakly absolute retracts for bicompacts

The notion of a weakly absolute extensor for the class of bicompacts is introduced in [5]. In this paper, the notion of a weakly absolute retract for bicompacts is introduced. It is shown that the class of weakly absolute retracts for bicompacts coincides with the class of weakly absolute extensors for bicompacts.     

Cauchy's equation on Δ+

Summary Recently R. C. Powers characterized the order automorphisms of the space of nondecreasing functions from one compact real interval to another [6, 7]. In this paper we show how his results, as well as the lattice-theoretic techniques which he employed, can be used to obtain solutions of Cauchy's equation for certain classes of semigroups (triangle functions) on the space ⁺ of probability distribution functions of nonnegative random variables.     

Spaces from pieces IV

We are going to investigate simultaneous extensions of various topological structures (i.e. traces on several subsets at the same time are prescribed), also with separation axioms T₀, T₁, symmetry (in the sense of Part I, § 3), Riesz property, Lodato property. The following questions will be considered: (i) Under what conditions is there an extension? (ii) How can the finest extension be described? (iii) Is there a coarsest extension? (iv) Can we say more about extensions of two structures than in the general case? (v) Assume that certain subfamilies (e.g. the finite ones) can be extended; does the whole family have an extension, too? The general categorial results from Part I will be applied whenever possible (even they are not really needed).     

Probabilistic convergence structures

Summary In this paper we try to argue that it is necessary to replace the topological convergence structure of Menger spaces with an appropriate probabilistic concept of convergence.     

On the product of homogeneous spaces

Within the class of Tychonoff spaces, and within the class of topological groups, most of the natural questions concerning ‘productive closure’ of the subclasses of countably compact and pseudocompact spaces are answered by the following three well-known results: (1) [ZFC] There is a countably compact Tychonoff space X such that X × X is not pseudocompact; (2) [ZFC] The product of any set of pseudocompact topological groups is pseudocompact; and (3) [ZFC+ MA] There are countably compact topological groups G₀, G₁ such that G₀ × G₁ is not countably compact.In this paper we consider the question of ‘productive closure” in the intermediate class of homogeneous spaces. Our principal result, whose proof leans heavily on a simple, elegant result of V.V. Uspenski?, is this: In ZFC there are pseudocompact, homogeneous spaces X₀, X₁ such that X₀ × X₁ is not pseudocompact; if in addition MA is assumed, the spaces X_i may be chosen countably compact.Our construction yields an unexpected corollary in a different direction: Every compact space embeds as a retract in a countably compact, homogeneous space. Thus for every cardinal number α there is a countably compact, homogeneous space whose Souslin number exceeds α.     

Splitting manifolds as M × R where M has a k-fold end structure

Let X be a locally finite simplicial complex of dimension n, n? 5, equipped with a k-fold end structure [4] and consider a piecewise linear (n + 1)-dimensional manifold M that is proper homotopy equivalent to X × R by F:M → X × R, where R is the set of real numbers. The question arises as to whether or not the manifold M can be split, i.e., written as M = N × R where N is a n-manifold and where there is a proper homotopy between F and (p₁ ° F₀) × id:N × R → X × R, preserving the natural (k+1)-fold end structure, where F₀ is F|_N and p₁ is the projection X × R → X. Of particular significance is the fact that X is noncompact. When the construction of such splittings is attempted, algebraic obstructions arise, which vanish if and only if the construction can be completed. This paper develops such an obstruction theory by utilizing methods of L.C. Siebenmann and the k-fold end structures of F. Waldhausen.     

Spaces from pieces III

Research supported by Hungarian National Foundation for Scientific Research, grant no. 2114.     

Inverse limits of arcs and of simple closed curves with confluent bonding mappings

It is proved that Knaster's type continua and solenoids can be considered as inverse limits of arcs and of circles with confluent bonding mappings. Several other classes of bonding mappings, which are relative to confluent ones, also are discussed.