Dot product

For two vectors $x,y \in \mathbb{R}^n$ the dot product is

$$x \cdot y := \sum_{i=1}^n x_i y_i.$$