完備でなくてもいいなら完備でない距離空間 X とその完備可 Y をとって p ∈ Y ＼X をとって
f(x) = d(x,p)
でできてしまう。