arXiv subjects

S. Garcia-Ferreira

Publications and source records attributed to S. Garcia-Ferreira.

11 recordsLinked to original sources

arXiv2022

On Borel $σ$-algebras of topologies generated by two-point selections

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $τ_f$ on $X$ by using the relation: $x \leq y$ if either $f(\{x,y\}) = x$ or $x = y$, for every $x, y \in X$. We are mainly concern with the two-point selections on the real line $\mathbb{R}$. In this paper, we study the $σ$-algebras of Borel, each one denoted by $\mathcal{B}_f(\mathbb{R})$, of the topologies $τ_f$'s defined by a two-point selection $f$ on $\mathbb{R}$. We prove that the assumption $\mathfrak{c} = 2^{< \mathfrak{c}}$ implies the existence of a family $\{ f_ν: ν< 2^\mathfrak{c} \}$ of two-point selections on $\mathbb{R}$ such that $\mathcal{B}_{f_μ}(\mathbb{R}) \neq \mathcal{B}_{f_ν}(\mathbb{R})$ for distinct $μ, ν< 2^\mathfrak{c}$. By assuming that $\mathfrak{c} = 2^{< \mathfrak{c}}$ and $\mathfrak{c}$ is regular, we also show that there are $2^{2^\mathfrak{c}}$ many $σ$-algebras on $\mathbb{R}$ that contain $[\mathbb{R}]^{\leq ω}$ and none of them is the $σ$-algebra of Borel of $τ_f$ for any two-point selection $f: [\mathbb{R}]^2 \to \mathbb{R}$. Several examples are given to illustrate some properties of these Borel $σ$-algebras.

math.GN↗

arXiv2020

Ramsey Property and Block Oscillation Stability on Normalized Sequences in Banach Spaces

A well-known application of the Ramsey Theorem in the Banach Space Theory is the proof of the fact that every normalized basic sequence has a subsequence which generates a spreading model (the Brunel-Sucheston Theorem). Based on this application, as an intermediate step, we can talk about the notion of $(k,\varepsilon)-$oscillation stable sequence, which will be described and analyzed more generally in this article. Indeed, we introduce the notion $((\mathcal{B}_i)_{i=1}^k,\varepsilon)-$block oscillation stable sequence where $(\mathcal{B}_i)_{i=1}^k$ is a finite sequence of barriers and using what we will call blocks of barriers. In particular, we prove that the Ramsey Theorem is equivalent to the statement ``for every finite sequence $(\mathcal{B}_i)_{i=1}^k$ of barriers, every $\varepsilon>0$ and every normalized sequence $(x_i)_{i\in\mathbb{N}}$ there is a subsequence $(x_i)_{i\in M}$ that is $((\mathcal{B}_i\cap\mathcal{P}(M))_{i=1}^k,\varepsilon)-$block oscillation stable'', where $\mathcal{P}(M)$ is the power set of the infinite set M. Besides, we introduce the $(\mathcal{B}_i)_{i\in\mathbb{N}}-$block asymptotic model of a normalized basic sequence where $(\mathcal{B}_i)_{i\in\mathbb{N}}$ is a sequence of barriers. These models are a generalization of the spreading models and are related to the $((\mathcal{B}_i)_{i=1}^k,\varepsilon)-$block oscillation stable sequences. We show that the Brunel-Sucheston is satisfied for the $(\mathcal{B}_i)_{i\in\mathbb{N}}-$block asymptotic models, and we also prove that this result is equivalent to the Ramsey Theorem. The difference between our theorem and the Brunel-Sucheston Theorem is based on the number of different models that are obtained from the same normalized basic sequence through them. This and other observations about $(\mathcal{B}_i)_{i\in\mathbb{N}}-$block asymptotic models are noted in an example at the end of the article.

math.FA↗

arXiv2020

Families of retractions and families of closed subsets on compact spaces

