集
集合的定义
与集合的操作
可以使用一些有用的操作来组合、比较和分析集合。
联盟:两个集合的并集,记为 (被称为a杯子),指两个集合中至少一个集合中的所有元素的集合。例如, 在布尔逻辑,联合表示为逻辑或。
路口:两组的交叉点,表示 (被称为a帽),指的是两个集合中元素的集合。例如, 在布尔逻辑中,交集表示为逻辑与。
补充(绝对):表示 ,绝对补指的是不属于一个集合的所有元素的集合。如果我们考虑全集, ,作为所有整数的集合, 代表除了1,2和3之外的所有整数。在布尔逻辑中,补充表示为逻辑而不是。
补充(相对):相对补充,表示 ,指在第一组中但不在第二组中的一组元素。例如, 相对补充也可以通过减号,从而表达
对称差异:对称差分,表示 ,指的是属于这两个集合中的一个但不同时属于这两个集合中的一个的元素集合。例如, 在布尔逻辑中,对称差异表示为逻辑XOR。
什么是
象征 指两套的联合。
因此, 是
给定以下两个集合
如果 是什么
从 我们知道这两套 和 一定有 作为一个元素。因此,对于组 我们有
如果是值 是1,组 是
然后
如果是值 3,设置 是
然后
因此,值 满足 是
什么是
象征 表示对称差,表示在两个集合中的一个而不是两个集合中的元素的集合。
因此, 是
制定法律
De Morgan的法律对于显示等效性,转换和简化逻辑表达有用。
- 德摩根的第一条法律:
它说明了两个集合的并的补是它们的补的交。为两组 和
在布尔逻辑中,德·摩根第一定律表示为 - 德摩根第二定律:
它说明了两个集合的交点的补是两个集合的并。具体地说,
在布尔逻辑中,德摩根第二定律表示为: .
给定以下条件,用德·摩根第二定律来确定
- 在哪里 这是这个问题的所有可能值的集
- .
de Morgan的第二律是 自从我们正在寻找 ,我们首先确定方程的左边, .
找到 , 决定 这两个元素的集合 和 所以
找到 ,比较其中的元素 用元素 ,以及里面的元素 将是所在的元素 但不是在 .所以, .
我们从De Morgan的第二律上知道 = .换句话说,不在两者中的元素 和 必须缺少 或 (或两者)。
检查 来验证 都缺失了 或 或两者兼而有之。
术语
这里有一些关于集合的重要概念和术语:
普遍集合:表示 一个全集是一个特定问题的所有可能元素的集合。例如,如果一个问题只处理正的非零整数, .
空/空集:用 或 ,如果一个集合不包含任何元素,则称它为空或空。例如,如果 是不是所有整数的集合 满足 然后是这个集合 没有元素,因此
子集:如果集合中的每个元素 也是该集合的成员 然后我们这么说 是 例如,如果 和 然后 是 或 当两个集合相等时,它们是彼此的子集。
基数:一套的基数 写成 是不同元素的数量 例如,如果 是《密西西比》中所有字母的集合吗 因此
包含排除原则:包含不相容原则说明任意两个集合 和 满足 换句话说,得到集合并集的大小 和 ,我们首先添加(包括)的所有元素 ,然后我们添加(包括)所有元素 ,然后删除(排除)它们交集中的元素 ,因为这些元素被计算了两次 即一次 和曾经 下面是一个具体的例子 和 , 这使 .然后 , , .根据包容不相容原理, 我们可以通过计算元素直接验证 请注意,交叉口(4和5)中的元素被计算一次 和一次 因此有必要将他们排除在外。
对于这个问题,通用集 是
及其三个子集 和 如下面所述:
那是什么
象征 表示所有不在其中的元素的集合 自从 套装 是
然后, 是
所以, 是