Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $X$ is a zero-dimensional completely regular space (clopen sets form a base) such that the Boolean algebra of clopen sets is a $\sigma$-complete Boolean algebra. Must $X$ be basically disconnected? That is, must every cozero set in $X$ have open closure?

I thought this was known, but I can't find it. The point is to show that such $X$ is strongly zero-dimensional, i.e., $\beta(X)$ is zero-dimensional, so that every cozero set is a countable union of clopens.

It should be noted that the analogous statement for extremally disconnected spaces is true: A zero-dimensional space is extremally disconnected (open sets have open closures) if and only if the Boolean algebra of all its clopen sets is a complete Boolean algebra. The proof is an easy exercise.

share|improve this question
    
Have you looked on M.H. Stone, Boundedness properties in function-lattices, Canadian Math. Soc. 1 (1949), 176-186? cms.math.ca/cjm/v1/cjm1949v01.0176-0186.pdf –  Tomek Kania Mar 11 '13 at 11:03
    
Yes. I did not see an answer to my question in that article. I could have missed somethig, however. –  Fred Dashiell Mar 13 '13 at 6:20
1  
Problem 6K in the book Extensions and Absolutes of Hausdorff Spaces by Porter and Woods claims that a Tychonoff space $X$ is Basically disconnected if and only if $X$ is zero-dimensional and the Boolean algebra of clopen sets is $\sigma$-complete. Unfortunately, I have not yet solved this problem, and problems in books are only authoritative if you solve them (i.e. I do not believe this problem yet). –  Joseph Van Name Sep 29 '13 at 20:20

1 Answer 1

The answer to the posted question is probably no. Thanks to the above comment by @Joseph Van Name, the claim "yes" is posed as problem 6K in the Porter-Woods book. Grant Woods has told me in a recent email that this matter came to his attention some time ago, and he concluded that the problem statement in the book should have stated "strongly zero-dimensional" in the assumption.

A complete answer to the posted question will require a counterexample. This may not be so well-known. This will require a zero-dimensional space which is not strongly-dimensional, whose Boolean algebra of all clopen sets is $\sigma$-complete. Perhaps a modification of the Dowker construction would work (see Porter-Woods Problem 4V, or Gillman-Jerison Problem 16M, or Engelking Example 6.2.20).

share|improve this answer

Your Answer

 
discard

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.