Si además es completo, se dice que es un espacio de Hilbert.