Dependent sets of a family of relations of full measure on a probability space (Q995698): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11425-007-0025-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1541818969 / rank | |||
Normal rank |
Revision as of 02:03, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dependent sets of a family of relations of full measure on a probability space |
scientific article |
Statements
Dependent sets of a family of relations of full measure on a probability space (English)
0 references
10 September 2007
0 references
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.
0 references
probability space
0 references
measure-preserving transformation
0 references
dependent set
0 references
dynamical system
0 references
chaos
0 references