2

I am learning metric spaces on my own. Recently, I am studying completion of metric space.

I have found this definition.

enter image description here

Is the definition correct? Should not $Y$ be a complete metric space?

user1234
  • 286
  • 2
    @drhab Are you saying that $Y$ can be a completion of $X$ even if $Y$ itself is not complete? I don't think so. – José Carlos Santos Jul 02 '22 at 11:59
  • 2
    It should say "A complete metric space $(Y,d_Y)$...". So, $Y$ has to be complete by definition, and a-priori, one shouldn't use the same symbol $d$ twice. – peek-a-boo Jul 02 '22 at 12:03
  • 1
    @JoséCarlosSantos I was wrong (and of course deleted). Thank you for attending me. This made me wiser. – drhab Jul 02 '22 at 12:04

1 Answers1

4

YES. $(Y, d') $ should be a complete metric space .

Otherwise $Id: X\to X$ is an onto isomerty .

Thus $X$ is completion of itself. But $(X, d) $ need not complete here. So $(Y, d') $ must be a complete metric space.

Sourav Ghosh
  • 12,997