定理2 德摩根( De Morgan)公式
若 { A α : α ∈ A } \{A_{\alpha} : \alpha\in A \} {
Aα:α∈A} 是一族集合,则
(1)
( ∪ α ∈ A A α ) c = ∩ α ∈ A A α c ( \underset{\alpha\in A} {\cup} A_{\alpha} )^{c}=\underset{\alpha\in A} {\cap} A_{\alpha}^{c} (α∈A∪Aα)c=α∈A∩Aαc
(2)
( ∩ α ∈ A A α ) c = ∪ α ∈ A A α c . ( \underset{\alpha\, \in\, A} {\cap} A_{\alpha} )^{\, c}=\underset{\alpha\, \in\, A} {\cup} A_{\alpha}^{\, c}. (α∈A∩Aα)c=α∈A∪Aαc.
例11
设 { f n ( x ) } \{f_{n} ( \, x \, ) \, \} {
fn(x)} 是定义在 E E E 上的函数列.若 x ∈ E x \in E x∈E ,则 { f n ( x ) } \{f_{n} ( x ) \} {
fn(x)} 有界的充要条件是存在 M > 0 , M \! > \! 0 \,, M>0, 使得对任意 n , ∣ f n ( x ) ∣ ≤ M . n \,, \, | f_{n} ( \, x \, ) | \leq M. n,∣fn(x)∣≤M.
注意到与“存在”相对应的是并集运算,与“任意”相对应的是交集运算,
从而