Más formalmente, se define como un espacio de producto interior que es completo con respecto a la norma vectorial definida por el producto interior.