<p>Let <i>K</i> be a nonempty convex compact subset of a separable real Hilbert space <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(({{\mathcal {H}}},\langle \cdot ,\cdot \rangle )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo>,</mo> <mo stretchy="false">⟨</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">⟩</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with an orthonormal basis <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((e_n)_{n\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>e</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\pi _{n}:K\longrightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mi>n</mi> </msub> <mo>:</mo> <mi>K</mi> <mo stretchy="false">⟶</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> be the canonical projection defined by <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\pi _{n}(x)=\langle x,e_n\rangle \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">⟨</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>e</mi> <mi>n</mi> </msub> <mo stretchy="false">⟩</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(x\in K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that any positive linear functional <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\phi :{{\mathcal {C}}}(K)\longrightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>:</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> <mo stretchy="false">⟶</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\phi (\mathbf{{1}})=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mn mathvariant="bold">1</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <Equation ID="Equ6"> <EquationSource Format="TEX">\(\begin{aligned} \phi ({\pi _n}^2)=\phi (\pi _n)^2 {\text { for all integer }} n\ge 1 \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <msub> <mi>π</mi> <mi>n</mi> </msub> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>ϕ</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>π</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mrow> <mspace width="0.333333em" /> <mtext>for all integer</mtext> <mspace width="0.333333em" /> </mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is an evaluation functional. As a consequence, we show that every positive linear operator <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(T:{{\mathcal {C}}}(K)\longrightarrow {{\mathcal {F}}}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>:</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>K</mi> <mo stretchy="false">)</mo> <mo stretchy="false">⟶</mo> <mi mathvariant="script">F</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> satisfying <Equation ID="Equ7"> <EquationSource Format="TEX">\(\begin{aligned} T(\mathbf{{1}})(x){&gt;}0 {\text { for all }} x{\in } X {\text { and }} T(\mathbf{{1}})T({\pi _n}^2){=}T(\pi _{n})^2 {\text { for every integer }} n{\ge }1 \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <mn mathvariant="bold">1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> <mrow> <mspace width="0.333333em" /> <mtext>for all</mtext> <mspace width="0.333333em" /> </mrow> <mi>x</mi> <mo>∈</mo> <mi>X</mi> <mrow> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> </mrow> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <mn mathvariant="bold">1</mn> <mo stretchy="false">)</mo> </mrow> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <msub> <mi>π</mi> <mi>n</mi> </msub> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>T</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>π</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> <mrow> <mspace width="0.333333em" /> <mtext>for every integer</mtext> <mspace width="0.333333em" /> </mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is a weighted composition operator.</p>

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

When a Positive Linear Functional on \({{\mathcal {C}}}(K)\) is an Evaluation Functional?

  • Abderraouf Dorai

摘要

Let K be a nonempty convex compact subset of a separable real Hilbert space \(({{\mathcal {H}}},\langle \cdot ,\cdot \rangle )\) ( H , · , · ) with an orthonormal basis \((e_n)_{n\ge 1}\) ( e n ) n 1 and let \(\pi _{n}:K\longrightarrow \mathbb {R}\) π n : K R be the canonical projection defined by \(\pi _{n}(x)=\langle x,e_n\rangle \) π n ( x ) = x , e n for all \(x\in K\) x K . We prove that any positive linear functional \(\phi :{{\mathcal {C}}}(K)\longrightarrow \mathbb {R}\) ϕ : C ( K ) R satisfying \(\phi (\mathbf{{1}})=1\) ϕ ( 1 ) = 1 and \(\begin{aligned} \phi ({\pi _n}^2)=\phi (\pi _n)^2 {\text { for all integer }} n\ge 1 \end{aligned}\) ϕ ( π n 2 ) = ϕ ( π n ) 2 for all integer n 1 is an evaluation functional. As a consequence, we show that every positive linear operator \(T:{{\mathcal {C}}}(K)\longrightarrow {{\mathcal {F}}}(X)\) T : C ( K ) F ( X ) satisfying \(\begin{aligned} T(\mathbf{{1}})(x){>}0 {\text { for all }} x{\in } X {\text { and }} T(\mathbf{{1}})T({\pi _n}^2){=}T(\pi _{n})^2 {\text { for every integer }} n{\ge }1 \end{aligned}\) T ( 1 ) ( x ) > 0 for all x X and T ( 1 ) T ( π n 2 ) = T ( π n ) 2 for every integer n 1 is a weighted composition operator.