Showing 1–27 of 27 results for author: Uzcategui, C

On the Polishness of the inverse semigroup $Γ(X)$ on a compact metric space $X$

Authors: Jerson Pérez, Carlos Uzcátegui

Abstract: Let $Γ(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $τ_{hco}$, that makes $Γ(X)$ a topological inverse semigroup. We address the question of whether $τ_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(Γ(X), τ_{hco})$ is Polish by showing that it is topologically isomorphic to a… ▽ More Let $Γ(X)$ be the inverse semigroup of partial homeomorphisms between open subsets of a compact metric space $X$. There is a topology, denoted $τ_{hco}$, that makes $Γ(X)$ a topological inverse semigroup. We address the question of whether $τ_{hco}$ is Polish. For a 0-dimensional compact metric space $X$, we prove that $(Γ(X), τ_{hco})$ is Polish by showing that it is topologically isomorphic to a closed subsemigroup of the Polish symmetric inverse semigroup $I(\N)$. We present examples, similar to the classical Munn semigroups, of Polish inverse semigroups consisting of partial isomorphism on lattices of open sets. △ Less

Submitted 22 July, 2023; v1 submitted 5 November, 2022; originally announced November 2022.

Pathology of submeasures and $F_σ$ ideals

Authors: Jorge Martínez, David Meza-Alcántara, Carlos Uzcátegui

Abstract: We address some phenomena about the interaction between lower semicontinuous submeasures on $\mathbb{N}$ and $F_σ$ ideals. We analyze the pathology degree of a submeasure and present a method to construct pathological $F_σ$ ideals. We give a partial answers to the question of whether every nonpathological tall $F_σ$ ideal is Katětov above the random ideal or at least has a Borel selector. Finally,… ▽ More We address some phenomena about the interaction between lower semicontinuous submeasures on $\mathbb{N}$ and $F_σ$ ideals. We analyze the pathology degree of a submeasure and present a method to construct pathological $F_σ$ ideals. We give a partial answers to the question of whether every nonpathological tall $F_σ$ ideal is Katětov above the random ideal or at least has a Borel selector. Finally, we show a representation of nonpathological $F_σ$ ideals using sequences in Banach spaces. △ Less

Submitted 22 April, 2024; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2111.10598

Pettis property for Polish inverse semigroups

Authors: Karen Arana, Jerson Perez, Carlos Uzcategui

Abstract: We study a property about Polish inverse semigroups similar to the classical theorem of Pettis about Polish groups. In contrast to what happens with Polish groups, not every Polish inverse semigroup have the Pettis property. We present several examples of Polish inverse subsemigroup of the symmetric inverse semigroup I(N) of all partial bijections between subsets of N. We also study whether our ex… ▽ More We study a property about Polish inverse semigroups similar to the classical theorem of Pettis about Polish groups. In contrast to what happens with Polish groups, not every Polish inverse semigroup have the Pettis property. We present several examples of Polish inverse subsemigroup of the symmetric inverse semigroup I(N) of all partial bijections between subsets of N. We also study whether our examples satisfy automatic continuity. △ Less

Submitted 26 March, 2022; originally announced March 2022.

MSC Class: Primary 22A15; 03E15; Secondary 54H15

A topological correspondence between partial actions of groups and inverse semigroup actions

Authors: Luis Martínez, Héctor Pinedo, Carlos Uzcátegui

Abstract: We present some generalizations of the well-known correspondence, found by R. Exel, between partial actions of a group $G$ on a set $X$ and semigroup homomorphism of $S(G)$ on the semigroup $I(X)$ of partial bijections of $X,$ being $S(G)$ an inverse monoid introduced by Exel. We show that any unital premorphism $θ:G\to S$, where $S$ is an inverse monoid, can be extended to a semigroup homomorphis… ▽ More We present some generalizations of the well-known correspondence, found by R. Exel, between partial actions of a group $G$ on a set $X$ and semigroup homomorphism of $S(G)$ on the semigroup $I(X)$ of partial bijections of $X,$ being $S(G)$ an inverse monoid introduced by Exel. We show that any unital premorphism $θ:G\to S$, where $S$ is an inverse monoid, can be extended to a semigroup homomorphism $θ^*:T\to S$ for any inverse semigroup $T$ with $S(G)\subseteq T\subseteq P^*(G)\times G,$ being $P^*(G)$ the semigroup of non-empty subset of $G$, and such that $E(S)$ satisfies some lattice theoretical condition. We also consider a topological version of this result. We present a minimal Hausdorff inverse semigroup topology on $Γ(X)$, the inverse semigroup of partial homeomorphism between open subsets of a locally compact Hausdorff space $X$. △ Less

Submitted 2 December, 2021; originally announced December 2021.

$F_σ$ ideals of perfectly bounded sets

Authors: J. Martínez, David Meza-Alcántara, Carlos Uzcátegui

Abstract: Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly bounded sets is an ideal of subsets of $\mathbb{N}$. We show that an ideal $\mathcal{I}$ is of the form $B({\bf x})$ iff there is a non pathological lower semic… ▽ More Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly bounded sets is an ideal of subsets of $\mathbb{N}$. We show that an ideal $\mathcal{I}$ is of the form $B({\bf x})$ iff there is a non pathological lower semicontinuous submeasure $\varphi$ on $\mathbb{N}$ such that $\mathcal{I} =FIN(\varphi)=\{A\subseteq \mathbb{N}: \;\varphi(A)<\infty\}$. We address the questions of when $FIN(\varphi)$ is a tall ideal and has a Borel selector. We show that in $c_0$ the ideal $B({\bf x})$ is tall iff $(x_n)_n$ is weakly null, in which case, it also has a Borel selector. △ Less

Submitted 4 November, 2022; v1 submitted 20 November, 2021; originally announced November 2021.

Comments: Substitute by preprint arXiv 2211.01544

MSC Class: 03E15; 40A05

Topologies on the symmetric inverse semigroup

Authors: J. Perez, C. Uzcategui

Abstract: The symmetric inverse semigroup $I(X)$ on a set $X$ is the collection of all partial bijections between subsets of $X$ with composition as the algebraic operation. We study a minimal Hausdorff inverse semigroup topologies on $I(X)$. When $X$ is countable, we show some Polish semigroup topologies on $I(X)$. The symmetric inverse semigroup $I(X)$ on a set $X$ is the collection of all partial bijections between subsets of $X$ with composition as the algebraic operation. We study a minimal Hausdorff inverse semigroup topologies on $I(X)$. When $X$ is countable, we show some Polish semigroup topologies on $I(X)$. △ Less

Submitted 5 December, 2020; originally announced December 2020.

MSC Class: Primary 24A15; 03E15; Secondary 54H15

Reconstruction of a coloring from its homogeneous sets

Authors: Claribet Piña, Carlos Uzcátegui

Abstract: We study a reconstruction problem for colorings. Given a finite or countable set $X$, a coloring on $X$ is a function $\varphi: [X]^{2}\to \{0,1\}$, where $[X]^{2}$ is the collection of all 2-elements subsets of $X$. A set $H\subseteq X$ is homogeneous for $\varphi$ when $\varphi$ is constant on $[H]^2$. Let $hom(\varphi)$ be the collection of all homogeneous sets for $\varphi$. The coloring… ▽ More We study a reconstruction problem for colorings. Given a finite or countable set $X$, a coloring on $X$ is a function $\varphi: [X]^{2}\to \{0,1\}$, where $[X]^{2}$ is the collection of all 2-elements subsets of $X$. A set $H\subseteq X$ is homogeneous for $\varphi$ when $\varphi$ is constant on $[H]^2$. Let $hom(\varphi)$ be the collection of all homogeneous sets for $\varphi$. The coloring $1-\varphi$ is called the complement of $\varphi$. We say that $\varphi$ is {\em reconstructible} up to complementation from its homogeneous sets, if for any coloring $ψ$ on $X$ such that $hom(\varphi)=hom(ψ)$ we have that either $ψ=\varphi$ or $ψ=1-\varphi$. We present several conditions for reconstructibility and non reconstructibility. We show that there is a Borel way to reconstruct a coloring from its homogeneous sets. △ Less

Submitted 5 November, 2022; v1 submitted 26 September, 2020; originally announced September 2020.

MSC Class: Primary 05D10; 03E15; Secondary 05C15

Selective separability and $q^+$ on maximal spaces

Authors: Ramiro de la Vega, Javier Murgas, Carlos Uzcátegui

Abstract: Given a hereditarily meager ideal $\mathcal{I}$ on a countable set $X$ we use Martin's axiom for countable posets to produce a zero-dimensional maximal topology $τ^\mathcal{I}$ on $X$ such that $τ^\mathcal{I}\cap \mathcal{I}=\{\emptyset\}$ and, moreover, if $\mathcal{I}$ is $p^+$ then $τ^\mathcal{I}$ is selectively separable (SS) and if $\mathcal{I}$ is $q^+$, so is $τ^\mathcal{I}$. In particular,… ▽ More Given a hereditarily meager ideal $\mathcal{I}$ on a countable set $X$ we use Martin's axiom for countable posets to produce a zero-dimensional maximal topology $τ^\mathcal{I}$ on $X$ such that $τ^\mathcal{I}\cap \mathcal{I}=\{\emptyset\}$ and, moreover, if $\mathcal{I}$ is $p^+$ then $τ^\mathcal{I}$ is selectively separable (SS) and if $\mathcal{I}$ is $q^+$, so is $τ^\mathcal{I}$. In particular, we obtain regular maximal spaces satisfying all boolean combinations of the properties SS and $q^+$. △ Less

Submitted 20 January, 2020; originally announced January 2020.

Comments: 17 pages

MSC Class: 54G05; 54A35; 03E57

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

Authors: S. García-Ferreira, Y. Rodríguez-López, C. Uzcátegui

Abstract: 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 t… ▽ More 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. △ Less

Submitted 15 September, 2019; originally announced September 2019.

Comments: 12 pages

MSC Class: 54H20; 54G20 (Primary); 54D80 (Secondary)

Combinatorial properties on nodec countable spaces with analytic topology

Authors: Javier Murgas, Carlos Uzcátegui

Abstract: We study some variations of the product topology on families of clopen subsets of $2^{\mathbb{N}}\times\mathbb{N}$ in order to construct countable nodec regular spaces (i.e. in which every nowhere dense set is closed) with analytic topology which in addition are not selectively separable and do not satisfy the combinatorial principle $q^+$. We study some variations of the product topology on families of clopen subsets of $2^{\mathbb{N}}\times\mathbb{N}$ in order to construct countable nodec regular spaces (i.e. in which every nowhere dense set is closed) with analytic topology which in addition are not selectively separable and do not satisfy the combinatorial principle $q^+$. △ Less

Submitted 8 January, 2020; v1 submitted 25 June, 2019; originally announced June 2019.

Ideals on countable sets: a survey with questions

Authors: Carlos Uzcategui

Abstract: An ideal on a set $X$ is a collection of subsets of $X$ closed under the operations of taking finite unions and subsets of its elements. Ideals are a very useful notion in topology and set theory and have been studied for a long time. We present a survey of results about ideals on countable sets and include many open questions. An ideal on a set $X$ is a collection of subsets of $X$ closed under the operations of taking finite unions and subsets of its elements. Ideals are a very useful notion in topology and set theory and have been studied for a long time. We present a survey of results about ideals on countable sets and include many open questions. △ Less

Submitted 22 February, 2019; originally announced February 2019.

Journal ref: Ideals on countable sets: a survey with questions, Rev. Integr. temas mat. 37 (2019), No. 1, 167-198

Equicontinuity of maps on dendrites

Authors: Javier Camargo, Michael Rincón, Carlos Uzcátegui

Abstract: Given a dendrite $X$ and a continuous map $f\colon X\to X$, we show the following are equivalent: (i) $ω_f$ is continuous and $\overline{\mathrm{Per}(f)}=\bigcap_{n\in\mathbb{N}}f^n(X)$; (ii) $ω(x,f)=Ω(x,f)$ for each $x\in X$; and (iii) $f$ is equicontinuous. Furthermore, we present some examples illustrating our results. Given a dendrite $X$ and a continuous map $f\colon X\to X$, we show the following are equivalent: (i) $ω_f$ is continuous and $\overline{\mathrm{Per}(f)}=\bigcap_{n\in\mathbb{N}}f^n(X)$; (ii) $ω(x,f)=Ω(x,f)$ for each $x\in X$; and (iii) $f$ is equicontinuous. Furthermore, we present some examples illustrating our results. △ Less

Submitted 12 November, 2018; originally announced November 2018.

On the Ellis semigroup of a cascade on a compact metric countable space

Authors: Andres Quintero, Carlos Uzcategui

Abstract: Let $X$ be a compact metric countable space, let $f:X\to X$ be a homeomorphism and let $E(X,f)$ be its Ellis semigroup. Among other results we show that the following statements are equivalent: (i) $(X,f)$ is equicontinuous, (ii) $(X,f)$ is distal and (iii) every point is periodic. We use this result to give a direct proof of a theorem of Ellis saying that $(X,f)$ is distal if, and only if,… ▽ More Let $X$ be a compact metric countable space, let $f:X\to X$ be a homeomorphism and let $E(X,f)$ be its Ellis semigroup. Among other results we show that the following statements are equivalent: (i) $(X,f)$ is equicontinuous, (ii) $(X,f)$ is distal and (iii) every point is periodic. We use this result to give a direct proof of a theorem of Ellis saying that $(X,f)$ is distal if, and only if, $E(X,f)$ is a group. △ Less

Submitted 8 January, 2020; v1 submitted 17 September, 2018; originally announced September 2018.

Completion of premetric spaces

Authors: Jose Andrés Quintero, Carlos Uzcátegui

Abstract: We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice. We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice. △ Less

Submitted 5 August, 2018; originally announced August 2018.

Selective separability on spaces with an analytic topology

Authors: J. Camargo, C. Uzcategui

Abstract: We study two form of selective selective separability, $SS$ and $SS^+$, on countable spaces with an analytic topology. We show several Ramsey type properties which imply $SS$. For analytic spaces $X$, $SS^+$ is equivalent to have that the collection of dense sets is a $G_δ$ subset of $2^X$, and also equivalent to the existence of a weak base which is an $F_σ$-subset of $2^X$. We study several exam… ▽ More We study two form of selective selective separability, $SS$ and $SS^+$, on countable spaces with an analytic topology. We show several Ramsey type properties which imply $SS$. For analytic spaces $X$, $SS^+$ is equivalent to have that the collection of dense sets is a $G_δ$ subset of $2^X$, and also equivalent to the existence of a weak base which is an $F_σ$-subset of $2^X$. We study several examples of analytic spaces. △ Less

Submitted 24 May, 2018; originally announced May 2018.

MSC Class: Primary 54H05; Secondary 54D65

Bases and selectors for tall families

Authors: Jan Grebik, Carlos Uzcategui

Abstract: We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_σ$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbfΠ^1_2$ tall ideal without a tall closed subset. We show that the Nash-Williams theorem has a uniform version and that the Galvin theorem does not. We show that there is an $F_σ$ tall ideal on $\mathbb{N}$ without a Borel selector and also construct a $\mathbfΠ^1_2$ tall ideal without a tall closed subset. △ Less

Submitted 9 November, 2017; v1 submitted 24 October, 2017; originally announced October 2017.

Some topological and combinatorial properties preserved by inverse limits

Authors: Javier Camargo, Carlos Uzcategui

Abstract: We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces. We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces. △ Less

Submitted 15 September, 2017; originally announced September 2017.

MSC Class: 54D55; 54B10; 54D65; 54H05

The open mapping principle for partial actions of polish groups

Authors: J Gómez, H. Pinedo, C. Uzcátegui

Abstract: We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions. We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions. △ Less

Submitted 6 September, 2017; originally announced September 2017.

On the continuity of partial actions of Hausdorff groups on metric spaces

Authors: J. Gómez, H. Pinedo, C. Uzcátegui

Abstract: We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous. We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous. △ Less

Submitted 3 October, 2017; v1 submitted 30 August, 2017; originally announced August 2017.

MSC Class: 54H15; 54E50; 54E35

Borel Globalizations of Partial Actions of Polish Groups

Authors: Carlos Uzcategui, Hector Pinedo

Abstract: We show that the enveloping space $X_G$ of a partial action of a Polish group $G$ on a Polish space $X$ is a standard Borel space, that is to say, there is a topology $τ$ on $X_G$ such that $(X_G, τ)$ is Polish and the quotient Borel structure on $X_G$ is equal to $Borel(X_G,τ)$. To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence r… ▽ More We show that the enveloping space $X_G$ of a partial action of a Polish group $G$ on a Polish space $X$ is a standard Borel space, that is to say, there is a topology $τ$ on $X_G$ such that $(X_G, τ)$ is Polish and the quotient Borel structure on $X_G$ is equal to $Borel(X_G,τ)$. To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence relation induced by a group action and also show that some properties of the Vaught's transform are valid for partial actions of groups. △ Less

Submitted 8 February, 2017; originally announced February 2017.

Cardinality of the Ellis semigroup on compact metric countable spaces

Authors: S. Garcia-Ferreira, Y. Rodriguez-Lopez, C. Uzcategui

Abstract: Let $E(X,f)$ be the Ellis semigroup of a dynamical system $(X,f)$ where $X$ is a compact metric space. We analyze the cardinality of $E(X,f)$ for a compact countable metric space $X$. A characterization when $E(X,f)$ and $E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb{N}\}$ are both finite is given. We show that if the collection of all periods of the periodic points of $(X,f)$ is infinite,… ▽ More Let $E(X,f)$ be the Ellis semigroup of a dynamical system $(X,f)$ where $X$ is a compact metric space. We analyze the cardinality of $E(X,f)$ for a compact countable metric space $X$. A characterization when $E(X,f)$ and $E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb{N}\}$ are both finite is given. We show that if the collection of all periods of the periodic points of $(X,f)$ is infinite, then $E(X,f)$ has size $2^{\aleph_0}$. It is also proved that if $(X,f)$ has a point with a dense orbit and all elements of $E(X,f)$ are continuous, then $|E(X,f)| \leq |X|$. For dynamical systems of the form $(ω^2 +1,f)$, we show that if there is a point with a dense orbit, then all elements of $E(ω^2+1,f)$ are continuous functions. We present several examples of dynamical systems which have a point with a dense orbit. Such systems provide examples where $E(ω^2+1,f)$ and $ω^2+1$ are homeomorphic but not algebraically homeomorphic, where $ω^2+1$ is taken with the usual ordinal addition as semigroup operation. △ Less

