3
$\begingroup$

Let $B$ be a complete Boolean algebra. Define 3 subsets of B as follows:

$B_I:= \{ u_{0,i} \mid i \in I \}$

$B_J := \{ u_{1,j} \mid j \in J \}$

$B_{I \times J} := \{ u_{0,i} \cdot u_{1,j} | (i,j) \in I \times J\}$

where $I,J$ are just some indexing sets. I am trying to prove that $\operatorname{sup}B_{I\times J} = \operatorname{sup}B_I \cdot \operatorname{sup} B_J$. (Jech Chapter 7)

It is easy to see that $\operatorname{sup}B_I\cdot\operatorname{sup}B_J$ is an upper bound for $B_{I \times J}$, but I am finding it very hard to show that if $v$ is another upper bound for $B_{I \times J}$ then $\operatorname{sup}B_I\cdot\operatorname{sup}B_J \le v$.

Any help would be appreciated.

1 Answers 1

5

We use another, simpler, distributive law that holds in all complete Boolean algebras: $x \cdot \sum_i a_i = \sum_i (x \cdot a_i)$ which is exercise 17.15(a) in my copy of Jech.

This first law can be shown as follows: For any fixed $i$ we have that $a_i \le \sum_i a_i$, hence $x \cdot a_i \le x \cdot \sum_i a_i$, which makes the right hand side an upper bound for all $x \cdot a_i$, so $\sum_i (x \cdot a_i) \le x \cdot \sum_i a_i$

On the other hand, for all $a$ we have that a \le x' + a = x' + (a \cdot x), and applying this for all $a_i$ we get \sum_i a_i \le \sum_i (x' + (a_i \cdot x)) \le x' + \sum_i (a_i \cdot x), and now we multiply both sides by $x$: x \cdot (\sum_i a_i) \le x \cdot (x' + \sum_i (a_i \cdot x)) = (by finite distributivity!) = x\cdot x' + (x \cdot \sum_i (a_i \cdot x)) = x \cdot \sum_i (a_i \cdot x) \le \sum_i (a_i \cdot x), which put together gets us the required other inequality.

Now, to the case at hand: for every $i$ we have $u_{0,i} \cdot B_J = u_{0,i} \cdot \sum_j u_{1,j} = \sum_j (u_{0,i} \cdot u_{1,j}) \le v$ by applying the above law to the $B_J$ as the infinite sum, and noting that all products in that sum are from $B_{I \times J}$ and thus all bounded by the same $v$ (and so their sum is as well). But as this holds for all $i$: $\sum_i (u_{0,i} \cdot B_J) \le v$ and again by applying the above law again, pulling out the $B_J$: $\sum_i ( u_{0,i} \cdot B_J ) = \sum_i u_{0,i} \cdot B_J = B_I \cdot B_J,$ finally showing that $B_I \cdot B_J \le v$, as required.

  • 0
    Brilliant answer, thanks.2012-02-10