It is know that the Valdivia compact spaces can be characterized by a special family of retractions called $r$-skeleton (see \cite{kubis1}). Also we know that there are compact spaces with $r$-skeletons which are not Valdivia. In this paper, we shall study $r$-squeletons and special families of closed subsets of compact spaces. We prove that if $X$ is a zero-dimensional compact space and $\{r_s:s\in Γ\}$ is an $r$-skeleton on $X$ such that $|r_s(X)| \leq ω$ for all $s\in Γ$, then $X$ has a dense subset consisting of isolated points. Also we give conditions to an $r$-skeleton in order that this $r$-skeleton can be extended to an $r$-skeleton on the Alexandroff Duplicate of the base space. The standard definition of a Valdivia compact spaces is via a $Σ$-product of a power of the unit interval. Following this fact we introduce the notion of $π$-skeleton on a compact space $X$ by embedding $X$ in a suitable power of the unit interval together with a pair $(\mathcal{F},φ)$, where $\mathcal{F}$ is family of metric separable subspaces of $X$ and $φ$ an $ω$-monotone function which satisfy certain properties. This new notion generalize the idea of a $Σ$-product. We prove that a compact space admits a retractional-skeleton iff it admits a $π$-skeleton. This equivalence allows to give a new proof of the fact that the product of compact spaces with retractional-skeletons admits an retractional-skeleton (see \cite{cuth1}). In \cite{casa1}, the Corson compact spaces are characterized by a special family of closed subsets. Following this direction, we introduce the notion of weak $c$-skeleton which under certain conditions characterizes the Valdivia compact spaces and compact spaces with $r$-skeletons.

math.GN↗

arXiv2018

Asymptotic models via plegma families

It is known that there exists a Banach space $X$ with a Schauder basis $(e_i)_{i=1}^{\infty}$ which does not admit $\ell_p$ as the model space obtained by a finite chain of sequences such that each element is a spreading model of a block subsequence of the previous element, starting from a block subsequence of $(e_i)_{i=1}^{\infty}$. We prove that $X$ has the stronger property of not admitting $\ell_p$ via a finite chain consisting of block asymptotic models. This is related to a question posed by L. Halbeisen and E. Odell for the special case of block generated asymptotic models. Also, we show that for every $k \in \mathbb{N}$ the Ramsey Coloring Theorem for $[\mathbb{N}]^{k}$ is equivalent to the following $k$-oscillation stability: In an arbitrary Banach space $X$, for every $ε> 0$ and for every normalized sequence $(e_i)_{i \in \mathbb{N}}$ in $X$ there exists $M \in [\mathbb{N}]^{\infty}$ such that if $n_1,n_2,\cdots,n_k,m_1,m_2,\cdots,m_k \in M$, then $$ \big| ||\sum_{i =1}^{k}a_i e_{n_i} || - ||\sum_{i=1}^{k} a_i e_{m_i} || \big| < ε $$ for all $(a_i)_{i=1}^{k} \in [-1,1]^k$.

math.FA↗

arXiv2018

$r$-skeletons on the Alexandroff duplicate

An $r$-skeleton on a compact space is a family of continuous retractions having certain rich properties. The $r$-skeletons have been used to characterized the Valdivia compact spaces and the Corson compact spaces. Here, we characterized a compact space with an $r$-skeleton, for which the given $r$-skeleton can be extended to an $r$-skeleton on the Alexandroff Duplicate of the given space. Besides, we prove that if $X$ is a zero-dimensional compact space without isolated points and $\{r_s:s\in Γ\}$ is an $r$-skeleton on $X$, then there is $s\in Γ$ such that $cl(r_s[X])$ is not countable.

math.GN↗

arXiv2017

Finite powers of selectively pseudocompact groups

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n : n < ω\}) \setminus \big(\bigcup_{n < ω}U_n \big) \neq \emptyset$ and $x_{n}\in U_{n}$, for each $n < ω$. Countably compact space spaces are selectively pseudocompact and every selectively pseudocompact space is pseudocompact. We show, under the assumption of $CH$, that for every positive integer $k > 2$ there exists a topological group whose $k$-th power is countably compact but its $(k+1)$-st power is not selectively pseudocompact. This provides a positive answer to a question posed in \cite{gt} in any model of $ZFC+CH$.

math.GN↗

arXiv2016

Categorical properties on the hyperspace of nontrivial convergent sequences

