Stability in the family of \(\omega \)-limit sets of alternating systems (Q764959): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: D'Aniello, Emma / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Timothy H. Steele / rank | |||
Normal rank |
Revision as of 22:54, 9 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stability in the family of \(\omega \)-limit sets of alternating systems |
scientific article |
Statements
Stability in the family of \(\omega \)-limit sets of alternating systems (English)
0 references
16 March 2012
0 references
Let \(C(I)\) be the space of all continuous maps from the unit interval \(I=[0,1]\) into itself endowed with the uniform topology. For \(f,g\in C(I)\) and \(x\in I\) the paper studies the \(\omega\)-limit sets \(\omega(x,[f,g])\) generated by alternating trajectories of the form \(\gamma(x,[f,g])=\{x,f(x),g(f(x)),f(g(f(x))),\dots\}\), as well as the sets \(\Lambda([f,g])=\cup_{x\in I}\omega(x,[f,g])\) and \(\mathcal L([f,g])=\{\omega(x,[f,g]):x\in I\}\). In particular, it is shown that (1) If \(g\) is constant on no interval \(J\subseteq I\), then there exists a residual set \(\mathcal S\subseteq C(I)\) so that the maps \(\Lambda:C(I)\times C(I)\to \mathcal K\) and \(\mathcal L:C(I)\times C(I)\to \mathcal K^\star\) taking \((f,g)\) to \(\Lambda([f,g])\) and \(\mathcal L([f,g])\), respectively, are both continuous at \((f,g)\) whenever \(f\in\mathcal S\). (2) The map \(\omega:I\times C(I)\times C(I)\to\mathcal K\) taking \((x,f,g)\) to \(\omega(x,[f,g])\) is in the second class of Baire, and for any \(g\in C(I)\) there exists a residual set \(\mathcal T\subseteq I\times C(I)\) so that \(\omega\) is continuous at \((x,f,g)\) whenever \(f\in\mathcal S\). (3) If \(f\) is constant on no interval \(J\subseteq I\), then there exists a residual set \(\mathcal D\subseteq I\times C(I)\) so that \(\omega(x,[f,g])=\omega(x,g\circ f)\cup\omega(f(x),f\circ g)\), where both \(\omega(x,g\circ f)\) and \(\omega(f(x),f\circ g)\) are adding machines of type \(\infty\) whenever \((x,g)\in\mathcal D\).
0 references
alternating system
0 references
\(\omega\)-limit set
0 references
typical behavior
0 references