Abstract
We study the validity of the distributivity equation
where \({\mathcal {A}}\) is a \(\sigma \)-algebra on a set X, and \({\mathcal {F}}, {\mathcal {G}}\) are \(\sigma \)-algebras on a set U. We present a counterexample for the general case and in the case of countably generated subspaces of analytic measurable spaces, we give an equivalent condition in terms of the \(\sigma \)-algebras’ atoms. Using this, we give a sufficient condition under which distributivity holds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Since the axiomatisation of probability theory or – more generally – measure theory, the most fundamental structure of these theories are \(\sigma \)-algebras (often called \(\sigma \)-fields or also Borel structures). Together with similar structures, such as \(\sigma \)-rings or set algebras, they are well investigated as can be seen by opening any book on measure theory. These objects also appear in the context of boolean algebras (see, e.g., the Stone representation theorem or the Loomis-Sikorski theorem). However, large amounts of general results are widely spread through the literature and an overall survey of the general results for \(\sigma \)-algebras is not known to the author. Indeed, collecting all such results was called a Herculanean task by Bhaskara Rao and Rao [4] in their 1981 article ’Borel spaces’. We further want to mention the works of Aumann [1], Basu [2], Bhaskara Rao and Bhaskara Rao [3], Blackwell [5], Georgiou [8], Grzegorek [9], who contributed to the theory beyond the scope of a book on measure theory or a related topic.
Within the subject of \(\sigma \)-algebras, even very simple constructions may already lead to nontrivial questions such as the following:
Let \({\mathcal {A}}\) be a \(\sigma \)-algebra on a set X and \({\mathcal {F}},{\mathcal {G}}\) be two \(\sigma \)-algebras on a set U. The product of the \(\sigma \)-algebras \({\mathcal {A}}\otimes {\mathcal {F}}\) on \(X\times U\) is defined as usual, as the smallest \(\sigma \)-algebra containing all Cartesian products (or rectangles) \(\{A\times F: A\in {\mathcal {A}}, F\in {\mathcal {F}}\}\). We ask, for which \(\sigma \)-algebras \({\mathcal {A}},{\mathcal {F}}, {\mathcal {G}}\) is
which we can interpret as distributivity of ’\(\otimes \)’ with respect to ’\(\cap \)’. The problem, posed in (1), consists of a simple binary composition of fundamental objects in measure theory and is therefore of its own interest. While the problem as such has not been posed before, some results have been derived as part of other studies and are summarized in Sect. 2. To us, it was motivated by a question arising in stochastic analysis: let f, g be two random variables on a probability space \((\varOmega ,{\mathcal {F}},{\mathbb {P}})\) (in the original question, the random variables were càdlàg processes). Consider then all random functions that may be expressed by a Borel function of f and simultaneously by a function of g and additionally have a measurable dependence on a real parameter. Such functions are contained in the set of all functions \(h:(\varOmega \times {[0,1]},(\sigma (f)\cap \sigma (g))\otimes {\mathcal {B}}([0,1])) \rightarrow {\mathbb {R}}\) (here \(\sigma (f)\) denotes the \(\sigma \)-algebra generated by f, the same for g). Is this set of functions the same as the one consisting of functions, which may be expressed in two ways: 1) as bivariate Borel function applied to f and the real parameter, and 2) as another bivariate Borel function applied to g and the real parameter? The latter set would correspond to the functions measurable with respect to
Regarding the general problem (1), there is one immediate observation: since the right hand side is contained in both \(\sigma \)-algebras taking part in the intersection on the left, the left hand side is larger, i.e
For most simple examples of \(\sigma \)-algebras, e.g., Borel \(\sigma \)-algebras on a metric space and their restrictions on subsets or \(\sigma \)-algebras of symmetric or periodic sets, the converse inclusion is also satisfied. It is also easy to see that equality holds if \({\mathcal {F}}\subseteq {\mathcal {G}}\) or \({\mathcal {G}}\subseteq {\mathcal {F}}\).
It is tempting to assume that relation (1) should be as easy to prove or disprove as the similar relation for the supremum of two \(\sigma \)-algebras \({\mathcal {F}}\vee {\mathcal {G}}\), which is the smallest \(\sigma \)-algebra containing \({\mathcal {F}}\cup {\mathcal {G}}\). It is not hard to show that
see, e.g., [15, Proof of Lemma 3.2, Step 2]. Alas, in the case of the intersection (or infimum) of \(\sigma \)-algebras there are no obvious reasons why the equality should hold. To show that the intersection might be the source of trouble, consider the following equation
Examples violating this equation can already be found for finite sub-\(\sigma \)-algebras of a \(\sigma \)-algebra that has cardinality strictly larger than 4, see [4, Proposition 34], where the lattice of \(\sigma \)-algebras on a set is studied. Equation (1) does not admit such simple counterexamples.
Another indicator, why Eq. (1) could be wrong in general, is the following expression appearing in ergodic theory [12]. For a decreasing sequence of sub-\(\sigma \)-algebras \(\left( {\mathcal {A}}_n\right) _{n\in {\mathbb {N}}}\) of \({\mathcal {A}}\) on a set X, and a measurable space \((U,{\mathcal {U}})\), the inequality
can be strict. The difference between both sets is subtle: whenever we have probability measures \(\mu \) and \(\nu \) on the measure spaces \((X,{\mathcal {A}},\mu ), (U,{\mathcal {U}},\nu )\), all sets K in
satisfy \((\mu \otimes \nu )(K)=0\) and are thus null sets for every arbitrary pair of probability measures \((\mu ,\nu )\), see, e.g., [12, Section 4, Exercise 6] and its discussion in [14].
In Section 2, we will elaborate on a counterexample to (1), which is credited to G. Halmos and appeared first in Aumann [1]. We will also derive an equivalent condition to (1) and use it to show that an intersection of products may not be the product of any \(\sigma \)-algebras on the same sets.
Section 3 contains conditions under which equality (1) is satisfied and which explain the validity of the equation for countably generated examples. For a certain class of \(\sigma \)-algebras, we will formulate another condition in terms of the \(\sigma \)-algebras’ atoms and show that this condition is both sufficient and necessary.
2 A first negative answer
The counterexample in this section first appeared in a different context in the work of Aumann [1] who refers it to G. Halmos. In order to state and understand it, we need the following notation:
-
For a set X, we denote the power set of X by \({\mathcal {P}}(X)\).
-
Let \({\mathcal {C}}\) denote the \(\sigma \)-algebra of countable and co-countable sets on the unit interval [0, 1].
-
Let \({\mathcal {B}}\) denote the Borel \(\sigma \)-Algebra on [0, 1] with respect to the usual topology \({\mathcal {T}}\) on [0, 1].
-
The \(\sigma \)-algebra \({\mathcal {D}}\) is the preimage of \({\mathcal {B}}\) under a certain function \(f:{[0,1]}\rightarrow {[0,1]}\) constructed as follows (see also [1, 13]):
Let \(\omega _{\mathfrak {c}}\) be the first ordinal corresponding to the cardinal \({\mathfrak {c}}\) of the continuum. Let \((M_{\alpha })_{1\le \alpha <\omega _{{\mathfrak {c}}}}\) be an enumeration of all uncountable Borel subsets of [0, 1] with uncountable complement. Since all uncountable Borel sets have cardinality \({\mathfrak {c}}\) (see, e.g., [10, Theorem 13.6]), we can associate to each ordinal \(\alpha <\omega _{\mathfrak {c}}\) a triplet \((x_\alpha ,y_\alpha ,z_\alpha )\) such that \(x_\alpha , y_\alpha \in M_\alpha \), \(z_\alpha \in [0,1]\setminus M_\alpha \), and \(\{x_\alpha ,y_\alpha ,z_\alpha \}\cap \bigcup _{\beta <\alpha }\left\{ x_\beta ,y_\beta ,z_\beta \right\} =\emptyset \) (as the cardinality of \(\bigcup _{\beta <\alpha }\left\{ x_\beta ,y_\beta ,z_\beta \right\} \) is strictly smaller than \({\mathfrak {c}}\)). Define f as the function that, for each \(\alpha <\omega _{\mathfrak {c}}\), maps \(x_\alpha \mapsto z_\alpha \), \(z_\alpha \mapsto x_\alpha \) and keeps \(y_\alpha \) and all points outside \(\bigcup _{\beta <\omega _{\mathfrak {c}}}\left\{ x_\beta ,y_\beta ,z_\beta \right\} \) fixed.
Finally, set
$$\begin{aligned} {\mathcal {D}}:=\sigma (f)=\left\{ f^{-1}(B):B\in {\mathcal {B}}\right\} . \end{aligned}$$
The following lemma (found in Rao [13]) shows a relation between the \(\sigma \)-algebras defined above.
Lemma 1
([13, Theorem 1]). The intersection \({\mathcal {B}}\cap {\mathcal {D}}\) equals the \(\sigma \)-algebra \({\mathcal {C}}\) of countable and co-countable sets (which is not countably generated).
Proof
For each \(\alpha <\omega _{\mathfrak {c}}\), \(M_\alpha \) is changed by f since the \(x_\alpha \) are changed to \(z_\alpha \). Assume that the set \(F_\alpha =\{x\in M_\alpha : f(x)=x\}\) is at most countable. Then \(M_\alpha \setminus F_\alpha \) remains uncountable as does its complement \([0,1]\setminus (M_\alpha \setminus F_\alpha )\). Thus, \(M_\alpha \setminus F_\alpha =M_\beta \) for some ordinal \(\beta <\omega _{\mathfrak {c}}\). As \(y_\beta \) is kept fixed by f, it is a fixed point not included in \(F_\alpha \), which is a contradiction. Thus an uncountable number of points in each \(M_\alpha \) are kept fixed by f. This implies that the set \(f^{-1}(M_\alpha )\cap M_\alpha \), which is invariant under f, is uncountable. Its complement is also uncountable since it contains the complement of \(M_\alpha \). If \(f^{-1}(M_\alpha )\) were Borel, the set \(f^{-1}(M_\alpha )\cap M_\alpha \) is too as intersection of Borel sets. Being an uncountable Borel set with uncountable complement, \(f^{-1}(M_\alpha )\cap M_\alpha =M_\gamma \) for some \(\gamma <\omega _{\mathfrak {c}}\), which leads to a contradiction since \(M_\gamma \) cannot be fixed under f. Thus \(f^{-1}(M_\alpha )\) is not a Borel set and the only Borel sets in \({\mathcal {D}}\) are the countable and co-countable ones. \(\square \)
The counterexample is now essentially a combination of [1, Lemmas 7.1, 7.2]. For the reader’s convenience, we provide a full proof.
Theorem 1
Let \({\mathcal {D}}\) and \({\mathcal {B}}\) be the \(\sigma \)-algebras defined above. Then
Proof
Let \(\varDelta :=\{(x,x)\in {[0,1]}^2:x\in [0,1]\}\) be the diagonal, which as a closed set is contained in \({\mathcal {B}}\otimes {\mathcal {B}}\). The \(\sigma \)-algebra \({\mathcal {D}}\) can be seen as the Borel \(\sigma \)-algebra generated by the topology
where f is the function defined above Lemma 1. Since f is bijective, we know that \(([0,1],{\mathcal {T}}_f)\) is Hausdorff. Therefore \(\varDelta \) is a closed set with respect to the product topology of \(([0,1],{\mathcal {T}}_f)^2\) (this follows, e.g., from [7, Theorem 1.5.4] setting \(X=[0,1]^2\), using the projection functions onto the first and onto the second variable). Since \(([0,1],{\mathcal {T}}_f)\) is a separable metric space, by [6, Lemma 6.4.2], the \(\sigma \)-algebra generated by the product topology of \(([0,1],{\mathcal {T}}_f)^2\) is \({\mathcal {D}}\otimes {\mathcal {D}}\). Hence \(\varDelta \) is contained in \(({\mathcal {D}}\otimes {\mathcal {D}})\cap ({\mathcal {B}}\otimes {\mathcal {B}})\) and is thus also contained in
It is left to show that \(\varDelta \notin ({\mathcal {D}}\vee {\mathcal {B}})\otimes ({\mathcal {B}}\cap {\mathcal {D}})\). As seen before in Lemma 1, \({\mathcal {B}}\cap {\mathcal {D}}={\mathcal {C}}\) is the \(\sigma \)-algebra of countable and co-countable sets. In fact, \(\varDelta \) is not even contained in the larger \(\sigma \)-algebra \({\mathcal {P}}([0,1])\otimes {\mathcal {C}}\) as can be seen by the following argument:
Let \(\varPi :=\left\{ A\times C : A\in {\mathcal {P}}([0,1]), C\in {\mathcal {C}}\right\} \) be the \(\pi \)-system of Cartesian products of the sets in the \(\sigma \)-algebras \({\mathcal {P}}([0,1])\) and \({\mathcal {C}}\). Let \({\mathscr {H}}\) denote the set of functions
It is easy to check that \({\mathscr {H}}\) is a vector space. For the characteristic function \(\chi _{A\times C}\) with \(A\times C\in \varPi \), the mapping \(y\mapsto \chi _{A\times C}(\cdot , y)\) equals the 0 function for all but countably many y if C is countable, and equals the function \(\chi _A\) for all but countably many y if C is co-countable. Hence \(\chi _{A\times C}\in {\mathscr {H}}\). Consider a monotone limit of functions \(f_n\) in \({\mathscr {H}}\) converging to \(f:{[0,1]}^2\rightarrow {\mathbb {R}}\). For all \(n\in {\mathbb {N}}\), there is a countable set \(A_n\) such that for some function \(g_n:{[0,1]}\rightarrow {\mathbb {R}}\) and for all \(y\in {[0,1]}\setminus \!A_n\), we have \(f_n(x,y)=g_n(x)\). Since
it follows that \(f_n(x,y)=g_n(x)\nearrow f(x,y)\). Hence on this set, the limit f does not depend on y and is thus a function \(g:{[0,1]}\rightarrow {\mathbb {R}}\) for all y except those that are in the at most countable set \(\bigcup _{n\in {\mathbb {N}}}A_n\). Therefore, f is also contained in \({\mathscr {H}}\). We infer now by the monotone class theorem for functions that \({\mathscr {H}}\) contains all bounded \({\mathcal {P}}({[0,1]})\otimes {\mathcal {C}}\)-measurable functions, in particular, all indicator functions of the \(\sigma \)-algebra’s elements. We next show that \(\chi _\varDelta \) is not included in \({\mathscr {H}}\): the mapping \(y\mapsto \chi _\varDelta (\cdot ,y)\) has a different value for each \(y\in {[0,1]}\), namely \(\chi _{\{y\}}\), thus does not equal one function \(x\mapsto g(x)\) for all but countably many y. Hence, \(\chi _\varDelta \notin {\mathscr {H}}\). It follows that \(\varDelta \notin {\mathcal {P}}([0,1])\otimes {\mathcal {C}}\) and is thus neither in \(({\mathcal {D}}\vee {\mathcal {B}})\otimes {\mathcal {C}}\) which proves the assertion. \(\square \)
Remark 1
The construction of the above \(\sigma \)-algebra \({\mathcal {D}}\) relies on the function f. The same construction can be directly transferred to the context of topologies: Let \({\mathcal {T}}_f\) denote the initial topology of f (as in the above proof) and \({\mathcal {T}}\) the usual topology on [0, 1]. Then \({\mathcal {T}}_f\cap {\mathcal {T}}\) is the topology of co-countable subsets of [0, 1]. With the notation \(\vee \) for the supremum and \(\otimes _{{\text {Top}}}\) for the product topology of two given topologies, by the same procedure as in the above proof, we see that
but
The following characterization will lead to a strengthening of the assertion of Theorem 1. It will show that the sets are not only different but that the intersection of the product \(\sigma \)-algebras cannot even be written as a product of any other sub-\(\sigma \)-algebras of [0, 1].
Lemma 2
For \(\sigma \)-algebras \({\mathcal {A}}\) on a set X and \({\mathcal {F}},{\mathcal {G}}\) on U, the following assertions are equivalent:
-
(i)
\(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}}) ={\mathcal {A}}\otimes \left( {\mathcal {F}}\cap {\mathcal {G}}\right) \).
-
(ii)
There are \(\sigma \)-algebras \({\mathcal {A}}_0\) on X and \({\mathcal {E}}\) on U such that
$$\begin{aligned} ({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}}) ={\mathcal {A}}_0\otimes {\mathcal {E}}. \end{aligned}$$
Proof
The direction (i)\(\Rightarrow \)(ii) is obvious.
For the other implication, assume that \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) is of product form \({\mathcal {A}}_0\otimes {\mathcal {E}}\). Clearly, for all \(A\in {\mathcal {A}}_0\) and \(E\in {\mathcal {E}}\), we have \(A\times E\in {\mathcal {A}}_0\otimes {\mathcal {E}}\). Since also \(A\times E\in {\mathcal {A}}\otimes {\mathcal {F}}\) and since sections are measurable, it follows that \(E\in {\mathcal {F}}\) and \(A\in {\mathcal {A}}\). In the same way, since \(A\times E\in {\mathcal {A}}\otimes {\mathcal {G}}\), we can conclude that \(E\in {\mathcal {G}}\). Hence, \(A\times E\in {\mathcal {A}}\otimes \left( {\mathcal {F}}\cap {\mathcal {G}}\right) \). Since \({\mathcal {A}}_0\otimes {\mathcal {E}}\) is generated by products, which are all contained in \({\mathcal {A}}\otimes \left( {\mathcal {F}}\cap {\mathcal {G}}\right) \),
which implies (i). \(\square \)
The lemma leads to the following corollary.
Corollary 1
The \(\sigma \)-algebra \(\left( ({\mathcal {D}}\vee {\mathcal {B}})\otimes {\mathcal {B}}\right) \cap \left( ({\mathcal {D}}\vee {\mathcal {B}})\otimes {\mathcal {D}}\right) \) is not of product form \({\mathcal {A}}_0\otimes {\mathcal {E}}\) for any \(\sigma \)-algebras \({\mathcal {A}}_0,{\mathcal {E}}\) on \({[0,1]}^2\).
3 Characterization of distributivity in the case of countable generation
In this section, we derive a positive result for the relation
To that end, we give a characterization of the above equation if all involved \(\sigma \)-algebras are countably generated sub-\(\sigma \)-algebras of analytic spaces (see Definition 1 below).
Definition 1
Let \((X,{\mathcal {M}})\) be a measurable space. Recall that a subset of [0, 1] is called analytic if it is the image of a Polish space under a continuous function.
-
(i)
We call \({\mathcal {M}}\) countably generated if it is generated by an at most countable family of sets, i.e. \({\mathcal {M}}=\sigma \left( \{M_n, n\in {\mathbb {N}}\}\right) \).
-
(ii)
We call \({\mathcal {M}}\) countably separated if there is an at most countable collection of sets \((M_n)_{n\in {\mathbb {N}}}\) that separates the points of X, i.e. for all \(x,y\in X, x\ne y\), there is \(n\in {\mathbb {N}}\) such that \(x\in M_n\) and \(y\notin M_n\) or \(x\notin M_n\) and \(y\in M_n\).
-
(iii)
We call \((X,{\mathcal {M}})\) analytic if X is isomorphic (i.e. there is a bijective, bimeasurable function) to an analytic subset of the unit interval and \({\mathcal {M}}\) is countably generated and contains all singletons of X.
-
(iv)
An atom of \({\mathcal {M}}\) is a nonempty set \(A\in {\mathcal {M}}\) such that no proper, nonempty subset of A is contained in \({\mathcal {M}}\).
In order to derive the equivalent condition for (1), we need to present a result of Blackwell [5] and Mackey [11] first, which we will cite as Lemma 3 below, see also Bhaskara Rao and Rao [4].
Lemma 3
([5, Section 4], [11, Section 4], [4, Proposition 6]). If \((X,{\mathcal {M}})\) is an analytic space and \({\mathcal {F}},{\mathcal {G}}\) are countably generated sub-\(\sigma \)-algebras of \({\mathcal {M}}\) with the same atoms, then \({\mathcal {F}}={\mathcal {G}}\).
With this lemma at hand, we show the following
Theorem 2
Let \((X,{\mathcal {M}}),(U,{\mathcal {U}})\) be analytic spaces and let \({\mathcal {A}}\subseteq {\mathcal {M}}\) and \({\mathcal {F}},{\mathcal {G}}\subseteq {\mathcal {U}}\) be \(\sigma \)-algebras on X and U, respectively. Assume further that \({\mathcal {A}}, {\mathcal {F}}\cap {\mathcal {G}}\), and \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) are countably generated. The following assertions are equivalent:
-
(i)
\(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}} \otimes {\mathcal {G}})={\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\).
-
(ii)
All atoms of \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}} \otimes {\mathcal {G}})\) are Cartesian products.
Proof
Let K be an atom of \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\). Let \(\left( A_n\right) _{n\in {\mathbb {N}}}\) and \(\left( C_n\right) _{n\in {\mathbb {N}}}\) be generators of \({\mathcal {A}}\) and \({\mathcal {F}}\cap {\mathcal {G}}\). Then \(\left( A_n\times C_m\right) _{(n,m)\in {\mathbb {N}}^2}\) is a countable generator of \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\). Let \((x,u)\in K\). Define
according to whether \((x,u)\in A_n\times C_m\) or \((x,u)\in (X\times U)\setminus (A_n\times C_m)\). Then V is an atom in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\) that contains (x, u) (see [4, Section 1]) and therefore must be K. As all \(V_{m,n}\) are either Cartesian products or finite unions of Cartesian products, V must also be an at most countable union of Cartesian products. But if V is a proper union of sets in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\), it cannot be an atom. Hence \(V=K\) has a product form \(K=A\times C\).
If now (i) is satisfied, the above implies that all atoms of \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) are Cartesian products, implying (ii).
On the other hand, assume (ii). Then every atom L in \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) is a product, \(L=B\times D\). As sections are measurable, it follows that \(D\in {\mathcal {F}}\) and \(D\in {\mathcal {G}}\), so \(D\in {\mathcal {F}}\cap {\mathcal {G}}\). Since
L is also an atom in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\). Conversely, assume that L is an atom in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\). As \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) is countably generated and L is contained therein, L is a union of atoms in \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) (see [4, Section 1]). If this union is proper, there is another atom \({\check{L}}\ne \emptyset \) in \(({\mathcal {A}}\otimes {\mathcal {F}})\cap ({\mathcal {A}}\otimes {\mathcal {G}})\) such that \({\check{L}}\subsetneqq L\). Then, following the above argument, \({\check{L}}\) is contained in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\), a contradiction to L being an atom. Hence, both sets in (i) have the same atoms in \({\mathcal {A}}\otimes ({\mathcal {F}}\cap {\mathcal {G}})\). As \((X\times U,{\mathcal {M}}\otimes {\mathcal {U}})\) is analytic as well (see [6, Lemma 6.6.5 (iii)]), by Lemma 3, both sets in (i) are equal. \(\square \)
We will now show that the assertions of the equivalence in the above theorem hold if the intersection of products is countably separated. We need the following result taken from [6, Theorem 6.5.8].
Lemma 4
Let \((E,{\mathcal {E}})\) be a measurable space. Then \({\mathcal {E}}\) is countably generated and countably separated if and only if \((E,{\mathcal {E}})\) is isomorphic to a subset A in [0, 1] with the induced Borel \(\sigma \)-algebra, i.e. there is a bijective, \({\mathcal {E}}-{\mathcal {B}}\) measurable mapping \(H:E\rightarrow A\) such that
where \({\mathcal {B}}(A):=\left\{ B\cap A: B\in {\mathcal {B}}\right\} .\)
Remark 2
-
1.
If \({\mathcal {F}}=\sigma (f)\) and \({\mathcal {G}}=\sigma (g)\) for functions \(g, f:U\rightarrow {[0,1]}\), then \({\mathcal {F}}\cap {\mathcal {G}}\) is countably generated if and only if there is a function \(h:U\rightarrow {[0,1]}\) such that \({\mathcal {F}}\cap {\mathcal {G}}=\sigma (h)\) (see [6, Theorem 6.5.5]).
-
2.
If \({\mathcal {F}}\cap {\mathcal {G}}\) is countably separated, then, in addition, h can be chosen to be injective (this is the assertion of the previous lemma).
We conclude this section by showing that equality in (1) holds if the intersection of products is countably separated.
Theorem 3
Let \({\mathcal {A}}, {\mathcal {F}}, {\mathcal {G}}\), and \({\mathcal {F}}\cap {\mathcal {G}}\) be as in Theorem 2. Moreover, let \(\left( {\mathcal {A}}\otimes {\mathcal {F}}\right) \cap \left( {\mathcal {A}} \otimes {\mathcal {G}}\right) \) be countably generated and countably separated. Then (1) is satisfied.
Proof
By Lemma 4, we know that \(\left( {\mathcal {A}}\otimes {\mathcal {F}}\right) \cap \left( {\mathcal {A}} \otimes {\mathcal {G}}\right) =\sigma (H)\) for an appropriate function H. Further, the lemma implies that
with \({\mathcal {B}}(H(X\times U))\) denoting the induced Borel \(\sigma \)-algebra on \(H(X\times U)\). As the singletons of \(H(X\times U)\) are contained in \({\mathcal {B}}(H(X\times U))\), by the injectivity of H, the atoms of \(\sigma (H)\) are singletons as well and thus of product form. The assertion now follows from Theorem 2. \(\square \)
References
Aumann, R.: Borel structures for function spaces. Illinois J. Math. 5, 614–635 (1961)
Basu, D.: Problems relating to the existence of maximal and minimal elements in some families of statistics (subfields). In: Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics and Probability, Volume 1: Statistics, p. 41-50. Univ. California Press, Berkeley (1967)
Bhaskara Rao, M., Bhaskara Rao, K.P.S.: Borel \(\sigma \)-algebra on \({[0,\varOmega ]}\). Bull. Acad. Polon. Sci. 26, 767–769 (1978)
Bhaskara Rao, K.P.S., Rao, B.V.: Borel Spaces. Warszawa: Instytut Matematyczny Polskiej Akademi Nauk (1981)
Blackwell, D.: On a class of probability spaces. In: Proceedings of the Third Berkeley Symposium on Mathematical Statistics and Probability, 1954–1955, vol. II, pp. 1–6. Univ. California Press, Berkeley, Los Angeles (1956)
Bogachev, V.I.: Measure Theory, vol. II. Springer, Berlin (2007)
Engelking, R.: General Topology. Heldermann, Berlin (1989)
Georgiou, D., Kougias, I., Megaritis, A.: Borel structures on the set of borel mappings. Topol. Appl. 159(7), 1906–1915 (2012)
Grzegorek, E.: Remarks on some Borel structures. In: Measure theory, Oberwolfach 1983 (Oberwolfach, 1983), pp. 69–74, Lecture Notes in Math., 1089. Springer, Berlin (1984)
Kechris, A.: Classical Descriptive Set Theory. Springer, New York (1994)
Mackey, G.W.: Borel structures in groups and their duals. Trans. Amer. Math. Soc. 85, 134–165 (1957)
Parry, W.: Topics in Ergodics Theory. Cambridge University Press, Cambridge (1981)
Rao, B.V.: On Borel structures. Colloq. Math. 21, 199–204 (1970)
Mathematics Stack Exchange, https://math.stackexchange.com/questions/92546/decreasing-sequence-of-product-sigma-algebras. Accessed on July 23 (2020)
Steinicke, A.: Functionals of a Lévy process on canonical and generic probability spaces. J. Theor. Probab. 29(2), 443–458 (2016)
Acknowledgements
The author wants to thank Karin Schnass, University of Innsbruck, and Gunther Leobacher, University of Graz, for fruitful discussions and valuable suggestions.
Funding
Open Access funding provided by Montanuniversität Leoben.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Steinicke, A. (Non-)Distributivity of the product for \(\sigma \)-algebras with respect to the intersection. Arch. Math. 116, 667–675 (2021). https://doi.org/10.1007/s00013-020-01571-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-020-01571-z