集合代数, 此條目没有列出任何参考或来源, 2022年11月24日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而被移除, 发展并描述了集合的基本性质和规律, 集合论运算, 如并集, 交集, 补集, 以及集合的关系, 如等于, 包含, 这门学科系统研究如何来表达和进行上述的运算和关系的操作, 目录, 导言, 集合上的基本结构, 代数结构, 序结构, 集合上结构的最小定义, 对偶性原理, 更多关于并集和交集的定律, 更多关于补集的定律, 包含的代数, 相对. 此條目没有列出任何参考或来源 2022年11月24日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而被移除 集合代数发展并描述了集合的基本性质和规律 集合论运算 如并集 交集 补集 以及集合的关系 如等于 包含 这门学科系统研究如何来表达和进行上述的运算和关系的操作 目录 1 导言 2 集合上的基本结构 2 1 代数结构 2 2 序结构 3 集合上结构的最小定义 4 对偶性原理 5 更多关于并集和交集的定律 6 更多关于补集的定律 7 包含的代数 8 相对补集的代数 9 常用代数结构 9 1 半环 9 2 格 9 3 环 代数 9 4 UNIQ postMath 000000E0 QINU 环 UNIQ postMath 000000E1 QINU 代数 10 参考导言 编辑集合代数是研究集合运算和集合关系的基本性质的学科 研究这些性质可以深入探究集合的本质 也有助于实际应用 像普通算术的表达和计算一样 集合的表达和计算可能相当复杂 通过系统研究将有助于熟练使用和理解这些表达方式并进行计算 在算术研究方面 是通过初等代数来研究算术的运算和关系的 例如 加法和乘法运算遵循人们看时候带吃熟知的交换律 结合律和分配律 而 小于等于 关系满足自反性 反对称性和传递性 这些规律提供了简化计算的工具 并描述了算术的本质 运算和关系 集合代数相当于集合论中的算术代数 它是关于集合论运算如交集 并集 补集 和集合论关系如等于 包含等的代数 本文主要介绍这些内容 对集合的基本介绍请参见集合 更详尽的内容请参见朴素集合论 集合上的基本结构 编辑集合上通常自然定义的结构包括 二元关系 包含 displaystyle subseteq nbsp A B displaystyle A subseteq B nbsp 当且仅当 e e A e B displaystyle forall e e in A implies e in B nbsp 真包含 displaystyle subset nbsp A B displaystyle A subset B nbsp 当且仅当 A B displaystyle A subseteq B nbsp 且 A B displaystyle A neq B nbsp 二元运算 交 displaystyle cap nbsp A B displaystyle A cap B nbsp 定义为 e e A displaystyle e mid e in A nbsp 且 e B displaystyle e in B nbsp 并 displaystyle cup nbsp A B displaystyle A cup B nbsp 定义为 e e A displaystyle e mid e in A nbsp 或 e B displaystyle e in B nbsp 差 displaystyle nbsp A B displaystyle A B nbsp 定义为 e e A displaystyle e mid e in A nbsp 且 e B displaystyle neg e in B nbsp 亦称相对补 对称差 displaystyle triangle nbsp A B displaystyle A triangle B nbsp 定义为 A B B A displaystyle A B cup B A nbsp 补 补运算的前提是存在一个由上下文确定的全集X displaystyle X nbsp 其某个子集A displaystyle A nbsp 对于X displaystyle X nbsp 的补A c displaystyle A c nbsp 定义为 X A displaystyle X A nbsp 其它运算 幂集 P A displaystyle mathcal P A nbsp 定义为 E E A displaystyle E mid E subseteq A nbsp A 的幂集是 A 所有子集构成的集合 笛卡尔积 X Y displaystyle X times Y nbsp 定义为 x y x X y Y displaystyle left left x y right mid x in X land y in Y right nbsp 即所有可能的有序对组成的集合 特殊的集合 空集 displaystyle varnothing nbsp 没有任何元素的集合 全集 这是一个由上下文确定的集合 通常上下文中其它的集合都是它的子集 这些二元关系和二元运算构成了集合上的基本结构 包括序结构和代数结构 代数结构 编辑 代数结构是关于运算的结构 以下是集合间运算的基本性质 交换律 A B B A displaystyle A cap B B cap A nbsp A B B A displaystyle A cup B B cup A nbsp A B B A displaystyle A triangle B B triangle A nbsp 结合律 A B C A B C displaystyle A cap B cap C A cap B cap C nbsp A B C A B C displaystyle A cup B cup C A cup B cup C nbsp A B C A B C displaystyle A triangle B triangle C A triangle B triangle C nbsp 分配律 A B C A C B C displaystyle A cap B cup C A cup C cap B cup C nbsp A B C A C B C displaystyle A cup B cap C A cap C cup B cap C nbsp A B C A C B C displaystyle A B cap C A cap C B cap C nbsp A B C A C B C displaystyle A triangle B cap C A cap C triangle B cap C nbsp 幂等律 A A A displaystyle A cup A A nbsp A A A displaystyle A cap A A nbsp 幺元 A A A displaystyle A cup varnothing varnothing cup A A nbsp displaystyle varnothing nbsp 是 displaystyle cup nbsp 运算的幺元 A A A displaystyle A triangle varnothing varnothing triangle A A nbsp displaystyle varnothing nbsp 是 displaystyle triangle nbsp 运算的幺元 A A displaystyle A varnothing A nbsp displaystyle varnothing nbsp 是 displaystyle nbsp 运算的右幺元 零元 A A displaystyle A cap varnothing varnothing cap A varnothing nbsp displaystyle varnothing nbsp 是 displaystyle cap nbsp 运算的零元 A displaystyle varnothing A varnothing nbsp displaystyle varnothing nbsp 是 displaystyle nbsp 运算的左零元 幂幺律 A A displaystyle A triangle A varnothing nbsp 德 摩根律 C A B C A C B displaystyle C A cup B C A cap C B nbsp C A B C A C B displaystyle C A cap B C A cup C B nbsp A B c A c B c displaystyle A cup B c A c cap B c nbsp 这条是第一条的补集形式 A B c A c B c displaystyle A cap B c A c cup B c nbsp 这条是第二条的补集形式 吸收律 A A B A displaystyle A cup A cap B A nbsp A A B A displaystyle A cap A cup B A nbsp 序结构 编辑 包含关系 displaystyle subseteq nbsp 有如下性质 自反性 A A displaystyle A subseteq A nbsp 任何集合都是其本身的子集 反对称性 A B displaystyle A subseteq B nbsp 且B A A B displaystyle B subseteq A iff A B nbsp 这是证明两集合相等的常用手段之一 传递性 A B displaystyle A subseteq B nbsp 且B C A C displaystyle B subseteq C implies A subseteq C nbsp 是集合间的一个非严格偏序关系 真包含关系 displaystyle subset nbsp 有如下性质 反自反性 A A displaystyle A subset A nbsp 不成立 非对称性 A B B A displaystyle A subset B implies B subset A nbsp 不成立 反之亦然 传递性 A B displaystyle A subset B nbsp 且B C A C displaystyle B subset C implies A subset C nbsp 是集合间的一个严格偏序关系 包含和真包含关系定义了集合间的一个偏序关系 在该偏序关系的意义下两者等价 通常不失一般性地将该偏序关系指为 displaystyle subseteq nbsp 该偏序关系还有如下的结构 上确界运算 displaystyle cup nbsp A C B C A B C displaystyle A subseteq C B subseteq C implies A cup B subseteq C nbsp A A B displaystyle A subseteq A cup B nbsp 下确界运算 displaystyle cap nbsp C A C B C A B displaystyle C subseteq A C subseteq B implies C subseteq A cap B nbsp A B A displaystyle A cap B subseteq A nbsp 最小元 底 displaystyle varnothing nbsp A displaystyle varnothing subseteq A nbsp displaystyle varnothing nbsp 是任何集合的子集 集合上结构的最小定义 编辑显然 上面的所有结果并不是独立的 大部分结果都可以从一个很小的结构推导出来 比如很容易知道 对称差可以用并和差来定义 补可以用差来定义 真包含关系可以用包含关系来定义 包含关系可以用并 交 差之一来定义 这是因为 A B displaystyle A subseteq B nbsp 等价于以下任一命题 A B B displaystyle A cup B B nbsp A B A displaystyle A cap B A nbsp A B displaystyle A B varnothing nbsp 因此我们完全可以用并 交 差三个运算以及它们的相关性质推导出上面所有二元运算和二元关系的性质 当然这个 最小结构 的选择并不唯一 可以根据需要选择适当的方式 下一个命题包含三种特殊集合 空集 全集 集合的补集 给出关于它们的两组规律 命题 2 对全集 U displaystyle mathcal U nbsp 的任意子集 A displaystyle A nbsp 下列恒等式成立 同一性 A A displaystyle A cup varnothing A nbsp A U A displaystyle A cap mathcal U A nbsp dd 补集律 A A c U displaystyle A cup A c mathcal U nbsp A A c displaystyle A cap A c varnothing nbsp dd 同一性 结合交换律 说明 就像 0 和 1 分別是加法和乘法的单位元 displaystyle varnothing nbsp 和 U displaystyle mathcal U nbsp 也分別是并集和交集的单位元 跟加法和乘法不同 并集和交集没有逆元 然而 补集律给出了类似逆运算的一元运算 集合的补集的基本性质 上述五组性质 交换律 结合律 分配律 同一性和补集律 可以说包含了集合代数的所有内容 可以认为集合代数中所有正确的命题都是从它们得到的 对偶性原理 编辑上述命题有一个有趣的形式 就是每一组恒等式都是成对出现的 将 和 或者 O 和 U 相互交换 一个恒等式就变成了相应的另一个 这是集合代数的一个非常重要的性质 称作集合的对偶性原理 它对集合的所有真命题都有效 真命题通过相互交换 和 O 和 U 改变包含符号的方向得到的对偶命题也是真的 若一个命题和其对偶命题相同 则称其为自对偶的 更多关于并集和交集的定律 编辑下列命题给出六条关于并集和交集的重要定律 命题 3 对任意全集 U displaystyle mathcal U nbsp 的子集 A displaystyle A nbsp 和 B displaystyle B nbsp 下列恒等式成立 支配律 A U U displaystyle A cup mathcal U mathcal U nbsp A displaystyle A cap varnothing varnothing nbsp dd 如前所述 命题 3 里的每条定律都可以从命题 1 和命题 2 的五组基本定律推导出来 作为说明 下面给出并集的幂等律的证明 证明 A A displaystyle A cup A nbsp A A U displaystyle A cup A cap mathcal U nbsp 交集的同一律 A A A A c displaystyle A cup A cap A cup A c nbsp 并集的补集律 A A A c displaystyle A cup A cap A c nbsp 并集对交集的分配律 A displaystyle A cup varnothing nbsp 交集的补集律 A displaystyle A nbsp 并集的同一律下列证明说明 上述证明的对偶是对并集的幂等律的对偶 即交集的幂等律的证明 证明 A A displaystyle A cap A nbsp A A displaystyle A cap A cup varnothing nbsp 并集的同一律 A A A A c displaystyle A cap A cup A cap A c nbsp 交集的补集律 A A A c displaystyle A cap A cup A c nbsp 交集对并集的分配律 A U displaystyle A cap mathcal U nbsp 并集的补集律 A displaystyle A nbsp 交集的同一律更多关于补集的定律 编辑下列命题给出五条关于补集的重要定律 命题 4 设 A displaystyle A nbsp 和 B displaystyle B nbsp 为全集 U displaystyle mathcal U nbsp 的子集 则 德 摩根律 A B c A c B c displaystyle A cup B c A c cap B c nbsp A B c A c B c displaystyle A cap B c A c cup B c nbsp dd 重补集或对合律 A c c A displaystyle A c c A nbsp dd 全集和空集的补集律 c U displaystyle varnothing c mathcal U nbsp U c displaystyle mathcal U c varnothing nbsp dd 注意 重补集律是自对偶的 下一个命题也是自对偶的 说明集合的补集是唯一满足补集律的集合 也就是说 互补的特征通过补集律体现 命题 5 设 A displaystyle A nbsp 和 B displaystyle B nbsp 为全集 U displaystyle mathcal U nbsp 的子集 则 补集的唯一性 若 A B U displaystyle A cup B mathcal U nbsp 且 A B displaystyle A cap B varnothing nbsp 则 B A c displaystyle B A c nbsp dd 包含的代数 编辑下列命题说明包含是种偏序关系 命题 6 若 A B C displaystyle A B C nbsp 为集合 则下述成立 自反性 A A displaystyle A subseteq A nbsp dd 反对称性 A B displaystyle A subseteq B nbsp 且 B A displaystyle B subseteq A nbsp 当且仅当 A B displaystyle A B nbsp dd 传递性 若 A B displaystyle A subseteq B nbsp 且 B C displaystyle B subseteq C nbsp 则 A C displaystyle A subseteq C nbsp dd 下列命题说明对任意集合 S displaystyle S nbsp S displaystyle S nbsp 的幂集按照包含来排列是个有界格 因此 结合上述的分配律和补集律 它是一个布尔代数 命题 7 若 A B C displaystyle A B C nbsp 是集合 S displaystyle S nbsp 的子集 则下述成立 存在最小元和最大元 A S displaystyle varnothing subseteq A subseteq S nbsp dd 存在并运算 A A B displaystyle A subseteq A cup B nbsp 若 A C displaystyle A subseteq C nbsp 且 B C displaystyle B subseteq C nbsp 则 A B C displaystyle A cup B subseteq C nbsp dd 存在交运算 A B A displaystyle A cap B subseteq A nbsp 若 C A displaystyle C subseteq A nbsp 且 C B displaystyle C subseteq B nbsp 则 C A B displaystyle C subseteq A cap B nbsp dd 下列命题说明 A B displaystyle A subseteq B nbsp 与各种采用并集 交集 补集的表示方法等价 命题 8 对任意两个集合 A displaystyle A nbsp 和 B displaystyle B nbsp 下述等价 A B displaystyle A subseteq B nbsp A B A displaystyle A cap B A nbsp A B B displaystyle A cup B B nbsp A B displaystyle A B varnothing nbsp B c A c displaystyle B c subseteq A c nbsp 上述命题说明 集合的包含关系可以采用并集运算或交集运算来表示 即包含关系在公理体系中是多余的 相对补集的代数 编辑下列命题给出一些关于相对补集或集合论差的恒等式 命题 9 对任意全集 U displaystyle mathcal U nbsp 和 U displaystyle mathcal U nbsp 的子集 A displaystyle A nbsp B displaystyle B nbsp C displaystyle C nbsp 下列恒等式成立 C A B C A C B displaystyle C A cap B C A cup C B nbsp C A B C A C B displaystyle C A cup B C A cap C B nbsp C B A A C C B displaystyle C B A A cap C cup C B nbsp B A C B C A B C A displaystyle B A cap C B cap C A B cap C A nbsp B A C B C A C displaystyle B A cup C B cup C A C nbsp A A displaystyle A A varnothing nbsp A displaystyle varnothing A varnothing nbsp A A displaystyle A varnothing A nbsp B A A c B displaystyle B A A c cap B nbsp B A c A B c displaystyle B A c A cup B c nbsp U A A c displaystyle mathcal U A A c nbsp A U displaystyle A mathcal U varnothing nbsp 常用代数结构 编辑半环 编辑 若集类S displaystyle S nbsp 满足 对交运算封闭 E F S displaystyle forall E F in S nbsp 则 E F S displaystyle E cap F in S nbsp E F S displaystyle forall E F in S nbsp 若E F displaystyle E subseteq F nbsp 则存在C 0 C 1 C n S displaystyle C 0 C 1 ldots C n in S nbsp 使得E C 0 C 1 C n F displaystyle E subseteq C 0 subseteq C 1 subseteq ldots subseteq C n subseteq F nbsp 且 0 i n C i C i 1 S displaystyle forall 0 leq i leq n C i C i 1 in S nbsp 即E displaystyle E nbsp 可以通过和S displaystyle S nbsp 中一些集合的无交并得到F displaystyle F nbsp 则S displaystyle S nbsp 构成一个半环 格 编辑 若集类S displaystyle S nbsp 满足 空集属于S displaystyle S nbsp 对交运算封闭 E F S displaystyle forall E F in S nbsp 则E F S displaystyle E cap F in S nbsp 对并运算封闭 E F S displaystyle forall E F in S nbsp 则E F S displaystyle E cup F in S nbsp 则S displaystyle S nbsp 构成一个格 环 代数 编辑 非空集类S 若 S对集合的并和差运算封闭 即 E F S E F S E F S displaystyle forall E F in S implies E cup F in S E F in S nbsp S对集合的交和对称差运算封闭 即 E F S E F S E F S displaystyle forall E F in S implies E cap F in S E triangle F in S nbsp S对集合的交 差以及无交并运算封闭 当且仅当S displaystyle S nbsp 满足以上几个条件中任何一个时 S displaystyle S nbsp 构成一个环 此时S displaystyle S nbsp 被称为一个集环 若集环S displaystyle S nbsp 还满足 X S displaystyle exists X in S nbsp 使得 E S displaystyle forall E in S nbsp 有E X displaystyle E subseteq X nbsp 即S displaystyle S nbsp 中的所有集合的全集X displaystyle X nbsp 也在S displaystyle S nbsp 中 则S displaystyle S nbsp 是X displaystyle X nbsp 上的代数 称为X上的集代数 从代数角度来看 集环 集代数 S displaystyle S nbsp 以 displaystyle cap nbsp 为乘法 displaystyle triangle nbsp 为加法 以空集为零元 并且由于乘法满足幂等律 E S E E E E E displaystyle forall E in S E cap E E cdot E E nbsp 因此S displaystyle S nbsp 还是布尔环 布尔代数 设S displaystyle S nbsp 为一非空集类 可以知道 必存在唯一的集环R 使得S R displaystyle S subseteq R nbsp 且 displaystyle forall nbsp 集环R displaystyle R nbsp 使得S R displaystyle S subseteq R nbsp 有R R displaystyle R subseteq R nbsp 则R displaystyle R nbsp 称为包含S displaystyle S nbsp 的最小集环或由S displaystyle S nbsp 生成的集环 s displaystyle sigma nbsp 环 s displaystyle sigma nbsp 代数 编辑 设S displaystyle S nbsp 是集环 集代数 若S displaystyle S nbsp 对可列并运算封闭 则称S displaystyle S nbsp 为一个s环 s代数 参考 编辑集合 朴素集合论 公理集合论 取自 https zh wikipedia org w index php title 集合代数 amp oldid 74757260, 维基百科,wiki,书籍,书籍,图书馆,