arXiv subjects

Chris Good

Publications and source records attributed to Chris Good.

16 recordsLinked to original sources

arXiv2025

The shadowing property for piecewise monotone interval maps

The property of shadowing has been shown to be fundamental in both the theory of symbolic dynamics as well as continuous dynamical systems. A quintessential class of discontinuous dynamical systems are those driven by transitive piecewise monotone interval maps and in particular $\beta$-transformations, namely transformations of the form $T_{\beta, \alpha} : x \mapsto \beta x + \alpha \; (\operatorname{mod} \, 1)$ acting on $[0,1]$. We provide a short elegant proof showing that this class of dynamical systems does not possess the property of shadowing, complementing and extending the work of Chen and Portela.

math.DS↗

arXiv2020

Expansivity and unique shadowing

Let $f\colon X\to X$ be a continuous function on a compact metric space. We show that shadowing is equivalent to backwards shadowing and two-sided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive surjective maps the properties shadowing, two-sided shadowing, s-limit shadowing and two-sided s-limit shadowing are equivalent. We show that $f$ is positively expansive and has shadowing if and only if it has unique shadowing (i.e.\ each pseudo-orbit is shadowed by a unique point), extending a result implicit in Walter's proof that positively expansive maps with shadowing are topologically stable. We use the aforementioned result on two-sided shadowing to find an equivalent characterisation of shadowing and expansivity and extend these results to the notion of $n$-expansivity due to Morales.

math.DS↗

arXiv2019

Shadowing, internal chain transitivity and $\alpha$-limit sets

Let $f \colon X \to X$ be a continuous map on a compact metric space $X$ and let $\alpha_f$, $\omega_f$ and $ICT_f$ denote the set of $\alpha$-limit sets, $\omega$-limit sets and nonempty closed internally chain transitive sets respectively. We show that if the map $f$ has shadowing then every element of $ICT_f$ can be approximated (to any prescribed accuracy) by both the $\alpha$-limit set and the $\omega$-limit set of a full-trajectory. Furthermore, if $f$ is additionally c-expansive then every element of $ICT_f$ is equal to both the $\alpha$-limit set and the $\omega$-limit set of a full-trajectory. In particular this means that shadowing guarantees that $\overline{\alpha_f}=\overline{\omega_f}=ICT(f)$ (where the closures are taken with respect to the Hausdorff topology on the space of compact sets), whilst the addition of c-expansivity entails $\alpha_f=\omega_f=ICT(f)$. We progress by introducing novel variants of shadowing which we use to characterise both maps for which $\overline{\alpha_f}=ICT(f)$ and maps for which $\alpha_f=ICT(f)$.

math.DS↗

arXiv2019

Preservation of shadowing in discrete dynamical systems

We look at the preservation of various notions of shadowing in discrete dynamical systems under inverse limits, products, factor maps and the induced maps for symmetric products and hyperspaces. The shadowing properties we consider are the following: shadowing, h-shadowing, eventual shadowing, orbital shadowing, strong orbital shadowing, the first and second weak shadowing properties, limit shadowing, s-limit shadowing, orbital limit shadowing and inverse shadowing.

math.DS↗

arXiv2019

On inverse shadowing

We give a reformulation of the inverse shadowing property with respect to the class of all pseudo-orbits. This reformulation bears witness to the fact that the property is far stronger than might initially seem. We give some implications of this reformulation, in particular showing that systems with inverse shadowing are not sensitive. Finally we show that, on compact spaces, inverse shadowing is equivalent to a finite version of it.

math.DS↗

arXiv2019

Equicontinuity, Transitivity and Sensitivity: the Auslander-Yorke Dichotomy Revisited

We discuss topological equicontinuity and even continuity in dynamical systems. In doing so we provide a classification of topologically transitive dynamical systems in terms of equicontinuity pairs, give a generalisation of the Auslander-Yorke Dichotomy for minimal systems and show there exists a transitive system with an even continuity pair but no equicontinuity point. We define what it means for a system to be eventually sensitive; we give a dichotomy for transitive dynamical systems in relation to eventual sensitivity. Along the way we define a property called splitting and discuss its relation to some existing notions of chaos.

math.DS↗

arXiv2019

Countable inverse limits of postcritical \omega-limit sets of unimodal maps

Let f be a unimodal map of the interval with critical point c. If the orbit of c is not dense then most points in lim{[0,1],f} have neighborhoods that are homeomorphic with the product of a Cantor set and an open arc. The points without this property are called inhomogeneities, and the set, I, of inhomogeneities is equal to lim {{\omega}(c),f| {\omega}(c) }. In this paper we consider the relationship between the limit complexity of {\omega}(c) and the limit complexity of I. We show that if {\omega}(c) is more complicated than a finite collection of convergent sequences then I can have arbitrarily high limit complexity. We give a complete description of the limit complexity of I for any possible {\omega}(c).

math.DS↗

arXiv2017

Shifts of finite type as fundamental objects in the theory of shadowing

