Dette kalles for Riesz' teorem. For har vi at fortsatt er et vektorrom, men er ikke lenger en norm – derimot kan man vise at det er en metrikk, så for er et metrisk rom. For er også et Hilbertrom.