diff options
| -rw-r--r-- | notes-mitro206.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 6e7d13f..bd89ae5 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -1957,10 +1957,10 @@ théorème \ref{gale-stewart-theorem} et ce qu'on vient de dire, et il assez technique à démontrer : \begin{thm}[D. A. Martin, 1975] -Si $A \subseteq X^{\mathbb{N}}$ est \emph{borélien}, c'est-à-dire +Si $A \subseteq X^{\mathbb{N}}$ est \defin{borélien}, c'est-à-dire appartient à la plus petite partie de $\mathscr{P}(X^{\mathbb{N}})$ stable par complémentaire et réunions dénombrables (également appelée -« tribu ») contenant les ouverts, alors le jeu $G_X(A)$ est déterminé. +\defin{tribu}) contenant les ouverts, alors le jeu $G_X(A)$ est déterminé. \end{thm} (Autrement dit, non seulement un ouvert et un fermé sont déterminés, |