1
$\begingroup$

I am looking for an example of a topological group with countable tightness with the property then it is not metrizable, but every countable subset is metrizable but I cannot construct an example.

This question is inspired by my earlier question when-is-the-topology-generated-by-countable-subsets where someone gave me an example of a topological space with all of the above properties, namely the 1-point-compactification of an uncountable discrete set and now I was wondering if there are examples of topological spaces with these properties that carry a group strucuture.

Thanks in advance, Tom

Improve this question
$\endgroup$

1 Answer 1

Reset to default
4
$\begingroup$

Actually, Santi Spadaro almost gave the answer in a comment to your previous question: Let $X$ be the $\Sigma$-product of $2^{\omega_1}$ (where $2=\{0,1\}$), that is, the subset of $2^{\omega_1}$ of all points with at most countably many coordinates different from $0$. Of course $X$ is a subgroup of $2^{\omega_1}$.

Then, as explained in Henno Brandsma's answer here, $X$ is Frechet-Urysohn (and thus countably tight) and non-paracompact (and thus non-metrizable). But any countable subset is contained in some $2^{\alpha}$ for a countable $\alpha$, and the latter is metrizable since it is homeomorphic to the Cantor cube $2^\omega$.

Improve this answer
$\endgroup$
5
  • $\begingroup$ $2^\omega$ is the Cantor space, of course, not the Cantor cube. $\endgroup$
    – Mathieu Baillif
    Commented Feb 24, 2015 at 9:54
  • $\begingroup$ The Cantor space $2^\omega$ is a Cantor cube. $\endgroup$
    – Ramiro de la Vega
    Commented Feb 24, 2015 at 14:18
  • $\begingroup$ You can also let $X$ be the direct sum of $\omega_1$ copies of $2$. That is the set of all elements of $2^{\omega_1}$ with finite support. It is easier to show that this space is Frechet-Urysohn, and it is not first-countable (hence non-metrizable). $\endgroup$
    – Ramiro de la Vega
    Commented Feb 24, 2015 at 14:21
  • $\begingroup$ @Ramiro. I thought that term "Cantor cube" was reserved for $2^\kappa$ for uncountable $\kappa$. And you are right, the direct sum is a simpler example. $\endgroup$
    – Mathieu Baillif
    Commented Feb 24, 2015 at 14:25
  • $\begingroup$ Mathieu Baillif, Thank you for your answer and Ramiro de la Vega, thank you for the other example! :-) $\endgroup$
    – Tom
    Commented Mar 3, 2015 at 9:51

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .