Dependent sets of a family of relations of full measure on a probability space (Q995698)

Assume that \(\{R_\gamma\}_{\gamma \in \Gamma}\) is a countable family of full measures on a probability space \((X,\mathcal{B}, \mu)\) (i.e., for every \(\gamma \in \Gamma\), there is a positive integer \(s_\gamma\) such that \(R_\gamma \subset X^{s_\gamma}\) with \(\mu^{s_\gamma}(R_\gamma) = 1)\), a subfamily \(\mathcal {F}\) of the \(\sigma\)-algebra \(\mathcal{B}\) is said to be a regular base if for any \(\varepsilon > 0\), \(B \in \mathcal{B}\), there exists \(F \in \mathcal {F}\), \(B \subset F\), such that \(\mu (F - B)< \varepsilon\) (i.e., every set in \(\mathcal{B}\) is arbitrarily close in measure to a set in \(\mathcal {F}\) containing it). If \((X,\mathcal{B}, \mu)\) is a probability space where \(X\) is a metric space, \(\mathcal {B}\) is the Borel \(\sigma\)-algebra, and \(\mu\) a Borel measure, then the collection of open sets of \(X\) is a regular base of \(\mu\). This paper shows that in the above setting, if \((X,\mathcal{B}, \mu)\) has a regular base with cardinality not greater than the cardinality of the continuum, then there exists a set \(K \subset X\) such that for any \(\gamma \in \Gamma\) and any \(s_{\gamma}\) distinct elements \(x_1, \dots, x_{\gamma}\) of \(K\), \((x_1, \dots, x_{\gamma}) \in R_{\gamma}\), and the induced outer measure \(\mu^*\) has value 1 on \(K\). The authors also apply the result to dynamical systems determined by the iterates of a measure-preserving transformation.