summaryrefslogtreecommitdiffstats
path: root/notes-mitro206.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-20 21:16:02 +0100
committerDavid A. Madore <david+git@madore.org>2016-03-20 21:16:02 +0100
commite941e22a6752d8c4dca1346570f7c83cc12f9965 (patch)
treebe75e3905a1c4119c54de23ed4cc4b8092b5ebab /notes-mitro206.tex
parent0c85d6fb339ff5c581a4b6c6662de1a48d66f818 (diff)
downloadmitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.tar.gz
mitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.tar.bz2
mitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.zip
Fix missing clause in definition of Borel sets.
Diffstat (limited to 'notes-mitro206.tex')
-rw-r--r--notes-mitro206.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index cfbd2c9..a8df1eb 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -1948,7 +1948,7 @@ assez technique à démontrer :
Si $A \subseteq X^{\mathbb{N}}$ est \emph{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 »), alors le jeu $G_X(A)$ est déterminé.
+« 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,