Definition 2.9 . [03B0]
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.9.
Let be a paracompact strictly -analytic space with a line bundle . A metric on is called piecewise -linear if for every there exists an open neighbourhood of and a non-zero such that is a piecewise linear metric on . A function is called a piecewise -linear function if it induces a piecewise -linear metric on the trivial line bundle .