Let V {\displaystyle {}V} and W {\displaystyle {}W} be vector spaces over K {\displaystyle {}{\mathbb {K} }} , both endowed with an inner product, and let φ : V → W {\displaystyle {}\varphi \colon V\rightarrow W} be a linear mapping. Then the following statements are equivalent.