约 1 分钟
1.4 集合的运算定律

↙️ backlink

幂等律

UU 为全集, A,B,CA,B,C 为任意集合.

  • AA=A, AA=AA\cup A=A,\ A\cap A=A
  • 幂运算:从乘法运算拓展而来的一般情况,若某种运算满足特定条件,则称为针对XX运算的多少次幂. AAA\cup A 可看作 AA 针对并运算的2次幂.
  • 结论:并和交运算,集合的1,2,3, \cdots 次幂相等(因此叫做幂等律).

交换律

  • AB=BA, AB=BAA\cup B=B\cup A,\ A\cap B=B\cap A .

结合律

  • A(BC)=(AB)C, A(BC)=(AB)CA\cup(B\cup C)=(A\cup B)\cup C,\ A\cap(B\cap C)=(A\cap B)\cap C .

同一律

  • A=A, AU=AA\cup\varnothing=A,\ A\cap U=A .

零律

  • AU=U, A=A\cup U=U,\ A\cap\varnothing=\varnothing .

分配律

  • A(BC)=(AB)(AC), A(BC)=(AB)(AC)A\cup(B\cap C)=(A\cup B)\cap(A\cup C),\ A\cap(B\cup C)=(A\cap B)\cup(A\cap C) .

吸收律

  • A(AB)=A, A(AB)=AA\cup(A\cap B)=A,\ A\cap(A\cup B)=A .

矛盾律和排中律

  • AA=, AA=U\overline A\cap A=\varnothing,\ \overline A\cup A=U .

双重否定律

  • {A}=A\overline\{\overline A\}=A

德摩根律

  • {AB}=AB, {AB}=AB\overline\{A\cup B\}=\overline A\cap\overline B,\ \overline\{A\cap B\}=\overline A\cup\overline B .