Submitted 24 November, 2016; originally announced November 2016.

Comments: 15 pages

MSC Class: 54H20; 54G20; 54D80

Polish globalization of Polish group partial actions

Authors: Hector Pinedo, Carlos Uzcategui

Abstract: Let $X$ be a separable metrizable space. We establish a criteria for the existence of a metrizable globalization for a given continuous partial action of a separable metrizable group $G$ on $X.$ If $G$ and $X$ are Polish spaces, we show that the globalization is also a Polish space. We also show the existence of an universal globalization for partial actions of Polish groups. Let $X$ be a separable metrizable space. We establish a criteria for the existence of a metrizable globalization for a given continuous partial action of a separable metrizable group $G$ on $X.$ If $G$ and $X$ are Polish spaces, we show that the globalization is also a Polish space. We also show the existence of an universal globalization for partial actions of Polish groups. △ Less

Submitted 4 December, 2016; v1 submitted 20 February, 2016; originally announced February 2016.

MSC Class: Primary 54H15; Secondary 54H05; 54E50; 54E35

Continuity of the Jones' set function $\mathcal{T}$

Authors: Javier Camargo, Carlos Uzcategui

Abstract: Given a continuum $X$, for each $A\subseteq X$, the Jones' set function $\mathcal{T}$ is defined by $\mathcal{T}(A)=\{x\in X : \text{for each subcontinuum }K\text{ such that }x\in \textrm{Int}(K), \text{ then }K\cap A\neq\emptyset\}.$ We show that $\mathcal{D}=\{\mathcal{T}(\{x\}):x\in X\}$ is decomposition of $X$ when $\mathcal{T}$ is continuous. We present a characterization of the continuity of… ▽ More Given a continuum $X$, for each $A\subseteq X$, the Jones' set function $\mathcal{T}$ is defined by $\mathcal{T}(A)=\{x\in X : \text{for each subcontinuum }K\text{ such that }x\in \textrm{Int}(K), \text{ then }K\cap A\neq\emptyset\}.$ We show that $\mathcal{D}=\{\mathcal{T}(\{x\}):x\in X\}$ is decomposition of $X$ when $\mathcal{T}$ is continuous. We present a characterization of the continuity of $\mathcal{T}$ and answer several open questions posed by D. Bellamy. △ Less

