定理4
任意多个闭集之交仍为闭集，有限多个闭集之并仍为闭集
证明（利用德摩根公式）
设 F i , i ∈ Λ ( 或 i = 1 , 2 , ⋯ , m ) F _ { i } , i \in \Lambda ( 或 i = 1 , 2 , \cdots , m ) Fi,i∈Λ(或i=1,2,⋯,m) 是闭集，则由定理2知各 F i c F _ { i } ^ { c } Fic 是开集，从而由定理3知， ⋃ i ∈ A F i ∗ ( 或 ∏ i = 1 n F i e ) \bigcup _ { i \in A } F _ { i } ^ { * } \left( 或 \prod _ { i = 1 } ^ { n } F _ { i } ^ { e } \right) ⋃i∈AFi∗(或∏i=1nFie) 也是开集，但由德摩根公式有
⋂ i ∈ A F i = ( ⋃ i ∈ A F i c ) c ( 或 ⋃ i = 1 m F i = ( ⋂ i = 1 n F i c ) c ) , \bigcap _ { i \in A } F _ { i } = \left( \bigcup _ { i \in A } F _ { i } ^ { c } \right) ^ { c } \quad \left( \mathfrak { 或} \bigcup _ { i = 1 } ^ { m } F _ { i } = \left( \bigcap _ { i = 1 } ^ { n } F _ { i } ^ { c } \right) ^ { c } \right) , i∈A⋂Fi=(i∈A⋃Fic)c(或i=1⋃mFi=(i=1⋂nFic)c),
故再利用定理2便知 ⋂ i ∈ A F i ( ⋃ i = 1 m F i ) \bigcap _ { i \in A } F _ { i } \left( \bigcup_ { i = 1 } ^ { m } F _ { i } \right) ⋂i∈AFi(⋃i=1mFi) 是 闭集.
注意，任意多个闭集的和不一定是闭集.例如，
F n = [ 1 n , 1 − 1 n ] , n = 3 , 4 , ⋯ , F _ { n } = \left[ \frac { 1 } { n } , 1 - \frac { 1 } { n } \right] , \quad n = 3 , 4 , \cdots , Fn=[n1,1−n1],n=3,4,⋯,
则 F n F _ { n } Fn
最低0.47元/天 解锁文章
2784
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
