On an extension of finitely additive vector measures (Q802781): Difference between revisions

Let A be a Boolean algebra, \(A_ 0\) a subalgebra of A, X a lattice- normed Riesz space by means of the Riesz space E in the sense of \textit{L. V. Kantorovich}, \textit{B. Z. Vulikh} and \textit{A. G. Pinsker} [Functional analysis in partially ordered spaces (in Russian) (1950; Zbl 0037.072)]. The authors assume also that if \(| x| =e_ 1+e_ 2\) with \(x\in X\) and \(e_ 1,e_ 2\in E^+\) then there exists \(x_ 1,x_ 2\in X\) such that: \(x=x_ 1+x_ 2\) and \(| x_ i| =e_ i,\quad i=1,2.\) A finitely additive function \(\mu: A\to X\) is called bounded if there exists a positive and finitely additive function \(\nu: A\to E\) such that \(\mu (a)\leq \nu (a),\) whenever \(a\in A.\) The authors state and prove extension-type theorems concerning the spaces \(ba(A,X)\) and \(ba(A_ 0,X).\) As usual by \(ba(A,X)\) (resp. \(ba(A_ 0,X))\) it is denoted the space of all finitely additive bounded functions (measures) from A (resp. \(A_ 0)\) into X. The obtained results improve some previous classical results of \textit{A. Horn} and \textit{A. Tarski} [Trans. Am. Math. Soc. 64, 467-497 (1949; Zbl 0035.030)], when \(X\quad =\quad E\quad =\) the real numbers.