Show that a compact metric space X is locally compact.
Let be a compact metric space, a point and an open neighbourhood of . As is open, there is a certain such that the open ball . Now by considering the closed ball we have . Finally, is closed and thus is compact, because is a compact metric space.
Comments