Corollary 5.4 . [00M1]

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

Corollary 5.4.

With the same assumptions as above, the envelop metric $\mathcal{P}(\phi)$ is a Fubini-Study metric induced by $\lVert\mathord{\cdot}\rVert_{\phi}$ , and is continuous.