5.8 [036E]
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
5.8
In analogy with differential geometry on manifolds, we set for any open subset of and a smooth function on is just a differential form of bidegree . Since tropicalization maps are continuous, it is clear that a smooth function is a continuous function on . By the Stone-Weierstrass theorem, the space of smooth functions with compact support in is a dense subalgebra of (see [CD12], Proposition 3.3.5).