Submitted 22 November, 2015; originally announced November 2015.

MSC Class: 54F15

Iterates of dynamical systems on compact metrizable countable spaces

Authors: S. García-Ferreira, Y. Rodriguez-López, C. Uzcátegui

Abstract: 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 ei… ▽ More 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. △ Less

Submitted 30 January, 2016; v1 submitted 26 April, 2014; originally announced April 2014.

MSC Class: 54H20; 54G20; 54D80

Journal ref: Topology and its Applications, Volume 180, 1 February 2015, Pages 100-110

Frechet Borel Ideals with Borel orthogonal

Authors: Francisco Guevara, Carlos Uzcategui

Abstract: We study Borel ideals $I$ on $\mathbb{N}$ with the Fréchet property such its orthogonal $I^\perp$ is also Borel (where $A\in I^\perp$ iff $A\cap B$ is finite for all $B\in I$ and $I$ is Fréchet if $I=I^{\perp\perp}$). Let $\mathcal{B}$ be the smallest collection of ideals on ${\mathbb{N}}$ containing the ideal of finite sets and closed under countable direct sums and orthogonal. All ideals in… ▽ More We study Borel ideals $I$ on $\mathbb{N}$ with the Fréchet property such its orthogonal $I^\perp$ is also Borel (where $A\in I^\perp$ iff $A\cap B$ is finite for all $B\in I$ and $I$ is Fréchet if $I=I^{\perp\perp}$). Let $\mathcal{B}$ be the smallest collection of ideals on ${\mathbb{N}}$ containing the ideal of finite sets and closed under countable direct sums and orthogonal. All ideals in $\mathcal{B}$ are Fréchet, Borel and have Borel orthogonal. We show that $\mathcal{B}$ has exactly $\aleph_1$ non isomorphic members. The family $\mathcal{B}$ can be characterized as the collection of all Borel ideals which are isomorphic to an ideal of the form $I_{wf}\up A$, where $I_{wf}$ is the ideal on $\mathbb{N}^{<ω}$ generated by the wellfounded trees. Also, we show that $A\subseteq \mathbb{Q}$ is scattered iff $WO({\mathbb{Q}})\up A$ is isomorphic to an ideal in $\mathcal{B}$, where $WO(\mathbb{Q})$ is the ideal of well founded subset of $\mathbb{Q}$. △ Less

