On Convergence to Infinity

 By a metric mode of convergence to infinity in a regular Hausdorff space X, we mean a sequence of closed subsets of X with and , and a sequence (or net) in X is convergent to infinity with respect to provided for each contains eventually. Modulo a natural equivalence relation, these correspond to one-point extensions of the space with a countable base at the ideal point, and in the metrizable setting, they correspond to metric boundedness structures for the space. In this article, we study the interplay between these objects and certain continuous functions that may determine the metric mode of convergence to infinity, called forcing functions. Falling out of our results is a simple proof that each noncompact metrizable space admits uncountably many distinct metric uniformities.     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

A compactification problem of J. De Groot

Recently, De Groot's conjecture that cmp X = def X holds for every separable and metrizable space X has been negatively resolved by Pol. In previous efforts to resolve De Groot's conjecture various functions like cmp have been introduced. A new inequality between two of these functions is established. Many examples which have been constructed so far in relation with the conjecture are obtained by attaching a locally compact space to a compact space. An upper bound for the compactness deficiency def of the resulting space is given.     

A Banach–Stone Theorem for Uniformly Continuous Functions

 In this note we prove that the uniformity of a complete metric space X is characterized by the vector lattice structure of the set U(X) of all uniformly continuous real functions on X. (Received 3 March 2000; in revised form 29 June 2000)     

There is no upper bound of small transfinite compactness degree in metrizable spaces

In [J.M. Aarts, T. Nishiura, Dimension and Extensions, North-Holland, Amsterdam, 1993], Aarts and Nishiura investigated several types of dimensions modulo a class P of spaces. These dimension functions have natural transfinite extensions. The small transfinite compactness degree trcmp is such transfinite dimension function extending the small compactness degree cmp. We shall prove that there is no upper bound for trcmp in the class of metrizable spaces, i.e. for each ordinal number α there exists a metrizable space Xα such that trcmpXα=α. We also give a characterization of the dimension dim of a separable (compact) metrizable space in terms of the function cmp of the product of this space with a nowhere locally compact zero-dimensional factor.     

SMOOTHNESS PROPERTIES OF REAL-VALUED FUNCTIONS BASED ON THEIR OSCILLATION

Abstract

We consider the following two selection principles for topological spaces:

Principle 1: For each sequence of dense subsets, there is a sequence of points from the space, the n-th point coming from the n-th dense set, such that this set of points is dense in the space;

Principle 2: For each sequence of dense subsets, there is a sequence of finite sets, the n-th a subset of the n-th dense set, such that the union of these finite sets is dense in the space.

We show that for separable metric space X one of these principles holds for the space C_p (X) of realvalued continuous functions equipped with the pointwise convergence topology if, and only if, a corresponding principle holds for a special family of open covers of X. An example is given to show that these equivalences do not hold in general for Tychonoff spaces. It is further shown that these two principles give characterizations for two popular cardinal numbers, and that these two principles are intimately related to an infinite game that was studied by Berner and Juhász.     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

Metrization of Fpp-spaces

A Hausdorff space each subspace of which is a paracompact p-space is an F_pp-space. A space X is a closed hereditary Baire space if each closed subspace of X is a Baire space. Using a delicate theorem of Z. Balogh it is shown that a first-countable F_pp-space that is a closed hereditary Baire space is metrizable.     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

A selective bitopological version of the Reznichenko property in function spaces

For a Tychonoff space X we consider the compact-open and the topology of pointwise convergence on the set of all continuous real-valued functions, define a selective version of the Reznichenko property connecting the two topologies and characterize it dually via a suitable covering property of the space X.     

Approximate extension property of mappings

The extension problem is to determine the extendability of a mapping defined on a closed subset of a space into a nice space such as a CW complex over the whole space. In this paper, we consider the extension problem when the codomains are general spaces. We take a shape theoretic approach to generalize the extension theory so that the codomains are allowed to be general spaces. We extend the notion of extension type which has been defined for the class of CW complexes and introduce the notion of approximate extension type which is defined for general spaces. We define approximate extension dimension analogously to extension dimension, replacing the class of CW complexes by the class of finitistic separable metrizable spaces. For every metrizable space X, we show the existence of approximate extension dimension of X.     

Fodor-type Reflection Principle and reflection of metrizability and meta-Lindelöfness

We introduce a new reflection principle which we call “Fodor-type Reflection Principle” (FRP). This principle follows from but is strictly weaker than Fleissner's Axiom R. For instance, FRP does not impose any restriction on the size of the continuum, while Axiom R implies that the continuum has size ?ℵ₂.We show that FRP implies that every locally separable countably tight topological space X is meta-Lindelöf if all of its subspaces of cardinality ?ℵ₁ are (Theorem 4.3). It follows that, under FRP, every locally (countably) compact space is metrizable if all of its subspaces of cardinality ?ℵ₁ are (Corollary 4.4). This improves a result of Balogh who proved the same assertion under Axiom R.We also give several other results in this vein, some in ZFC, others in some further extension of ZFC. For example, we prove in ZFC that if X is a locally (countably) compact space of singular cardinality in which every subspace of smaller size is metrizable then X itself is also metrizable (Corollary 5.2).     

Local connectedness and extension of uniformly continuous functions

