Lemma 3.10 . [00KJ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 3.10.

Let $\lVert\mathord{\cdot}\rVert$ and $\lVert\mathord{\cdot}\rVert^{\prime}$ be two norms on $V_{1}(L)$ , then

\dist(\mathrm{FS}(\lVert\mathord{\cdot}\rVert),\mathrm{FS}(\lVert\mathord{\cdot}\rVert^{\prime}))\leq\dist(\lVert\mathord{\cdot}\rVert,\lVert\mathord{\cdot}\rVert^{\prime}).

(see also [BE18, Equation (6.2)])