Proposition 2.6 . [03AV]

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

Let $L$ be line bundle on a paracompact strictly $K$ -analytic space $V$ over $K$ and let $W$ be a compact strictly $K$ -analytic domain of $V$ . Then every formal metric on the restriction of $L$ to $W$ extends to a formal metric on $L$ .