From a1b5de688d879069b5e1192057d71572c7bc5368 Mon Sep 17 00:00:00 2001 From: Justin Gassner Date: Thu, 29 Feb 2024 17:32:24 +0100 Subject: Update --- pages/general-topology/metric-spaces/index.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'pages/general-topology/metric-spaces/index.md') diff --git a/pages/general-topology/metric-spaces/index.md b/pages/general-topology/metric-spaces/index.md index 52b2b4c..6aef400 100644 --- a/pages/general-topology/metric-spaces/index.md +++ b/pages/general-topology/metric-spaces/index.md @@ -60,8 +60,16 @@ Let $(X,d)$ be a (semi-)metric space. The proofs are straightforward. +{% definition Isometry %} +Suppose $(X,d_X)$ and $(Y,d_Y)$ are metric spaces. +We say that a mapping $f : X \to Y$ is *isometric* or an *isometry* if it obeys +$d_Y \big\lparen f(x),f(x') \big\rparen = d_X(x,x')$ for all $x,x' \in X$. +{% enddefinition %} + +As a consequence of **(M1)**, +every isometry is injective. + TODO -- isometry - metric induced by a norm - metric product -- cgit v1.2.3-54-g00ecf