Hi there,
I came across the following problem and I hope somebody can help me: I have some complete metric space (X,d) (non-compact) and its product with the reals (R\times X, D) with the metric D just being D((t,x),(s,y))=|s-t|+d(x,y) for x,y\in X; s,t\in R. Then I have some sequences...