Edelstein's fixed point theorem

195 Views Asked by At

I just read that Edelstein fixed point theorem did not assume compactness in his original proof of his fixed point theorem for contractive mappings, but rather the existence of a point $a \in X$ whose sequence of iterates $x_n=f_n(a)$ has a convergent subsequence. What would the proof look like?