- #1

mathmari

Gold Member

MHB

- 5,049

- 7

Let $X=(0,1)$. For $x,y>0$ we consider the metrices:

- $d_1(x,y)=|x-y|$
- $d'(x,y)=\left |\frac{1}{x}-\frac{1}{y}\right |=\frac{|x-y|}{|xy|}$

I want to show that these are topologically equivalent but not strongly equivalent. $d_1$ and $d'$ are strongly equivalent iff there are constants $k>0$ and $K>0$ such that \begin{equation*}kd_1(x,y)\le d'(x,y)\le \text{ for all $x,y$.}\end{equation*}

From there we get \begin{equation*}k\le \frac{d'(x,y)}{d_1(x,y)}\le K \Rightarrow k\le \frac{1}{|xy|}\le K\end{equation*} for all $x,y$.

It holds that $\frac{1}{|xy|}$ is not bounded for all $x,y$. If $x,y\rightarrow 0$ then $\frac{1}{|xy|}\rightarrow \infty$.

Therefore the metrices $d_1$ and $d'$ are not strongly equivalent. Is everything correct so far? (Wondering) Could you give me a hint how to show that these are topologically equivalent? (Wondering)