Bonjour,
J'ai un exercice à traité pour me préparer au partiel de la théorie de la mesure, mais j'ai un peu de mal à comprendre l'énoncé (pour ne pas dire beaucoup), ce qui me bloque dès la première question.
Voici l'énoncé :
Soit $x:=\left{0,1 \right}^n$, l'ensemble des suites de 0 et de 1.
Pour $\alpha _n=\left(\alpha _0,\alpha _2,...,\alpha n-1\right)\in \left{0,1 \right}^n$, on définit le cylindre : $t\alpha _n:=\left{u\in \left{0,1 \right}^n, \forall i\leq (n-1), u_i=\alpha _i \right}$
On considère C l'ensemble de tous les cylindre $t_\alpha _n$ pour tous les αn\alpha _nαn dans $\left{0,1 \right}^n$ et tous les n∈N.
On appelle T la tribu engendrée par C.
On définit la mesure μ(tα<em>n)\mu (t_\alpha <em>n)μ(tα<em>n) par μ(t</em>αn)=2−n−1\mu (t</em>\alpha _n)=2^{^-n-1}μ(t</em>αn)=2−n−1 et on admet que μ\muμ se prolonge bien en une mesure sur T.
1- Montrer que μ(x)=1\mu (x)=1μ(x)=1. Montrer que C est un π-système.
Je bloque dès cette question, j'ai un problème avec l'énoncé, et du coup, je n'arrive pas à exprimer clairement X afin de calculer μ(x)\mu (x)μ(x).
2- Soit u=(un)∈xu=(u_n)\in xu=(un)∈x, pourquoi a-t-on $\left{u \right}\in t$? Montrer que $\mu\left{u \right}=0$( on pourra considérer le cylindre $t_\alpha _n$pour α<em>n=(u0,...,u</em>n−1)\alpha <em>n=(u_0,...,u</em>{n-1})α<em>n=(u0,...,u</em>n−1).
3- On dit qu'une suite u=(un)∈xu=(u_n)\in xu=(un)∈xest périodique s'il existe n∈n∗n\in n^*n∈n∗ tel que ∀k∈nuk=un+k\forall k\in n u_k=u_{n+k}∀k∈nuk=un+k
Soit xperx_{per}xper l'ensemble des suites périodiques. Montrer que xperx_{per}xper est dénombrable et en déduire que xper∈tx_{per} \in txper∈t et μ(xper)=0.\mu (x_{per} )=0.μ(xper)=0.
L'exercice compte d'autres question, mais je pense que si l'on pouvait m'expliquer l'énoncé, je pourrais me débloquer pour les premières questions.
Je vous remercie d'avance pour votre aide.
Cordialement.