X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/eb86b87fcb8bd9aa66283fcea4d9efbe964179ff..e9f2cb916f164b15bce8fe96e4f5432d3df9b7b2:/annexePreuveDistribution.tex?ds=sidebyside

diff --git a/annexePreuveDistribution.tex b/annexePreuveDistribution.tex
index 7a05f11..f53e3b9 100644
--- a/annexePreuveDistribution.tex
+++ b/annexePreuveDistribution.tex
@@ -55,3 +55,132 @@ Ces rÃ©sultats permettent formuler et de prouver le thÃ©orÃ¨me suivant:
   $M$ est  doublement  stochastique.
 \end{Proof}
 
+
+
+Montrons que
+\begin{lemma}
+$d$ est une distance sur $\mathcal{X}_{\mathsf{N},\mathcal{P}}$.
+\end{lemma}
+
+
+\begin{proof}
+ $d_{\mathds{B}^\mathsf{N}}$ est la distance de Hamming.
+ Prouvons que  
+ $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}$ est aussi une distance;
+$d$ sera ainsi une distance comme somme de deux distances.
+ \begin{itemize}
+\item De maniÃ¨re Ã©vidente, $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})\geqslant 0$, et si $s=\check{s}$, alors
+$d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=0$. 
+RÃ©ciproquement si $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=0$, alors
+$\forall k \in \mathds{N}, v^k=\check{v}^k$ d'aprÃ¨s la dÃ©finition de $d$.
+Or les Ã©lÃ©ments entre les positions $p+1$ et  $p+n$ 
+sont nules et correspondent Ã  $|u^0-\check{u}^0|$, 
+on peut conclure que $u^0=\check{u}^0$.
+On peut Ã©tendre ce rÃ©sultat aux $n \times \max{(\mathcal{P})}$ premiers 
+bloc engendrant $u^i=\check{u}^i$, $\forall i \leqslant v^0=\check{v}^0$, 
+et en vÃ©rifiant tous les  $n \times \max{(\mathcal{P})}$ blocs, $u=\check{u}$.
+ \item $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}$ est Ã©videmment  symÃ©trique 
+($d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(s,\check{s})=d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}(\check{s},s)$). 
+\item l'inÃ©galitÃ© triangulaire est Ã©tablie puisque la valeur absolue la vÃ©rifie
+aussi.
+ \end{itemize}
+\end{proof}
+
+
+
+Montrons que: 
+\begin{lemma}
+Le graphe d'itÃ©ration $\textsc{giu}_{\mathcal{P}}(f)$ 
+est fortement connexe si et seulement si 
+la fonction $G_{f_u,\mathcal{P}}$ est topologiquement transitive sur
+$(\mathcal{X}_{\mathsf{N},\mathcal{P}},d)$. 
+\end{lemma}\label{prop:trans}
+
+\begin{proof}
+Supposons tout d'abord que  $G_{f_u,\mathcal{P}}$ fortement connexe.
+Soit $x=(e,(u,v)),\check{x}=(\check{e},(\check{u},\check{v})) 
+\in \mathcal{X}_{\mathsf{N},\mathcal{P}}$ et $\varepsilon >0$.
+On cherche un point $y$ dans une boule ouverte $\mathcal{B}(x,\varepsilon )$ 
+et un nombre 
+$n_0 \in \mathds{N}$ tels que $G_{f_u,\mathcal{P}}^{n_0}(y)=\check{x}$: 
+Cette transitivitÃ© forte entrainera la propriÃ©tÃ© de transitivitÃ© classique.
+On peut supposer que $\varepsilon <1$ sans perte de gÃ©nÃ©ralitÃ©.
+
+Soit $(E,(U,V))$ les Ã©lÃ©ments de  $y$. Comme 
+$y$ doit appartenir Ã  $\mathcal{B}(x,\varepsilon)$ et  $\varepsilon < 1$,
+$E$ est Ã©gal Ã  $e$. 
+Soit $k=\lfloor \log_{10} (\varepsilon) \rfloor +1$.
+La distance $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}((u,v),(U,V))$ est infÃ©rieure Ã  
+$\varepsilon$: les  $k$ premiers Ã©lÃ©ments de la partie dÃ©cimale de 
+$d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}((u,v),(U,V))$ sont nuls.
+Soit $k_1$ le plus petit entier tel que, si $V^0=v^0$, ...,  $V^{k_1}=v^{k_1}$,
+alors $U^0=u^0$, ..., $U^{\sum_{l=0}^{k_1}V^l-1} = u^{\sum_{l=0}^{k_1}v^l-1}$.
+Alors $d_{\mathds{S}_{\mathsf{N},\mathcal{P}}}((u,v),(U,V))<\varepsilon$.
+En d'autres mots, chaque $y$ de la forme $(e,((u^0, ..., u^{\sum_{l=0}^{k_1}v^l-1}),
+(v^0, ..., v^{k_1}))$ est dans $\mathcal{B}(x,\varepsilon)$.
+
+Soit $y^0$ un tel point et $z=G_{f_u,\mathcal{P}}^{k_1}(y^0) = (e',(u',v'))$. 
+$G_{f_u,\mathcal{P}}$ Ã©tant fortement connexe,
+il existe un chemin entre $e'$ et $\check{e}$. 
+Soit $a_0, \hdots, a_{k_2}$ les arÃªtes visitÃ©es le long de ce chemin. 
+On fixe $V^{k_1}=|a_0|$ 
+(le nombre de termes dans la sÃ©quence finie $a_1$),
+$V^{k_1+1}=|a_1|$, ..., $V^{k_1+k_2}=|a_{k_2}|$, et 
+$U^{k_1}=a_0^0$, $U^{k_1+1}=a_0^1$, ..., $U^{k_1+V_{k_1}-1}=a_0^{V_{k_1}-1}$,
+$U^{k_1+V_{k_1}}=a_1^{0}$, $U^{k_1+V_{k_1}+1}=a_1^{1}$,\ldots
+
+Soit $y=(e,((u^0, ..., u^{\sum_{l=0}^{k_1}v^l-1}, a_0^0, ..., a_0^{|a_0|}, a_1^0, ..., a_1^{|a_1|},..., 
+ a_{k_2}^0, ..., a_{k_2}^{|a_{k_2}|},$ \linebreak
+ $\check{u}^0, \check{u}^1, ...),(v^0, ..., v^{k_1},|a_0|, ...,
+ |a_{k_2}|,\check{v}^0, \check{v}^1, ...)))$. 
+Ainsi
+ $y\in \mathcal{B}(x,\varepsilon)$
+ et $G_{f}^{k_1+k_2}(y)=\check{x}$.
+ 
+RÃ©ciproquement, si  $G_{f_u,\mathcal{P}}$ n'est pas fortement connexe,
+il y a donc deux n{\oe}uds 
+$e_1$ et $e_2$ sans chemins entre eux.
+Il n'est ainsi pas possible de trouver un couple $(u,v)\in \mathds{S}_{\mathsf{N},\mathcal{P}}$
+et $n \mathds{N}$ tel que  $G_{f_u,\mathcal{P}}^n(e,(u,v))_1=e_2$. 
+La boule ouverte  $\mathcal{B}(e_2, 1/2)$ ne peut ainsi pas Ãªtre atteinte
+depuis n'importe quel voisins de $e_1$: 
+$G_{f_u,\mathcal{P}}$ n'est pas transitive.
+\end{proof}
+
+
+Montrons maintenant que 
+\begin{lemma}
+Si $G_{f_u,\mathcal{P}}$ est fortement connexe, alors $G_{f_u,\mathcal{P}}$ est  
+rÃ©guliÃ¨re sur  $(\mathcal{X}_{\mathsf{N},\mathcal{P}}, d)$.
+\end{lemma}
+
+\begin{proof}
+Soit $x=(e,(u,v)) \in \mathcal{X}_{\mathsf{N},\mathcal{P}}$ et $\varepsilon >0$. 
+Comme dans la preuve du lemme~\ref{prop:trans}, soit $k_1 \in \mathds{N}$ tel
+que 
+$$\left\{(e, ((u^0, ..., u^{v^{k_1-1}},U^0, U^1, ...),(v^0, ..., v^{k_1},V^0, V^1, ...)) \mid \right.$$
+$$\left.\forall i,j \in \mathds{N}, U^i \in \llbracket 1, \mathsf{N} \rrbracket, V^j \in \mathcal{P}\right\}
+\subset \mathcal{B}(x,\varepsilon),$$
+et $y=G_{f_u,\mathcal{P}}^{k_1}(e,(u,v))$. 
+$G_{f_u,\mathcal{P}}$ Ã©tant fortement connexe,
+il existe au moins un chemin entre l'Ã©tat boolÃ©en $y_1$ de $y$ et $e$.
+Nommons $a_0, \hdots, a_{k_2}$ les arÃªtes d'un tel chemin.
+Le point
+$$(e,((u^0, ..., u^{v^{k_1-1}},a_0^0, ..., a_0^{|a_0|}, a_1^0, ..., a_1^{|a_1|},..., 
+ a_{k_2}^0, ..., a_{k_2}^{|a_{k_2}|},u^0, ..., u^{v^{k_1-1}},$$
+$$a_0^0, ...,a_{k_2}^{|a_{k_2}|}...),(v^0, ..., v^{k_1}, |a_0|, ..., |a_{k_2}|,v^0, ..., v^{k_1}, |a_0|, ..., |a_{k_2}|,...))$$
+est un point pÃ©riodique dans le voisinage $\mathcal{B}(x,\varepsilon)$ de $x$.
+\end{proof}
+
+$G_{f_u,\mathcal{P}}$ Ã©tant topologiquement transitive and reguliÃ¨re, 
+on peut conclure le thÃ©orÃ¨me:
+
+
+\begin{theorem}
+La fonction $G_{f_u,\mathcal{P}}$ est chaotique sur 
+ $(\mathcal{X}_{\mathsf{N},\mathcal{P}},d)$ si et seulement si 
+graphe d'itÃ©ration $\textsc{giu}_{\mathcal{P}}(f)$ 
+est fortement connexe.
+\end{theorem}
+
+
