Induced dynamics on the hyperspaces

DOI10.4995/AGT.2016.4154MaRDI QIDQ2825441zbMATH OpenOpenAlexFDO

Authors Puneet Sharma

Publication date 13 October 2016

Published in Applied General Topology (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1512.06940

zbMATH Keywords

combined dynamics dense periodicity hyperspace induced map transitivity

Mathematics Subject Classification ID

Notions of recurrence and recurrent behavior in topological dynamical systems (37B20) Set-valued maps in general topology (54C60)

Abstract: In this paper, we study the dynamics induced by finite commutative relation. We prove that the dynamics generated by such a non-trivial collection cannot be transitive/super-transitive and hence cannot exhibit higher degrees of mixing. As a consequence we establish that the dynamics induced by such a collection on the hyperspace endowed with any admissible hit and miss topology cannot be transitive and hence cannot exhibit any form of mixing. We also prove that if the system is generated by such a commutative collection, under suitable conditions the induced system cannot have dense set of periodic points. In the end we give example to show that the induced dynamics in this case may or may not be sensitive.

Review text

Let \((X,d)\) be a compact metric space and let \(F=\{f_1,f_2,\ldots,f_k\}\) be a finite collection of continuous self maps on \(X\). The pair \((X,F)\) generates a multi-valued dynamical system with the rule \(F(x)=\{f_1(x),f_2(x),\ldots,f_k(x) \}\), denoted by \((X,F)\). Now, if \((Y,\tau)\) is a Hausdorff topological space and \(\Psi\) is the subfamily of all non-empty closed subsets of \(Y\), when \(\Psi\) is endowed with the topology \(\Gamma\) generated using the topology \(\tau\) of \(Y\), then the pair \((\Psi,\Gamma)\) is called the hyperspace associated with \((Y,\tau)\).NEWLINENEWLINELet \((X,F)\) be a dynamical system generated by a finite family of continuous self map on \(X\), say \(\{f_1,f_2,\ldots,f_k\}\). A point \(x\) is called periodic if there exists \(n\in \mathbb{N}\) such that \(x\in F^{n}(x)\). The collection \(F\) is transitive if for any pair of non-empty open sets \(U,\) \(V\) in \(X\), there exists \(n\in \mathbb{N}\) such that \(F^n(U)\cap V\neq\emptyset\). The collection \(F\) is super-transitive if for any pair of non-empty open sets \(U,\) \(V\) in \(X\), there exist \(x\in U\) and \(n\in \mathbb{N}\) such that \(F^n(x)\subset V\).NEWLINENEWLINEThe author investigates the relation between the dynamical behavior of \((X,F)\) and the induced system \((\Psi,\overline{F})\). Some interesting result are:NEWLINENEWLINE1. Let \((X,F)\) be a dynamical system generated by a finite commutative family of continuous self-maps on \(X\). If \(F\) is super-transitive, then \(F\) is a singleton.NEWLINENEWLINE2. Let \((X,F)\) be a dynamical system generated by a finite commutative family of continuous self-maps on \(X\). Let \((\Psi,\Delta)\) be the associated hyperspace and let \(\overline{F}\) be the corresponding induced map. If the family \(F\) contains more than one map, then \(\overline{F}\) cannot be transitive.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Induced dynamics on the hyperspaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2825441)