diff options
| author | David A. Madore <david+git@madore.org> | 2016-03-20 21:16:02 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-03-20 21:16:02 +0100 |
| commit | e941e22a6752d8c4dca1346570f7c83cc12f9965 (patch) | |
| tree | be75e3905a1c4119c54de23ed4cc4b8092b5ebab | |
| parent | 0c85d6fb339ff5c581a4b6c6662de1a48d66f818 (diff) | |
| download | mitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.tar.gz mitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.tar.bz2 mitro206-e941e22a6752d8c4dca1346570f7c83cc12f9965.zip | |
Fix missing clause in definition of Borel sets.
| -rw-r--r-- | notes-mitro206.tex | 2 |
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, |