Euclidean vector space/Definition
< Euclidean vector space
Euclidean vector space
A real, finite-dimensional vector space that is endowed with an inner product, is called a Euclidean vector space.