Function spaces and one point extensions for the construct of metered spaces

The construct M of metered spaces and contractions is known to be a superconstruct in which all metrically generated constructs can be fully embedded. We show that M has one point extensions and that quotients in M are productive. We construct a Cartesian closed topological extension of M and characterize the canonical function spaces with underlying sets Hom(X,Y) for metered spaces X and Y. Finally we obtain an internal characterization of the objects in the Cartesian closed topological hull of M.     

Bornologies and metrically generated theories

Bornologies axiomatize an abstract notion of bounded sets and are introduced as collections of subsets satisfying a number of consistency properties. Bornological spaces form a topological construct, the morphisms of which are those functions which preserve bounded sets. A typical example is a bornology generated by a metric, i.e. the collection of all bounded sets for that metric. In a recent paper [E. Colebunders, R. Lowen, Metrically generated theories, Proc. Amer. Math. Soc. 133 (2005) 1547-1556] the authors noted that many examples are known of natural functors describing the transition from categories of metric spaces to the “metrizable” objects in some given topological construct such that, in some natural way, the metrizable objects generate the whole construct. These constructs can be axiomatically described and are called metrically generated. The construct of bornological spaces is not metrically generated, but an important large subconstruct is. We also encounter other important examples of metrically generated constructs, the constructs of Lipschitz spaces, of uniform spaces and of completely regular spaces. In this paper, the unified setting of metrically generated theories is used to study the functorial relationship between these constructs and the one of bornological spaces.     

Asymmetry and bicompletion of approach spaces

We develop a bicompletion theory for the category Ap₀ of T₀ approach spaces in the sense of Lowen [R. Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad, Oxford University Press, Oxford, 1997], which extends the completion theory obtained in [R. Lowen, K. Robeys., Completions of products of metric spaces, Quart. J. Math. Oxford 43 (1991) 319-338] for the subcategory of Hausdorff uniform approach spaces. Moreover, we prove it to be firmly epireflective (in the sense of [G.C.L. Brümmer, E. Giuli, A categorical concept of completion of objects, Comment. Math. Univ. Carolin. 33 (1992) 131-147]) with respect to a certain morphism class of dense embeddings.     

Completion via Nearness for Metrically Generated Constructs

In this paper we will study completeness in symmetric metrically generated constructs via nearness spaces. Our approach consists in associating an appropriate regular nearness space with a given symmetric metered space. The completion theory known for regular nearness space has some convenient properties on which our completion of symmetric metered spaces will be based. This technique appears to be suitable for most symmetric metrically generated constructs and leads to a firm completion theory.      

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

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

Metrics defined via discrepancy functions

We introduce the notion of a discrepancy function, as an extended real-valued function that assigns to a pair (A,U) of sets a nonnegative extended real number ω(A,U), satisfying specific properties. The pairs (A,U) are certain pairs of sets such that A⊆U, and for fixed A, the function ω takes on arbitrarily small nonnegative values as U varies. We present natural examples of discrepancy functions and show how they can be used to define traditional pseudo-metrics, quasimetrics and metrics on hyperspaces of topological spaces and measure spaces.     

STRONGLY SEQUENTIALLY CONTINUOUS FUNCTIONS

Abstract

Given a topological abelian group G, we study the class of strongly sequentially continuous functions on G. Strong sequential continuity is a property intermediate between sequential continuity and uniform sequential continuity, which appeared naturally in the study of smooth functions on Banach spaces. In this paper, we shall mainly concentrate on the gap between strong sequential continuity and uniform sequential continuity. It turns out that if G has some completeness property—for example, if it is completely metrizable—then all strongly sequentially continuous functions on G are uniformly sequentially continuous. On the other hand, we exhibit a large and natural class of groups for which the two notions differ. This class is defined by a property reminiscent of the classical Dirichlet theorem; it includes all dense sugroups of R generated by an increasing sequence of Dirichlet sets, and groups of the form (X, w), where X is a separable Banach space failing the Schur property. Finally, we show that the family of bounded, real-valued strongly sequentially continuous functions on G is a closed subalgebra of l∞(G).     

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.     

