arXiv subjects
Publications and source records attributed to Teemu Pirttimäki.
We show that there exists a fixed recursive function $e$ such that for all functions $h\colon \mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to \mathbb{N}$ such that $c_h(h(n))=e(c_h(n))$, i.e., $h=c_h^{-1}ec_h$.
Every topological space has a Kolmogorov quotient that is obtained by identifying topologically indistinguishable points, that is, points that are contained in exactly the same open sets. In this survey, we look at the relationship between topological spaces and their Kolmogorov quotients. In most natural examples of spaces, the Kolmogorov quotient is homeomorphic to the original space. A non-trivial relationship occurs, for example, in the case of pseudometric spaces, where the Kolmogorov quotient is a metric space. We also look at the topological indistinguishability relation in the context of topological groups and uniform spaces.