From 0b1f2ee0402f9457b0feef1296ebca50bfa2a206 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 7 Mar 2016 12:32:02 +0100 Subject: Slight reformulation. --- notes-mitro206.tex | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'notes-mitro206.tex') diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 4737311..9dab67d 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -1677,19 +1677,19 @@ terminologie \ref{gale-stewart-winning-positions}, la proposition \ref{strategies-forall-exists-lemma} peut se reformuler de la façon suivante : \begin{itemize} -\item une position est gagnante pour le joueur qui doit jouer si et - seulement si \emph{il existe} un coup $x$ menant à une position - gagnante pour ce même joueur (qui est maintenant le joueur qui vient - de jouer), -\item une position est gagnante pour le joueur qui vient de jouer si - et seulement si \emph{tous} les coups $x$ mènent à des positions - gagnantes pour ce même joueur (qui est maintenant le joueur qui doit - jouer). +\item une position $\underline{z}$ est gagnante pour le joueur qui + doit jouer si et seulement si \emph{il existe} un coup $x$ menant à + une position $\underline{z}x$ gagnante pour ce même joueur (qui est + maintenant le joueur qui vient de jouer), +\item une position $\underline{z}$ est gagnante pour le joueur qui + vient de jouer si et seulement si \emph{tous} les coups $x$ mènent à + des positions $\underline{z}x$ gagnantes pour ce même joueur (qui + est maintenant le joueur qui doit jouer). \end{itemize} (Dans ces affirmations, « un coup $x$ » depuis une position -$(x_0,\ldots,x_{\ell-1})$ doit bien sûr se comprendre comme menant à -la position $(x_0,\ldots,x_{\ell-1},x)$ obtenue en ajoutant $x$ à la -fin.) +$\underline{z} := (z_0,\ldots,z_{\ell-1})$ doit bien sûr se comprendre +comme menant à la position $\underline{z}x := +(z_0,\ldots,z_{\ell-1},x)$ obtenue en ajoutant $x$ à la fin.) \subsection{Topologie produit} -- cgit v1.2.3