From b94ec754783280b064a45ffd4270c22790770232 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Mon, 30 Nov 2015 22:54:22 +0100 Subject: Fix description of Choquet's game. --- notes-mitro206.tex | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) (limited to 'notes-mitro206.tex') diff --git a/notes-mitro206.tex b/notes-mitro206.tex index c659b13..13da374 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -349,16 +349,17 @@ essentielle. \thingy Le \textbf{jeu topologique de Choquet} : soit $X$ un espace métrique (ou topologique) fixé à l'avance. Uriel et Vania choisissent -tour à tour un ouvert de ($X$ contenu dans) l'ouvert précédemment -choisi : i.e., Uriel choisit $U_0 \subseteq X$, puis Vania choisit -$V_0 \subseteq U_0$, puis Uriel choisit $U_1 \subseteq V_0$ et ainsi -de suite. Le jeu continue pendant un nombre infini de tours indicés -par les entiers naturels. À la fin, on a bien sûr -$\bigcap_{n=0}^{\infty} U_n = \bigcap_{n=0}^{\infty} V_n$ : on dit -qu'Uriel gagne le jeu si cette intersection est vide, Vania le gagne -si elle est non-vide. On peut se convaincre que si $X = \mathbb{Q}$, -alors Uriel possède une stratégie gagnante, tandis que si $X = -\mathbb{R}$ c'est Vivien qui en a une. +tour à tour un ouvert non vide de ($X$ contenu dans) l'ouvert +précédemment choisi : i.e., Uriel choisit $\varnothing \neq U_0 +\subseteq X$, puis Vania choisit $\varnothing \neq V_0 \subseteq U_0$, +puis Uriel choisit $\varnothing \neq U_1 \subseteq V_0$ et ainsi de +suite. Le jeu continue pendant un nombre infini de tours indicés par +les entiers naturels. À la fin, on a bien sûr $\bigcap_{n=0}^{\infty} +U_n = \bigcap_{n=0}^{\infty} V_n$ : on dit qu'Uriel gagne le jeu si +cette intersection est vide, Vania le gagne si elle est non-vide. On +peut se convaincre que si $X = \mathbb{Q}$, alors Uriel possède une +stratégie gagnante, tandis que si $X = \mathbb{R}$ c'est Vivien qui en +a une. \subsection{Remarques} -- cgit v1.2.3