diff options
| author | David A. Madore <david+git@madore.org> | 2016-03-22 18:11:29 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-03-22 18:11:29 +0100 |
| commit | e8e5db2025c888744564e0d82960d4775cb1dd1f (patch) | |
| tree | b5a10986e629925d09e8056b6520ead6fa1f818f | |
| parent | c95c39d35b97bb69985eecde05a852b903cfce6d (diff) | |
| download | mitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.tar.gz mitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.tar.bz2 mitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.zip | |
Add more to index.
| -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, |