Moscow spaces and selection theory

A well-known result on Moscow spaces states that every Gδ-dense subset of a Moscow space X is C-embedded in X. We present here the selection version of this result and also (by means of two different approaches) we use selection theory to characterize the open bounded subsets of a uniform space (X,U) in the case when its completion is a Moscow space.     

Covering dimension d by a normal base

S.D. Iliadis introduced the concept of the dimension-like functions of type dim using the notion of a normal base. Since he considered this notion only from the point of view of the existence of universal spaces in different classes of spaces, in the present paper the basic theorems of dimension theory are obtained for these functions. Their relationship with the relative dimensions of A. Chigogidze and the uniform dimensions of M. Charalambous are shown.     

Products of symmetric spaces, and k-networks

As is well known, every product of symmetric spaces need not be symmetric. For symmetric spaces X and Y, in terms of their balls, we give characterizations for the product X×Y to be symmetric under X and Y having certain k-networks, or Y being semi-metric.     

Separation of a diagonal

We investigate different separation properties of the diagonal of a space X. Namely, we study spaces X in which the diagonal of X² and every closed subset of X² off the diagonal can be separated from each other by means of open sets, or continuous functions, or some other tools.     

The category of Urysohn spaces is not cowellpowered

It is shown that the category of Urysohn spaces and continuous maps is not cowellpowered. To this end we will construct for each ordinal number β a Urysohn space Y_β with card $\text{(Y}{}_{\mathrm{\beta }}\text{= ?}{}_0\text{?}\text{card}\text{(β)}$ and a continuous map $\text{e}{}_{\mathrm{\beta }}\text{:}\text{Q}\text{→ Y}{}_{\mathrm{\beta }}$ from the rationals into Y_β. It turns out that $\text{e}{}_{\mathrm{\beta }}$ is an external monomorphism in the category of Hausdorff spaces and an epimorphism in the category of Urysohn spaces.     

Metrical characterization of super-reflexivity and linear type of Banach spaces

We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain’s result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniform embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with the metrics d _p induced by the ℓ _p norms. Received: 2 August 2006, Revised: 10 April 2007     

On some classes of Lindelöf Σ-spaces

We consider special subclasses of the class of Lindelöf Σ-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space X is in the class LΣ(?κ) if it admits a cover by compact subspaces of weight κ and a countable network for the cover. We restrict our attention to κ?ω. In the case κ=ω, the class includes the class of metrizably fibered spaces considered by Tkachuk, and the P-approximable spaces considered by Tka?enko. The case κ=1 corresponds to the spaces of countable network weight, but even the case κ=2 gives rise to a nontrivial class of spaces. The relation of known classes of compact spaces to these classes is considered. It is shown that not every Corson compact of weight ℵ₁ is in the class LΣ(?ω), answering a question of Tkachuk. As well, we study whether certain compact spaces in LΣ(?ω) have dense metrizable subspaces, partially answering a question of Tka?enko. Other interesting results and examples are obtained, and we conclude the paper with a number of open questions.     

Cartesian-closed coreflective subcategories of uniform spaces generated by classes of metric spaces

The main result, in Theorem 3, is that in the category Unif of Hausdorff uniform spaces and uniformly continuous maps, the coreflective hulls of the following classes are cartesian-closed: all metric spaces having no infinite uniform partition, all connected metric spaces, all bounded metric spaces, and all injective metric spaces.Furthermore, Theorems 1 and 4 imply that if $\text{C}$ is any coreflective, cartesian-closed subcategory of Unif in which enough function space structures are finer than the uniformity of uniform convergence (as in the above examples), then either (1) $\text{C}$ is a subclass of the locally fine spaces, or (2) $\text{C}$ contains all injective metric spaces and $\text{C}$ is a subclass of the coreflective hull of all uniform spaces having no infinite uniform partition.