Showing 1–17 of 17 results for author: del Portal, F R R

A combinatorial description of shape theory

Authors: Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties. We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse sequences of finite spaces and prove some properties. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Comments: 20 pages, 7 figures

MSC Class: 06A11; 06A07; 54C56; 55P55

Integration in Čech theories and a bound on entropy

Authors: Luis Hernández-Corbato, David Jesús Nieves-Rivera, Francisco Romero Ruiz del Portal, Jaime Jorge Sánchez-Gabites

Abstract: The evaluation of Alexander-Spanier cochains over formal simplices in a topological space leads to a notion of integration of Alexander-Spanier cohomology classes over Čech homology classes. The integral defines an explicit and non-degenerate pairing between the Alexander-Spanier cohomology and the Čech homology. Instead of working on the limits that define both groups, most of the discussion is c… ▽ More The evaluation of Alexander-Spanier cochains over formal simplices in a topological space leads to a notion of integration of Alexander-Spanier cohomology classes over Čech homology classes. The integral defines an explicit and non-degenerate pairing between the Alexander-Spanier cohomology and the Čech homology. Instead of working on the limits that define both groups, most of the discussion is carried out "at scale $\mathcal U$", for an open covering $\mathcal U$. As an application, we generalize a result of Manning to arbitrary compact spaces $X$: we prove that the topological entropy of $f \colon X \to X$ is bounded from below by the logarithm of the spectral radius of the map induced in the first Čech cohomology group. △ Less

Submitted 31 December, 2021; v1 submitted 28 December, 2021; originally announced December 2021.

Shape of compacta as extension of weak homotopy of finite spaces

Authors: Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type. We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type. △ Less

Submitted 6 October, 2021; originally announced October 2021.

MSC Class: 55P55; 54C56; 06A06; 54C56; 18Fxx

Computational approximations of compact metric spaces

Authors: Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method. Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method. △ Less

Submitted 23 July, 2021; originally announced July 2021.

On the triviality of flows in Alexandroff spaces

Authors: Pedro J. Chocano, Diego Mondéjar Ruiz, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces. We prove that the unique possible flow in an Alexandroff $T_0$-space is the trivial one. To motivate this result, we relate Alexandroff spaces to topological hyperspaces. △ Less

Submitted 25 July, 2022; v1 submitted 2 April, 2021; originally announced April 2021.

On some topological realizations of groups and homomorphisms

Authors: Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition,… ▽ More Let $f:G\rightarrow H$ be a homomorphism of groups, we construct a topological space $X_f$ such that its group of homeomorphisms is isomorphic to $G$, its group of homotopy classes of self-homotopy equivalences is isomorphic to $H$ and the natural map between the group of homeomorphisms of $X_f$ and the group of homotopy classes of self-homotopy equivalences of $X_f$ is precisely $f$. In addition, realization problems involving homology, homotopy groups and groups of automorphisms are considered. △ Less

Submitted 15 April, 2021; v1 submitted 14 November, 2020; originally announced November 2020.

MSC Class: 20B25; 06A06; 06A11 05E18; 55P10; 55P99

Parrondo's paradox for homeomorphisms

Authors: Armengol Gasull, Luis Hernández-Corbato, Francisco R. Ruiz del Portal

Abstract: We construct two planar homeomorphisms $f$ and $g$ for which the origin is a globally asymptotically stable fixed point whereas for $f \circ g$ and $g \circ f$ the origin is a global repeller. Furthermore, the origin remains a global repeller for the iterated function system generated by $f$ and $g$ where each of the maps appears with a certain probability. This planar construction is also extende… ▽ More We construct two planar homeomorphisms $f$ and $g$ for which the origin is a globally asymptotically stable fixed point whereas for $f \circ g$ and $g \circ f$ the origin is a global repeller. Furthermore, the origin remains a global repeller for the iterated function system generated by $f$ and $g$ where each of the maps appears with a certain probability. This planar construction is also extended to any dimension greater than 2 and proves for first time the appearance of the Parrondo's dynamical paradox in odd dimensions. △ Less

