Let $X = \left{P \in [0,1]^{\bf N} : \left(\forall \nu \in {\bf N} \right) \left(P \left({\nu } \right) > 0 \right) \wedge \sum\limits_{\nu = 0}^{\infty} P \left({\nu } \right) = 1 \right} $ be the Polish space of probability measures on , each of which assigns positive probability to every elementary event, while for any , let ${\Gamma}{P} = \left{\xi \in L^{1}({\bf N}, P) : \left(\forall \nu \in {\bf N} \right) \left(\xi (\nu) > 0 \right) \wedge \sum\limits{\nu = 0}^{\infty} \xi (\nu) P \left({\nu } \right) = 1 \right} {\Phi}{P} : {\Gamma}{P} \ni \xi \mapsto {\Phi}{P}(\xi) \in X\left({\Phi}{P}(\xi) \right) \left({\nu } \right) = \xi (\nu) P \left({\nu } \right) \nu \in {\bf N}$. If we consider the equivalence relation $E = \left{(P,Q) \in X^{2} : \left(\exists \xi \in {\Gamma}{P} \right) \left(Q = {\Phi}{P}(\xi) \right) \right} {\bf P} = \left{{\bf x} \in {\ell}^{1} \left({\bf R} \right) : \left(\forall n \in {\bf N} \right) \left({\bf x}(n) > 0 \right) \right} $ and the commutative Polish group ${\bf G} = \left{{\bf g} \in (0, \infty)^{\bf N} : \lim\limits_{n \rightarrow \infty}{\bf g}(n) = 1 \right} \left({\bf g} \cdot {\bf x} \right) (n) = {\bf g}(n){\bf x}(n){\bf g} \in {\bf G}{\bf x} \in {\bf P}n \in {\bf N}E$ is definable and it admits a strong approximation by the turbulent Polish group action of on .

生成讲解博客的中文版本

生成AI智能校验的中文版本