Definición Sea un -espacio euclídeo de dimension finita, y una funcional lineal, entonces existe un único vector tal que para todo