Submitted 24 October, 2020; originally announced October 2020.

MSC Class: 37C25

Coincidence theorems for finite topological spaces

Authors: Pedro J. Chocano, Manuel A. Morón, Francisco R. Ruiz del Portal

Abstract: We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the literature. Finally, it is given an application to the approximation of discrete dynamical systems in polyhedra. We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the literature. Finally, it is given an application to the approximation of discrete dynamical systems in polyhedra. △ Less

Submitted 24 October, 2020; originally announced October 2020.

MSC Class: 55M20; 37B99; 54H20; 06A0

Topological realizations of groups in Alexandroff spaces

Authors: P. J. Chocano, M. A. Morón, F. R. Ruiz del Portal

Abstract: We prove that every group can be realized as the homeomorphism group and as the group of (pointed) homotopy classes of (pointed) self-homotopy equivalences of infinitely many non-homotopy-equivalent Alexandroff spaces. We prove that every group can be realized as the homeomorphism group and as the group of (pointed) homotopy classes of (pointed) self-homotopy equivalences of infinitely many non-homotopy-equivalent Alexandroff spaces. △ Less

Submitted 7 July, 2020; v1 submitted 12 July, 2019; originally announced July 2019.

Dynamics and eigenvalues in dimension zero

Authors: Luis Hernández-Corbato, David Jesús Nieves-Rivera, Francisco R. Ruiz Del Portal, Jaime J. Sánchez-Gabites

Abstract: Let $X$ be a compact, metric and totally disconnected space and let $f:X\to X$ be a continuos map. We relate the eigenvalues of $f_{*}:\check{H}_{0}(X;\mathbb{C})\to\check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0,1 is an eigenvalue. This stands in contrast with the classical Manni… ▽ More Let $X$ be a compact, metric and totally disconnected space and let $f:X\to X$ be a continuos map. We relate the eigenvalues of $f_{*}:\check{H}_{0}(X;\mathbb{C})\to\check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0,1 is an eigenvalue. This stands in contrast with the classical Manning's inequality. △ Less

Submitted 21 November, 2018; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: Version accepted for publication in Ergod. Theory Dyn. Syst

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 2434-2452

Infinite series in cohomology: attractors and Conley index

Authors: Luis Hernández-Corbato, Francisco R. Ruiz del Portal, Jaime J. Sánchez-Gabites

Abstract: In this paper we study the cohomological Conley index of arbitrary isolated invariant continua for continuous maps $f \colon U \subseteq \mathbb{R}^d \to \mathbb{R}^d$ by analyzing the topological structure of their unstable manifold. We provide a simple dynamical interpretation for the first cohomological Conley index, describing it completely, and relate it to the cohomological Conley index in h… ▽ More In this paper we study the cohomological Conley index of arbitrary isolated invariant continua for continuous maps $f \colon U \subseteq \mathbb{R}^d \to \mathbb{R}^d$ by analyzing the topological structure of their unstable manifold. We provide a simple dynamical interpretation for the first cohomological Conley index, describing it completely, and relate it to the cohomological Conley index in higher degrees. A number of consequences are derived, including new computations of the fixed point indices of isolated invariant continua in dimensions 2 and 3. Our approach exploits certain attractor-repeller decomposition of the unstable manifold, reducing the study of the cohomological Conley index to the relation between the cohomology of an attractor and its basin of attraction. This is a classical problem that, in the present case, is particularly difficult because the dynamics is discrete and the topology of the unstable manifold can be very complicated. To address it we develop a new method that may be of independent interest and involves the summation of power series in cohomology: if $Z$ is a metric space and $K \subseteq Z$ is a compact, global attractor for a continuous map $g \colon Z \to Z$, we show how to interpret series of the form $\sum_{j \ge 0} a_j (g^*)^j$ as endomorphisms of the cohomology group of the pair $(Z,K)$. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: 55 pages

