Note on delay-inverse systems. II
This paper is a follow-up of the author's [Topology Appl. 377, Article ID 109628, 10 p. (2026; Zbl 1584.54008)]. Let us first provide some background. Fix a category \(\mathcal{C}\). An inverse system \((X_a,p_{aa'},(A,\preceq))\) in \(\mathcal{C}\) consists of an indexing set \(A\), a relation \(\preceq\) on \(A\) that is pre-ordered and directed, for each \(a\in A\), a coordinate object \(X_a\) in \(\mathrm{Obj}(\mathcal{C})\) is assigned, and whenever \((a,a')\in A^2\) and \(a\preceq a'\), a bonding morphism \(p_{aa'}:X_{a'}\to X_a\) in \(\mathcal{C}\) such that for all \(a\in A\), \(p_{aa}=\mathrm{id}:X_a\to X_a\). It is further required that\N\N\((*)\) whenever \((a,a',a)\in A^3\) and \(a\preceq a'\preceq a\), then \(p_{aa}=p_{aa'}\circ p_{a'a}:X_{a}\to X_a\).\N\NIn [\textit{V. Matijević} and \textit{L. R. Rubin}, Topology Appl. 348, Article ID 108891, 26 p. (2024; Zbl 1541.54008)], the authors introduced a generalization of an inverse system in \(\mathcal{C}\) called a delay-inverse system in \(\mathcal{C}\). The only difference between an inverse system and a delay-inverse system is that \((*)\) is replaced by,\N\N\((**)\) for all \(a\in A\), there exists \(a_0\in A\), \(a\preceq a_0\), such that for all \((a',a)\in A^2\) with \(a_0\preceq a'\preceq a\), \(p_{aa}= p_{aa'}\circ p_{a'a}:X_{a}\to X_a\).\N\NIn some preliminary notes of the authors V. Matijević and L. Rubin mentioned above, the notion of a certain category, denoted \(\mathrm{Dpro}\)-\(\mathcal{C}\), of delay-inverse systems was put forth. It is there stated that the category \(\mathrm{pro}\)-\(\mathcal{C}\) of inverse systems [\textit{S. Mardešić} and \textit{J. Segal}, Shape theory. The inverse system approach. Amsterdam-New York-Oxford: North-Holland Publishing Company (1982; Zbl 0495.55001)] is a full subcategory of \(\mathrm{Dpro}\)-\(\mathcal{C}\). Here are two of the main results from the author's previous paper that relate objects of \(\mathrm{Dpro}\)-\(\mathcal{C}\) with objects in \(\mathrm{pro}\)-\(\mathcal{C}\).\N\N\textbf{Theorem 1.} Every \(\mathbf{X}\in\mathrm{Obj}(\mathrm{Dpro}\)-\(\mathcal{C})\) is isomorphic in \(\mathrm{Dpro}\)-\(\mathcal{C}\) to an element \(\mathbf{Y}\in\mathrm{Obj}(\mathrm{pro}\)-\(\mathcal{C})\) (hence \(\mathbf{Y}\) is an inverse system) where each coordinate object of \(\mathbf{Y}\) is also a coordinate object of \(\mathbf{X}\), and each bonding morphism of \(\mathbf{Y}\) is also a bonding morphism of \(\mathbf{X}\). Moreover, if the indexing set of \(\mathbf{X}\) is countable, then one can choose the indexing set of \(\mathbf{Y}\) in such a manner that \(\mathbf{Y}\) is a subsystem of \(\mathbf{X}\).\N\N\textbf{Theorem 2.} Let \(\{\mathbf{X},\mathbf{Y}\}\subset\mathrm{Obj}(\mathrm{pro}\)-\(\mathcal{C})\). If \(\mathbf{X}\) and \(\mathbf{Y}\) are isomorphic in \(\mathrm{Dpro}\)-\(\mathcal{C}\), then they are isomorphic in \(\mathrm{pro}\)-\(\mathcal{C}\).\N\NOne should note that in Theorem 1, it is not necessarily true that \(\mathbf{Y}\) is a \textit{subsystem} of \(\mathbf{X}\). The main result of the current paper is the following.\N\N\textbf{Theorem.} Assuming the generalized continuum hypothesis, every (delay-inverse system) \((X_a,p_{aa'},(A,\preceq))\in\mathrm{Obj}(\mathrm{Dpro}\)-\(\mathcal{C})\) with \(\mathrm{card}(A)\leq\aleph_n\), \(n\in\mathbb{N}_0\), admits an isomorphic subsystem in \(\mathrm{Dpro}\)-\(\mathcal{C}\) that lies in \(\mathrm{pro}\)-\(\mathcal{C}\), i.e., that is an inverse system in \(\mathcal{C}\).
This page was built for publication: Note on delay-inverse systems. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7285611)
