Skip to main content
2 of 2
added 41 characters in body
Emerton
  • 58.5k
  • 6
  • 212
  • 264

Dear Pete,

I want to give a proof that if $X$ is a metric space, and if $x_0$ and $x_1$ are two distinct points of $X$, then there is a map $f:X \rightarrow Y$ that is uniformly continuous, with $Y$ complete, and such that $f(x_0) \neq f(x_1)$. The main point is that my proof won't refer to the completion $\widehat{X}$ of $X$. It will then give a proof that $X \rightarrow \widehat{X}$ is necessarily injective, without refering to the construction of $\widehat{X}$.

The construction is simple: take $Y = {\mathbb R}$, and define $f(x) = d(x,x_0).$

(Note: slightly edited from the first version, which had unnecessary complications in the definition of $f$.)

Emerton
  • 58.5k
  • 6
  • 212
  • 264