<p>Let <i>X</i> and <i>Y</i> be Banach spaces. The first part of this paper deals with a normed space <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq1_HTML.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="120" Type="Linedraw" Width="146" /> </InlineMediaObject> </InlineEquation> which consists of weakly integrable, in a suitable sense, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq2_HTML.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="120" Type="Linedraw" Width="62" /> </InlineMediaObject> </InlineEquation>-valued functions. We give another norm for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq3_HTML.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="120" Type="Linedraw" Width="146" /> </InlineMediaObject> </InlineEquation> which is equivalent to the initial one. We provide an example when this space is not a Banach space and we prove that it is a Banach space if the measure <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is discrete and <i>Y</i> is reflexive. We study some naturally defined operators on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq5_HTML.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="120" Type="Linedraw" Width="146" /> </InlineMediaObject> </InlineEquation>. In the second part we consider convergence theorems for sequences of functions in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq6_HTML.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="120" Type="Linedraw" Width="146" /> </InlineMediaObject> </InlineEquation>. Let <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_IEq7.gif" Format="GIF" Height="34" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( {{\mathscr {A}}}_t ^{(n)}\right) _{t\in \Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mfenced close=")" open="("> <msubsup> <mi mathvariant="script">A</mi> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> </mfenced> <mrow> <mi>t</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> be a sequence in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq8_HTML.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="120" Type="Linedraw" Width="146" /> </InlineMediaObject> </InlineEquation> and let <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(({{\mathscr {A}}}_t )_{t\in \Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">A</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>t</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> be a family in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="MediaObjects/41980_2024_965_IEq10_HTML.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="120" Type="Linedraw" Width="62" /> </InlineMediaObject> </InlineEquation> such that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_IEq11.gif" Format="GIF" Height="30" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(\displaystyle \lim _{n\rightarrow \infty }{\mathscr {A}}_t^{(n)}={\mathscr {A}}_t\)</EquationSource> <EquationSource Format="MATHML"><math> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <msubsup> <mi mathvariant="script">A</mi> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mo>=</mo> <msub> <mi mathvariant="script">A</mi> <mi>t</mi> </msub> </mrow> </mstyle> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\in \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, where the limit is in the weak, strong or uniform sense. Under some additional conditions we prove that <Equation ID="Equ49"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41980_2024_965_Article_Equ49.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="235" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \lim _{n\rightarrow \infty }\int _\Omega {{\mathscr {A}}}_t ^{(n)}d\mu (t)=\int _\Omega {{\mathscr {A}}}_t \,d\mu (t), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msubsup> <mi mathvariant="script">A</mi> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mi>d</mi> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msub> <mi mathvariant="script">A</mi> <mi>t</mi> </msub> <mspace width="0.166667em" /> <mi>d</mi> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where the limit is weak, strong and uniform respectively. These results generalize Dominant Convergence Theorem and Vitali Convergence Theorem. Moreover, a converse of the uniform version of Vitali Convergence Theorem is obtained.</p>

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

A Normed Space of Weakly Integrable Operator-Valued Functions and Convergence Theorems

  • Miloš Arsenović,
  • Mihailo Krstić

摘要

Let X and Y be Banach spaces. The first part of this paper deals with a normed space which consists of weakly integrable, in a suitable sense, -valued functions. We give another norm for which is equivalent to the initial one. We provide an example when this space is not a Banach space and we prove that it is a Banach space if the measure \(\mu \) μ is discrete and Y is reflexive. We study some naturally defined operators on . In the second part we consider convergence theorems for sequences of functions in . Let \(\left( {{\mathscr {A}}}_t ^{(n)}\right) _{t\in \Omega }\) A t ( n ) t Ω be a sequence in and let \(({{\mathscr {A}}}_t )_{t\in \Omega }\) ( A t ) t Ω be a family in such that \(\displaystyle \lim _{n\rightarrow \infty }{\mathscr {A}}_t^{(n)}={\mathscr {A}}_t\) lim n A t ( n ) = A t for all \(t\in \Omega \) t Ω , where the limit is in the weak, strong or uniform sense. Under some additional conditions we prove that \(\begin{aligned} \lim _{n\rightarrow \infty }\int _\Omega {{\mathscr {A}}}_t ^{(n)}d\mu (t)=\int _\Omega {{\mathscr {A}}}_t \,d\mu (t), \end{aligned}\) lim n Ω A t ( n ) d μ ( t ) = Ω A t d μ ( t ) , where the limit is weak, strong and uniform respectively. These results generalize Dominant Convergence Theorem and Vitali Convergence Theorem. Moreover, a converse of the uniform version of Vitali Convergence Theorem is obtained.