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

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

for every xEx\in E. 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.