In this paper, we shall study categorial properties of the hyperspace of all nontrivial convergent sequences $\mathcal{S}_c(X)$ of a Freéch-Urysohn space $X$, this hyperspace is equipped with the Vietoris topology. We mainly prove that $\mathcal{S}_c(X)$ is meager whenever $X$ is a crowded space, as a corollary we obtain that if $\mathcal{S}_c(X)$ is Baire, the $X$ has a dense subset of isolated points. As an interesting example $\mathcal{S}_c(ω_1)$ has the Baire property, where $ω_1$ carries the order topology (this answers a question from \cite{sal-yas}). We can give more examples like this one by proving that the Alexandroff duplicated $\mathcal{A}(Z)$ of a space $Z$ satisfies that $\mathcal{S}_c(\mathcal{A}(Z))$ has the Baire property, whenever $Z$ is a $Σ$-product of completely metrizable spaces and $Z$ is crowded. Also we show that if $\mathcal{S}_c(X)$ is pseudocompact, then $X$ has a relatively countably compact dense subset of isolated points, every finite power of $X$ is pseudocompact, and every $G_δ$-point in $X$ must be isolated. We also establish several topological properties of the hyperspace of nontrivial convergent sequences of countable Freéch-Urysohn spaces with only one non-isolated point.

math.GN↗

arXiv2016

Cardinality of the Ellis semigroup on compact metric countable spaces

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.

math.GN↗

arXiv2016

Comparing Fréchet-Urysohn filters with two pre-orders

A filter $\F$ on $\w$ is called Fréchet-Urysohn if the space with only one non-isolated point $\w \cup \{\F\}$ is a Fréchet-Urysohn space, where the neighborhoods of the non-isolated point are determined by the elements of $\F$. In this paper, we distinguish some Fréchet-Urysohn filters by using two pre-orderings of filters: One is the Rudin-Keisler pre-order and the other one was introduced by Todorčević-Uzcátegui in \cite{tu05}. In this paper, we construct an $RK$-chain of size $\c^+$ which is $RK$-above of avery $FU$-filter. Also, we show that there is an infinite $RK$-antichain of $FU$-filters.

math.GN↗

arXiv2015

Connectedness like properties on the hyperspace of convergent sequences

This paper is a continuation of the work done in \cite{sal-yas} and \cite{may-pat-rob}. We deal with the Vietoris hyperspace of all nontrivial convergent sequences $\mathcal{S}_c(X)$ of a space $X$. We answer some questions in \cite{sal-yas} and generalize several results in \cite{may-pat-rob}. We prove that: The connectedness of $X$ implies the connectedness of $\mathcal{S}_c(X)$; the local connectedness of $X$ is equivalent to the local connectedness of $\mathcal{S}_c(X)$; and the path-wise connectedness of $\mathcal{S}_c(X)$ implies the path-wise connectedness of $X$. We also show that the space of nontrivial convergent sequences on the Warsaw circle has $\mathfrak{c}$-many path-wise connected components, and provide a dendroid with the same property.

math.GN↗

arXiv2015

Families of continuous retractions and function spaces

In this article, we mainly study certain families of continuous retractions ($r$-skeletons) having certain rich properties. By using monotonically retractable spaces we solve a question posed by R. Z. Buzyakova in \cite{buz} concerning the Alexandroff duplicate of a space. Certainly, it is shown that if the space $X$ has a full $r$-skeleton, then its Alexandroff duplicate also has a full $r$-skeleton and, in a very similar way, it is proved that the Alexandroff duplicate of a monotonically retractable space is monotonically retractable. The notion of $q$-skeleton is introduced and it is shown that every compact subspace of $C_p(X)$ is Corson when $X$ has a full $q$-skeleton. The notion of strong $r$-skeleton is also introduced to answer a question suggested by F. Casarrubias-Segura and R. Rojas-Hernández in their paper \cite{cas-rjs} by establishing that a space $X$ is monotonically Sokolov iff it is monotonically $ω$-monolithic and has a strong $r$-skeleton. The techniques used here allow us to give a topological proof of a result of I. Bandlow \cite{ban} who used elementary submodels and uniform spaces.

math.GN↗