<p>Given a&#xa0;continuous open finite-to-one mapping&#xa0;<InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ f $</EquationSource> </InlineEquation>of a&#xa0;domain&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation>including a&#xa0;closed set&#xa0;<InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">$ E $</EquationSource> </InlineEquation>,for each natural&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ k $</EquationSource> </InlineEquation>we consider the set&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ E(k) $</EquationSource> </InlineEquation>(possibly empty)of all points in&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">$ E $</EquationSource> </InlineEquation>at which&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ f $</EquationSource> </InlineEquation>attains a value with multiplicity&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">$ k $</EquationSource> </InlineEquation> over&#xa0;<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation>.Suppose thateach point of&#xa0;<InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ E(k) $</EquationSource> </InlineEquation>has a&#xa0;neighborhoodwhere the restriction of&#xa0;<InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ f $</EquationSource> </InlineEquation>to&#xa0;<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">$ E(k) $</EquationSource> </InlineEquation>is injective,and its inverse mapping is weakly<InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">$ (h,H) $</EquationSource> </InlineEquation>-quasisymmetric.If,&#xa0;moreover, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">$ f $</EquationSource> </InlineEquation>&#xa0;is quasiregular outside&#xa0;<InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">$ E $</EquationSource> </InlineEquation>,then it is quasiregular on the entire domain&#xa0;<InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11202_2025_1556_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">$ G $</EquationSource> </InlineEquation>.This theorem generalizesthe sufficient condition for the removability of closed setsin the class of quasiconformal mappingsobtained&#xa0;by&#xa0;Väisälä in 1990.</p>

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

Removable Singularities for Quasiregular Mappings

  • V. V. Aseev

摘要

Given a continuous open finite-to-one mapping  $ f $ of a domain  $ G $ including a closed set  $ E $ ,for each natural  $ k $ we consider the set  $ E(k) $ (possibly empty)of all points in  $ E $ at which  $ f $ attains a value with multiplicity  $ k $ over  $ G $ .Suppose thateach point of  $ E(k) $ has a neighborhoodwhere the restriction of  $ f $ to  $ E(k) $ is injective,and its inverse mapping is weakly $ (h,H) $ -quasisymmetric.If, moreover, $ f $  is quasiregular outside  $ E $ ,then it is quasiregular on the entire domain  $ G $ .This theorem generalizesthe sufficient condition for the removability of closed setsin the class of quasiconformal mappingsobtained by Väisälä in 1990.