arXiv subjects

S. García-Ferreira

Publications and source records attributed to S. García-Ferreira.

5 recordsLinked to original sources

arXiv2019

On the continuity of the elements of the Ellis semigroup and other properties

We consider discrete dynamical systems whose phase spaces are compact metrizable countable spaces. In the first part of the article, we study some properties that guarantee the continuity of all functions of the corresponding Ellis semigroup. For instance, if every accumulation point of $X$ is fixed, we give a necessary and sufficient condition on a point $a\in X'$ in order that all functions of the Ellis semigroup $E(X,f)$ be continuous at the given point $a$. In the second part, we consider transitive dynamical systems. We show that if $(X,f)$ is a transitive dynamical system and either every function of $E(X,f)$ is continuous or $|ω_f(x)|=1$ for each accumulation point $x$ of $X$, then $E(X,f)$ is homeomorphic to $X$. Several examples are given to illustrate our results.

math.GN↗

arXiv2016

$σ$-Ideals and outer measures on the real line

A {\it weak selection} on $\mathbb{R}$ is a function $f: [\mathbb{R}]^2 \to \mathbb{R}$ such that $f(\{x,y\}) \in \{x,y\}$ for each $\{x,y\} \in [\mathbb{R}]^2$. In this article, we continue with the study (which was initiated in \cite{ag}) of the outer measures $λ_f$ on the real line $\mathbb{R}$ defined by weak selections $f$. One of the main results is to show that $CH$ is equivalent to the existence of a weak selection $f$ for which: \[ \mathcal λ_f(A)= \begin{cases} 0 & \text{if $|A| \leq ω$,}\\ \infty & \text{otherwise.} \end{cases} \] Some conditions are given for a $σ$-ideal of $\mathbb{R}$ in order to be exactly the family $\mathcal{N}_f$ of $λ_f$-null subsets for some weak selection $f$. It is shown that there are $2^\mathfrak{c}$ pairwise distinct ideals on $\mathbb{R}$ of the form $\mathcal{N}_f$, where $f$ is a weak selection. Also we prove that Martin Axiom implies the existence of a weak selection $f$ such that $\mathcal{N}_f$ is exactly the $σ$-ideal of meager subsets of $\mathbb{R}$. Finally, we shall study pairs of weak selections which are "almost equal" but they have different families of $λ_f$-measurable sets.

math.GN↗

arXiv2016

Characterizing Corson and Valdivia compact spaces

We give a new characterization of Valdivia compact spaces: A compact space is Valdivia if and only if it has a dense commutatively monotonically retractable subspace. This result solves Problem 5.12 from \cite{sal-rey}. Besides, we introduce the notion of full $c$-skeleton and prove that a compact space is Corson if and only if it has a full $c$-skeleton.

math.GN↗

arXiv2016

The Ellis semigroup of a nonautonomous discrete dynamical system

We introduce the {\it Ellis semigroup} of a nonautonomous discrete dynamical system $(X,f_{1,\infty})$ when $X$ is a metric compact space. The underlying set of this semigroup is the pointwise closure of $\{f\sp{n}_1 \, |\, n\in \mathbb{N}\}$ in the space $X\sp{X}$. By using the convergence of a sequence of points with respect to an ultrafilter it is possible to give a precise description of the semigroup and its operation. This notion extends the classical Ellis semigroup of a discrete dynamical system. We show several properties that connect this semigroup and the topological properties of the nonautonomous discrete dynamical system.

math.GN↗

arXiv2016

Iterates of dynamical systems on compact metrizable countable spaces

Given a dynamical system $(X,f)$, we let $E(X,f)$ denote its Ellis semigroup and $E(X,f)^* = E(X,f) \setminus \{f^n : n \in \mathbb{N}\}$. We analyze the Ellis semigroup of a dynamical system having a compact metric countable space as a phase space. We show that if $(X,f)$ is a dynamical system such that $X$ is a compact metric countable space and every accumulation point $X'$ is periodic, then either each function of $E(X,f)^*$ is continuous or each function of $E(X,f)^*$ is discontinuous. We describe an example of a dynamical system $(X,f)$ where $X$ is a compact metric countable space, the orbit of each accumulation point is finite and $E(X,f)^*$ contains continuous and discontinuous functions.

math.GN↗