Proof. [00LF]

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

Proof.

By Proposition 3.24,

\mathcal{P}(\vvvert\mathord{\cdot}\vvvert_{\phi,X|Y})=\mathcal{P}(\vvvert\mathord{\cdot}\vvvert_{\phi})|_{Y}=\phi|_{Y}.

It suffices to show the second equality. By Lemma 3.25, $\phi|_{Y}$ is an asymptotic Fubini-Study metric on $L|_{Y}$ . By Proposition 3.12,

\mathcal{P}(\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}})=\phi|_{Y}.

∎