Algebra:Chapter 0 - 集合的包含

集合的包含

正如我们所提到的，两个集合是相等的当且仅当它们包含相同的元素。我们说一个集合$S$是一个集合$T$的子集如果集合$S$的每个元素都是集合$T$中的一个元素，用符号表示为：$$S\subseteq T$$按照惯例，$S\subset T$表示这样一件事：不像$<$ vs. $\le$，它并不排除$S$和$T$相等的可能性。为了避免混淆，我们将会在本书中一致使用$\subseteq$。用$S⊊T$表示$S$真包含于$T$：也就是$S\subseteq T$并且$S\ne T$。

我们可以从如下逻辑来考虑“集合的包含关系”：$S\subseteq T$意味着$$s\in S⟹s\in T$$也就是说，“如果$s$是集合$S$中的一个元素，那么$s$是集合$T$中的一个元素”；还有就是，$S$中所有的元素都是$T$的元素。

注意，对于所有的集合$S$，$\varnothing \subseteq S$并且$S\subseteq S$。

如果$S\subseteq T$并且$T\subseteq S$，那么$S=T$。

这个在证明集合相等时用的很多

符号$|S|$表示集合$S$中的元素个数，如果集合内元素的个数是无限个，那么就写成$|S|=\infty$。如果$S$和$T$都是有限集合，那么$$S\subseteq T⟹|S|\le |T|$$集合$S$的所有子集也构成了一个集合，叫做幂集（$powerset$）。例如，$\varnothing$的幂集只包含了一个元素，就是 { ∅ } \{\empty\} {∅}。集合$S$的幂集记作$\mathcal{P}(S)$；另一种流行的记法是$2^S$，并且$|\mathcal{P}(S)|=2^{|S|}$如果$S$是有限集合的话。

解读

这一节的要点有：

• 子集的定义
• 无限集合和有限集合
• 幂集

如果只定义集合，集合之间就只有基本的操作。一旦定义了子集这种包含关系，内涵就比较丰富了，可以用来描述很多场景。

单词

• alternative: 可供替代的;非传统的;另类的
• promise: 许诺;承诺;答应;保证;使很可能;预示