Topological entropy for locally linearly compact vector spaces (Q1632749)

Let \(V\) be a locally linearly compact vector space. Denote by \(\mathcal{B}(V)\) the set of all linearly compact open linear subspaces of \(V\). Let \(\phi: V\rightarrow V\) be a continuous endomorphism. The topological entropy of \(\phi\) with respect to \(U\in\mathcal{B}(V)\) is defined by \(H^{*}(\phi,U) = \lim_{n\rightarrow\infty} \frac{1}{n}\dim \frac{U}{C_n(\phi,U)}\), where \(C_n(\phi,U)\) is the \(n\)-th \(\phi\)-cotrajectory of \(U\), and the topological entropy of \(\phi\) is defined by \(\mathrm{ent}^{*}(\phi) = \sup\{H^{*}(\phi,U) \mid U\in\mathcal{B}(V)\}\). The authors prove the Addition Theorem (so-called) for locally linearly compact vector spaces and their continuous endomorphisms, that is, they prove the following theorem: ``Let \(V\) be a locally linearly compact vector space, \(\phi: V\rightarrow V\) a continuous endomorphism, \(W\) a closed \(\phi\)-invariant linear subspace of \(V\) and \(\overline{\phi}: V\rightarrow V\) the continuous endomorphism induced by \(\phi\). Then \(\mathrm{ent}^{*}(\phi)=\mathrm{ent}^{*}(\phi \upharpoonright w)+\mathrm{ent}^{*}(\overline{\phi})\)''. In order to prove the Addition Theorem, the authors restrict first to the case of continuous endomorphisms of linearly compact vector spaces, and then to topological automorphisms. Secondly, the authors prove the Bridge Theorem: Let \(V\) be a locally linearly compact vector space and \(\phi: V\rightarrow V\) a continuous endomorphism. Then \(\mathrm{ent}^{*}(\phi) = \mathrm{ent}(\hat{\phi})\), where they denote by \(\hat{V}\) the dual of \(V\) and by \(\hat{\phi}:\hat{V}\rightarrow \hat{V}\) the dual endomorphism of \(\phi\) with respect to Lefschetz duality. The authors investigate the existence of the limit in the definition of the topological entropy \(H^{*}(\phi,U)\). Then the authors list the general properties and examples concerning the topological entropy \(\mathrm{ent}^{*}\). Finally, the authors prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Lefschetz duality.