an inner product on a vector space is an operation on pairs of vectors in that satisfies the same conditions that the dot product in euclidean space does: namely, bilinearity, symmetry, and positive definiteness. a vector space equipped with an inner product is an inner product space.
if , we define the inner product to be the quantity