Scalar product

Let V be a real vector space. A positive definite symmetric bilinear form on V is called a scalar product, or inner product. If V is endowed with a scalar product it is said to be a Euclidean space.