Showing 1–4 of 4 results for author: McCluskey, A

Topological transitivity in quasi-continuous dynamical systems

Authors: Jiling Cao, Aisling McCluskey

Abstract: A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In this paper, we show that under appropriate assumptions, various definitions of the concept of topological transitivity are equivalent in a quasi-continuous dynam… ▽ More A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In this paper, we show that under appropriate assumptions, various definitions of the concept of topological transitivity are equivalent in a quasi-continuous dynamical system. Our main results establish the equivalence of topological and point transitivity in a quasi-continuous dynamical system. These extend some classical results on continuous dynamical systems in [3], [10] and [25], and some results on quasi-continuous dynamical systems in [7] and [8]. △ Less

Submitted 25 July, 2020; originally announced July 2020.

Comments: 14

MSC Class: 37B99; 54H20

Betweenness relations in a categorical setting

Authors: J. Bruno, A. McCluskey, P. Szeptycki

Abstract: We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects forms a Fraissé class implying the existence of a countable homogenous betweenness relation. We furthermore show that the subcategory of antisymmetric betweenn… ▽ More We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects forms a Fraissé class implying the existence of a countable homogenous betweenness relation. We furthermore show that the subcategory of antisymmetric betweenness relations is reflective. As an application we recover the reflectivity of distributive complete lattices within complete lattices, and we end with some observations on the Dedekind-MacNeille completion. △ Less

Submitted 9 March, 2017; v1 submitted 18 February, 2015; originally announced February 2015.

$Top(X)$ within $\px$ ]{When lattices meet topology: $Top(X)$ within $\px$.}

Authors: Jorge L. Bruno, Aisling E. McCluskey

Abstract: For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this identification then, $Top(X)$ naturally inherits the subspace topology from $\px$ (see \cite{TopX1}). Extending ideas of Frink \cite{MR0006496}, we establish a… ▽ More For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this identification then, $Top(X)$ naturally inherits the subspace topology from $\px$ (see \cite{TopX1}). Extending ideas of Frink \cite{MR0006496}, we establish an equivalence between the topological closures of sublattices of $\px$ and their (completely distributive) completions. We exploit this equivalence when searching for countably infinite compact subsets within $Top(X)$ and in crystalizing the Borel complexity of $Top(X)$. We exhibit infinite compact subsets of $Top(X)$ including, in particular, copies of the Stone-Čech and one-point compactifications of discrete spaces. △ Less

Submitted 20 March, 2012; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: 10 pages

Topologies on $X$ as points in $2^{\mathcal{P}(X)}$

Authors: Jorge L. Bruno, Aisling E. McCluskey

Abstract: A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies on $X$ is a natural subspace therein. We investigate topological properties of $Top(X)$ and give sufficient model-theoretic conditions for a general subspace o… ▽ More A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies on $X$ is a natural subspace therein. We investigate topological properties of $Top(X)$ and give sufficient model-theoretic conditions for a general subspace of $2^{\mathcal{P}(X)}$ to be compact. △ Less

Submitted 8 December, 2011; v1 submitted 14 November, 2011; originally announced November 2011.

Comments: First of two papers. 6 pages