Let (X, d) be a complete metric space. We prove that there is a continuous, linear extension operator from the space of all partial, continuous, bounded metrics with closed, bounded domains in X ...
Proceedings of the National Academy of Sciences of the United States of America, Vol. 54, No. 2 (Aug. 15, 1965), pp. 351-354 (4 pages) ...