{"title":"On the completely irregular set of maps with the shadowing property","authors":"M. Carvalho , V. Coelho , L. Salgado","doi":"10.1016/j.topol.2024.109025","DOIUrl":"10.1016/j.topol.2024.109025","url":null,"abstract":"<div><p>We prove that the completely irregular set is Baire generic for every non-uniquely ergodic transitive continuous map which satisfies the shadowing property and acts on a compact metric space without isolated points. We also show that, under the previous assumptions, the orbit of every completely irregular point is dense. Afterwards, we analyze the connection between transitivity and the shadowing property, draw a few consequences of their joint action within the family of expansive homeomorphisms, and discuss several examples to test the scope of our results.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109025"},"PeriodicalIF":0.6,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141870426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The connectedness homomorphism between discrete Morse complexes","authors":"Chong Zheng","doi":"10.1016/j.topol.2024.109022","DOIUrl":"10.1016/j.topol.2024.109022","url":null,"abstract":"<div><p>Given two discrete Morse functions on a simplicial complex, we introduce the <em>connectedness homomorphism</em> between the corresponding discrete Morse complexes. This concept leads to a novel framework for studying the connectedness in discrete Morse theory at the chain complex level. In particular, we apply it to describe a discrete analogy to ‘cusp-degeneration’ of Morse complexes. A precise comparison between smooth case and our discrete cases is also given.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109022"},"PeriodicalIF":0.6,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0166864124002074/pdfft?md5=22c4280dc74c3660585a0df10a50e3c9&pid=1-s2.0-S0166864124002074-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141781513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On countably complete topological groups","authors":"Li-Hong Xie , Shou Lin","doi":"10.1016/j.topol.2024.109024","DOIUrl":"10.1016/j.topol.2024.109024","url":null,"abstract":"<div><p>In this paper, we give a characterization of countably complete topological groups and study when a countably complete subgroup of a topological group is <em>C</em>-embedded. We mainly show that (1) a topological group <em>G</em> is countably complete (the notion introduced by M. Tkachenko in 2012) iff <em>G</em> contains a closed <em>r</em>-pseudocompact subgroup <em>H</em> such that the quotient space <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is completely metrizable and the canonical quotient mapping <span><math><mi>π</mi><mo>:</mo><mi>G</mi><mo>→</mo><mi>G</mi><mo>/</mo><mi>H</mi></math></span> satisfies that <span><math><msup><mrow><mi>π</mi></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>(</mo><mi>F</mi><mo>)</mo></math></span> is <em>r</em>-pseudocompact in <em>G</em> for each <em>r</em>-pseudocompact set <em>F</em> in <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span>; (2) every countably complete weakly <span><math><msub><mrow><mi>Ψ</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>-factorizable and <em>ω</em>-balanced subgroup <em>H</em> of a topological group <em>G</em> is <em>C</em>-embedded; (3) every countably complete subgroup <em>H</em> of a pointwise pseudocompact topological group <em>G</em> is <em>C</em>-embedded; (4) every uniformly strongly countably complete and weakly <span><math><msub><mrow><mi>Ψ</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>-factorizable subgroup <em>H</em> of a topological group <em>G</em> is <em>C</em>-embedded. Further, an <em>ω</em>-narrow locally compact subgroup <em>H</em> of a topological group <em>G</em> is <em>C</em>-embedded.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109024"},"PeriodicalIF":0.6,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141781517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On some applications of property (A) ((σ-A)) at a point","authors":"Liang-Xue Peng","doi":"10.1016/j.topol.2024.109023","DOIUrl":"10.1016/j.topol.2024.109023","url":null,"abstract":"<div><p>If <em>X</em> is a hereditarily metacompact <em>ω</em>-scattered space and <em>X</em> has a <em>σ</em>-<em>NSR</em> pair-base at every point of <em>X</em>, then <em>X</em> has a <em>σ</em>-<em>NSR</em> pair-base. If <em>X</em> is a hereditarily meta-Lindelöf <em>ω</em>-scattered space and <em>X</em> has a <em>σ</em>-<em>NSR</em> pair-base at every point of <em>X</em>, then <em>X</em> has property (<em>σ</em>-A). If <em>X</em> is a hereditarily meta-Lindelöf GO-space such that every condensation set of <em>X</em> has property (<em>σ</em>-A), then <em>X</em> has property (<em>σ</em>-A). We point out that there is a gap in the proof of Lemma 37 in <span><span>[18]</span></span>. We give a detailed proof for the result. We finally show that if <span><math><mo>(</mo><mi>X</mi><mo>,</mo><mi>τ</mi><mo>,</mo><mo><</mo><mo>)</mo></math></span> is a GO-space and <span><math><msup><mrow><mi>X</mi></mrow><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msup></math></span> has property (A) for some <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span>, then <em>X</em> has property (A), where <span><math><msup><mrow><mi>X</mi></mrow><mrow><mo>(</mo><mn>0</mn><mo>)</mo></mrow></msup><mo>=</mo><mi>X</mi></math></span>, <span><math><msup><mrow><mi>X</mi></mrow><mrow><mo>(</mo><mi>i</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow></msup><mo>=</mo><mo>{</mo><mi>x</mi><mo>∈</mo><msup><mrow><mi>X</mi></mrow><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msup><mo>:</mo><mi>x</mi></math></span> is not an isolated point of <span><math><msup><mrow><mi>X</mi></mrow><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></msup><mo>}</mo></math></span> for each <span><math><mi>i</mi><mo><</mo><mi>n</mi></math></span>. If <em>X</em> is a hereditarily meta-Lindelöf <em>ω</em>-scattered GO-space, then <em>X</em> has a <em>σ</em>-<em>NSR</em> pair-base and <span><math><msup><mrow><mi>X</mi></mrow><mrow><mi>ω</mi></mrow></msup></math></span> is hereditarily a <em>D</em>-space.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109023"},"PeriodicalIF":0.6,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141781514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Three-space properties of some kinds of coset spaces","authors":"Jiewen Chen, Xuewei Ling, Bin Zhao","doi":"10.1016/j.topol.2024.109021","DOIUrl":"10.1016/j.topol.2024.109021","url":null,"abstract":"<div><p>In this paper, some three-space properties of (compactly-fibered, neutrally-fibered) coset spaces are considered. Let <span><math><mi>X</mi><mo>=</mo><mi>G</mi><mo>/</mo><mi>H</mi></math></span> be a coset space and <em>K</em> a closed subgroup of <em>G</em> with <span><math><mi>H</mi><mo>⊂</mo><mi>K</mi></math></span>. It is mainly shown that (1) If <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is neutrally-fibered, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is second-countable ⇔ <span><math><mi>K</mi><mo>/</mo><mi>H</mi></math></span> and <span><math><mi>G</mi><mo>/</mo><mi>K</mi></math></span> are second-countable; (2) If <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is compactly-fibered such that all compact (resp., countably compact) subspaces of <span><math><mi>K</mi><mo>/</mo><mi>H</mi></math></span> and <span><math><mi>G</mi><mo>/</mo><mi>K</mi></math></span> are metrizable, then all compact (resp., countably compact) subspaces of <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> are metrizable; (3) If <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is neutrally-fibered such that <span><math><mi>K</mi><mo>/</mo><mi>H</mi></math></span> is second-countable and <span><math><mi>G</mi><mo>/</mo><mi>K</mi></math></span> an <span><math><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>-space (resp., cosmic), then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is an <span><math><msub><mrow><mi>ℵ</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>-space (resp., cosmic); (4) If <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is neutrally-fibered such that <span><math><mi>K</mi><mo>/</mo><mi>H</mi></math></span> is second-countable and <span><math><mi>G</mi><mo>/</mo><mi>K</mi></math></span> has a star-countable <em>cs</em>-network, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> has a star-countable <em>cs</em>-network; (5) If <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is compactly-fibered such that <span><math><mi>K</mi><mo>/</mo><mi>H</mi></math></span> is locally compact metrizable and <span><math><mi>G</mi><mo>/</mo><mi>K</mi></math></span> stratifiable (resp., <em>k</em>-semi-stratifiable), then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is stratifiable (resp., <em>k</em>-semi-stratifiable).</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109021"},"PeriodicalIF":0.6,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141781515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The surjection property and computable type","authors":"Djamel Eddine Amir, Mathieu Hoyrup","doi":"10.1016/j.topol.2024.109020","DOIUrl":"10.1016/j.topol.2024.109020","url":null,"abstract":"<div><p>We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the <em>ϵ</em>-surjection property, that were recently introduced to characterize the notion of computable type arising from computability theory. For a class of spaces including the finite simplicial complexes, we develop techniques to prove or disprove these properties using homotopy and homology theories, and give applications of these results. In particular, we answer an open question on the computable type property, showing that it is not preserved by taking products. We also observe that computable type is decidable for finite simplicial complexes.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109020"},"PeriodicalIF":0.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141722430","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Upper estimates for the expected Betti numbers of random subcomplexes","authors":"Nermin Salepci, Jean-Yves Welschinger","doi":"10.1016/j.topol.2024.109010","DOIUrl":"10.1016/j.topol.2024.109010","url":null,"abstract":"<div><p>We observe that every zero-dimensional simplicial cochain defines a canonical filtration of a finite simplicial complex and deduce upper estimates for the expected Betti numbers of codimension one random subcomplexes in its support. Moreover, a monotony theorem improves these estimates given any packing of disjoint simplices.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109010"},"PeriodicalIF":0.6,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141714010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A few projective classes of (non-Hausdorff) topological spaces","authors":"Jean Goubault-Larrecq","doi":"10.1016/j.topol.2024.109009","DOIUrl":"10.1016/j.topol.2024.109009","url":null,"abstract":"<div><p>A class of topological spaces is projective (resp., <em>ω</em>-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of Hausdorff spaces are known to be, or not to be, (<em>ω</em>-) projective. We examine classes of spaces that are not necessarily Hausdorff. Sober and compact sober spaces form projective classes, but most classes of locally compact spaces are not even <em>ω</em>-projective. Guided by the fact that the stably compact spaces are exactly the locally compact, strongly sober spaces, and that the strongly sober spaces are exactly the sober, coherent, compact, weakly Hausdorff (in the sense of Keimel and Lawson) spaces, we examine which classes defined by combinations of those properties are projective. Notably, we find that coherent sober spaces, compact coherent sober spaces, as well as (locally) strongly sober spaces, form projective classes.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"356 ","pages":"Article 109009"},"PeriodicalIF":0.6,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141721623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Non-trivial copies of N⁎","authors":"","doi":"10.1016/j.topol.2024.109008","DOIUrl":"10.1016/j.topol.2024.109008","url":null,"abstract":"<div><p>We show that it is consistent to have regular closed non-clopen copies of <span><math><msup><mrow><mi>N</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> within <span><math><msup><mrow><mi>N</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> and a non-trivial self-map of <span><math><msup><mrow><mi>N</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> even if all autohomeomorphisms of <span><math><msup><mrow><mi>N</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> are trivial.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109008"},"PeriodicalIF":0.6,"publicationDate":"2024-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141586128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Order embedding theorems and multi-utility representation of the preorder","authors":"Kaori Yamazaki","doi":"10.1016/j.topol.2024.109007","DOIUrl":"10.1016/j.topol.2024.109007","url":null,"abstract":"<div><p>As an improvement of Fletcher-Lindgren order embedding theorem, we show that every completely regular ordered space <em>X</em> is order embedded in the Tychonoff ordered cube of infinite weight of <em>X</em>. For that purpose, we evaluate the minimal cardinality of continuous functions which represent multi-utility of the (pre)order on <em>X</em>. Moreover, for a topological preordered space <em>X</em> which admits a continuous multi-utility representation (or a completely regular ordered space <em>X</em>) and its compact subspace, similar descriptions by maps to Tychonoff ordered cube are also given.</p></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"355 ","pages":"Article 109007"},"PeriodicalIF":0.6,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141577722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}