Este espacio, junto a su norma, es un espacio de Banach; se denota por formula_8: