2024/01/12 by Олег Гутік, Gutik, Oleg, Markian Khylynskyi +1
Mathematics · Decision Sciences · #Advanced Topology and Set Theory #Fuzzy and Soft Set Theory #Advanced Banach Space Theory
paper · pdf · doi:10.48550/arxiv.2401.06636
Let \boldsymbolB[0,∞) be the semigroup which is defined in the Ahre paper \citeAhre=1981. The semigroup \boldsymbolB[0,∞) with the induced usual topology τu from ℝ2, with the topology τL which is generated by the natural partial order on \boldsymbolB[0,∞), and the discrete topology are denoted by \boldsymbolB1[0,∞), \boldsymbolB2[0,∞), and \boldsymbolB^\mathfrakd[0,∞), respectively. We show that if S1I (S2I) is a Hausdorff locally compact semitopological semigroup \boldsymbolB1[0,∞) (\boldsymbolB2[0,∞)) with an adjoined compact ideal I then either I is an open subset of S1I (S2I) or the semigroup S1I (S2I) is compact. Also, we proved that if S_\mathfrakdI is a Hausdorff locally compact semitopological semigroup \boldsymbolB^\mathfrakd[0,∞) with an adjoined compact ideal I then I is an open subset of S_\mathfrakdI.