As a first step you may want to work problem 8.5.16 in Engelking's General Topology. Keep in mind that a compact Hausdorff space has a unique uniformity, the sets of all neighbourhoods of the diagonal, hence so does the hyperspace.
KP Hart
- 11.4k
- 38
- 48