On closedness assumptions in selection theorems

We begin by a short survey of various attempts in selection theory to avoid the closedness assumption for values of multivalued mappings. We collect special cases when Michael's Gδ-problem admits an affirmative solution and we prove some unified theorems of such type. We also show that in general this problem has a negative solution. In comparison with a recent result of Filippov, we work directly in the Hilbert cube rather than in the space of all probabilistic measures endowed with different topologies.     

Hereditary invertible linear surjections and splitting problems for selections

Let A+B be the pointwise (Minkowski) sum of two convex subsets A and B of a Banach space. Is it true that every continuous mapping h:X→A+B splits into a sum h=f+g of continuous mappings f:X→A and g:X→B? We study this question within a wider framework of splitting techniques of continuous selections. Existence of splittings is guaranteed by hereditary invertibility of linear surjections between Banach spaces. Some affirmative and negative results on such invertibility with respect to an appropriate class of convex compacta are presented. As a corollary, a positive answer to the above question is obtained for strictly convex finite-dimensional precompact spaces.     

A note on a set-valued extension property

Principal result: Suppose Y is metrizable. Then: (a) if X is metrizable and A⊂X is closed, then every continuous g:A→Y extends to an l.s.c. ψ:X→K(Y); (b) Y satisfies (a) for all paracompact X if and only if Y is completely metrizable.     

On continuous choice of retractions onto nonconvex subsets

For a Banach space B and for a class A of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements A∈A can be chosen to depend continuously on A, whenever nonconvexity of each A∈A is less than . The key geometric argument is that the set of all uniform retractions onto an α-paraconvex set (in the spirit of E. Michael) is -paraconvex subset in the space of continuous mappings of B into itself. For a Hilbert space H the estimate can be improved to and the constant can be replaced by the root of the equation α+α²+α³=1.     

Extension of continuous functions in digital spaces with the Khalimsky topology

The digital space Zn equipped with Efim Khalimsky's topology is a connected space. We study continuous functions Zn⊃A→Z, from a subset of Khalimsky n-space to the Khalimsky line. We give necessary and sufficient condition for such a function to be extendable to a continuous function Zn→Z. We classify the subsets A of the digital plane such that every continuous function A→Z can be extended to a continuous function on the whole plane.     

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.     

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.     

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.     

Projective versions of selection principles

All spaces are assumed to be Tychonoff. A space X is called projectively P (where P is a topological property) if every continuous second countable image of X is P. Characterizations of projectively Menger spaces X in terms of continuous mappings , of Menger base property with respect to separable pseudometrics and a selection principle restricted to countable covers by cozero sets are given. If all finite powers of X are projectively Menger, then all countable subspaces of Cp(X) have countable fan tightness. The class of projectively Menger spaces contains all Menger spaces as well as all σ-pseudocompact spaces, and all spaces of cardinality less than d. Projective versions of Hurewicz, Rothberger and other selection principles satisfy properties similar to the properties of projectively Menger spaces, as well as some specific properties. Thus, X is projectively Hurewicz iff Cp(X) has the Monotonic Sequence Selection Property in the sense of Scheepers; βX is Rothberger iff X is pseudocompact and projectively Rothberger. Embeddability of the countable fan space Vω into Cp(X) or Cp(X,2) is characterized in terms of projective properties of X.     

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.     

Selections for quasi-l.s.c. mappings with uniformly equi-LCn range

Every quasi-lower semi-continuous (q.l.s.c.) mapping admits a lower semi-continuous (l.s.c.) selection preserving all important (from the selection point of view) properties of the former mapping. Special-type extensions of l.s.c. mappings are established on this base.     

Every scattered space is subcompact

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every ?ech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω  -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense _Gδ$G_{\delta }$-subsets of Cantor cubes are subcompact.     

The Namioka property of KC-functions and Kempisty spaces

A topological space Y is called a Kempisty space if for any Baire space X every function , which is quasi-continuous in the first variable and continuous in the second variable has the Namioka property. Properties of compact Kempisty spaces are studied in this paper. In particular, it is shown that any Valdivia compact is a Kempisty space and the Cartesian product of an arbitrary family of compact Kempisty spaces is a Kempisty space.     

An extension theorem for D-normal spaces

A second countable developable T₁-space $\text{D}$₁ is defined which has the following properties: (1) $\text{D}$₁ is an absolute extensor for the class of perfect spaces. (2) $\text{D}$₁^?₀ is a universal space for second countable developable T₁-spaces.     

Continuous weak selections for products

A weak selection on an infinite set X   is a function σ:[X]²→X$\sigma :{[X]}^2\to X$ such that σ({x,y})∈{x,y}$\sigma (\{x,y\})\in \{x,y\}$ for each {x,y}∈[X]²$\{x,y\}\in {[X]}^2$. A weak selection on a space is said to be continuous if it is a continuous function with respect to the Vietoris topology on [X]²${[X]}^2$ and the topology on X  . We study some topological consequences from the existence of a continuous weak selection on the product X×Y$X\times Y$ for the following particular cases:

(i)

Both X and Y are spaces with one non-isolated point.     

The nonexistence of almost continuous surjections between certain continua

Theorems about the nonexistence of continuous surjections between continua and related results are extended to almost continuous surjections. Several questions are posed.     

Building suitable sets for locally compact groups by means of continuous selections

If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S∪{1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris [K.-H. Hofmann, S.A. Morris, Weight and c, J. Pure Appl. Algebra 68 (1-2) (1990) 181-194] on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.     

Selections and topological convexity

A simple natural proof of van de Vel's selection theorem for topological convex structures is given. The technique developed to achieve this proof allows to give also a direct simple proof of the classical Michael's selection theorem in Fréchet spaces, and the Horvath's selection theorem in metric l.c.-spaces.     

Strong paracompactness and multi-selections

We characterize strong paracompactness in terms of usco multi-selections for closed-valued lower semi-continuous mappings into completely metrizable spaces, thus generalizing recent results obtained by Choban, Mihaylova and Nedev [M. Choban, E. Mihaylova, S. Nedev, On selections and classes of spaces, Topology Appl. 155 (2008) 797-804]. Related results and applications are achieved as well.