A Lebesgue decomposition for elements in a topological group.
It is shown that every monocompact submeasure on an orthomodular poset is order continuous. From this generalization of the classical Marczewski Theorem, several results of commutative Measure Theory are derived and unified.
Let G be an Abelian group and let μ: A → G and ν: B → G be finitely additive measures (charges) defined on fields A and B of subsets of a set X. It is assumed that μ and ν agree on A ∩ B, i.e. they are consistent. The existence of common extensions of μ and ν is investigated, and conditions on A and B facilitating such extensions are given.