请输入您要查询的字词:

 

单词 PropertiesOfSetDifference
释义

properties of set difference


Let A,B,C,D,X be sets.

  1. 1.

    ABA. This is obvious by definition.

  2. 2.

    If A,BX, then

    AB=AB,(AB)=AB,and  AB=BA

    where denotes complementPlanetmathPlanetmath in X.

    Proof.

    For the first equation, see here (http://planetmath.org/PropertiesOfComplement). The second equation comes from the first: (AB)=(AB)=(A)(B)=AB. The last equation also follows from the first: AB=A(B)=BA=BA.∎

  3. 3.

    AB iff AB=.

    Proof.

    Since AB, BA. Then AB=ABAA=. On the other hand, suppose AB=. Then AB= by property 1, which means A(B)=B.∎

  4. 4.

    AB= iff AB=A.

    Proof.

    Suppose first that AB=. If aA, then aB, so aAB, and hence AAB. The equality is shown by applying property 1. Next suppose AB=A. If aA, then aAB, so aB, which means AB, or AB=.∎

  5. 5.

    A=A and AA==A.

    Proof.

    The first equation follows from property 4 and the last two equations from property 3.∎

  6. 6.

    (de Morgan’s laws on set differenceMathworldPlanetmath):

    A(BC)=(AB)(AC)   and   A(BC)=(AB)(AC).
    Proof.

    These laws follow from property 2 and the de Morgan’s laws on set complement. For example, A(BC)=(AB)(AC)=A(BC)=A(BC)=(AB)(AC)=(AB)(AC). The other equation is proved similarly.∎

  7. 7.

    A(AB)=AB=(AB)B.

    Proof.

    The first equation follows from property 6: A(AB)=(AA)(AB)=AB by property 5. Next, (AB)B=(AB)B=(AB)(BB)=AB=AB, proving the second equation.∎

  8. 8.

    (AB)C=(AC)(BC).

    Proof.

    Using property 2, we get (AB)C=(AB)C=(AC)(BC)=(AC)(BC).∎

  9. 9.

    A(BC)=(AB)(AC).

    Proof.

    (AB)(AC)=(AB)(AC)=(AB)(AC)=((AB)A)((AB)C)=(AB)C=A(BC)=A(BC).∎

  10. 10.

    (AB)(CD)=(CB)(AD)

    Proof.

    Expanding the LHS, we get ABCD. Expanding the RHS, we get the same thing.∎

  11. 11.

    (AB)(CD)=(AC)(BD).

    Proof.

    Starting from the RHS: (AC)(BD)=((AC)B)((AC)D)=(AB)(CB)(AD)(CD)=(AB)(CD), where the last equality comes from property 10.∎

Remarks.

  1. 1.

    Many of the proofs above use the properties of the set complement. Please see this link (http://planetmath.org/PropertiesOfComplement) for more detail.

  2. 2.

    All of the properties of on sets can be generalized to Boolean subtraction (http://planetmath.org/DerivedBooleanOperations) on Boolean algebrasMathworldPlanetmath.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:02:29