Let EE and FF be . A surjective linear isometry is a surjective T:E→FT:E\to F satisfying

∥Tx∥=∥x∥\lVert Tx\rVert=\lVert x\rVert

for every x∈Ex\in E.

Consequences

Norm preservation makes TT injective, so it is a bijection and its inverse is also a linear isometry.

When E=FE=F, these maps form a group under composition and act on the . Two normed spaces are linearly isometric when such a map exists between them.