Abstract <p>We prove, among the others, that the directed completeness is preserved under perfect mappings. We introduce some new notions such as nearly directed completeness, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8243_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(C\)</EquationSource> <!--LobJMat2460702Onal-m1--> </InlineEquation>-directed completeness and directed completeness of a family. We prove that nearly directed completeness is preserved under continuous, open images and preimages with compact fibers, and consequently, we obtain that a topological group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8243_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> <!--LobJMat2460702Onal-m2--> </InlineEquation> is nearly directed complete if and only if the quotient to a compact subgroup <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8243_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\)</EquationSource> <!--LobJMat2460702Onal-m3--> </InlineEquation> of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8243_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> <!--LobJMat2460702Onal-m4--> </InlineEquation> of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8243_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> <!--LobJMat2460702Onal-m5--> </InlineEquation> is nearly directed complete. We also give an upper bound for domains which improves given one in [<CitationRef CitationID="CR7">7</CitationRef>] and this is an answer to Question 11.10 in [<CitationRef CitationID="CR3">3</CitationRef>].</p>

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

Certain Completeness Properties and Mappings

  • S. Önal,
  • Ç. Vural

摘要

Abstract

We prove, among the others, that the directed completeness is preserved under perfect mappings. We introduce some new notions such as nearly directed completeness, \(C\) -directed completeness and directed completeness of a family. We prove that nearly directed completeness is preserved under continuous, open images and preimages with compact fibers, and consequently, we obtain that a topological group \(G\) is nearly directed complete if and only if the quotient to a compact subgroup \(H\) of \(G\) of \(G\) is nearly directed complete. We also give an upper bound for domains which improves given one in [7] and this is an answer to Question 11.10 in [3].