From 03c5d8e1d403c04c29d930f8df8bee122cfe4a20 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 23 Mar 2016 17:30:25 +0100
Subject: Slight update to index.
---
notes-mitro206.tex | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 876c0cc..9e1373d 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -134,7 +134,7 @@ quelques unes de ces théories des jeux.
le jeu possède un \defin{état}, qui évolue dans un ensemble (fini ou
infini) d'états ou \defin{positions} possibles ; un certain nombre de
\defin{joueurs} choisissent, simultanément ou consécutivement, un
-\defin{coup} à jouer parmi différentes \defin{options}, en fonction
+\defin{coup} à jouer parmi différentes \defin[option]{options}, en fonction
de l'état courant, ou peut-être seulement d'une fonction de l'état
courant ; ce coup peut éventuellement faire intervenir un aléa (hasard
voulu par le joueur) ; l'état du jeu évolue en fonction des coups des
@@ -3344,7 +3344,7 @@ $G/\equiv$, on a bien $f(x) = f(x')$ ssi $x\equiv x'$).
\subsection{Présentation informelle}
-\thingy Les ordinaux sont une sorte de nombres, totalement ordonnés et
+\thingy Les \index{ordinal}ordinaux sont une sorte de nombres, totalement ordonnés et
même « bien-ordonnés », qui généralisent les entiers naturels en
allant « au-delà de l'infini » : les entiers naturels
$0,1,2,3,4,\ldots$ sont en particulier des ordinaux (ce sont les plus
@@ -4394,7 +4394,7 @@ souligne que les chiffres sont \emph{tous nuls sauf un nombre fini}
(ce qui permet de les comparer lexicographiquement).
Les deux cas les plus importants sont $\tau=2$ et $\tau=\omega$ : le
-cas $\tau=2$ correspond à l'\defin{écriture binaire} d'un ordinal,
+cas $\tau=2$ correspond à l'\index{binaire (écriture)}\defin{écriture binaire} d'un ordinal,
c'est-à-dire son écriture comme somme décroissante finie de puissances
de $2$ distinctes, et le cas $\tau=\omega$ s'appelle écriture en
\defin[Cantor (forme normale de)]{forme normale de Cantor}, c'est-à-dire comme somme
--
cgit v1.2.3