retouche preuve gray

[hdrcouchot.git] / 12TIPE.tex

diff --git a/12TIPE.tex b/12TIPE.tex
index afd60777f8de02acdfe4c2884ae8cc97077f3130..7c04d4905f9aa47d262af09869898a02dc5ad66c 100644 (file)
--- a/12TIPE.tex
+++ b/12TIPE.tex
@@ -14,9 +14,11 @@ Pour une stratégie $s = \left(s_t\right)_{t \in \mathds{N}}$
 de $[\mathsf{N}]$), on peut définir
 la fonction $F_{f_u}: \Bool^{\mathsf{N}} \times [\mathsf{N}]$
 vers $\Bool^\mathsf{N}$ par 
 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}).
 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
 
 Dans le schéma des itérations unaires pour une configuration initiale
 $x^0\in\Bool^\mathsf{N}$ et une stratégie $s\in