Abstract
This entry formalizes the coproduct measure.
Let be a set and measurable spaces.
The -algebra
on
is defined as the least one making measurable for all .
Let be measures on for all and a measurable set of .
The coproduct measure is defined as follows:
We also prove the relationship with coproduct quasi-Borel spaces:
the functor preserves countable coproducts.