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

$\endgroup$

1 Answer 1

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$.

$\endgroup$
5
  • $\begingroup$ $2^\omega$ is the Cantor space, of course, not the Cantor cube. $\endgroup$ Feb 24, 2015 at 9:54
  • $\begingroup$ The Cantor space $2^\omega$ is a Cantor cube. $\endgroup$ 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$ 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$ 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
    Mar 3, 2015 at 9:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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