3
$\begingroup$

Let $S\subseteq B$ be a dense subset of a complete Boolean algebra $B$. Is is true that $\sum S = 1$? Jech seems to use this fact several times in his book (e.g. the proof of 7.15) but I have been unable to prove it, if it is true.

Is it true if we tighten the condition to open dense, i.e. whenever non-zero $u \le v$ for $v \in S$, then $ u \in S$ ?

2 Answers 2

4

Suppose $\bigvee_{a \in S} a = b < 1$. Then in particular every element of $S$ is $\leq b$, so no nonzero element of $S$ is $\leq b^c$, because $b \wedge b^c = 0$. So $S$ is not dense.

  • 0
    Thanks, was easier than I thought!2012-02-11
7

Yes, the join of any dense subset of a Boolean algebra is $1$, because otherwise it would be bounded by some $b$ less than $1$, and so $\neg b$ would have no elements of the dense set below it, contradicting density.

There is no need to assume that the Boolean algebra is complete.

  • 3
    My argument did not assume that $\sup(S)$ exists, only that $1$ was not the supremum. This implies $S$ has a lower upper bound than $1$, which I called $b$, and so forth. So you do not need to assume that $\sup(S)$ exists to make the argument.2012-02-11