A Diestel-Faires type result for multimeasures

TL;DR

This paper extends Diestel-Faires type results to multimeasures in Banach spaces, showing that countable additivity can be tested via a subspace with the Orlicz-Thomas property, and applies this to factorization through reflexive spaces.

Contribution

It introduces a new criterion for multimeasure countable additivity using the Orlicz-Thomas property, enabling simplified testing and factorization results.

Findings

Equivalence of strong multimeasure and multimeasure conditions under the Orlicz-Thomas property.

Countable additivity of support maps for all elements in a subspace Y.

Factorization of multimeasures through reflexive Banach spaces.

Abstract

Let $X$ be a real Banach space and let $Y \subseteq X^*$ be a linear subspace having the Orlicz-Thomas property, that is, for each $\sigma$-algebra $\Sigma$ and for each map $\nu:\Sigma\to X$, the countable additivity of the composition $x^*\circ \nu$ for all $x^*\in Y$ implies the countable additivity of $\nu$. We show that the Orlicz-Thomas property allows to test countable additivity of set-valued maps. Namely, if $M$ is a map defined on a $\sigma$-algebra $\Sigma$ whose values are convex, $\sigma(X,Y)$-compact, bounded non-empty subsets of $X$, then the following statements are equivalent: (i) $M$ is a strong multimeasure, that is, for every disjoint sequence $(A_n)_{n}$ in $\Sigma$ the series of sets $\sum_n M(A_n)$ is unconditionally convergent and the equality $M(\bigcup_n A_n)=\sum_n M(A_n)$ holds. (ii) $M$ is a multimeasure, that is, for every $x^*\in X^*$ the support map $s(x^*,M):\Sigma \to \mathbb{R}$ defined by $s(x^*,M)(A):=\sup \{x^*(x):x\in M(A)\}$ is countably additive. (iii) $s(x^*,M)$ is countably additive for every $x^*\in Y$. As an application, we give a result on the factorization of multimeasures through reflexive Banach spaces.