观察以下每组中的两个集合A、B,看看这两个集合中的元素有什么关系:(1)A={1,2},B={1,2,3}(2)A=N,B=R(3)A={x︱x为北京人}B={x︱x为中国人}以上几组集合中,集合A中的元素都在集合B中
对于集合A中的任何一个元素都是集合B的元素(若aA∈,则aB)∈,则称集合A是集合B的子集(subset)
记作AB,或BA
读作“集合A包含于集合B”或“集合B包含集合A”
用数学语言来表示就是:若xA∈,则xB∈,我们就说A是B的子集
记作AB,或BA
AB可以用Venn图来表示:BA当集合A不包含于集合B,或集合B不包含集合A时,记作AB,或BA
如A={1,2,3},B={2,3,4},则AB,当然,BA
规定:空集是任何集合的子集,即对于任何一个集合A,都有ΦA
思考:AB与BA能否同时成立
一般地,对于两个集合A与B,如果集合A的任何一个元素都是集合B的元素,同时集合B的任何一个元素都是集合A的元素,我们就说集合A等于集合B,记作A=B
用数学语言来表述上面的话就是:若AB,且BA,则A=B
对于两个集合A与B,如果AB,且A≠B,我们就说A是B的真子集(properset),记作AB(或BA),读作A真包含于B(或B真包含A)
我们也可以这样说:如果集合A是集合B的子集,并且集合B中至少有一个元素不是集合A的元素,那么A是B的真子集
集合A=B和AB可以用下面的图形来表示:ABA=BBAAB根据子集的定义,易知子集具有以下性质:(1)ΦA(空集是任何集合的子集)
(2)AA(任何一个集合是它本身的子集
(3)若AB,BC,则AC(包含关系具有传递性)
类似地,真子集具有以下性质:(1)若A≠Φ,则ΦA(空集是任何非空集合的真子集)
(2)若AB,BC,则AC(真包含关系也具有传递性)