Cauchy–Schwarz inequality: In an (V,,)(V,\langle\cdot,\cdot\rangle), for all x,yVx,y\in V,

x,yxy,|\langle x,y\rangle|\le \|x\|\,\|y\|,

where x=x,x\|x\|=\sqrt{\langle x,x\rangle} is the induced . Equality holds if and only if xx and yy are linearly dependent.

Remarks

In a , this bounds the dot product by the product of Euclidean lengths. It is central for understanding and for many norm inequalities in inner product geometry.