3
$\begingroup$

My book (Principles of Topology by Fred Croom) states the following lemma: "Let $d_1$ and $d_2$ be two metrics for the set $X$ and suppose that there is a positive number $c$ such that $d_1(x,y) \le cd_2(x,y)$ for all $x,y\in X$. Then the identity function $i: (X,d_2) \to (X,d_1)$ is continuous."

My question is simple: must $c$ be a constant independent of $x$ and $y$, or is it a not-necessarily-constant positive number? Experience suggests the former, but the lack of the word 'constant' and two possible interpretations of the wording make me question it. I worked out a proof that every metric space is homeomorphic to a bounded metric space in which it works to set $c=d(x,y)$, and this is the reason that I want to get this straight.

2 Answers 2

1

The constant $c$ is independent of the points $x$ and $y$. To see why this is important, let $d_1$ be the usual metric on $\Bbb R$, and let $d_2$ be the discrete metric given by $d_2(x,y)=\begin{cases}0,&\text{if }x=y\\1,&\text{if }x\ne y\;.\end{cases}$ Let $f:\Bbb R\to\Bbb R:x\mapsto x$ be the identity map. It’s easy to see that $f$ is not continuous as a function from $\langle\Bbb R,d_1\rangle$ to $\langle\Bbb R,d_2\rangle$. On the other hand, if we set $c(x,y)=\max\{1,|x-y|\}$ for each $x,y\in\Bbb R$, it’s easy to check that $d_1(x,y)=|x-y|\le c(x,y)\cdot1=c(x,y)d_2(x,y)$ for all $x,y\in\Bbb R$.

  • 0
    I understand, thanks.2012-06-07
0

In this case, they are indicating that $c$ is a constant independent of $x,y$. You are correct, though, that it isn't a necessary condition, only sufficient.

For more, see this question.

  • 0
    If I implied that I thought it wasn't a necessary condition but only sufficient, I didn't realize that I did so, hence the confusion. I'm fine now. Thanks.2012-06-07