0
$\begingroup$

Consider the Borel sigma-algebra on $\mathbb{R}$ quotiented by the ideal of measure-zero sets (see definitions below). This forms a measure algebra. My question is whether this measure algebra is countably generated, and I appear to have reached conflicting results.

Countably generated. This post suggests that the above is countably generated:

"One idea to provide a counter example is the following, let $\mathbb B([0,1[)$ be the Borel sets on $[0,1[$ and let $\lambda$ be the Lebesgue measure on $\mathbb B([0,1[)$. Then for $A,B\in \mathbb B([0,1[)$ define the equivalence relation $\lambda(A\triangle B)=0$, then if we let $A$ be the set of equivalence class of $\mathbb B([0,1[)$ modulo this equivalence relation. Denote by $[A]$ the equivalence class of $A$ and let $p([A])=\lambda(A)$. Then we can show that $p$ is positive and that $A$ is a Boolean $\sigma$-algebra with the countable chain condition. I think that the set

enter image description here

might do it, this would mean that the statement is true for at least one uncountable boolean algebra satisfying the requirements."

(Couldn't get mathjax to render the above correctly...)

Not countably generated. On the other hand, the Borel $\sigma$-algebra quotient null sets seems to be pretty clearly atomless by the following argument: any non-empty set must have positive measure, and therefore contain an open set which contains a subset of smaller measure (edit: this argument doesn't work, but see Prop 3.3.14 here). This post then references the remark:

There is no atomless countably generated $\sigma$-algebra.

Which is a contradiction with the countable generation derivation above.

Can anyone spot the issue here? It's likely something subtle but I'm not seeing it.

$\endgroup$
11
  • $\begingroup$ Edited for clarity. The non-empty set having positive measure is the first step to showing atomless-ness. Any non-empty set must have strictly positive measure as we are quotienting out by the sigma-algebra of measure zero sets. $\endgroup$ Jul 4, 2023 at 9:23
  • $\begingroup$ This is probably stupid question, but how do you define quotient of sigma-algebra - what is underlying set? $\endgroup$
    – mihaild
    Jul 4, 2023 at 9:33
  • $\begingroup$ Sets of positve measure don't need to contain open sets $\endgroup$
    – FShrike
    Jul 4, 2023 at 9:43
  • 1
    $\begingroup$ But since the topology is countably generated, so too is the $\sigma$-algebra. It is definitely the case that the Borel algebra is $\sigma(F)$ for some countable set of sets $F$ $\endgroup$
    – FShrike
    Jul 4, 2023 at 9:44
  • $\begingroup$ @FShrike. Ah right, the cantor set is Borel and has no open subset. So that doesn't work, but it still feels like that the space needs to be atomic. Can there really be a set of positive measure with no subset of strictly smaller measure? I've never seen such a set. $\endgroup$ Jul 4, 2023 at 9:51

1 Answer 1

1
$\begingroup$

(see Tao's post for much better information on these structures)

Definitions:

Abstract Boolean $\sigma$-algebra is tuple $(B, \varnothing, \cdot^c, \cup, \cap, \subset)$ (here all elements interpreted as just symbols, without standard set-theoretical meaning), where $B$ is set, $\varnothing \in B$, $\cdot^c$ is unary operation on $B$, $\cup$ and $\cap$ are binary operations on $B$, and $\subset$ is binary predicate on $B$, such that necessary properties are satisfied.

Concrete Boolean $\sigma$-algebra is tuple $(X, B)$ where $B \subset 2^{X}$ and $(B, \varnothing, \cdot^c, \cup, \cap, \subset)$ (here all symbols have their usual set-theoretical meaning) is abstract $\sigma$-algebra.

Proof you linked proves there is no concrete atomless countably generated $\sigma$-algebra. However, quotient of concrete $\sigma$-algebra is not necessary isomorphic to any concrete $\sigma$-algebra (Tao shows it with essentially the same construction).

Stone representation theorem says that any abstract Boolean algebra is isomorphic to some concrete Boolean algebra. However, it is not necessary the case for $\sigma$-algebra.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .