Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is there a ccc but not separable space $X$ with a zeroset-diagonal, that isn't submetrizable?

  • separable = $X$ has a countable dense subset.
  • A space $X$ has a zeroset-diagonal when there is a continuous function $f:X^2 \rightarrow [0,1]$ with $\Delta=f^{-1}(0)$ where $\Delta=\{(x,x)\mid x\in X\}$ is the diagonal.
  • CCC = countable chain condition = every family of disjoint nonempty open sets is countable.
  • Submetrizable = if we can choose a coarser topology on the space $X$ and thus make it a metrizable space.

If this example exists, the cardinality of $X$ must be $\leq |2^\omega|$, for Buzyakowa has proved if $X$ has ccc and regular $G_\delta$-diagonal (weaker than zeroset-diagonal) then the cardinality must be $\leq |2^\omega|$.

share|improve this question
1  
Hi, John, welcome to math.SE! I made some changes in your formatting because that looks more like what you intended. Would you mind changing the title into something more descriptive, e.g. the first line in this post? –  t.b. Oct 21 '11 at 7:31
    
Thanks. I'm very appreciate what you do for me. –  Paul Oct 21 '11 at 8:47
    
I edited the title. –  Gerry Myerson Oct 21 '11 at 10:26
    
For the sake of transparency: crossposted to MO –  t.b. Oct 21 '11 at 11:05
    
Thank you, Gerry Myerson, and t.b. –  Paul Oct 22 '11 at 1:05
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.