Un espacio vectorial V sobre un cuerpo formula_1 en el que se define un valor absoluto (generalmente formula_2 o formula_3) se dice que es normado si en él se puede definir una norma, es decir, una aplicación formula_4, que verifica: