現代的定義

ウィキペディア小見出し辞書

現代的定義

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/07/06 21:42 UTC 版)

「ベール空間」の記事における「現代的定義」の解説

位相空間がベール空間であるとは、内部が空であるような閉集合からなる任意の可算族の合併は必ず内部が空になるときに言う。 この定義は以下のように同値な条件で言い換えることもできる。 可算個の稠密開集合の交わりは必ず稠密になる。 可算個の疎閉集合の合併の内部は必ず空になる。 X の可算個の閉集合の合併が内点を持つ限り常に、それら閉集合の中に内点を持つものがある。