Un espace vectoriel euclidien est un espace vectoriel de dimension finie sur le corps des réels, muni d'un produit scalaire.