X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/d69000ebda300fc836232f34cebb88ddfce4ac98..fcbc9202a51285ff17060f4d330eca0d57b2a3c1:/annexesccg.tex

diff --git a/annexesccg.tex b/annexesccg.tex
index 257f86c..d6843dc 100644
--- a/annexesccg.tex
+++ b/annexesccg.tex
@@ -23,7 +23,7 @@ arcs dont ${\mathsf{N}}$ est soit l'extrÃ©mitÃ©, soit l'origine (et dans ce dern
 cas, les arcs sont des boucles sur ${\mathsf{N}}$).
 \end{lemma}
 
-\begin{Proof}
+\begin{proof}
 Supposons que $G(f^{\alpha})$ possÃ¨de un arc de  $j$ vers $i$ de signe 
 $s$. Par dÃ©finition, il existe un sommet $x\in\Bool^{{\mathsf{N}}-1}$ tel que
 $f^{\alpha}_{ij}(x)=s$, et puisque 
@@ -42,13 +42,13 @@ Ainsi $f_{ij}(x,\alpha)$ est Ã©gal Ã  $s$.
 On a donc aussi
 $f^{\alpha}_{ij}(x)=s$. Ainsi $G(f^\alpha)$ possÃ¨de un arc 
 arc de $j$ vers $i$ de signe $s$.
-\end{Proof}
+\end{proof}
 
 \begin{lemma}\label{lemma:iso}
 Les graphes $\textsc{giu}(f^\alpha)$ et $\textsc{giu}(f)^\alpha$ sont isomorphes.
 \end{lemma}
 
-\begin{Proof}
+\begin{proof}
 Soit $h$ la bijection de $\Bool^{{\mathsf{N}}-1}$ vers
 $\Bool^{{\mathsf{N}}-1}\times \{\alpha\}$ dÃ©finie par $h(x)=(x,\alpha)$ pour chaque
 $x\in\Bool^{{\mathsf{N}}-1}$.
@@ -56,13 +56,13 @@ On voit facilement que $h$ permet de dÃ©finir un isomorphisme
 entre $\textsc{giu}(f^\alpha)$ et $\textsc{giu}(f)^\alpha$: 
 $\textsc{giu}(f^\alpha)$ possÃ¨de un arc de $x$ vers $y$ si et seulement si 
 $\textsc{giu}(f)^\alpha$ a un  arc de $h(x)$ vers $h(y)$.
-\end{Proof}
+\end{proof}
 
 
 On peut alors prouver le thÃ©orÃ¨me:
 \thAdrien*
 
-\begin{Proof}
+\begin{proof}
 La preuve se fait par induction sur ${\mathsf{N}}$. 
 Soit $f$ une fonction de $\Bool^{\mathsf{N}}$ dans lui-mÃªme et qui vÃ©rifie les hypothÃ¨ses 
 du thÃ©orÃ¨me.
@@ -94,7 +94,7 @@ En d'autres mots, il suffit de prouver que:
 On suppose tout d'abord que ${\mathsf{N}}$ a une boucle 
 nÃ©gative.
 Alors, d'aprÃ¨s la dÃ©finition de 
-$G(f)$, il existe $x\in\Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}{\mathsf{N}}}(x)<0$. 
+$G(f)$, il existe $x\in\Bool^{\mathsf{N}}$ tel que $f_{{\mathsf{N}}}(x)<0$. 
 Ainsi si $x_{\mathsf{N}}=0$, on a  $f_{\mathsf{N}}(x)>f_{\mathsf{N}}(\overline{x}^{\mathsf{N}})$, et donc 
 $x_{\mathsf{N}}=0\neq f_{\mathsf{N}}(x)$ et
 $\overline{x}^{\mathsf{N}}_{\mathsf{N}}=1\neq f_{\mathsf{N}}(\overline{x}^{\mathsf{N}})$; 
@@ -122,7 +122,7 @@ Puisque la valeur de $f_{\mathsf{N}}(x)$
 on a $f_{\mathsf{N}}(x')=f_{\mathsf{N}}(x)=1\neq x'_{\mathsf{N}}$ (resp. $f_{\mathsf{N}}(y')=f_{\mathsf{N}}(y)=0\neq
 y'_{\mathsf{N}}$). 
 Ainsi la  condition ($*$) est Ã©tablie, et le thÃ©orÃ¨me est prouvÃ©.
-\end{Proof}
+\end{proof}
 
 
 
