Proposition 3.8 . [05A4]

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.8.

Let $X$ be a paracompact strictly $K$ -analytic space and $L$ a line bundle on $X$ . Then a piecewise linear metric on $L$ is the same as a formal metric.