Proposition 3.24 . [00LA]

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

Proposition 3.24.

Let $\phi$ be an upper-semicontinuous metric on $L$ . Then

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