Pseudocompactness of hyperspaces

We consider the following question of Ginsburg: Is there any relationship between the pseudocompactness ofXωand that of the hyperspaceX²? We do that first in the context of Mrówka-Isbell spaces Ψ(A) associated with a maximal almost disjoint (MAD) family A on ω answering a question of J. Cao and T. Nogura. The space Ψω(A) is pseudocompact for every MAD family A. We show that

(1)

(p=c) ²Ψ(A) is pseudocompact for every MAD family A.

(2)

(h<c) There is a MAD family A such that ²Ψ(A) is not pseudocompact.

We also construct a ZFC example of a space X such that Xω is pseudocompact, yet X² is not.     

Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

We characterize metric spaces X whose hyperspaces X² (or Bd(X)) of non-empty closed (bounded) subsets, endowed with the Hausdorff metric, are absolute [neighborhood] retracts.     

Norm continuity of weakly continuous mappings into Banach spaces

Let T be the class of Banach spaces E for which every weakly continuous mapping from an α-favorable space to E is norm continuous at the points of a dense subset. We show that:

•

T contains all weakly Lindelöf Banach spaces;

•

l^∞∉T, which brings clarity to a concern expressed by Haydon ([R. Haydon, Baire trees, bad norms and the Namioka property, Mathematika 42 (1995) 30-42], pp. 30-31) about the need of additional set-theoretical assumptions for this conclusion. Also, (l^∞/c₀)∉T.

•

T is stable under weak homeomorphisms;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is densely norm continuous;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is weakly continuous at some point.

     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Densely two-valued metric projections in uniformly convex Banach spaces

For every uniformly convex Banach spaceX with dimX2 there is a residual setU in the Hausdorff metric spaceB(X) of bounded and closed sets inX such that the metric projection generated by a set fromU is two-valued and upper semicontinuous on a dense and everywhere continual subset ofX. For any two closed and separated subsetsM ₁ andM ₂ ofX the points on the equidistant hypersurface which have best approximations both inM ₁ andM ₂ form a dense G set in the induced topology.The author is partially supported by the National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under contract MM 408/94.     

The Fréchet-Urysohn property of Pixley-Roy hyperspaces

Let F[X] be the Pixley-Roy hyperspace of a regular space X. In this paper, we prove the following theorem.

Theorem. For a space X, the following are equivalent:

(1)

F[X]is a k-space;

(2)

F[X]is sequential;

(3)

F[X]is Fréchet-Urysohn;

(4)

Every finite power of X is Fréchet-Urysohn for finite sets;

(5)

Every finite power ofF[X]is Fréchet-Urysohn for finite sets.

As an application, we improve a metrization theorem onF[X].     

Arc-smoothness in hyperspaces

Let X be a metric continuum and 2^x (C(X)) denote the hyperspace of closed subsets (subcontinua) of X. The concept of arc-smoothness, which is a special type of contractibility, is investigated in 2^x and C(X). Results are obtained about hyperspaces of locally connected continua, about continua for which C(X) and the cone over X are homeomorphic, about Whitney levels in C(X), and about hyperspaces of hereditarily indecomposable continua. Some examples are given and several natural questions are raised.     

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

     

Bead spaces and fixed point theorems

The notion of a bead metric space defined here (see Definition 6) is a nice generalization of that of the uniformly convex normed space. In turn, the idea of a central point for a mapping when combined with the “single central point” property of the bead spaces enables us to obtain strong and elegant extensions of the Browder-Göhde-Kirk fixed point theorem for nonexpansive mappings (see Theorems 14-17). Their proofs are based on a very simple reasoning. We also prove two theorems on continuous selections for metric and Hilbert spaces. They are followed by fixed point theorems of Schauder type. In the final part we obtain a result on nonempty intersection.     

Selections and totally disconnected spaces

We demonstrate that for every n<ω there exists a separable completely metrizable space Xn which has a continuous selection for its Vietoris hyperspace of nonempty compact subsets, but dim(Xn)=n. Related results and open problems are discussed.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

Nonlinear error bounds for lower semicontinuous functions on metric spaces

As a development of the theory of linear error bounds for lower semicontinuous functions defined on complete metric spaces, introduced in Azé et al. (Nonlinear Anal 49, 643–670, 2002) and refined in Azé and Corvellec (ESAIM Control Optim Calc Var 10, 409–425, 2004), we propose a similar approach to nonlinear error bounds, based on the notion of strong slope, the variational principle, and the change-of-metric principle, the latter allowing to obtain sharp estimates for such error bounds through a reduction to the linear case.     

Lawson compactness on function spaces of domains

In this paper it is proved that for a Lawson compact algebraic dcpo D and a bifinite domain L with smallest element, the function space [D→L] is algebraic and Lawson compact.     

Closed images of spaces having g-functions

This paper deals with the study of closed images or quasi-perfect images of Nagata spaces, contraconvergent spaces, weak contraconvergent spaces, ks-spaces, γ-spaces and wγ-spaces and, of metrization theorems involving these spaces. We prove that the closed images of contraconvergent (weak contraconvergent) spaces are contraconvergent (weak contraconvergent) and that quasi-perfect images of γ- (wγ-)spaces are γ (wγ).     

Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

We construct a compact linearly ordered space Kω₁ of weight ℵ₁, such that the space C(Kω₁) is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, Kω₁ is a continuous image of a Valdivia compact and every separable subspace of C(Kω₁) is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.     

Metrics that generate the same hyperspace convergence

We provide a necessary and sufficient condition for two equivalent metrics to generate the same Wijsman convergence on the hyperspace of a metrizable space. We give some applications to normed linear spaces and to various classes of metrizable spaces.     

Linearly ordered covers,normality and paracompactness

It is shown that a regular space is collectionwise normal and countably paracompact if every open cover has an open, order cushioned refinement. A sufficient condition for paracompactness, in terms of certain order locally finite covers, is given, and is applied to the problem of the paracompactness of product spaces.     

Function spaces from core compact coherent spaces to continuous B-domains

It is proved in this paper that for a continuous B-domain L, the function space [X→L] is continuous for each core compact and coherent space X. Further, applications are given. It is proved that:

(1)

the function space from the unit interval to any bifinite domain which is not an L-domain is not Lawson compact;

(2)

the Isbell and Scott topologies on [X→L] agree for each continuous B-domain L and core compact coherent space X.

     

Sequences of semicontinuous functions accompanying continuous functions

A space X is said to have property (USC) (resp. (LSC)) if whenever is a sequence of upper (resp. lower) semicontinuous functions from X into the closed unit interval [0,1] converging pointwise to the constant function 0 with the value 0, there is a sequence of continuous functions from X into [0,1] such that fn?gn (n∈ω) and converges pointwise to 0. In this paper, we study spaces having these properties and related ones. In particular, we show that (a) for a subset X of the real line, X has property (USC) if and only if it is a σ-set; (b) if X is a space of non-measurable cardinal and has property (LSC), then it is discrete. Our research comes of Scheepers' conjecture on properties S₁(Γ,Γ) and wQN.