Is there such a thing as the sigma-completion of a Boolean algebra? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T20:59:11Z http://mathoverflow.net/feeds/question/47278 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra Is there such a thing as the sigma-completion of a Boolean algebra? Phil Wild 2010-11-24T22:23:25Z 2011-03-17T22:30:09Z <p>Hi all,</p> <p>Suppose that $\mathcal{B}$ is a Boolean algebra. It there a way to extend $\mathcal{B}$ to a smallest Boolean algebra $\mathcal{B}'$ that contains an isomorphic copy of $\mathcal{B}$ and is countably complete, i.e. every countable subset of $\mathcal{B}'$ has a least upper bound in $\mathcal{B}'$? By "smallest" I mean that the inclusion $i: \mathcal{B} \hookrightarrow \mathcal{B}'$ has the obvious universal property, i.e. for every homomorphism $f$ from $\mathcal{B}$ to a countably complete Boolean algebra $\mathcal{C}$ there exists a unique homomorphism $g: \mathcal{B}' \to \mathcal{C}$ such that $g \circ i = f$ (it would be nice if $g$ turned out to commute with countable sups too). If no such $\mathcal{B}'$ exists, is there some other useful definition of "smallest" countably complete Boolean algebra containing $\mathcal{B}$?</p> <p>If it makes any difference, I'm mostly interested in the special case where $\mathcal{B}$ is a direct limit of a sequence of finite Boolean algebras.</p> <p><strong>Edit:</strong> Thanks very much for the replies, it's a shame I can only mark one as the answer. It will take me a while to absorb the various references I've been given, so if I run into difficulty I'll bump the thread with an edit.</p> <p><strong>Edit 2:</strong> Bumping with followup question, please see my answer below.</p> http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra/47282#47282 Answer by Todd Trimble for Is there such a thing as the sigma-completion of a Boolean algebra? Todd Trimble 2010-11-24T23:05:47Z 2010-11-24T23:12:12Z <p>The short answer is "yes", and it's a special case of a much, much more general theorem on relatively free algebraic constructions. </p> <p>In other language, you are asking whether the underlying functor from countably complete Boolean algebras to Boolean algebras has a left adjoint. The more general question is whether, given a homomorphism $\phi: S \to T$ between two monads on $Set$, the evident underlying functor </p> <p>$$Set^\phi: Set^T \to Set^S$$ </p> <p>from the category of $T$-algebras to the category of $S$-algebras has a left adjoint. For this I'll direct your attention to this <a href="http://ncatlab.org/nlab/show/Lawvere+theory#AdjCatAlgs" rel="nofollow">nLab article</a>. </p> <p>Of course, we have to know that countably complete Boolean algebras can be described as algebras of a monad on $Set$, but this too follows from general theory. I'll refer you to another <a href="http://ncatlab.org/nlab/show/algebraic+theory" rel="nofollow">nLab article</a> for this; the article is not complete but it should give the idea. The upshot is that for any algebraic theory with only a small set of operations of each arity, there is a corresponding monad on $Set$ whose algebras are the models of the theory. The general constructions go back to work in the sixties, due to Lawvere, Linton, and others. </p> <p><b>Edit:</b> I'll remark that had you said "complete" instead of "countably complete", then the answer would have been <b>no</b>. In fact, the underlying functor from complete Boolean algebras to sets has no left adjoint; this is mentioned for instance in Categories for the Working Mathematician. But in your case, the theory is generated by a <i>set</i> of operations and equations, and all is well. </p> http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra/47283#47283 Answer by Neil Strickland for Is there such a thing as the sigma-completion of a Boolean algebra? Neil Strickland 2010-11-24T23:13:11Z 2010-11-24T23:13:11Z <p>You can also look at III.3.11 in Johnstone's book on Stone Spaces:</p> <p><a href="http://books.google.com/books?id=CiWwoLNbpykC&amp;lpg=PP1&amp;dq=stone%20spaces&amp;pg=PA108" rel="nofollow">http://books.google.com/books?id=CiWwoLNbpykC&amp;lpg=PP1&amp;dq=stone%20spaces&amp;pg=PA108</a></p> http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra/47284#47284 Answer by Joel David Hamkins for Is there such a thing as the sigma-completion of a Boolean algebra? Joel David Hamkins 2010-11-24T23:38:10Z 2010-11-24T23:43:34Z <p>Every Boolean algebra $\mathbb{B}$ embeds densely in its <a href="http://en.wikipedia.org/wiki/Complete_Boolean_algebra" rel="nofollow">completion as a Boolean algebra</a>, which is a complete Boolean algebra (more than just countably complete). The completion $\bar\mathbb{B}$ can be constructed as the regular open algebra, the set of all regular open subsets of $\mathbb{B}-\{0\}$, where the topology is generated by the basic open sets consisting of lower cones. A set is regular open if it is the interior of its closure.</p> <p>Indeed, the completion operation is extremely general, and is used pervasively in set theory in the context of the forcing technique. Every separative partial order $\mathbb{P}$, and this includes any Boolean algebra (minus $0$), embeds densely in its regular open algebra, and this is always a complete Boolean algebra. This fact is the main connection between the poset-based account of forcing and the Boolean-algebra based account of forcing.</p> <p>The wikipedia link above lists several universal properties of this completion.</p> http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra/47313#47313 Answer by KP Hart for Is there such a thing as the sigma-completion of a Boolean algebra? KP Hart 2010-11-25T09:13:21Z 2010-11-25T09:13:21Z <p>This question was answered in topological terms by J. Vermeer in <i>The smallest basically disconnected preimage of a space</i>. Topology Appl. 17 (1984), no. 3, 217–232. See <a href="http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0593.54036&amp;format=complete" rel="nofollow">here</a> for a review and <a href="http://dx.doi.org/10.1016/0166-8641(84)90043-9" rel="nofollow">here</a> for the paper.</p> http://mathoverflow.net/questions/47278/is-there-such-a-thing-as-the-sigma-completion-of-a-boolean-algebra/58788#58788 Answer by Phil Wild for Is there such a thing as the sigma-completion of a Boolean algebra? Phil Wild 2011-03-17T22:27:48Z 2011-03-17T22:27:48Z <p>Hi all,</p> <p>I've just come up with something that's relevant to the question I asked here. I'm bumping the thread partly in case anyone else cares, and partly in case (as is more likely) I've made an error and someone can point it out. Anyway: I believe I can prove that the $\sigma$-algebra generated by a Boolean algebra $A$ (in the sense of Todd's answer, i.e. the image of a left adjoint to the forgetful functor from $\sigma$-algebras to Boolean algebras) has a rather natural representation, namely as the $\sigma$-field generated by the double dual of $A$, i.e. the smallest $\sigma$-field containing all the clopen subsets of the dual space of $A$. Here is the proof:</p> <p>Let $A$ be a Boolean algebra, let $A^\star$ be its dual Boolean space and $A^{\star \star}$ the dual algebra of its dual space, i.e. the set of clopen subsets of $A^\star$. Let $\bar{A}$ be the $\sigma$-algebra of Baire sets in $A^\star$, i.e. the $\sigma$-field of subsets of $A^\star$ generated by $A^{\star \star}$. Let $\alpha: A \cong A^{\star \star}$ be the canonical isomorphism, and let $\eta: A \to \bar{A}$ be the composition of $\alpha$ with the inclusion.</p> <p>Suppose given a $\sigma$-algebra $B$ and a homomorphism (of Boolean algebras) $h: A \to B$. Define $B^\star$, $B^{\star \star}$, $\bar{B}$ and $\beta: B \cong B^{\star \star}$ as before. By Theorem 41, p. 376 of [1], $B^\star$ is a $\sigma$-space, i.e. the closure of every open Baire set is open. By Theorem 42, p. 381, there is a $\sigma$-homomorphism $\phi: \bar{B} \to B^{\star \star}$ such that $\phi$ maps ever clopen set to itself.</p> <p>$\beta h \alpha^{-1}$ is a homomorphism $A^{\star \star} \to B^{\star \star}$, so by duality there is a unique continuous function $f: B^\star \to A^\star$ such that $f^{-1} P = \beta h \alpha^{-1} (P)$ for every $P \in A^{\star \star}$. It is easy to see that $f^{-1} S$ is a Baire set whenever $S$ is, so define</p> <p>$f^\star : \bar{A} \to \bar{B}$; $S \mapsto f^{-1} S$.</p> <p>$f^\star$ is clearly a $\sigma$-homomorphism. Let</p> <p>$\bar{h} \equiv \beta^{-1} \phi f^\star: \bar{A} \to B$.</p> <p>Then one may check, using the defining property of $f$ and the fact that $\phi$ maps clopen sets to themselves, that $\bar{h} \eta = h$. The uniqueness of $\bar{h}$ with this property follows from the fact that the range of $\eta$ generates $\bar{A}$.</p> <p>So there's the alleged proof; I can't see anything wrong with it but the result strikes me as being "too good to be true", and if it is true then I'm surprised I didn't see any reference to it online before I started this thread. So I'll be grateful if anyone can spot a mistake.</p> <p>[1] Steven Givant and Paul Halmos, <em>Introduction to Boolean Algebras</em>, Springer 2009</p>