Proposition 3.3 . [059W]

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

Let $X$ be a paracompact strictly $K$ -analytic space, $L$ a line bundle on $X$ and $W$ a compact strictly $K$ -analytic domain of $X$ . Then every formal metric on $L\Big|_{W}$ extends to a formal metric on $L$ .