Definition 2.7 . [03AX]
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
Definition 2.7.
Let be a paracompact strictly -analytic space with a line bundle . A metric on is called piecewise linear if there is a -covering and frames of over for every such that on . A function is called a piecewise linear function if it induces a piecewise linear metric on the trivial line bundle . Note that these are -local definitions (see [GK15, Proposition 5.10] for the argument).