Common extensions of semigroup-valued charges
Shortt, R.M. ; Wehrung, Friedrich
HAL, hal-00004679 / Harvested from HAL
Let $A$ and $B$ be fields of subsets of a nonempty set $X$ and let $\mu:\,A\to E$ and $\nu:\,B\to E$ be finitely additive measures (``charges'') taking values in a commutative semigroup $E$. We assume that $\mu$ and $\nu$ are consistent, that is, they agree on $A\cap B$, $a\leq b$ implies that $\mu(a)\leq\nu(b)$ (for $a\in A$, $b\in B$), and symmetrically (where $x\leq y$ means that there exists $z$ such that $x+z=y$, for all $x$, $y\in E$). We investigate conditions on $E$ such that any two consistent $E$-valued measures on certain types of fields of sets have a common extension on a larger Boolean algebra. In particular, if the only condition is that $A$ and $B$ are finite, then we obtain the so-called "grid property" on $E$, and we prove that this grid property is finitely axiomatizable.
Publié le : 1994-07-05
Classification:  grid property.,  Charge,  Boolean algebra,  grid property,  commutative monoid,  20M14, 28B10, 28B15,  [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]
@article{hal-00004679,
     author = {Shortt, R.M. and Wehrung, Friedrich},
     title = {Common extensions of semigroup-valued charges},
     journal = {HAL},
     volume = {1994},
     number = {0},
     year = {1994},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00004679}
}
Shortt, R.M.; Wehrung, Friedrich. Common extensions of semigroup-valued charges. HAL, Tome 1994 (1994) no. 0, . http://gdmltest.u-ga.fr/item/hal-00004679/