X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/4e673fe23eacd3db39c4bc51610f1650c372b13c..020defdbb2ac938563eba1071c78520973093e4b:/12TIPE.tex diff --git a/12TIPE.tex b/12TIPE.tex index 4f9fa9b..85efe78 100644 --- a/12TIPE.tex +++ b/12TIPE.tex @@ -33,9 +33,10 @@ $\mathcal{X}_u = et la fonction d'iteration $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 @@ -118,7 +119,7 @@ Leur preuve est donnée en annexe~\ref{anx:chaos:unaire}. \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}