Hi
Suppose (X,d) is a bounded metric space. Can we extend (X,d) into (X',d') such that (X',d') is compact and d and d' agree on X?
( The reason for asking the question: To prove a theorem in Euclidean space, I found it convenient to first extend the bounded set in question to a compact one (...