Abstract <p> Computable operators corresponding to the concept of a left computably enumerable real number, called <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3066_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{L}\)</EquationSource> </InlineEquation><i>-operators</i>, are studied. Their continuity properties most commonly used in the constructive mathematical analysis of A. A. Markov’s school are examined. It is proved that any <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3066_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{L}\)</EquationSource> </InlineEquation>-operator is nondecreasing and almost left continuous. An example of an <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3066_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{L}\)</EquationSource> </InlineEquation>-operator which is neither left continuous nor right pseudocontinuous at some point is constructed. An almost continuity criterion for an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3066_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{L}\)</EquationSource> </InlineEquation>-operator is found. This criterion is used to prove that almost continuous <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3066_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathrm{L}\)</EquationSource> </InlineEquation>-operators are not necessarily continuous or pseudouniformly continuous on a closed interval. </p>

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

Continuity Theorems for a Class of Computable Operators

  • M. Kh. Faizrahmanov

摘要

Abstract

Computable operators corresponding to the concept of a left computably enumerable real number, called \(\mathrm{L}\) -operators, are studied. Their continuity properties most commonly used in the constructive mathematical analysis of A. A. Markov’s school are examined. It is proved that any \(\mathrm{L}\) -operator is nondecreasing and almost left continuous. An example of an \(\mathrm{L}\) -operator which is neither left continuous nor right pseudocontinuous at some point is constructed. An almost continuity criterion for an \(\mathrm{L}\) -operator is found. This criterion is used to prove that almost continuous \(\mathrm{L}\) -operators are not necessarily continuous or pseudouniformly continuous on a closed interval.