# Who proved Banach fixed point theorem in abstract metric spaces for the first time?

If one studies the paper written by Banach in which he first proved his fixed point theorem one would find that he did not prove the theorem for abstract complete metric spaces. He proved it for the special case of complete normed vector spaces.

My question is - who extended his result to complete metric spaces?

• May 26 '21 at 11:37