Canonical forms of shift-invariant maps on \([\mathbb N]^{\infty}\) (Q2501559): Difference between revisions

The focus of the paper is on shift invariant continuous functions and their images. It answers a question of \textit{A. S. Kechris, S. Solecki} and \textit{S. Todorcevic} [Adv. Math. 141, No.~1, 1--44 (1999; Zbl 0918.05052)]) related to the characterization of those Borel subsets of \([{\mathbb N}]^{\infty}\) (the family of infinite sets of nonnegative integers) on which the shift graph (directed graph \(([{\mathbb N}]^{\infty},S)\) corresponding to the shift map \(S:[{\mathbb N}]^{\infty} \rightarrow [{\mathbb N}]^{\infty}\) defined by \(S(A)=A\setminus\{\min A\}\)) has infinite Borel chromatic number. For this purpose, it is shown that not all infinitely Borel chromatic subgraphs of \(([{\mathbb N}]^{\infty},S)\) contain subgraphs of the form \([X]^{\infty}\) for \(X\in[{\mathbb N}]^{\infty}\). First, a canonical form of continuous maps \(\phi:[{\mathbb N}]^{\infty} \rightarrow [{\mathbb N}]^{\infty}\) that commute with the shift map \(S\) is described, and then it is shown that there are maps \(\phi:[{\mathbb N}]^{\infty} \rightarrow [{\mathbb N}]^{\infty}\) that commute with \(S\) whose ranges do not contain any set of the form \([X]^{\infty}\), \(X\in[{\mathbb N}]^{\infty}\).