Let for each Let be a metric space. Prove that the following assertions are equivalent:
a) is a complete metric space.
b) For each being closed and non-empty where as we have
I already did a) b) but for the other implication, I have a long solution, is there a short way to do it?