This commit is contained in:
parent
eb87abe472
commit
ea31fcac63
1 changed files with 13 additions and 1 deletions
|
@ -18,6 +18,18 @@ and $B_2$ is meager.
|
||||||
is Baire.
|
is Baire.
|
||||||
\end{fact}
|
\end{fact}
|
||||||
|
|
||||||
\subsection{Exercise 2}
|
\subsection{Exercise 4}
|
||||||
|
|
||||||
|
\begin{enumerate}[(i)]
|
||||||
|
\item $|B| = \fc$, since $B$ contains a comeager
|
||||||
|
$G_\delta$ set, $B'$:
|
||||||
|
$B'$ is Polish,
|
||||||
|
hence $B' = P \cup C$
|
||||||
|
for $P$ perfect and $C$ countable,
|
||||||
|
and $|P| \in \{\fc, 0\}$.
|
||||||
|
But $B'$ can't contain isolated point$.
|
||||||
|
\end{enumerate}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue