1.1.2 集合间的基本关系

子集

定义

一般地,对于两个集合A,B,如果A的任意一个元素都是集合B的元素,我们就说这两个集合有包含关系,称集合A为集合B的子集(subset),记作A⊆B(或B⊇A),读作“A含于B”(或“B包含A”).

表示(Venn图)

在数学中,我们经常用平面上封闭曲线的内部代表集合,这种图称为Venn图.这样,上述集合A和集合B的包含关系可以用Venn图表示为:

推广

相等

如果集合A是集合B的子集(A⊆B),且集合B是集合A的子集(B⊆A),此时,集合A与集合B中的元素是一样的,因此,集合A与集合B相等,记作:A=B;

真子集

如果集合A⊆B,但存在元素X∈B,且x∉A,我们称集合A是集合B的真子集(proper subset),记作:A⫋B(或B⫌A);

eg:A⊆B,但4∈B,且4∉A,所以集合A是集合B的真子集;

图示

空集

我们把不含任何元素的集合叫做空集(empty set),记为∅,并规定:空集是任何集合的子集;

结论&延伸

(1)任何一个集合是它本身的子集,即:A⊆A;

(2)对于集合A,B,C,如果A⊆B,且B⊆C,那么A⊆C;

(3)若集合A有N个元素,则A的

  • 子集个数为 2的N次方 个;

  • 真子集为 2的N次方 减1 个;

  • 非空子集为 2的N次方 减1 个;

  • 非空真子集为 2的N次方 减2 个.

Last updated