An exercise in Jech's Set Theory - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T05:26:42Z http://mathoverflow.net/feeds/question/73674 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/73674/an-exercise-in-jechs-set-theory An exercise in Jech's Set Theory Stefan Hoffelner 2011-08-25T17:18:18Z 2012-12-12T08:23:24Z <p>I had a hard time trying to solve exercise 7.24 in Jech's book (3rd edition, 2003) and finally came to the conclusion that the result there, which should be proved might be wrong. The claim goes like this:</p> <p>Let $A$ be a subalgebra of a Boolean algebra $B$ and suppose that $u \in B-A$. Then there exist ultrafilters $F,G$ on $B$ such that $u \in F$, $-u \in G$ and $F \cap A= G \cap A$.</p> <p>A (perhaps flawed, as I believe) proof of this can be found here. <a href="http://onlinelibrary.wiley.com/doi/10.1002/malq.19690150705/abstract" rel="nofollow">http://onlinelibrary.wiley.com/doi/10.1002/malq.19690150705/abstract</a></p> <p>A counterexample to the claim above is the following:</p> <p>Let $A$ be the algebra of finite unions of (open, closed, half-open) intervals on $[0,1]$ with rational endpoints, and let $B$ be defined as $A$ but with real endpoints. Each ultrafilter $U$ on $A$ converges to a rational or irrational number $r$ and the elements of $U$ are exactly those sets in $A$ that include $r$. Now if $F$ and $G$ are two ultrafilters on the bigger algebra $B$, both extending $U$ then they converge again towards $r$ and for any $u\in B$ we have that $u\in F$ iff $r \in u$ iff $u\in G$, which makes it impossible to have $u \in B$, yet $-u \in G$.</p> <p>My questions are now:</p> <ol> <li>Is my counterexample correct?</li> <li>The claim is used to show that each Boolean algebra of size $\kappa$ has at least $\kappa$ ultrafilters (this is theorem of the paper mentioned above). Does this remain valid ( I suppose not, see the comments)</li> </ol> http://mathoverflow.net/questions/73674/an-exercise-in-jechs-set-theory/73679#73679 Answer by Joel David Hamkins for An exercise in Jech's Set Theory Joel David Hamkins 2011-08-25T17:42:45Z 2011-08-25T21:40:23Z <p>Your counterexample is not correct. Let $r$ be an irrational real number, and let $F$ be the principal ultrafilter in $B$ on the closed interval $[r,r]=\{r\}$, which is an atom in $B$. Note that $F\cap A$ is the ultrafilter of all elements of $A$ in which $r$ is a member. Now consider the complement $-[r,r]=(-\infty,r)\cup (r,\infty)$, which has nonempty intersection with any interval in $A$ containing $r$, since $r$ was irrational. Thus, we add $-[r,r]$ to $F\cap A$ and extend to an ultrafilter $G$. So $F$ and $G$ agree on $A$, but one has the atom $[r,r]$ and the other has the complement.</p> <p>Meanwhile, the the <a href="http://www.cas.mcmaster.ca/~franek/journals/semifree_view/page1.html" rel="nofollow">Balcar-Franek theorem</a> establishes that every [Edit: <b> complete</b>] Boolean algebra of size $\kappa$ has $2^\kappa$ many ultrafilters. This topic also arose in <a href="http://mathoverflow.net/questions/72368/density-of-boolean-algebras" rel="nofollow">this MO question on density of Boolean algebras</a>. </p> http://mathoverflow.net/questions/73674/an-exercise-in-jechs-set-theory/73703#73703 Answer by Stefan Geschke for An exercise in Jech's Set Theory Stefan Geschke 2011-08-25T21:34:31Z 2012-12-12T08:23:24Z <p>The exercise is correct. Let $u\in B\setminus A$. We say that $u$ splits an ultrafilter $H$ of $A$ if $\{u\}\cup H$ and $\{-u\}\cup H$ both have the finite intersection property. (If $u$ splits $H$, then there are ultrafilters $F$ and $G$ of $B$ such that $F\cap A=H=G\cap A$, $u\in F$, and $-u\in G$.)</p> <p>Suppose no ultrafilter $H$ is split by $u$.<br> We say that an ultrafilter $H$ of $A$ is compatible with $b\in B$ iff each $a\in H$ has nonempty intersection (in $B$) with $b$. If no ultrafilter of $A$ is split by $u$, then each ultrafilter is either compatible with $u$ or compatible with $-u$.</p> <p>Let $C$ be the set of ultrafilters of $A$ compatible with $u$, and let $D$ be the set of ultrafilters of $A$ compatible with $-u$.<br> Now the set Ult$(A)$ of all ultrafilters of $A$ is the disjoint union of $C$ and $D$. Hence an ultrafilter of $A$ is compatible with $u$ iff it is not compatible with $-u$ and vice versa. So, if $H\in C$, then there is $a\in H$ such that $a$ is disjoint from $-u$. All ultrafilters of $A$ that contain $a$ are incompatible with $-u$ and hence compatible with $u$. This shows that $C$ is open in the Stone space Ult$(A)$ of $A$.<br> The same is true for $D$. It follows that the two sets are clopen. By the Stone representation theorem, there is $a\in A$ such that $C$ is the set of all ultrafilters $H$ of $A$ that contain $a$. $D$ is the set of all ultrafilters of $A$ that contain $-a$. </p> <p>In other words, an ultrafilter $H$ of $A$ is compatible with $u$ iff $a\in H$. But this implies that an element $b$ of $A$ has a nonempty intersection with $u$ iff it has a nonempty intersection with $a$. Hence $-a$ is disjoint from $u$. In other words, $u\leq a$. The symmetric argument shows that $-u\leq-a$. It follows that $a=u$ and hence $u\in A$, a contradiction.</p> <p>And yes, this exercise implies that every infinite Boolean algebra of size $\kappa$ has at least $\kappa$ ultrafilters.</p>