Sets of uniqueness and systems of inequalities having a unique solution (Q808376)

The present work is a complement to the author's former article [Trans. Am. Math. Soc. 322, No.2, 417-458 (1990; Zbl 0712.44007)], curiously only mentioned in the references although the results are partially very similar. We give some details from the author's introduction: Let F be a given set of functions \(f: X\to {\mathbb{R}},\) X a measurable space, \(\lambda\) a \(\sigma\)-finite measure on X. F(\({\mathcal S})\) denotes the class of all \(f: X\to {\mathbb{R}},\) \(f(x)=\sum_{j\in J}f_ j(\pi_ jx),\) with \(f_ j: Y_ j\to {\mathbb{R}}\) satisfying an integrability condition, and \(\{\pi_ j: X\to Y_ j,\quad j\in J\}\) a(n) (in)finite collection of projection maps. The author studies the question what subsets \({\mathcal S}\subset X\) are uniquely determined by the associated projections \(\{\pi_ j\mu_{{\mathcal S}},\quad j\in J\}\) of \(d\mu_{{\mathcal S}}=1_{{\mathcal S}}d\lambda, \lambda ({\mathcal S})<\infty.\) \({\mathcal S}\) is a weak set of uniqueness (SOU), if there is no other set T such that \(\pi_ j\mu_ T=\pi_ j\mu_{{\mathcal S}}\forall j\) and a strong SOU if there is no other \(\mu\) of the form \(d\mu =\phi d\lambda, \phi: X\to [0,1],\) such that \(\pi_ j\mu =\pi_ j\mu_{{\mathcal S}} \forall j\), different notions, if X is discrete. A subset \({\mathcal S}\) is said to be additive, if \({\mathcal S}=\{x\in X,\quad f(x)\geq 0,\quad f\in F({\mathcal S})\}.\) Then each additive set is a strong SOU, but the converse is false. For \(X={\mathbb{R}}^ n,\) \(n\geq 3\), the author constructs a large class of SOU which are not additive. He introduces a new generalized notion of additivity of degree \(\leq m\) using stepwise other functions \(g\in F({\mathcal S})\) to characterize the case of vanishing f(x). Such a generalized additive set \({\mathcal S}\) is always a strong SOU. It follows a detailed discussion of the case of finite X. Here the two notions of additivity are equivalent.