Euclidean vector space/Definition

Euclidean vector space

A real, finite-dimensional vector space that is endowed with an inner product, is called an euclidean vector space.