The Kirch space is topologically rigid

DOI10.1016/J.TOPOL.2021.107782MaRDI QIDQ2665202zbMATH OpenOpenAlexFDO

Authors Taras Banakh, Yaryna Stelmakh, Sławomir Turek

Publication date 18 November 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.12357

zbMATH Keywords

arithmetic progressionKirch topologytopologically rigid space

Mathematics Subject Classification ID

Primes (11A41) Connected and locally connected spaces (general aspects) (54D05)

Abstract: The $Golomb$ $space$ (resp. the $Kirch$ $space$) is the set $mathbbN$ of positive integers endowed with the topology generated by the base consisting of arithmetic progressions $a+bmathbb{N}_0=a+bn:nge0$ where $ainmathbbN$ and $b$ is a (square-free) number, coprime with $a$. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent result of Banakh, Spirito and Turek, the Golomb space has trivial homeomorphism group and hence is topologically rigid. In this paper we prove the topological rigidity of the Kirch space.

Review text

The Golomb space (resp. the Kirch space) is the set \(\mathbb{N}\) endowed with the topology generated by the base consisting of \(a+b(\mathbb{N}\cup \{0\})\) where \(a,b\in \mathbb{N}\) and \(b\) is a (square-free) number, coprime with \(a\). The Golomb space is connected but not locally connected, whereas the Kirch space is connected and locally connected. Recently \textit{T. Banakh} et al. [Commentat. Math. Univ. Carol. 62, No. 3, 347--360 (2021; Zbl 07442496)] proved that the Golomb space is topologically rigid, i.e. it has trivial homeomorphism group. In the article under review it is shown that also the Kirch space is topologically rigid. As an important step in the proof it is shown that the Kirch space is superconnected, i.e. for any \(n\in\mathbb{N}\) and nonempty open sets \(U_1,\dots ,U_n\) the intersection \(\bar{U_1},\dots ,\bar{U_n}\) is not empty.

Recommendations

• Homeomorphisms of the space of nonzero integers with the Kirch topology
• The connectedness of arithmetic progressions in Furstenberg's, Golomb's, and Kirch's topologies
• Properties of increasing sequence of Kirch-type topologies on the set of positive integers
• The Golomb space and its non connectedness ``im kleinen
• On continuous self-maps and homeomorphisms of the Golomb space.

Cites work

• A Connected Topology for the Integers
• A Countable, Connected, Locally Connected Hausdorff Space
• Catalan's conjecture
• Catalan’s Conjecture: Another old Diophantine problem solved
• scientific article; zbMATH DE number 3523640 (Why is no real title available?)
• scientific article; zbMATH DE number 1343987 (Why is no real title available?)
• scientific article; zbMATH DE number 2024859 (Why is no real title available?)
• scientific article; zbMATH DE number 3335736 (Why is no real title available?)
• scientific article; zbMATH DE number 3188603 (Why is no real title available?)
• On continuous self-maps and homeomorphisms of the Golomb space.
• On Zsigmondy primes
• Primary cyclotomic units and a proof of Catalans conjecture
• The connectedness of arithmetic progressions in Furstenberg's, Golomb's, and Kirch's topologies
• The Darboux property for polynomials in Golomb's and Kirch's topologies
• The Golomb space is topologically rigid

Cited in

(12)

• A universal coregular countable second-countable space
• The Golomb topology on a Dedekind domain and the group of units of its quotients
• On some generalizations of the Kirch's ideal
• Coset topologies on \(\mathbb{Z}\) and arithmetic applications
• On continuous self-maps and homeomorphisms of the Golomb space.
• Homeomorphisms of the space of nonzero integers with the Kirch topology
• The Golomb topology of polynomial rings
• The Golomb space is topologically rigid
• Totally Brown subsets of the Golomb space and the Kirch space
• The Golomb space and its non connectedness ``im kleinen
• On self-homeomorphisms of the divisor topological space
• Some properties of the ideal of nowhere dense sets in the common division topology

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: The Kirch space is topologically rigid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665202)