X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..3759a997c005ffb313be135f98820410cb6061b4:/caracunaire.tex

diff --git a/caracunaire.tex b/caracunaire.tex
index c74aaf0..35b28b5 100644
--- a/caracunaire.tex
+++ b/caracunaire.tex
@@ -8,7 +8,7 @@ On prouve les théorèmes suivants
 
 
 
-\begin{Proof} 
+\begin{proof} 
 
 $\Longleftarrow$ Supposons que $\textsc{giu}(f)$ soit fortement connexe.
 Soient $(x,S)$ et $(x',S')$ deux points de $\mathcal{X}_u$ et  $\varepsilon >0$. 
@@ -53,7 +53,7 @@ Pour tout entier naturel $t$, on a
 $G_{f_u}^t(x'',S'') \neq (x',S')$.
 Ainsi $G_{f_u}$ n'est pas transitive et 
 par contraposée, on a la démonstration souhaitée.
-\end{Proof}
+\end{proof}
 
 
 Prouvons à présent le théorème suivant: 
@@ -63,7 +63,7 @@ Prouvons à présent le théorème suivant:
 \end{theorem}
 
 
-\begin{Proof}  
+\begin{proof}  
 Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$ telle que  $G_{f_u}$ est transitive (\textit{i.e.}
 $f$ appartient à $\mathcal{T}$). 
 Soit $(x,S) \in\mathcal{X}_u$ et $\varepsilon >0$. Pour 
@@ -88,13 +88,13 @@ Il est évident que  $(x,\tilde S)$ s'obtient à partir de  $(x,\tilde S)$ aprè
 $t_1+t_2$ itérations parallèles de $G_{f_u}$. Ainsi $(x,\tilde S)$ est un point 
 périodique. Puisque $\tilde s_t$ est égal à $s_t$ pour $t<t_1$, d'après le 
 choix de  $t_1$, on a  $d((x,S),(x,\tilde S))<\epsilon$.
-\end{Proof}
+\end{proof}
 
 On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
 = \mathcal{T}$. On a alors la  caractérisation suivante:
 
 \begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}  
+\label{Th:CaracIC:up}  
 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}