Et normert vektorrom sies å være dersom alle Cauchyfølger i rommet konvergerer til et element i det gitte vektorrommet. Et komplett normert rom kalles for et Banachrom, og et komplett indreproduktrom kalles for et Hilbertrom.