English

On strictly nonzero integer-valued charges

Logic 2016-08-04 v1 Classical Analysis and ODEs General Topology

Abstract

A charge (finitely additive measure) defined on a Boolean algebra of sets taking values in a group GG is called a strictly nonzero (SNZ) charge if it takes the identity value in GG only for the zero element of the Boolean algebra. A study of such charges was initiated by Rudiger G\"obel and K.P.S. Bhaskara Rao in 2002. Our main result is a solution to one of the questions posed in that paper: we show that for every cardinal \aleph, the Boolean algebra of clopen sets of {0,1}\{0,1\}^\aleph has a strictly nonzero integer-valued charge. The key lemma that we prove is that there exists a strictly nonzero integer-valued permutation-invariant charge on the Boolean algebra of clopen sets of {0,1}0\{0,1\}^{\aleph_0}. Our proof is based on linear-algebraic arguments, as well as certain kinds of polynomial approximations of binomial coefficients. We also show that there is no integer-valued SNZ charge on P(N){\mathcal{P}}(N). Finally, we raise some interesting problems on integer-valued SNZ charges.

Cite

@article{arxiv.1608.01173,
  title  = {On strictly nonzero integer-valued charges},
  author = {Swastik Kopparty and K. P. S. Bhaskara Rao},
  journal= {arXiv preprint arXiv:1608.01173},
  year   = {2016}
}

Comments

11 pages

R2 v1 2026-06-22T15:11:05.200Z