5
$\begingroup$

Definition: Suppose $\mathcal A$ is the Boolean algebra of all Jordan measurable sets in $I=[0,1]$ (i.e $\mathcal A=\{A\subseteq I: \mu(\partial(A))=0\}$, where $\mu$ is the Lebesgue measure and $\partial$ means the topological boundary).

Definition: "Interval algebra" suppose $\mathcal B$ on $I=[0,1]$ is the algebra generated by the sets of the form $([a_{0},b_{0})\cup[a_{1},b_{1})\cup...\cup[a_{n},b_{n}))\cap I$ where $0\leq a_{0}< b_{0}<a_{1}<b_{1}<...<a_{n}<b_{n}$.

(1) Prove or disprove: Every (nontrivial) uncountable atomless subalgebra of $\mathcal A$ is isomorphic to $\mathcal B$.

(2) If (1) is false, I would say: Every (nontrivial) uncountable atomless subalgebra of $\mathcal A/N$ ($N$ is the family of all null sets) is isomorphic to $\mathcal B$.

By atomless I mean a Boolean algebra which has no atom.

$\endgroup$
  • $\begingroup$ Do you mean $\mu(\partial(A))=0$ in the definition of Jordan measurable? $\endgroup$ – Joel David Hamkins Feb 3 '14 at 17:00
  • $\begingroup$ @JoelDavidHamkins Oh yes, exactly. Thanks for letting me know. I will correct it. $\endgroup$ – Ameen Feb 3 '14 at 17:02
  • $\begingroup$ As for (2), $\mathcal A/N$ is itself an atomless algebra. I see no reason why it should be isomorphic to $\mathcal B$. Certainly the natural inclusion of $\mathcal B$ in $\mathcal A/N$ is not onto. $\endgroup$ – Emil Jeřábek supports Monica Feb 3 '14 at 20:38
  • $\begingroup$ @EmilJeřábek Yes, the inclusion map of $\mathcal B$ is not onto but this is not enough to say they are not isomorphic, because inclusion map of odd numbers in $\Bbb N$ is also not onto but they are isomorphic. $\endgroup$ – Ameen Feb 8 '14 at 0:20
6
$\begingroup$

It seems to me that the cardinalities are off, so (1) fails, since $\cal A$ contains an atomless Boolean algebra of cardinality $2^{\frak c}$, and so many distinct atomless Boolean subalgebra of that size, but $\cal B$ has size continuum. So in these instances, they cannot be isomorphic.

Similarly, a cardinality argument shows at least that (2) will fail if the continuum hypothesis is false, since in that case ${\cal A}/N$ will have size continuum, and therefore by the downward Lowenheim-Skolem theorem will have atomless subalgebras of size $\aleph_1$, which will again be too small to be isomorphic to $\cal B$. So (2) fails when CH fails.

$\endgroup$
  • $\begingroup$ Thanks for the answer. I suspect that (1) might be false, but I could not bring any example (would be more helpful if you have an example in mind). But (2) might be true under the continuum hypothesis. What do you think? $\endgroup$ – Ameen Feb 3 '14 at 17:21
  • 2
    $\begingroup$ I expect that (2) will fail regardless of CH. $\endgroup$ – Joel David Hamkins Feb 3 '14 at 17:27
  • $\begingroup$ Appreciate your ideas $\endgroup$ – Ameen Feb 3 '14 at 17:48
  • $\begingroup$ One more thing I would like to ask you if you do not mind. what is the relation between Cohen algebra and interval algebra. $\endgroup$ – Ameen Feb 3 '14 at 23:04
  • $\begingroup$ Your interval algebra, if you mean just the Boolean algebra generated by those intervals, is not a complete Boolean algebra, but the Cohen algebra is usually taken as the complete Boolean algebra. But otherwise, they are related in that the Boolean completion of the interval algebra is isomorphic to the Cohen algebra. A condition in the Cohen algebra specifies a finite binary string, and each such string corresponds to a tiny interval in your interval algebra. $\endgroup$ – Joel David Hamkins Feb 3 '14 at 23:32
2
$\begingroup$

An answer to (2) in ZFC: The algebra $\mathcal B$ is not only uncountable, it has the property that below any positive element there are uncountably many elements.

Let $\mathcal A'$ be the algebra of all sets of the form $([a_{0},b_{0})\cup[a_{1},b_{1})\cup...\cup[a_{n},b_{n}))\cap I$ where all $a_i,b_i$ are in $([0,\frac12]\cap \mathbb Q) \cup [\frac12,1]$. This is a subalgebra of $\mathcal A$. So $\mathcal A'/N$ is a subalgebra of $\mathcal A/N$, it is uncountable and atomless.

Now consider the element $[0,\frac12]/N$ in $\mathcal A'/N$. It is positive, but there are only countably many elements below it.

So $\mathcal A'/N$ is not isomorphic to $\mathcal B$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.