Hyperspaces of compact sets in metric linear spaces (Q1819399)

Let X be a complete metric linear space. \textit{T. Dobrowolski} and \textit{H. Toruńczyk} [ibid. 12, 229-235 (1981; Zbl 0472.57009)] and \textit{D. W. Curtis}, \textit{T. Dobrowolski} and \textit{J. Mogilski} [Trans. Am. Math. Soc. 284, 837-846 (1984; Zbl 0563.54023)] identified convex subsets of X which are homeomorphic to \(\ell_ 2\) and to \(\ell^ f_ 2=\{(x_ i)\in \ell_ 2:\) \(x_ i=0\) for almost all \(i\}\), respectively. Let \({\mathcal F}(X)\) denote the Hausdorff-metrized hyperspace of all nonempty finite subsets of X. The author defines what it means for a family \({\mathcal G}\subset {\mathcal F}(X)\) to be convex and then characterizes those convex families which are homeomorphic to \(\ell^ f_ 2\); in such case, (\(\tilde {\mathcal G},{\mathcal G})\cong (\ell_ 2,\ell^ f_ 2)\) for any \(G_{\delta}\tilde {\mathcal G}\in AR\) between \({\mathcal G}\) and \(\bar G\). This seemingly specialized result actually generalizes the theorems mentioned above. (The canonical embedding \(x\mapsto \{x\}\) maps a convex subset of X onto a convex family in \({\mathcal F}(X).)\) Convexity of families is also used to give examples of pairs of hyperspaces homeomorphic to \((\ell_ 2,\ell_ 2^{\sigma})\), where \(\ell_ 2^{\sigma}=\{(x_ i)\in \ell_ 2:\sum^{\infty}_{i=1}(ix_ i)^ 2<\infty \}\).