Vector spaces/K/Inner product/Linear isometry/Definition

Isometry

Let be vector spaces over , endowed with inner products, and let

be s linear mapping. Then is called an isometry if

holds for all .