一个集合A,这样得到许多集合,它们的总体称为集合族,
记为{A ; }或{A } ,其中称为指标集.
对于集合族 {A } , 若对任意
, , ,都有A A ,
则称该集合族是互不相交的或两两不交的.
类似定义其交集,即
A {x | 对每一 ,有x A}
例1
若
An
{x;0
x
1
1}, n n
称为A的余集,简记为 CA或Ac. 余:Cs A S A (其中S为全集),简记为Ac
注:A B A Bc
定理5
(1) S C , C S.
(2) A AC S, A AC .
(3) ( AC )C A. (4) 若A B,则AC BC .
定理6 De Morgan 公式
: 1
1 n
x
1
1 n
},
n
N,
(
(
-2 -1-1/n -1
]
)
0 1-1/n 1
n1
An
[1,0]
n1
An
(2,1)
练习:
若An
{x; 1 n
x
1}, n
1,2,,则 An n1
答案: An (0,1) n1
证明:对任意n N,有An
(1 ,1) n
(0,1),
故 An (0,1). n1
x A B当且仅当x A或x B.
一簇集合 {A } ,可类似定义其并集,即
A {x;存在 ,使x A }
例1
若
An
{x;1
1 n
x
1
1},n n
1,2,3,,
则 An (1,1). n1
例2 若 A {x; 1 x }, R,