El conjunto de los reales con la norma definida por el valor absoluto formula_12 es un espacio de Banach.