ScalingStacks

Example 6.3 [0370]

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

Example 6.3

A signed Radon measure μ\mu on an open subset WW of Xan{X^{\rm an}} induces a current [μ]∈D0​(W)[\mu]\in D_{0}(W) by setting [μ]​(f):=∫Xanf​𝑑μ[\mu](f):=\int_{X^{\rm an}}fd\mu as usual. Since the topology on Ac0​(W)=Cc∞​(W)A_{c}^{0}(W)=C_{c}^{\infty}(W) is finer than the topology induced by the supremum norm, we conclude that [μ][\mu] is indeed a current on WW.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.