X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..749714e242c186d9017fa85964d6c67edf1bf4d1:/12TIPE.tex?ds=sidebyside

diff --git a/12TIPE.tex b/12TIPE.tex
index 4f9fa9b..7c04d49 100644
--- a/12TIPE.tex
+++ b/12TIPE.tex
@@ -8,19 +8,21 @@ $\Bool^{{\mathsf{N}}}$ dans lui-mÃªme.
 
 Dans le schÃ©ma unaire, Ã  la  $t^{\textrm{Ã¨me}}$ itÃ©ration, 
 seul le  $s_{t}^{\textrm{Ã¨me}}$ 
-composant (entre 1 et $n$) est mis Ã  jour.
+composant (entre 1 et $\mathsf{N}$) est mis Ã  jour.
 Pour une stratÃ©gie $s = \left(s_t\right)_{t \in \mathds{N}}$ 
 (\textit{i.e.}, une sÃ©quence d'indices
-de $\llbracket 1;\mathsf{N} \rrbracket$), on peut dÃ©finir
-la fonction $F_{f_u}: \Bool^{\mathsf{N}} \times \llbracket1;\mathsf{N}\rrbracket$
+de $[\mathsf{N}]$), on peut dÃ©finir
+la fonction $F_{f_u}: \Bool^{\mathsf{N}} \times [\mathsf{N}]$
 vers $\Bool^\mathsf{N}$ par 
-\[
+
+\begin{equation}
 F_{f_u}(x,i)=(x_1,\dots,x_{i-1},f_i(x),x_{i+1},\dots,x_\mathsf{N}).
-\]
+\label{eq:iterations:unaires}
+\end{equation}
 
 Dans le schÃ©ma des itÃ©rations unaires pour une configuration initiale
 $x^0\in\Bool^\mathsf{N}$ et une stratÃ©gie $s\in
-\llbracket1;\mathsf{N}\rrbracket^\Nats$, les configurations $x^t$
+[\mathsf{N}]^\Nats$, les configurations $x^t$
 sont dÃ©finies par la rÃ©currence
 \begin{equation}\label{eq:asyn}
 x^{t+1}=F_{f_u}(x^t,s_t).
@@ -29,17 +31,18 @@ x^{t+1}=F_{f_u}(x^t,s_t).
 
 On peut alors construire l'espace 
 $\mathcal{X}_u =
-\Bool^{{\mathsf{N}}} \times \llbracket1;{\mathsf{N}}\rrbracket^{\Nats}$ 
-et la fonction d'iteration $G_{f_u}$ dÃ©finie  de 
+\Bool^{{\mathsf{N}}} \times [{\mathsf{N}}]^{\Nats}$ 
+et la fonction d'itÃ©ration $G_{f_u}$ dÃ©finie  de 
 $\mathcal{X}_u$ 
 dans lui-mÃªme par 
-\[
+\begin{equation}
 G_{f_u}(x,s)=(F_{f_u}(x,s_0),\sigma(s)).
-\] 
+\label{eq:sch:unaire}
+\end{equation}
 
 Dans cette dÃ©finition, la fonction 
-$\sigma: \llbracket1;{\mathsf{N}}\rrbracket^{\Nats} \longrightarrow
- \llbracket1;{\mathsf{N}}\rrbracket^{\Nats} 
+$\sigma: {\mathsf{N}}]^{\Nats} \longrightarrow
+ [{\mathsf{N}}]^{\Nats} 
 $
 dÃ©cale
 la stratÃ©gie fournie en argument d'un Ã©lÃ©ment vers la gauche en supprimant 
@@ -58,7 +61,7 @@ La section suivante introduit une mÃ©trique sur $\mathcal{X}_u$.
 Sur $\mathcal{X}_u$, 
 on dÃ©finit la distance $d$ entre les points $X=(x,s)$ et
 $X'=(x',s')$ de $\mathcal{X}_u$ par 
