1
$\begingroup$

Could one find a counterexample that a topology space X is Tychonoff, seperable but hasn't

a $G_\delta$-diagonal? A topology space has a $G_\delta$-diagonal when there is a sequence

${G_n}$ of open sets belonging to $X^2$ with the diagonal $\Delta$ = $\cap{G_n}$.

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ Dear John... where are all your questions coming from? most of them feel like homework problems and surprisingly only two of those have been closed. $\endgroup$
    – Ramiro de la Vega
    Commented Oct 20, 2011 at 12:21

1 Answer 1

Reset to default
8
$\begingroup$

The product space $[0,1]^\kappa$ for $\aleph_1\le\kappa\le\mathfrak c$ is compact $T_2$ (hence Tychonoff) and separable (by the Hewitt–Marczewski–Pondiczery theorem), but it does not have a $G_\delta$ diagonal (in fact, if a compact $T_2$ space has a $G_\delta$ diagonal, then its unique uniform structure has a countable fundamental system, hence it is metrizable).

Improve this answer
$\endgroup$
1
  • $\begingroup$ By $\mathfrak c$ I meant the cardinality of the continuum ($2^{\aleph_0}$), which is indeed always uncountable. $\endgroup$
    – Emil Jeřábek
    Commented Oct 21, 2011 at 10:30

You must log in to answer this question.

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