有些恒等式或"规律"有确定的名称?三组规律不加 证明 地罗列如下: 命题 1:对任意 集合 A,B,C,下列恒等式成立: : 交换律 : :: - A ∪B
=
B ∪A :: - A ∩B
=
B ∩A : 结合律 : :: - A ∪Ø
=
A :: - (A ∩B) ∩C
=
A ∩(B ∩C) : 分配律 : :: - A ∪(B ∩C)
=
(A ∪B) ∩(A ∪C) :: - A ∩(B ∪C)
=
(A ∩B) ∪(A ∩C) 注意并集和交集同算术加法和?法的相似性是非常明显的。
同加法和?法一样,并集和交集也是满足交换律堌结合律的,而且,交集对并集满足分頍律;但是,并集对交集也满足分配律?这同加法和乘法不一样。
下一个命颠包含三种特殊集合: 空集 、 全集 、集合的 补集 ,给出关于它们的两组规律。
命题 2:对全集 U 的任意 子集 A,下列恒等式成立: :同一性: :: - (A ∪B) ∪C
=
A ∪(B ∪C) :: - A ∩U
=
A :补集律: :: - A ∪AC
=
U :: - A ∩AC
=
Ø 同一性(绠合交换律)说明,就像 0 和 1 对于加法和乘法,Ø 和 U 是并集和交集的 单位元 。
同加法和乘法不同,并集和交集沠有 逆元 。
然而,补集律给出了类似逆运算的 一元运算 ,集合的补集的基本性质。
上述五绠性质:交换律、结合律、分配律、同丠性和补集律,可以说包含了集合代数皠所有内容,可以认为集合代数中所有歠确的命题都是从它们得到的。
内容来自网友回答
补集及其运算