A metric space X is straight if for each finite cover of X by closed sets, and for each real valued function f on X, if f is uniformly continuous on each set of the cover, then f is uniformly continuous on the whole of X. The straight spaces have been studied in [A. Berarducci, D. Dikranjan, J. Pelant, An additivity theorem for uniformly continuous functions, Topology and its Applications 146-147 (2005) 339-352], which contains characterization of the straight spaces within the class of the locally connected spaces (they are the uniformly locally connected ones) and the class of the totally disconnected spaces (they coincide with the totally disconnected Atsuji spaces). We show that the completion of a straight space is straight and we characterize the dense straight subspaces of a straight space. In order to clarify further the relation between straightness and the level of local connectedness of the space we introduce two more intermediate properties between straightness and uniform local connectedness and we give various examples to distinguish them. One of these properties coincides with straightness for complete spaces and provides in this way a useful characterization of complete straight spaces in terms of the behaviour of the quasi-components of the space.     

Wijsman topology on function spaces

LetC(X,Y) be the space of continuous functions from a metric space (X,d) to a metric space (Y, e).C(X, Y) can be thought as subset of the hyperspaceCL(X×Y) of closed and nonempty subsets ofX×Y by identifying each element ofC(X,Y) with its graph. We considerC(X,Y) with the topology inherited from the Wijsman topology induced onCL(X×Y) by the box metric ofd ande. We study the relationships between the Wijsman topology and the compact-open topology onC(X,Y) and also conditions under which the Wijsman topology coincide with the Fell topology. Sufficient conditions under which the compactopen topology onC(X,Y) is weaker than the Wijsman topology are given (IfY is totally bounded, then for every metric spaceX the compactopen topology onC(X,Y) is weaker than the Wijsman topology and the same is true forX locally connected andY rim-totally bounded). We prove that a metric spaceX is boundedly compact iff the Wijsman topology onC(X, ℝ) is weaker than the compact-open topology. We show that ifX is a σ-compact complete metric space andY a compact metric space, then the Wijsman topology onC(X,Y) is Polish.     

The Structure of Extended Real-valued Metric Spaces

An extended metric on a set X is a distance function that satisfies the usual properties of a metric except that it can assume values of infinity, in addition to nonnegative real values. Given a metrizable space we exhibit a universal space for all extended metric spaces compatible with the topology. Defining a set in an extended metric space to be bounded if it is contained in a finite union of open balls, we characterize those bornologies on X that can be realized as bornologies of metrically bounded sets. We also consider a second possible definition of bounded set in this setting.     

Convergence on closed convex sets in a locally convex space

The purpose of this paper is to compare several kinds of convergences on the space C(X) of nonempty closed convex subsets of a locally convex space X. First we verify that the AW-convergence on C(X) is weaker than the metric Attouch-Wets convergence on C(X) of a metrizable locally convex space X. Moreover, we show that X is normable if and only if the two convergences on C(X × R) are equivalent. Secondly we define two convergences on C(X) analogous to the corresponding ones in a normed linear space, and investigate some basic properties of these convergences and compare them.     

Mappings onto metric spaces

We give characterizations of perfect images and open and compact images of spaces that can be mapped onto metrizable spaces by a mapping with fibers having a given property $\text{P}$. We use these characterizations to obtain conditions which imply that such images can be mapped onto a metric space by a mapping with fibers satisfying $\text{P}$. Such a treatment includes the investigation of spaces with a weaker metric topology [2, Ch. 5].     

Homomorphisms on Function Lattices

In this paper we study real lattice homomorphisms on a unital vector lattice , where X is a completely regular space. We stress on topological properties of its structure spaces and on its representation as point evaluations. These results are applied to the lattice of real Lipschitz functions on a metric space. Using the automatic continuity of lattice homomorphisms with respect to the Lipschitz norm, we are able to derive a Banach-Stone theorem in this context. Namely, it is proved that the unital vector lattice structure of Lip (X) characterizes the Lipschitz structure of the complete metric space X. In the case of bounded Lipschitz functions, an analogous result is obtained in the class of complete quasiconvex metric spaces.     

On metric spaces with the properties of de Groot and Nagata in dimension one

A metric space (X,d) has the de Groot property GPn if for any points x₀,x₁,…,xn+2∈X there are positive indices i,j,k?n+2 such that i≠j and d(xi,xj)?d(x₀,xk). If, in addition, k∈{i,j} then X is said to have the Nagata property NPn. It is known that a compact metrizable space X has dimension dim(X)?n iff X has an admissible GPn-metric iff X has an admissible NPn-metric.We prove that an embedding f:(0,1)→X of the interval (0,1)⊂R into a locally connected metric space X with property GP₁ (resp. NP₁) is open, provided f is an isometric embedding (resp. f has distortion Dist(f)=‖fLip_‖⋅‖f−1Lip_‖<2). This implies that the Euclidean metric cannot be extended from the interval [−1,1] to an admissible GP₁-metric on the triode T=[−1,1]∪[0,i]. Another corollary says that a topologically homogeneous GP₁-space cannot contain an isometric copy of the interval (0,1) and a topological copy of the triode T simultaneously. Also we prove that a GP₁-metric space X containing an isometric copy of each compact NP₁-metric space has density ?c.