by MrBr
Last Updated July 11, 2019 19:20 PM

Prove that if $d_1$ and $d_2$ are metrics over $X$, $\tau_1$ and $\tau_2$ are the family of open subsets of their respective metric spaces then:

(i) $\implies$ (ii) $\iff$ (iii)

Where:

(i) There exists a $c>0$ that for any $x,y \in X$ we have $c \cdot d_1(x,y) \geq d_2(x,y)$

(ii) For any $x \in X$ and $r > 0 $, there exists a $r'>0$ where $B_{d_1}(x,r') \subset B_{d_2}(x,r)$

(iii) $\tau_2 \subset \tau_1$

If (i) holds, then for given $x \in X$ and $r>0$, define $r'=\frac{r}{c}$.

Then if $y \in B_{d_1}(x,r')$ then $d_1(x,y) < r'$. Also by (i): $$d_2(x,y) \le c\cdot d_1(x,y) < c \cdot r' = c \cdot \frac{r}{c}=r$$

so that $y \in B_{d_2}(x,r)$ , showing the inclusion. and so $\text{(i)} \implies \text{(ii)}$ holds.

The equivalence of (ii) and (iii) is quite obvious from the definitions. What does $O \in \tau_2$ mean? Also recall that open balls are open sets in their induced topologies.

Updated July 20, 2017 10:20 AM

Updated August 01, 2017 18:20 PM

Updated September 22, 2017 23:20 PM

- Serverfault Query
- Superuser Query
- Ubuntu Query
- Webapps Query
- Webmasters Query
- Programmers Query
- Dba Query
- Drupal Query
- Wordpress Query
- Magento Query
- Joomla Query
- Android Query
- Apple Query
- Game Query
- Gaming Query
- Blender Query
- Ux Query
- Cooking Query
- Photo Query
- Stats Query
- Math Query
- Diy Query
- Gis Query
- Tex Query
- Meta Query
- Electronics Query
- Stackoverflow Query
- Bitcoin Query
- Ethereum Query