Sin embargo, se cumple que si formula_10 es un espacio euclídeo real o un espacio normado, ambas definiciones son equivalentes.