ThmDex – An index of mathematical definitions, results, and conjectures.
Result R81 on D48: Bilipschitz map
Bilipschitz map is continuous
Formulation 0
Let $X$ and $Y$ each form a D2506: Topological metric space.
Let $d_X$ and $d_Y$ each be the D58: Metric in $X$ and $Y$, respectively.
Let $f : X \to Y$ be a D48: Bilipschitz map with respect to $X$ and $Y$.
Then $f$ is a D55: Continuous map with respect to $X$ and $Y$.
Proofs
Proof 0
Let $X$ and $Y$ each form a D2506: Topological metric space.
Let $d_X$ and $d_Y$ each be the D58: Metric in $X$ and $Y$, respectively.
Let $f : X \to Y$ be a D48: Bilipschitz map with respect to $X$ and $Y$.
This result is a corollary to the results
(i) R2755: Bilipschitz map is Lipschitz
(ii) R80: Lipschitz map is continuous

$\square$