Let V be a real vector space endowed with an Euclidean norm ‖⋅‖.
A bijective map T:V→V that preserves inner product ⟨⋅,⋅⟩ is linear. Also, Mazur-Ulam theorem states that an onto map T:V→V which is an isometry (‖T(x)−T(y)‖=‖x−y‖ for all x,y∈V) and fixes the origin (T(0)=0) is linear.
What about an application that preserves the norm (‖T(x)‖=‖x‖ for all x∈V)? T might not be linear as we show with following example:T:V⟶Vx⟼xif ‖x‖≠1x⟼−xif ‖x‖=1
It is clear that T preserves the norm. However T is not linear as soon as V is not the zero vector space. In that case, consider x0 such that ‖x0‖=1. We have:{T(2x0)=2x0 as ‖2x0‖=2whileT(x0)+T(x0)=−x0+(−x0)=–2x0