We define a metric $d_S$, called the shape metric, on the hyperspace $2^X$ of all non-empty compact subsets of a metric space X. Using it we prove that a compactum X in the Hilbert cube is movable if and only if X is the limit of a sequence of polyhedra in the shape metric. This fact is applied to show that the hyperspace $(2^{ℝ}2$, dS)$isseparable.Ontheotherhand,wegiveanexampleshowingthat$2ℝ2$isnotseparableinthefundamentalmetricintroducedbyBorsuk.$

In this paper we introduce a class of maps possessing a multivalued homotopy lifting property with respect to every topological space. We call these maps multifibrations and they represent a formally stronger concept than that of shape fibration. Multifibrations have the interesting property of being characterized in a completely intrinsic way by a path lifting property involving only the total and the base space of the fibration. We also show that multifibrations (and also, with some restrictions,...