[0TK]↺↻
We will see in Sec. [2CH]↺↻ the same definition in the case of normed vector spaces. Obviously an isometry is Lipschitz, and therefore continuous. Isometries enjoy some properties.
[0TM]↺↻
[0TP]↺↻
[0TQ]↺↻
[0TT]↺↻
[0TW]↺↻
[0TZ]↺↻
[0V2]↺↻
