>>35 関連
”Interesting, each of the sets of points where these
functions fail to be differentiable is large in the
sense of Baire category.

THEOREM: Let g be continuous and discontinuous on sets
of points that are each dense in the reals.
Then g fails to have a derivative on a
co-meager (residual) set of points. In fact,
g fails to satisfy a pointwise Lipschitz
condition, a pointwise Holder condition,
or even any specified pointwise modulus of
continuity condition on a co-meager set.
(Each co-meager set has c points in every interval.)”

（参考）
https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%BC%E3%83%AB%E7%A9%BA%E9%96%93
ベール空間

定義
ベール空間の詳しい定義は、主にその時々に支配的だった需要と観点に起因して、時代とともに少しずつ変化してきた。まずは、よくある現代的定義を述べ、そのあとベールが与えたオリジナルの定義により近い歴史的定義を挙げる。

現代的定義
位相空間がベール空間であるとは、内部が空であるような閉集合からなる任意の可算族の合併は必ず内部が空になるときに言う。

この定義は以下のように同値な条件で言い換えることもできる。

・可算個の稠密開集合の交わりは必ず稠密になる。
・可算個の疎閉集合の合併の内部は必ず空になる。
・X の可算個の閉集合の合併が内点を持つ限り常に、それら閉集合の中に内点を持つものがある。

つづく