X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/020defdbb2ac938563eba1071c78520973093e4b..d69000ebda300fc836232f34cebb88ddfce4ac98:/caracgeneralise.tex?ds=inline

diff --git a/caracgeneralise.tex b/caracgeneralise.tex
index 54d99af..3014a6b 100644
--- a/caracgeneralise.tex
+++ b/caracgeneralise.tex
@@ -1,9 +1,8 @@
 
-CommenÃ§ons par caractÃ©riser l'ensemble $\mathcal{T}$ des fonctions transitives:
+CommenÃ§ons par caractÃ©riser l'ensemble $\mathcal{T}$ des fonctions transitives dans le cas 
+des itÃ©rations gÃ©nÃ©ralisÃ©es.
 
-\begin{theorem} $G_{f_g}$  est transitive si et seulement si 
- $\textsc{gig}(f)$ est fortement connexe.
-\end{theorem}
+\caractransitivegeneralise*
 
 \begin{Proof} 
 
@@ -55,9 +54,7 @@ par contraposÃ©e, on a la dÃ©monstration souhaitÃ©e.
 
 Prouvons Ã  prÃ©sent le thÃ©orÃ¨me suivant: 
 
-\begin{theorem}
-\label{Prop: T est dans R:gp} $\mathcal{T} \subset \mathcal{R}$.
-\end{theorem}
+\caracsubgeneralise*
 
 
 \begin{Proof}  
@@ -88,10 +85,4 @@ choix de  $t_1$, on a  $d((x,S),(x,\tilde S))<\epsilon$.
 \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:gp}  
-Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique  
-si et seulement si $\textsc{gig}(f)$ est fortement connexe.
-\end{theorem}
+= \mathcal{T}$. 
\ No newline at end of file