Submitted 8 February, 2017; v1 submitted 14 December, 2013; originally announced December 2013.

On topological properties of families of finite sets

Authors: Claribet Piña, Carlos Uzcátegui

Abstract: We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these resul… ▽ More We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these results with a topological partition problem of uniform families. △ Less

Submitted 22 November, 2015; v1 submitted 19 April, 2011; originally announced April 2011.

MSC Class: Primary 03E02; Secondary 05D10

Journal ref: Journal of Combinatorial Theory, Series A, Volume 119, Issue 5, July 2012, Pages 1066-1077

Ideal games and Ramsey sets

Authors: Carlos Di Prisco, Jose G. Mijares, Carlos Uzcategui

Abstract: It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal $\mathcal{H}$, in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal $\mathcal{H}$ is semiselective if and only if Matet's game-theoretic characterization of the $\mathcal{H}$-Ramsey property holds. This lifts Kastanas's ch… ▽ More It is shown that Matet's characterization of the Ramsey property relative to a selective co-ideal $\mathcal{H}$, in terms of games of Kastanas, still holds if we consider semiselectivity instead of selectivity. Moreover, we prove that a co-ideal $\mathcal{H}$ is semiselective if and only if Matet's game-theoretic characterization of the $\mathcal{H}$-Ramsey property holds. This lifts Kastanas's characterization of the classical Ramsey property to its optimal setting, from the point of view of the local Ramsey theory and gives a game-theoretic counterpart to a theorem of Farah \cite{far}, asserting that a co-ideal $\mathcal{H}$ is semiselective if and only if the family of $\mathcal{H}$-Ramsey subsets of $\N^{[\infty]}$ coincides with the family of those sets having the abstract $\mathcal{H}$-Baire property. Finally, we show that under suitable assumptions, for every semiselective co-ideal $\mathcal H$ all sets of real numbers are $\mathcal H$-Ramsey. △ Less

Submitted 16 October, 2014; v1 submitted 19 September, 2010; originally announced September 2010.

Comments: 11 pages

MSC Class: 05D10; 03E02

Journal ref: Proc. Amer. Math. Soc. 140 (2012), 2255-2265