2.1 Baire のカテゴリー定理


\begin{jtheorem}[カテゴリー定理]
$X$\ が完備距離空間ならば、
...
...対して、
$\exists n\in\N$\ s.t. $F_n$\ は内点を含む。
\end{jtheorem}

\begin{jremark}[カテゴリー定理という名前の由来]
(省略)
\end{jremark}

桂田 祐史
2017-04-30