MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a reformulation of this MO question which recieved little or no attention due to the fact that the OP gave no motivation whatsoever. I found the question quite interesting and decided to give it another try (if this is not OK please let me know and I´ll delete this post).

It is known that if $G$ is an abelian compact topological group then it contains a dense subgroup $H$ which is countably tight (in fact Frechet-Urysohn). However the following is open (at least it was a few years ago):

If $G$ is a compact group, must $G$ contain a dense subspace of countable tightness?

This is problem 4.1.1 in "Topological Groups and Related Structures" by A.Arhangelskii and M.Thachenko. Problem 4.1.7 (also open) in the same book is:

Is it true that every homogeneous compact space contains a dense subspace of countable tightness?

My guess is that there should be known examples of (non-homogeneous) compact spaces such that any dense subspace has uncountable tightness, but I could not find any. So I have two questions:

1) Is there such a compact space?

2) For a cardinal $\kappa > 2^{\aleph_0}$ what is a dense subspace of $[0,1]^\kappa$ that has countable tightness?

Perhaps the answer to 2) is that there is none, and $[0,1]^\kappa$ is indeed a counterexample for the second quoted question, but I wouldn´t expect that. Note that if $\kappa \leq 2^{\aleph_0}$ then $[0,1]^\kappa$ is separable and any countable dense subspace would do the trick.

Edit: As Santi suggests in a comment to his answer of 2), the space $X=\beta\mathbb{N} \setminus \mathbb{N}$ is a good candidate for 1), but I still don´t know for sure. Some facts about $X$ that might be relevant: a) $X$ is compact, b) any dense subset of $X$ has size at least $2^{\aleph_0}$, c) the tightness of $X$ is $2^{\aleph_0}$, d) there are $R$-points in $X$, i.e. there exist an open $U \subseteq X$ and a point $x \in \overline{U}$ such that $x \notin \overline{A}$ for any $A \subseteq U$ with $|A|<2^{\aleph_0}$.

share|cite|improve this question
Note: $X$ is countably generated (= has countable tightness) if and only if the closure of any subset $A$ of $X$ equals the union of closures of all countable subsets of $A$. (from Wikipedia) – Gerald Edgar Feb 26 '13 at 17:43

Ramiro, regarding 2), the set of all points in $I^\kappa$ with at most countably many non-zero coordinates is even Frechet-Urysohn, for every $\kappa$. This is due to Noble (see also exercise 3.10.D in Engelking).

Note: Frechet-Urysohn means that given a non-closed set $A$ and a point $x \in \overline{A} \setminus A $, there is a sequence inside $A$ converging to $x$.

share|cite|improve this answer
Hi Santi! Great seeing you! – Asaf Karagila Feb 26 '13 at 19:03
That is very nice Santi! thanks! – Ramiro de la Vega Feb 26 '13 at 23:48
Great seeing you too, Asaf! Ramiro, what about \omega^*? Does it have a dense subset with countable tightness? – Santi Spadaro Feb 27 '13 at 18:29
Santi, \omega^* was my first guess too, but I don´t know how to prove it. – Ramiro de la Vega Feb 27 '13 at 20:51

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.