Shift de Bernoulli
Bonjour,
J'essaye de comprendre le document ci-joint, en particulier la définition du shift de Bernoulli et la démonstration de l'ergodicité de ce shift.
J'aurai 2 questions.
1) Je ne comprends pas bien comment est définie la tribu ($\sigma$-algebra) $\epsilon = \sigma(X_n:n\in \mathbb{N})$ elle est sensée être composée de partie de $\mathbb{R}^\mathbb{N}$ non ?
2) Comment peut-on montrer que la tribu $\epsilon$ et la tribu engendrée par $R$ sont les mêmes ? (d'ailleurs j'ai supposé que le $B$ est la tribu borélienne est-ce le cas ?)
Je vous remercie d'avance pour votre aide.
J'essaye de comprendre le document ci-joint, en particulier la définition du shift de Bernoulli et la démonstration de l'ergodicité de ce shift.
J'aurai 2 questions.
1) Je ne comprends pas bien comment est définie la tribu ($\sigma$-algebra) $\epsilon = \sigma(X_n:n\in \mathbb{N})$ elle est sensée être composée de partie de $\mathbb{R}^\mathbb{N}$ non ?
2) Comment peut-on montrer que la tribu $\epsilon$ et la tribu engendrée par $R$ sont les mêmes ? (d'ailleurs j'ai supposé que le $B$ est la tribu borélienne est-ce le cas ?)
Je vous remercie d'avance pour votre aide.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
2) Dans notre cas, si $n\in\N$ et $B$ est un borélien de $\R$, on trouve le « cylindre » $X_n^{-1}(B)=\R^n\times B\times \R^{\{n+1,\dots,\}}$. D'évidence, $X_n^{-1}(B)\in\mathcal{R}$, d'où l'on déduit que la tribu $\mathcal{E}$ engendrée par les $\sigma(X_n)$ ($n\in\N$) est contenue dans $\sigma(\mathcal{R})$.
Inversement, pour $R=\prod_{n\in\N}A_n$, avec $A_n=\R$ pour $n\ge n_0$, disons, on voit que $R=\bigcap_{n\le n_0}X_n^{-1}(A_n)$ : c'est un élément de $\mathcal{E}$. On en déduit que $\mathcal{R}\subset\mathcal{E}$ puis que $\sigma(\mathcal{R})\subset\mathcal{E}$.
Pour montrer l'égalité des tribus, c'est le coup classique : $\mathcal E$ est engendrée par les machins, il suffit de montrer que les machins sont dans $\sigma(R)$. Ensuite il n'y a plus qu'à voir que les éléments de $R$ sont dans $\mathcal E$.
EDIT : grillé par Math Coss !
Merci Poirot,
Je vais réfléchir à ce que vous venez d'écrire.