X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..8919030d089a2f9508939162c80665d0f9c7987f:/caracgeneralise.tex diff --git a/caracgeneralise.tex b/caracgeneralise.tex index 0427db8..54d99af 100644 --- a/caracgeneralise.tex +++ b/caracgeneralise.tex @@ -56,7 +56,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} $\mathcal{T} \subset \mathcal{R}$. +\label{Prop: T est dans R:gp} $\mathcal{T} \subset \mathcal{R}$. \end{theorem} @@ -91,7 +91,7 @@ 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: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}