Combines the notation for locally compact metric spaces and compactly supported functions with that for measures and the Lebesgue integral, and fixes the terms Borel measure and finite signed Borel measure, the setwise operations on finite signed measures, and the Jordan decomposition notation.
Base. This setting extends Locally Compact Metric Spaces and Compactly Supported Functions: Standing Notation and Measurable Functions and the Lebesgue Integral: Standing Notation: their conventions and notation are in force.
Borel measures. For a metric space , is its Borel -algebra, as in the base. A Borel measure on means a measure on the measurable space , and a finite signed Borel measure on means a finite signed measure on .
Finite signed measures. Let be a measurable space. denotes the set of finite signed measures on . For and , and are formed by the pointwise operations on , the set of functions :
For a finite signed measure on and a Hahn set for , and are the finite measures of Hahn and Jordan Decompositions of a Finite Signed Measure (ii),
the Jordan decomposition of . Background: Hahn and Jordan Decompositions of a Finite Signed Measure and Finite Signed Measures from Finite Measures and from Integrals.
Dependent choice. The axiom of dependent choice is a standing hypothesis of the items that adopt this setting, in place of the contrary remark of Measurable Functions and the Lebesgue Integral: Standing Notation (vii).
Use. The background facts carried by (iii), and their elementary consequences, are used without further citation.
Loading…
No relations recorded yet.