Showing 1–7 of 7 results for author: de la Vega, R

The generalized Bolzano-Weierstrass property revisited

Authors: Ramiro de la Vega

Abstract: We investigate the question of when a topological space $X$ has the $\textit{Generalized Bolzano-Weierstrass property}$: every sequence of subsets of $X$ has a convergent subsequence (in the sense of Kuratowski). We investigate the question of when a topological space $X$ has the $\textit{Generalized Bolzano-Weierstrass property}$: every sequence of subsets of $X$ has a convergent subsequence (in the sense of Kuratowski). △ Less

Submitted 20 May, 2021; originally announced May 2021.

MSC Class: Primary 54A20; 54A25; Secondary 54G20; 54A35

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 reflection of the countable chain condition

Authors: Ramiro de la Vega

Abstract: We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$. For each regular cardinal $κ$, an example is constructed of a ccc Tychonoff space of size $κ$ and countable pseudocharacter but with no ccc subspace of size le… ▽ More We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$. For each regular cardinal $κ$, an example is constructed of a ccc Tychonoff space of size $κ$ and countable pseudocharacter but with no ccc subspace of size less than $κ$. We also give a ccc compact $T_1$ space of size $κ$ with no ccc subspace of size less than $κ$. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Comments: 7 pages

MSC Class: 54A25; 54G20; 54D30 (Primary); 54A10 (Secondary)

Coloring Grids

Authors: Ramiro de la Vega

Abstract: A structure $\mathcal{A}=\left(A;E_i\right)_{i\in n}$ where each $E_i$ is an equivalence relation on $A$ is called an $n$-grid if any two equivalence classes coming from distinct $E_i$'s intersect in a finite set. A function $χ: A \to n$ is an acceptable coloring if for all $i \in n$, the set $χ^{-1}(i)$ intersects each $E_i$-equivalence class in a finite set. If $B$ is a set, then the $n$-cube… ▽ More A structure $\mathcal{A}=\left(A;E_i\right)_{i\in n}$ where each $E_i$ is an equivalence relation on $A$ is called an $n$-grid if any two equivalence classes coming from distinct $E_i$'s intersect in a finite set. A function $χ: A \to n$ is an acceptable coloring if for all $i \in n$, the set $χ^{-1}(i)$ intersects each $E_i$-equivalence class in a finite set. If $B$ is a set, then the $n$-cube $B^n$ may be seen as an $n$-grid, where the equivalence classes of $E_i$ are the lines parallel to the $i$-th coordinate axis. We use elementary submodels of the universe to characterize those $n$-grids which admit an acceptable coloring. As an application we show that if an $n$-grid $\mathcal{A}$ does not admit an acceptable coloring, then every finite $n$-cube is embeddable in $\mathcal{A}$. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 9 pages

MSC Class: 03E50

Countable Tightness, Elementary Submodels and Homogeneity

Authors: Ramiro de la Vega

Abstract: We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than the size of the continuum. We show (in ZFC) that the cardinality of a compact homogeneous space of countable tightness is no more than the size of the continuum. △ Less

Submitted 5 January, 2005; originally announced January 2005.

Comments: 6 pages

MSC Class: 54A25 (Primary) 03E35 (Secundary)

Homogeneity properties in large compact S-spaces

Authors: Ramiro de la Vega

Abstract: Under Jensen's Diamond Principle, we show how to construct a large compact S-space while having some control over its group of autohomeomorphisms. In particular we can make the space rigid or h-homogeneous (i.e. any two clopen subsets are homeomorphic). We also get a space which is B-homogeneous and not h-homogeneous, partially answering a question of M.V. Matveev. A space is B-homogeneous if it… ▽ More Under Jensen's Diamond Principle, we show how to construct a large compact S-space while having some control over its group of autohomeomorphisms. In particular we can make the space rigid or h-homogeneous (i.e. any two clopen subsets are homeomorphic). We also get a space which is B-homogeneous and not h-homogeneous, partially answering a question of M.V. Matveev. A space is B-homogeneous if it has a base every element of which can be mapped onto every other one by a homeomorphism of the whole space. △ Less

Submitted 24 August, 2004; originally announced August 2004.

Comments: 12 pages

MSC Class: 54G20

A Compact Homogeneous S-space

Authors: Ramiro de la Vega, Kenneth Kunen

Abstract: Under the continuum hypothesis, there is a compact homogeneous strong S-space. Under the continuum hypothesis, there is a compact homogeneous strong S-space. △ Less

Submitted 19 March, 2003; originally announced March 2003.

Comments: 6 pages

MSC Class: 54G20