The categories of flows of Set and Top (Q429324): Difference between revisions

By a flow in a category \(C\) is understood a pair \((X,f)\) where \(X\) is an object and \(f: X\to X\) a morphism. If \((A,f)\) and \((B,g)\) are flows in \(C\), then \(h: A\to B\) is a morphism of flows from \((A,f)\) to \((B,g)\) if \(h\circ f= g\circ h\). The resulting category of flows in \(C\) is denoted by \(\text{Flow}\). The author studies certain relations between \(\text{Flow}(\text{Set})\) and \(\text{Flow}(\text{Top})\). A flow \((X,f)\in \text{Flow}(\text{Top})\) is said to be a Gottschalk flow if it satisfies the following conditions: (i) if \(x\in X\) is almost periodic, then \(\overline{O(x)}\) is a minimal set of \(f\); (ii) All points in any minimal set are almost periodic. The author proves that for every \((X,f)\in \text{Flow}(\text{Set})\) there is a topology \(P(f)\) on \(X\) such that the resulting flow \(((X,P(f)),f)\) is a Gottschalk flow. The topology \(P(f)\) is constructed by taking the \(f\)-invariant subsets of \(X\) as closed sets. This construction \(P\) defines a covariant functor from \(\text{Flow}(\text{Set})\) into \(\text{Flow}(\text{Top})\).