本文介绍了集合论的基础概念，包括交集的引理与性质，如∩({A})=A，以及偶集的交集定义与性质。此外，还探讨了交集与并集的关系，如A∩(B∪C)=(A∩B)∪(A∩C)，以及差集的概念与定义。最后，讨论了余集与de-Morgan法则，展示了集合操作的互补性质。
交集
引理
对于集组 M≠∅, 集合 A={
x∣∀X(X∈M⇒x∈X)} 存在且唯一。
为简化书写，可写成 A={
x∣∀X∈M(x∈X)}
证明：
由于 M≠∅, 可取 X0∈M, 于是
A={
x∣∀X(X∈M⇒x∈X)}={
x∈X0∣∀X(X∈M⇒x∈X)}
定义
对于集组 M≠∅, 记 ∩(M)={ x∣∀X∈M(x∈X)}, 并称之为集组 M 的成员的交集。
性质
证明： ∩({
A})={
x∣∀X∈{
A}(x∈X)}
={
x∣∀X=A(x∈X)}
={
x∣x∈A}
=A
偶集的交
定义
对于任意一个偶集 { A
最低0.47元/天 解锁文章
9709
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
