Con esta norma, el espacio normado formula_54 es completo, es decir, es un espacio de Banach.