Topological dynamics on finite directed graphs (Q1646561)

Let \(G=(V,E)\) be an \(L\)-graph with associated semiflow \(\Phi_G\) on \({\mathcal P}(V)\). The following are the main results in this exposition. Theorem 1. For a finite collection \({\mathcal M}=\{{\mathcal M}_\mu\in {\mathcal P}(V); \mu=1,\dots,k\}\) of nonempty pairwise disjoint sets, the following are equivalent i) \({\mathcal M}\) is the finest Morse decomposition of \(\Phi_G\) ii) \({\mathcal M}={\mathcal C}\) (the set of communicating classes of \(G\)). Theorem 2. The finite collection of sets \({\mathcal M}=\{{\mathcal M}_\mu\in {\mathcal P}(V); \mu=1,\dots,k\}\) defines a Morse decomposition of \(\Phi_G\) iff there exists a strictly increasing sequence of attractors \[ \emptyset={\mathcal A}_0\subset {\mathcal A}_1\subset \cdots \subset {\mathcal A}_n\subset V \] such that \[ {\mathcal M}_{n-i}={\mathcal A}_{i+1}\cap {\mathcal A}_i^*, \] for \(0\leq i\leq n-1.\) Further aspects occasioned by these developments are also discussed.