-\[
+\begin{equation}
 d(X,X')= d_H(x,x')+d_S(s,s'),~\textrm{oÃ¹}~
 \left\{
 \begin{array}{l}
@@ -66,7 +69,8 @@ d(X,X')= d_H(x,x')+d_S(s,s'),~\textrm{oÃ¹}~
 \displaystyle{d_S(s,s')=\frac{9}{n}\sum_{t\in\Nats}\frac{|s_t-s'_t|}{10^{t+1}}}.
 \end{array}
 \right.\,.
-\]
+\end{equation}
+
 On note que dans le calcul de $d_H(x,x')$-- 
 appelÃ©e distance de Hamming entre $x$ et $x'$-- 
 les termes $x_i$ et $x'_i$ sont considÃ©rÃ©s comme des entiers naturels 
@@ -91,10 +95,10 @@ apporte une rÃ©ponse Ã  cette question.
 chaotiques $G_{f_u}$ sur $\mathcal{X}_u$}
 
 
-On peut tout d'abord dÃ©montrer que pour toute fonction boolÃ©enne $f$, 
-$G_{f_u}$ est continue sur $\mathcal{X}_u$ (cf annexe~\ref{anx:cont}).   
+% On peut tout d'abord dÃ©montrer que pour toute fonction boolÃ©enne $f$, 
+% $G_{f_u}$ est continue sur $\mathcal{X}_u$ (cf annexe~\ref{anx:cont}).   
 
-Pour charactÃ©rister les fonctions rendant chaotiques dans $\mathcal{X}_u$ les itÃ©rations de $G_{f_u}$ 
+Pour caractÃ©riser les fonctions rendant chaotiques dans $\mathcal{X}_u$ les itÃ©rations de $G_{f_u}$ 
 on se focalise donc que sur la rÃ©gularitÃ© et sur la transitivitÃ© de $G_{f_u}$.
 Ceci se rÃ©alise en Ã©tablissant les relations d'inclusion entre 
 les ensembles $\mathcal{T}$ des fonctions topologiquement transitives, 
@@ -102,23 +106,23 @@ $\mathcal{R}$ des fonctions rÃ©guliÃ¨res
 et $\mathcal{C}$ des fonctions chaotiques dÃ©finis respectivement ci-dessous:
 \begin{itemize}
 \item   $\mathcal{T}   =    \left\{f   :   \mathds{B}^n   \to
-\mathds{B}^n \big/ G_{f_u} \textrm{ est transitive} \right\}$,
+\mathds{B}^n \textrm{ t. q. } G_{f_u} \textrm{ est transitive} \right\}$,
 \item   $\mathcal{R}   =    \left\{f   :   \mathds{B}^n   \to
-\mathds{B}^n \big/ G_{f_u} \textrm{ est rÃ©guliÃ¨re} \right\}$,
+\mathds{B}^n \textrm{ t. q. } G_{f_u} \textrm{ est rÃ©guliÃ¨re} \right\}$,
 \item   $\mathcal{C}   =    \left\{f   :   \mathds{B}^n   \to
-\mathds{B}^n  \big/  G_{f_u}  \textrm{  est chaotique} \right\}$.
+\mathds{B}^n  \textrm{ t. q. }  G_{f_u}  \textrm{  est chaotique} \right\}$.
 \end{itemize}
 
 
-On Ã©nnonce les thÃ©orÃ¨mes successifs suivants.
-Leur preuve est donnÃ©e en annexe~\ref{anx:chaos:unaire}.
+On Ã©nonce les thÃ©orÃ¨mes successifs suivants dont les preuves sont donnÃ©es 
+dans~\cite{guyeux10}.
 
 \begin{theorem} $G_{f_u}$  est transitive si et seulement si 
  $\textsc{giu}(f)$ est fortement connexe.
 \end{theorem}
 
 \begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:u} $\mathcal{T} \subset \mathcal{R}$.
 \end{theorem}
 
 On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
@@ -126,7 +130,7 @@ On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
 
 \begin{theorem}%[Characterization of $\mathcal{C}$]
 \label{Th:CaracIC}  
-Soit $f:\Bool^n\to\Bool^n$. La fonction $G_{f_u}$ est chaotique  
+Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_u}$ est chaotique  
 si et seulement si $\textsc{giu}(f)$ est fortement connexe.
 \end{theorem}
 
