Completeness of hyperspaces on topological groups (Q1571067)

The authors, following \textit{B. S. Burdick} [Lect. Notes Pure Appl. Math. 134, 19-24 (1991; Zbl 0766.54008)], call a uniform space hypercomplete if the Hausdorff-Bourbaki uniformity on the set of its nonempty closed subsets is complete. They note that the term supercomplete has also been used for this concept, notably by \textit{J. R. Isbell} [Pac. J. Math. 12, 287-290 (1962; Zbl 0104.39503)] who showed by an example that a complete uniform space need not be supercomplete. They prove that if the bilateral uniformity of a topological group of pointwise countably type is complete, then it is hypercomplete. (A space is said to be of pointwise countable type if it is covered by compact subsets each of which has a countable neighborhood base.) It follows that every Čech complete group is hypercomplete in its bilateral uniformity. Finally, the free Abelian topological group over any compact space is hypercomplete.