Distribution Theory/Elementary operations

Proposition (integral of a continuously varying family of distributions against an integrable function with compact essential support is distribution):

Let be a topological space, together with a locally finite measure , where is a -algebra on that contains the Borel -algebra on . Suppose further that has compact essential support, and that

, where for each , we have (resp. ),

is continuously varying, in the sense that for each (resp. in ) the function is continuous Then also

(resp. ).

Proof: Define , and let (resp. ) be arbitrary. Let and . Since is locally finite, pick a neighbourhood of such that . Since is continuous, by shrinking if necessary, we may assume that for we have . Since is compact, we may choose so that . Now for each arbitrary finite open cover of and for define the distribution

,

which is indeed a distribution of the required type ( or . In the particular case of the cover that was constructed above, note that

.

Note further that tuples of the type , where and is an open cover of , form a directed under the relation

,

and by the above computation, the net of the converges pointwise to . We conclude since the pointwise limit of continuous linear functions from a barrelled LCTVS into a Hausdorff TVS is continuous and linear.