<p>Let <i>X</i> be a real Banach space and let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(Y \subseteq X^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>⊆</mo> <msup> <mi>X</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> be a linear subspace having the Orlicz-Thomas property, that is, for each <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation> and for each map <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\nu :\Sigma \rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ν</mi> <mo>:</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation>, the countable additivity of the composition <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(x^*\circ \nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>∘</mo> <mi>ν</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(x^*\in Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>∈</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation> implies the countable additivity of&#xa0;<InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation>. We show that the Orlicz-Thomas property allows to test countable additivity of set-valued maps. Namely, if <i>M</i> is a map defined on a <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation>-algebra&#xa0;<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation> whose values are convex, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\sigma (X,Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-compact, bounded non-empty subsets of&#xa0;<i>X</i>, then the following statements are equivalent: (i) <i>M</i> is a strong multimeasure, that is, for every disjoint sequence <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((A_n)_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> in&#xa0;<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Σ</mi> </math></EquationSource> </InlineEquation> the series of sets <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\sum _n M(A_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mi>n</mi> </msub> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is unconditionally convergent and the equality <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(M(\bigcup _n A_n)=\sum _n M(A_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mo>⋃</mo> <mi>n</mi> </msub> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∑</mo> <mi>n</mi> </msub> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> holds. (ii) <i>M</i> is a multimeasure, that is, for every <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(x^*\in X^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>∈</mo> <msup> <mi>X</mi> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> the support map <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(s(x^*,M):\Sigma \rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> <mo>:</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> defined by <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(s(x^*,M)(A):=\sup \{x^*(x):x\in M(A)\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mo movablelimits="true">sup</mo> <mrow> <mo stretchy="false">{</mo> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>x</mi> <mo>∈</mo> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is countably additive. (iii) <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(s(x^*,M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>,</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is countably additive for every <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(x^*\in Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>x</mi> <mo>∗</mo> </msup> <mo>∈</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation>. As an application, we give a result on the factorization of multimeasures through reflexive Banach spaces.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Diestel-Faires type result for multimeasures

  • José Rodríguez

摘要

Let X be a real Banach space and let \(Y \subseteq X^*\) Y X be a linear subspace having the Orlicz-Thomas property, that is, for each \(\sigma \) σ -algebra \(\Sigma \) Σ and for each map \(\nu :\Sigma \rightarrow X\) ν : Σ X , the countable additivity of the composition \(x^*\circ \nu \) x ν for all \(x^*\in Y\) x 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)\) σ ( 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}\) ( A n ) n in  \(\Sigma \) Σ the series of sets \(\sum _n M(A_n)\) n M ( A n ) is unconditionally convergent and the equality \(M(\bigcup _n A_n)=\sum _n M(A_n)\) M ( n A n ) = n M ( A n ) holds. (ii) M is a multimeasure, that is, for every \(x^*\in X^*\) x X the support map \(s(x^*,M):\Sigma \rightarrow \mathbb {R}\) s ( x , M ) : Σ R defined by \(s(x^*,M)(A):=\sup \{x^*(x):x\in M(A)\}\) s ( x , M ) ( A ) : = sup { x ( x ) : x M ( A ) } is countably additive. (iii) \(s(x^*,M)\) s ( x , M ) is countably additive for every \(x^*\in Y\) x Y . As an application, we give a result on the factorization of multimeasures through reflexive Banach spaces.