谭升
非主流人工智能科学家 我和外面那些妖艳的货不一样

【集合论】集合操作

集合操作

运算

我们之前学过很多数字的运算,以及运算法则,下面我们进行扩展,扩展到集合,数字的运算结果是数字,集合的运算结果也是集合,但是要换个名字,比如加法产生和,减法产生差,乘法产生积。

注意:以下我们要讨论的所有集合的计算都是基于已知固定完整空间 $\Omega$

补集

集合 $A$ 的Complement被写成 $A^c$ 表示:
$$
A^c=\{\omega | \omega \notin A\}
$$
$A^c$ 表示在空间 $\Omega$ 中不属于 $A$ 的元素的集合

Advertisements

几个特殊的例子:
1. $\Omega^c=\emptyset$
2. $\emptyset^c=\Omega$
3. $(A^c)^c=A$

并集

并集,就是把两个集合合并到一起,重复元素只保留一份(避免出现重复出现的情况)

$$A \cup B=\{\omega \in A \, or\, \omega \in B\}$$

逻辑词汇or表示可以前面的也可以后面的也可以两个同时,C语言,C++,离散数学应该都有讲过

交集

交集,元素必须同时出现在两个集合中:
$$A \cap B=\{\omega \in A \, and\, \omega \in B\}$$

逻辑词汇and,必须满足前后两个条件,同时满足哦。

结合和交换律

$$
A \cup B=B \cup A\\
A \cap B=B \cap A
$$
这个叫交换律
$$
(A \cup B)\cup C= A \cup (B \cup C)\\
(A \cap B)\cap C= A \cap (B \cap C)
$$
这个叫结合律
说了这两个运算律很容让我们联想到加法和乘法,的确是这样,他们确实有些相似之处,
$$
\cup \leftrightarrow +\\
\cap \leftrightarrow \times
$$
所以上面的连续union或者连续intersection各个操作数都可调换位置。
但是
$$
(A \cup B )\cap C \neq A \cup (B \cap C)
$$
解释可以通过Venn 图来看

Venn图怎么画?画圈就行了,相交的地方是交集,合起来是并集,没圈到的地方是complement,这个我看五年级的小孩都在奥数题里面写这个。

分配律

这个跟前面就有点不同了
$$
(A \cup B) \cap C=(A \cap C) \cup (B \cap C) \dots\dots (D_1)\\
(A \cap B) \cup C=(A \cup C) \cap (B \cup C) \dots\dots (D_2)
$$
这两个公式都是正确的么?证明一个公式不正确,只需要找到一个反例就可以但是要证明一个公式正确,就很麻烦了。那么我们还是用五年级奥数的方法来检验一下这两个公式哪些是正确的:

通过venn图可以发现,这两个哥们都是正确的,那么我们之前那个类比就有问题了,也就是合集和并集类似加法和乘法在此处不再合理了,并且其实$A \cup A =A$ 就已经宣告类比不成立了。
接着钟老师用了一个食物的例子来证明了一下 $D_1$ 这里就不详细说了,这个比较简单,我们下面用数学的方法来证明下 $D_2$ 证明思想就是(I)证明属于左边的元素都属于右边,(II)再证明右边的元素都属于左边 $M \subset N$ and $M \supset N$

I:假设元素属于左边,那么它属于A交B或者属于C。
①如果属于A交B那么 肯定属于A并C也要属于B并C,所以属于右边
$$
\text{ suppos: }\omega \in A \cap B\\
\text{ then: } \omega \in A \cup C\\
\omega \in B \cup C
$$
②如果属于C那么肯定也属于右边了
$$
\text{ suppos: }
\omega \in C\\
\text{ then: }
\omega \in A \cup C\\
\omega \in B \cup C
$$
II假设元素属于右边
①如果元素属于C,那么肯定属于左边
$$
\text{ suppos: }
\omega \in C\\
\text{ then: }
\omega \in (A \cap B) \cup C
$$
②如果元素不属于C,属于A并C同时也属于B并C,那么元素属于A并且属于B,所以元素属于A并B属于左边
$$
\text{ suppos: }
\omega \in A \cup C
\omega \in B \cup C\\
\omega \notin C\\
\text{ then: }
\omega \in A \\
\omega \in B \\
\omega \in A \cap B \\
$$
Q.E.D

总结

今天已经写了两篇博客了,这篇还好比较短,集合作为最基础的数学框架,有很多是从没有文字就开始有了的,过于理论化的东西也不是我们研究的对象,我们要做的就是多画画多理解,好在后面看算法看其他过程的时候心里没有恐惧。
待续。。。

Share

You may also like...

说点什么

avatar
  Subscribe  
提醒

试录了几节线性代数视频课程,欢迎大家支持,
点击试看
点击购买更多内容

由于博客移至wordpress,部分公式和代码显示不正常,博主正在努力修改,如发现公式显示错误,请及时在文章下留言,感谢您的帮助,尽请原谅!