Mappings and Prohorov spaces

We consider completely regular Hausdorff spaces. In this paper we investigate the space of probability Radon measures P(X) on a space X and the property to be a Prohorov space. We prove that the space P(X) is sieve-complete if and only if X is sieve-complete. Every mapping generates the mapping . Some properties of the mapping P(φ) are studied. In particular, we investigate under which conditions the open continuous image of a Prohorov space is Prohorov.     

Barycentric selectors and a Steiner-type point of a convex body in a Banach space

Let F be a mapping from a metric space into the family of all m-dimensional affine subsets of a Banach space X. We present a Helly-type criterion for the existence of a Lipschitz selection f of the set-valued mapping F, i.e., a Lipschitz continuous mapping satisfying . The proof of the main result is based on an inductive geometrical construction which reduces the problem to the existence of a Lipschitz (with respect to the Hausdorff distance) selector S_X^(m) defined on the family of all convex compacts in X of dimension at most m. If X is a Hilbert space, then the classical Steiner point of a convex body provides such a selector, but in the non-Hilbert case there is no known way of constructing such a point. We prove the existence of a Lipschitz continuous selector for an arbitrary Banach space X. The proof is based on a new result about Lipschitz properties of the center of mass of a convex set.     

Inducing sensitivity on hyperspaces

Let (X,d) be a compact metric space and (K(X),dH) be the space of all non-empty compact subsets of X equipped with the Hausdorff metric dH. The dynamical system (X,f) induces another dynamical system . We study the relations between the various forms of sensitivity of the systems (X,f) and . We prove that all forms of sensitivity of partly imply the same for (X,f), and the converse holds in some cases.     

Classes defined by stars and neighbourhood assignments

We apply and develop an idea of E. van Douwen used to define D-spaces. Given a topological property P, the class P^∗ dual to P (with respect to neighbourhood assignments) consists of spaces X such that for any neighbourhood assignment there is Y⊂X with Y∈P and . We prove that the classes of compact, countably compact and pseudocompact are self-dual with respect to neighbourhood assignments. It is also established that all spaces dual to hereditarily Lindelöf spaces are Lindelöf. In the second part of this paper we study some non-trivial classes of pseudocompact spaces defined in an analogous way using stars of open covers instead of neighbourhood assignments.     

On spaces which are D, linearly D and transitively D

In this note, we comment on D-spaces, linearly D-spaces and transitively D-spaces. We show that every meta-Lindelöf space is transitively D. If X is a weak -refinable TD-scattered space, then X is transitively D, where TD is the class of all transitively D-spaces. If X is a weak -refinable -scattered space, then X is a D-space, where is the class of all D-spaces, and hence every weak -refinable (or submetacompact) scattered space is a D-space. This gives a positive answer to a question mentioned by Martínez and Soukup. In the last part of this note, we show that if X is a weak -refinable space then X is linearly D.     

The bicompletion of the Hausdorff quasi-uniformity

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P₀(X) of the nonempty subsets of X is bicomplete.Indeed we present an explicit method to construct the bicompletion of the T₀-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T₀-spaces (X,U) for which the Hausdorff quasi-uniformity of their bicompletion on is bicomplete.     

A hypercyclicity criterion with applications

A continuous linear operator on a topological vector space X is called hypercyclic if there is x∈X such that the orbit {Tnx}_n?0 is dense in X. We establish a criterion for hypercyclicity, and study some applications. In particular, we establish hypercyclic left-multipliers on the space L(X,Y) of continuous linear operators between X and Y, provided with the topology of uniform convergence on bounded sets, for some spaces X,Y of holomorphic functions.     

Unbounded sets of maps and compactification in extension theory

Suppose that K is a CW-complex. When we say that a space Y is an absolute co-extensor for K, we mean that K is an absolute extensor for Y, i.e., that for every closed subset A of Y and any map , there exists a map that extends f.Our main theorem will provide several statements that are equivalent to the condition that whenever K is a CW-complex and X is a space which is the topological sum of a countable collection of compact metrizable spaces each of which is an absolute co-extensor for K, then the Stone-?ech compactification of X is an absolute co-extensor for K.     

Bounded tightness for locally convex spaces and spaces C(X)

We show that metrizability and bounded tightness are actually equivalent for a large class of locally convex spaces including (LF)-spaces, (DF)-spaces, the space of distributions D′(Ω), etc. A consequence of this fact is that for the bounded tightness for the weak topology of X is equivalent to the following one: X is linearly homeomorphic to a subspace of . This nicely supplements very recent results of Cascales and Raja. Moreover, we show that a metric space X is separable if the space C_p(X) has bounded tightness.     

Topological entropy for set valued maps

Any continuous map T on a compact metric space X induces in a natural way a continuous map on the space K(X) of all non-empty compact subsets of X. Let T be a homeomorphism on the interval or on the circle. It is proved that the topological entropy of the induced set valued map is zero or infinity. Moreover, the topological entropy of is zero, where C(X) denotes the space of all non-empty compact and connected subsets of X. For general continuous maps on compact metric spaces these results are not valid.     

A K-theoretical invariant and bifurcation for a parameterized family of functionals

Let F:={fx:x∈X} be a family of functionals defined on a Hilbert manifold and smoothly parameterized by a compact connected orientable n-dimensional manifold X, and let be a smooth section of critical points of F. The aim of this paper is to give a sufficient topological condition on the parameter space X which detects bifurcation of critical points for F from the trivial branch. Finally we are able to give some quantitative properties of the bifurcation set for perturbed geodesics on semi-Riemannian manifolds.     

On the base dimension I and the property of universality

In Iliadis (2005) [13] for an ordinal α the notion of the so-called (bn-Ind?α)-dimensional normal base C for the closed subsets of a space X was introduced. This notion is defined similarly to the classical large inductive dimension Ind. In this case we shall write here I(X,C)?α and say that the base dimension I of the space X by the normal base C is less than or equal to α. The classical large inductive dimension Ind of a normal space X, the large inductive dimension Ind₀ of a Tychonoff space X defined independently by Charalambous and Filippov, as well as, the relative inductive dimension defined by Chigogidze for a subspace X of a Tychonoff space Y may be considered as the base dimension I of X by normal bases Z(X) (all closed subsets of X), Z(X) (all functionally closed subsets of X), and , respectively.In the present paper, we shall consider normal bases of spaces consisting of functionally closed subsets. In particular, we introduce new dimension invariant : for a space X, is the minimal element α of the class O∪{−1,∞}, where O is the class of all ordinals, for which there exists a normal base C on X consisting of functionally closed subsets such that I(X,C)?α. We prove that in the class of all completely regular spaces X of weight less than or equal to a given infinite cardinal τ such that there exist universal spaces. However, the following questions are open.(1) Are there universal elements in the class of all normal (respectively, of all compact) spaces X of weight ?τ with ?(2) Are there universal elements in the class of all Tychonoff (respectively, of all normal) spaces X of weight ?τ with Ind₀(X)?n∈ω? (Note that for a compact space X.)