第10回 有限交叉性
集合Aの部分集合族Aは、Aに属する有限個の集合
であるとき、有限交叉性をもつという。
定理 位相空間
(1) 位相空間
(2)
【証明】
(1)⇒(2)
位相空間
で定義する。
もし、
であれば、ド・モルガンの法則より
となり、Xの開被覆になる。
とすることができる。
ド・モルガンの法則を改めて適用すると、
となりFが有限交叉性をもつことと矛盾。
よって、有限交叉性をもてば、
(2)⇒(1)
逆に、Xの任意の有限交叉性をもつ閉集合が
UをXの開被覆とすると、
より、
となるので、
はXの閉集合からなる集合族。
(2)の対偶をとると、
のとき、ある
とすることができる。
ド・モルガンの法則を用いると、
よって、
(証明終)
参考までに、
チコノフ(Tychonoff)の定理
チコノフ(Tychonoff)の定理
位相空間の族