暇つぶし2chat MATH

- 暇つぶし2ch243:１３２人目の素数さん
18/02/15 17:34:13.49 VntZxPVK.net
とりあえず、これだけは言っておこう。
R－B_f は第一類集合とする。このとき、「 B_f 」の方は次の性質を満たす。
――――――――――――――――
B_f ⊂ ∪_k F_k なる可算無限個の閉集合 F_k を任意に取るとき、
ある F_k は内点を持つ(ベールのカテゴリ定理より)。
――――――――――――――――
↑お前は今までずっとこの性質を無視し続けてきたので、これからはこの性質を使いたまえ。