next up previous contents
suivant: 9 Preuve de la monter: 5 Conclusion et perspectives précédent: 7 Preuve de la   Table des matières


8 Preuve de la proposition 2 (paragraphe 2.2.2, page [*])

Pour le détail des notations employées ci-dessous, veuillez vous reporter au corps du recueil (paragraphe 2.2.1, page [*]).

\begin{texdraw}
\drawdim{mm}
\move (0 3)
\lvec (3 1.5)
\lvec (0 0)
\lvec (0 3)
\writeps {0.0 fp}
\end{texdraw}
On considère un signal X(t), dont la densité de probabilité suit une loi uniforme sur [0,1]. La probabilité d'avoir au moins h-i valeurs du signal X(t) à l'intérieur du segment S de largeur l est donnée par l'équation 2.10, dont voici le rappel:

Pr(TS $\displaystyle \geq$ h - i) = $\displaystyle \sum_{m=h-i+1}^{h}$Chmlm$\displaystyle \left(\vphantom{1-l}\right.$1 - l$\displaystyle \left.\vphantom{1-l}\right)^{h-m}_{}$ (19)

Considérons la suite (v'h, m) définie par la relation suivante:

$\displaystyle \forall$m $\displaystyle \in$ {1,.., h},  v'h, m = Chmlm$\displaystyle \left(\vphantom{1-l}\right.$1 - l$\displaystyle \left.\vphantom{1-l}\right)^{h-m}_{}$    

Nous définissons la suite (u'h, i) en fonction des v'h, m:

$\displaystyle \forall$i $\displaystyle \in$ {1,.., h},  u'h, i = $\displaystyle \sum_{m=h-i+1}^{h}$v'h, m    

Donc, u'h, i = Pr(TS $ \geq$ h - i).
Or, sachant que $ \sum_{m=0}^{h}$v'h, m = 1, on peut transformer l'expression de u'h, i:

u'h, i = 1 - $\displaystyle \sum_{m=0}^{h-i}$v'h, m    

Or, la suite (v'h, m) est un cas particulier de l'étude faite au paragraphe B.3, avec des pj tous égaux et valant l . Lorsque i est fixé, on en déduit que:

limh $\scriptstyle \rightarrow$ $\scriptstyle \infty$$\displaystyle \sum_{m=0}^{h-i}$v'h, m = 1    

Par conséquent, lorsque i est fixé:

limh $\scriptstyle \rightarrow$ $\scriptstyle \infty$u'h, i = 0    

Par conséquent, lorsque $ \epsilon$ > 0 et i sont fixés, il existe un hmin tel que pour tout h $ \geq$ hmin, Pr(TS $ \geq$ h - i) < $ \epsilon$.
\begin{texdraw}
\drawdim{mm}
\move (0 1.5)
\lvec (3 3)
\lvec (3 0)
\lvec (0 1.5)
\writeps {0.0 fp}
\end{texdraw}


next up previous contents
suivant: 9 Preuve de la monter: 5 Conclusion et perspectives précédent: 7 Preuve de la   Table des matières
Frédéric Davesne 2001-07-13