Uniqueness of dynamical zeta functions and symmetric products

Authors: Eduardo Blanco Gomez, Luis Hernandez-Corbato, Francisco R. Ruiz del Portal

Abstract: A characterization of dynamically defined zeta functions is presented. It comprises a list of axioms, natural extension of the one which characterizes topological degree, and a uniqueness theorem. Lefschetz zeta function is the main (and proved unique) example of such zeta functions. Another interpretation of this function arises from the notion of symmetric product from which some corollaries and… ▽ More A characterization of dynamically defined zeta functions is presented. It comprises a list of axioms, natural extension of the one which characterizes topological degree, and a uniqueness theorem. Lefschetz zeta function is the main (and proved unique) example of such zeta functions. Another interpretation of this function arises from the notion of symmetric product from which some corollaries and applications are obtained. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 25 pages, 2 figures. Final version to appear in J. Fixed Point Theory Appl

Journal ref: J. Fixed Point Theory Appl. (2016) 18: 689

Fixed point indices of planar continuous maps

Authors: Luis Hernandez-Corbato, Francisco R. Ruiz del Portal

Abstract: We characterize the sequences of fixed point indices $\{i(f^n, p)\}_{n\ge 1}$ of fixed points that are isolated as an invariant set and continuous maps in the plane. In particular, we prove that the sequence is periodic and $i(f^n, p) \le 1$ for every $n \ge 1$. This characterization allows us to compute effectively the Lefschetz zeta functions for a wide class of continuous maps in the 2-sphere,… ▽ More We characterize the sequences of fixed point indices $\{i(f^n, p)\}_{n\ge 1}$ of fixed points that are isolated as an invariant set and continuous maps in the plane. In particular, we prove that the sequence is periodic and $i(f^n, p) \le 1$ for every $n \ge 1$. This characterization allows us to compute effectively the Lefschetz zeta functions for a wide class of continuous maps in the 2-sphere, to obtain new results of existence of infinite periodic orbits inspired on previous articles of J. Franks and to give a partial answer to a problem of Shub about the growth of the number of periodic orbits of degree--$d$ maps in the 2-sphere. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 15 pages, 4 figures. Final version published in DCDS

Journal ref: Discrete Contin. Dyn. Syst. 35 (2015) 2979-2995

About the homological discrete Conley index of isolated invariant acyclic continua

Authors: Luis Hernández-Corbato, Patrice Le Calvez, Francisco R. Ruiz del Portal

Abstract: This article includes an almost self-contained exposition on the discrete Conley index and its duality. We work with a local homeomorphism of $\mathds{R}^d$ and an invariant and isolated acyclic continuum, such as a cellular set or a fixed point. In this setting, we obtain a complete description of the first discrete homological Conley index, which is periodic, that enforces a combinatorial behavi… ▽ More This article includes an almost self-contained exposition on the discrete Conley index and its duality. We work with a local homeomorphism of $\mathds{R}^d$ and an invariant and isolated acyclic continuum, such as a cellular set or a fixed point. In this setting, we obtain a complete description of the first discrete homological Conley index, which is periodic, that enforces a combinatorial behavior of higher indices. As a consequence, we prove that isolated (as an invariant set) fixed points of orientation-reversing homeomorphisms of $\mathds{R}^3$ have fixed point index $\le 1$ and, as a corollary, that there are no minimal orientation-reversing homeomorphisms in $\mathds{R}^3$. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: 35 pages

MSC Class: 37C25; 37B30; 54H25

Journal ref: Geom. Topol. 17 (2013) 2977-3026

Indices of the iterates of ({\Bbb R}^3)-homeomorphisms at fixed points which are isolated invariant sets

Authors: Patrice Le Calvez, Francisco R. Ruiz del Portal, José M. Salazar

