0325132人目の素数さん垢版 | 大砲2018/01/09(火) 23:05:57.98ID:2VVPqXn0 定義1.2 (X,O) は位相空間とする. S ⊆ X は, 高々可算無限個の閉集合Fi ⊆ X が存在して, ・ 各Fiは内点を持たない, ・ S ⊆∪i Fi が成り立っているとする. このとき,「S は内点を持たない閉集合の高々可算和で被覆できる」と書 くことにする. ここで定義しているのは 「内点を持たない閉集合の高々可算和で被覆できる」 ということ そしてそれはSに関する命題 Xを定義とかアホですか