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.     

Products of straight spaces

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. A locally connected space is straight iff it is uniformly locally connected (ULC). It is easily seen that ULC spaces are stable under finite products. On the other hand the product of two straight spaces is not necessarily straight. We prove that the product X×Y of two metric spaces is straight if and only if both X and Y are straight and one of the following conditions holds:

(a)

both X and Y are precompact;

(b)

both X and Y are locally connected;

(c)

one of the spaces is both precompact and locally connected.

In particular, when X satisfies (c), the product X×Z is straight for every straight space Z.Finally, we characterize when infinite products of metric spaces are ULC and we completely solve the problem of straightness of infinite products of ULC spaces.     

Convexity of momentum maps: A topological analysis

The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps f:X→Y where the convexity structure of the target space Y need not be based on a metric. Using a new factorization of f, convexity of the image is proved without local fiber connectedness, and for arbitrary connected spaces X.     

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.     

Closed maps on metric spaces

The following result is proved: Let Y be the image of a metric space X under a closed map f. Then every ?f^-1(y) is Lindelöf if and only if Y has a point-countable k-network.     

Closed subsets of the domain whose image has the dimension of the range

It is shown that if dim Y < ∞ and if f(X) = Y is a mapping between compact metric spaces such that 1 ? m ? dim f^-1(y)?n for all y ? Y, then there exists a closed set K ? X such that dim K ? n ? m and dim f(K) = dim Y. This answers a question posed by J. Keesling and D. Wilson.     

Separate continuity, joint continuity, the Lindelöf property and p-spaces

In this paper we prove a theorem more general than the following. Suppose that X is ?ech-complete and Y is a closed subset of a product of a separable metric space with a compact Hausdorff space. Then for each separately continuous function there exists a residual set R in X such that f is jointly continuous at each point of R×Y. This confirms the suspicions of S. Mercourakis and S. Negrepontis from 1991.     

Applications of almost one-to-one maps

A continuous map of topological spaces X,Y is said to be almost 1-to-1 if the set of the points x∈X such that f⁻¹(f(x))={x} is dense in X; it is said to be light if pointwise preimages are 0-dimensional. In a previous paper we showed that sometimes almost one-to-one light maps of compact and σ-compact spaces must be homeomorphisms or embeddings. In this paper we introduce a similar notion of an almost d-to-1 map and extend the above results to them and other related maps. In a forthcoming paper we use these results and show that if f is a minimal self-mapping of a 2-manifold then point preimages under f are tree-like continua and either M is a union of 2-tori, or M is a union of Klein bottles permuted by f.     

Products of Compacta with Plyhedra and Topological Spaces in the Shape Category

In the literature there exist examples of separable metric spaces X,Y whose Cartesian product X × Y is not a product in the shape category Sh(Top). It is an open question whether, for X a compact Hausdorff space, X × Y is a product in Sh(Top), for every topological spaces Y. The main result of the paper asserts that the answer is positive provided X × P is a product in Sh(Top), for every polyhedron P.     

Distances from selectors to spaces of Baire one functions

Given a metric space X and a Banach space (E,‖⋅‖) we study distances from the set of selectors Sel(F) of a set-valued map to the space B₁(X,E) of Baire one functions from X into E. For this we introduce the d-τ-semioscillation of a set-valued map with values in a topological space (Y,τ) also endowed with a metric d. Being more precise we obtain that

     

A counterexample in ANR theory

There is an AR X and a non-AR Y and a continuous surjection f:X→Y so that each point-inverse f^-1(y) is an AR. This solves a problem of Borsuk.     

Mapping properties of hereditary classes of acyclic curves

A class of continua is said to have the mapping property for curves if for each continuous mappingf fromX onto a curveY such that the image underf of any irreducible subcontinuum inX is in , the whole range spaceY is in . It is shown that the class of acyclic curves has this property. Some related topics are discussed and open questions are raised.     

Realcompactness of hyperspaces and extensions of open-closed maps

In response to questions of Ginsburg [9, 10], we prove that if cf(c)>ω₁, then there exists an open-closed, continuous map f from a normal, realcompact space X onto a space Y which is not realcompact. By his result the hyperspace 2^x of closed subsets of X is then not realcompact, and the extension μf(vf) of f to the topological completion (the Hewitt realcompactification) of X is not onto. The latter fact solves problems raised by Morita [16] and by Isiwata [12] both negatively. We also consider the problem whether or not the hyperspace of a hereditarily Lindelöf space is hereditarily realcompact.     

Potential Theoretic Approach to Rendezvous Numbers

We analyze relations between various forms of energies (reciprocal capacities), the transfinite diameter, various Chebyshev constants and the so-called rendezvous or average number. The latter is originally defined for compact connected metric spaces (X,d) as the (in this case unique) nonnegative real number r with the property that for arbitrary finite point systems {x ₁, …, x _n } ⊂ X, there exists some point x ∈ X with the average of the distances d(x,x _j ) being exactly r. Existence of such a miraculous number has fascinated many people; its normalized version was even named “the magic number” of the metric space. Exploring related notions of general potential theory, as set up, e.g., in the fundamental works of Fuglede and Ohtsuka, we present an alternative, potential theoretic approach to rendezvous numbers.     

New basic result in classical descriptive set theory: Preservation of completeness

The aim of this note is to prove the following result:Assume that f is a continuous function from the space of irrationals ωω onto Y such that the image f(U) of every set U which is open and closed in ωω is the union of one open and one closed set. Then Y is a completely metrizable space.     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

Continuous selections avoiding extreme points

It is shown that if X is a countably paracompact collectionwise normal space, Y is a Banach space and φ:X→Y² is a lower semicontinuous mapping such that φ(x) is Y or a compact convex subset with Cardφ(x)>1 for each x∈X, then φ admits a continuous selection f:X→Y such that f(x) is not an extreme point of φ(x) for each x∈X. This is an affirmative answer to the problem posed by V. Gutev, H. Ohta and K. Yamazaki [V. Gutev, H. Ohta and K. Yamazaki, Selections and sandwich-like properties via semi-continuous Banach-valued functions, J. Math. Soc. Japan 55 (2003) 499-521].     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

Parametric bing and Krasinkiewicz maps

It is shown that if is a perfect map between metrizable spaces and Y is a C-space, then the function space C(X,I) with the source limitation topology contains a dense Gδ-subset of maps g such that every restriction map gy=g|f⁻¹(y), y∈Y, satisfies the following condition: all fibers of gy are hereditarily indecomposable and any continuum in f⁻¹(y) either contains a component of a fiber of gy or is contained in a fiber of gy.     

Atsuji completions: Equivalent characterisations

A metric space (X,d) is called an Atsuji space if every real-valued continuous function on (X,d) is uniformly continuous. It is well known that an Atsuji space must be complete. A metric space (X,d) is said to have an Atsuji completion if its completion is an Atsuji space. In this paper, we study twenty-nine equivalent characterisations for a metric space to have an Atsuji completion.