Abstract: Let (U \subset {\mathbb R}^3) be an open set and (f:U \to f(U) \subset {\mathbb R}^3) be a homeomorphism. Let (p \in U) be a fixed point. It is known that, if (\{p\}) is not an isolated invariant set, the sequence of the fixed point indices of the iterates of (f) at (p), ((i(f^n,p))_{n\geq 1}), is, in general, unbounded. The main goal of this paper is to show that when (\{p\}) is an isolated inv… ▽ More Let (U \subset {\mathbb R}^3) be an open set and (f:U \to f(U) \subset {\mathbb R}^3) be a homeomorphism. Let (p \in U) be a fixed point. It is known that, if (\{p\}) is not an isolated invariant set, the sequence of the fixed point indices of the iterates of (f) at (p), ((i(f^n,p))_{n\geq 1}), is, in general, unbounded. The main goal of this paper is to show that when (\{p\}) is an isolated invariant set, the sequence ((i(f^n,p))_{n\geq 1}) is periodic. Conversely, we show that for any periodic sequence of integers ((I_n)_{n \geq1}) satisfying Dold's necessary congruences, there exists an orientation preserving homeomorphism such that (i(f^n,p)=I_n) for every (n\geq 1). Finally we also present an application to the study of the local structure of the stable/unstable sets at (p). △ Less

Submitted 1 May, 2009; originally announced May 2009.

MSC Class: 37C25; 37B30; 54H25

Indices of the iterates of $R^3$-homeomorphisms at Lyapunov stable fixed points

Authors: Francisco R. Ruiz del Portal, José Manuel Salazar

Abstract: Given any positive sequence (\{c_n\}_{n \in {\Bbb N}}), we construct orientation preserving homeomorphisms (f:{\Bbb R}^3 \to {\Bbb R}^3) such that (Fix(f)=Per(f)=\{0\}), (0) is Lyapunov stable and (\limsup \frac{|i(f^m, 0)|}{c_m}= \infty). We will use our results to discuss and to point out some strong differences with respect to the computation and behavior of the sequences of the indices of pl… ▽ More Given any positive sequence (\{c_n\}_{n \in {\Bbb N}}), we construct orientation preserving homeomorphisms (f:{\Bbb R}^3 \to {\Bbb R}^3) such that (Fix(f)=Per(f)=\{0\}), (0) is Lyapunov stable and (\limsup \frac{|i(f^m, 0)|}{c_m}= \infty). We will use our results to discuss and to point out some strong differences with respect to the computation and behavior of the sequences of the indices of planar homeomorphisms. △ Less

Submitted 18 April, 2007; originally announced April 2007.

Comments: 19 pages, 8 figures

MSC Class: 37C25; 37B30; 54H25

Isomorphisms in pro-categories

Authors: J. Dydak, F. R. Ruiz del Portal

Abstract: A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has direct sums (resp. weak push-outs). In this paper we introduce the notions of strong monomorphism and strong epimorphism. Part of their significance is that they… ▽ More A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has direct sums (resp. weak push-outs). In this paper we introduce the notions of strong monomorphism and strong epimorphism. Part of their significance is that they are preserved by functors. These notions and their characterizations lead us to important classical properties and problems in shape and pro-homotopy. For instance, strong epimorphisms allow us to give a categorical point of view of uniform movability and to introduce a new kind of movability, the sequential movability. Strong monomorphisms are connected to a problem of K.Borsuk regarding a descending chain of retracts of ANRs. If (f: X \to Y) is a bimorphism in the pointed shape category of topological spaces, we prove that (f) is a weak isomorphism and (f) is an isomorphism provided (Y) is sequentially movable and $X$ or $Y$ is the suspension of a topological space. If (f: X \to Y) is a bimorphism in the pro-category pro-(H_0) (consisting of inverse systems in (H_0), the homotopy category of pointed connected CW complexes) we show that (f) is an isomorphism provided (Y) is sequentially movable. △ Less

Submitted 21 April, 2004; originally announced April 2004.

Comments: to appear in the Journal of Pure and Applied Algebra

MSC Class: 16B50; 18D35; 54C56

Journal ref: Journal of Pure and Applied Algebra 190/1-3 (2004),85-120