Shifts of finite type and the notion of shadowing, or pseudo-orbit tracing, are powerful tools in the study of dynamical systems. In this paper we prove that there is a deep and fundamental relationship between these two concepts. Let $X$ be a compact totally disconnected space and $f:X\to X$ a continuous map. We demonstrate that $f$ has shadowing if and only if the system $({f},{X})$ is (conjugate to) the inverse limit of a directed system of shifts of finite type. In particular, this implies that, in the case that $X$ is the Cantor set, $f$ has shadowing if and only if $(f,X)$ is the inverse limit of a sequence of shifts of finite type. Moreover, in the general compact metric case, where $X$ is not necessarily totally disconnected, we prove that $f$ has shadowing if and only if $({f},{X})$ is a factor of (i.e. semi-conjugate to) the inverse limit of a sequence of shifts of finite type by a quotient that almost lifts pseudo-orbits.

math.DS↗

arXiv2017

Shadowing, asymptotic shadowing and s-limit shadowing

We study three notions of shadowing: classical shadowing, limit (or asymptotic) shadowing, and s-limit shadowing. We show that classical and s-limit shadowing coincide for tent maps and, more generally, for piecewise linear interval maps with constant slopes, and are further equivalent to the linking property introduced by Chen in 1991. We also construct a system which exhibits shadowing but not limit shadowing, and we study how shadowing properties transfer to maximal transitive subsystems and inverse limits (sometimes called natural extensions). Where practicable, we show that our results are best possible by means of examples.

math.DS↗

arXiv2016

Almost Minimal Systems and Periodicity in Hyperspaces

Given a self-map of a compact metric space $X$, we study periodic points of the map induced on the hyperspace of closed subsets of $X$. We give some necessary conditions on admissible sets of periods for these maps. Seemingly unrelated to this, we construct an almost totally minimal homeomorphism of the Cantor set. We also apply our theory to give a full description of admissible period sets for induced maps of the interval maps. The description of admissible periods is also given for maps induced on symmetric products.

math.DS↗

arXiv2011

Shadowing and Expansivity in Sub-Spaces

We address various notions of shadowing and expansivity for continuous maps restricted to a proper subset of their domain. We prove new equivalences of shadowing and expansive properties, we demonstrate under what conditions certain expanding maps have shadowing, and generalize some known results in this area. We also investigate the impact of our theory on maps of the interval, in which context some of our results can be extended.

math.DS↗

arXiv2011

Characterizations of \omega-Limit Sets of Topologically Hyperbolic Systems

It is well known that \omega-limit sets are internally chain transitive and have weak incompressibility; the converse is not generally true, in either case. However, it has been shown that a set is weakly incompressible if and only if it is an abstract \omega-limit set, and separately that in shifts of finite type, a set is internally chain transitive if and only if it is a (regular) \omega-limit set. In this paper we generalise these and other results, proving that the characterization for shifts of finite type holds in a variety of topologically hyperbolic systems (defined in terms of expansive and shadowing properties), and also show that the notions of internal chain transitivity and weak incompressibility coincide in compact metric spaces.

math.DS↗

arXiv2011

On the omega-limit sets of tent maps

For a continuous map f on a compact metric space (X,d), a subset D of X is internally chain transitive if for every x and y in D and every delta > 0 there is a sequence of points {x=x_0,x_1, ...,x_n=y} such that d(f(x_i),x_{i+1}) < delta for i=0,1, ...,n-1. It is known that every omega-limit set is internally chain transitive; in earlier work it was shown that for X a shift of finite type, a closed subset D of X is internally chain transitive if and only if D is an omega-limit set for some point in X, and that the same is also true for the tent map with slope equal to 2. In this paper, we prove that for tent maps whose critical point c=1/2 is periodic, every closed, internally chain transitive set is necessarily an omega-limit set. Furthermore, we show that there are at least countably many tent maps with non-recurrent critical point for which there is a closed, internally chain transitive set which is not an omega-limit set. Together, these results lead us to conjecture that for those tent maps with shadowing (or pseudo-orbit tracing), the omega-limit sets are precisely those sets having internal chain transitivity.

math.DS↗

arXiv2007

Monotone versions of $δ$-normality

We continue the study of properties related to monotone countable paracompactness, investigating various monotone versions of $δ$-normality. We factorize monotone normality and stratifiability in terms of these weaker properties.

math.GN↗

arXiv2006

Monotone Versions of Countable Paracompactness

One possible natural monotone version of countable paracompactness, MCP, turns out to have some interesting properties. We investigate various other possible monotonizations of countable paracompactness and how they are related.

math.GN↗

arXiv2002

On the metrizability of spaces with a sharp base

A base $\mathcal{B}$ for a space $X$ is said to be sharp if, whenever $x\in X$ and $(B_n)_{n\inω}$ is a sequence of pairwise distinct elements of $\mathcal{B}$ each containing $x$, the collection $\{\bigcap_{j\le n}B_j:n\inω\}$ is a local base at $x$. We answer questions raised by Alleche et al. and Arhangel$'$ski\uı et al. by showing that a pseudocompact Tychonoff space with a sharp base need not be metrizable and that the product of a space with a sharp base and $[0,1]$ need not have a sharp base. We prove various metrization theorems and provide a characterization along the lines of Ponomarev's for point countable bases.

math.GN↗