inner product space

C3750 concept

An inner product space is a vector space equipped with an inner product, a function that assigns a scalar to each pair of vectors in a way that generalizes the dot product and induces notions of length and angle.


Instances (2)