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.

July 11, 2019 17:41 PM

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