Proposition 1.5.2 ( [ NXY19 , Example 3.5] ). [04MS]

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 1.5.2 ([NXY19, Example 3.5]).

The equality:

\widehat{\mathscr{X}}_{\eta}=\val^{-1}(\lvert\Sigma_{1}\rvert)

holds, and $\rho_{\mathscr{X}}=\val_{|\widehat{\mathscr{X}}_{\eta}}$ .