本篇内容
- 集合的可数与不可数
- 基本计数原理
- 求和原理
- 乘积原理
- 双射原理
- 集合的排列
- 多重集合
- 多重集合的排列
集合的可数和不可数
1. 概念
可数集合是指具有与自然数集合 一一对应的元素的集合。也就是说,如果一个集合可以被安排在一个由自然数索引的无限列表中,那么它就是可数的。例如,自然数集合、整数集合、有理数集合等都是可数的。
具体来说,当且仅当一个集合 的元素可以排列成一个序列 时,该集合 是可数无穷的。如果 是可数无穷的,则存在一个双射 。如果 ,则定义 , 是一个双射,满足 ,对于每一个 。
不可数集合是指元素无法一一对应于自然数集合的集合。也就是说,如果一个集合不能被安排在一个由自然数索引的无限列表中,那么它就是不可数的。例如,实数集合、幂集(一个集合的所有子集构成的集合)等都是不可数的。
2. 重要定理
实数集合是不可数的。
可数并集仍然是可数的。
如果一个集合 是可数无穷的,那么它的任何无穷子集 也是可数的。
如果一个集合 是不可数的,那么它的任何包含它的集合 也是不可数的。
如果两个集合 和 都是可数无穷的,那么它们的并集 也是可数无穷的。
如果两个集合 和 都是可数无穷的,那么它们的笛卡尔积1 也是可数无穷的。
基本计数原理
1. 求和原理(The Sum Rule)
对于一个有限集合 ,如果将它划分为 个非空的子集 ,那么 的元素个数等于每个子集的元素个数之和,即
2. 乘积原理(The Product Rule)
对于有限集合 ,它们的笛卡尔积的元素个数等于每个集合的元素个数之积,即
3. 双射原理(The Bijection Rule)
对于两个有限集合 和 ,如果它们之间存在一个双射函数(即一一对应函数) ,那么它们的元素个数相等,即 。
集合的排列
1. 概念
集合排列(Permutations of Set)是指对给定集合中的元素进行重新排列的过程,使得每个元素只出现一次,并按照一定顺序进行排列。
给定一个集合 和一个正整数 ( ),一个 元排列 of 是由 中选择 个不同的元素,并按照一定顺序排列得到的序列。特别地,如果 ,则称其为一个 的排列,即 的所有元素被重新排列的序列。
例如,当 时,它的所有 - 是由 中选择 个不同的元素并按照一定顺序排列得到的序列,如 。注意,每个数字只能在每个序列中出现一次,因为它们必须是不同的元素。
同时还有一种特殊的排列: 的 元重排列(-permutation of with repetition) 它相比普通的排列多出一个性质,就是允许序列中包含重复的元素,而在集合的定义中元素是不能重复的。
具体来说,一个 的 元重排列 是由 中的元素构成的长度为 的序列,其中每个元素都可以重复出现多次。在上一个例子中,集合 ,包含重复元素的所有长度为 的排列就是: 。
2. 相关基本定理
排列定理
一个包含 个元素的集合中,取 个元素排成不同的顺序的个数为 ,即 个元素中取 个元素排列的总数。
根据 元排列 的定义,其中第一个元素有 种选择,第二个元素有 种选择(因为已经选了一个元素),以此类推,第 个元素有 种选择。因此,从 个元素中选出 个元素排列的总数为 ,或者写成 。
根据乘法原理,上述结果还可以写成
因此, 元排列 的总数可以简化为 。这个式子也可以写成 的形式,即一个 元素集合中 个元素的排列总数为
集合的重复排列定理(Theorem of Repetitions)
对于一个包含 个元素的集合 ,在允许重复的情况下,取 个元素可以得到 种不同的排列。
这是因为在构造每个排列时,每个元素都有 种选择,而选择的方式是独立的,因此总共有 种排列。例如,一个包含 个元素的集合 ,可以生成包含重复元素的所有长度为 的排列,共 种,如 。
多重集合
1. 概念
多重集合是指一个集合中的元素可以重复出现,每个元素可能会有不同的重复次数。在一个多重集合中,元素的重复次数被称为其重数(multiplicity)。一个 -multiset 是指一个有 个元素的多重集合。
一个多重集合 可以用下面的形式表示:,其中 是不同的元素, 分别表示这些元素在 中出现的次数。因此, 中元素的总数为 。
一个 -subset 是指一个多重集合 的子集,使得 中每个元素的重数不超过其在 中出现的重数,并且 中元素的总数为 。换言之, 可以写成 的形式,其中 ,并且 。
2. 多重集合的排列
一个多重集合的排列和一个普通集合的排列非常相似,不过要求每个元素出现的次数与它在原多重集合中出现的次数相同。
设 是一个 元多重集合。若一个序列 中满足 恰好出现 次,则称它为 的一个排列。例如,对于 ,序列 是 的一个排列,序列 是 的一个 排列。
3. 多重集合的重复排列定理
与普通集合类似,一个多重集合 的排列方式总数的计算公式为 其中, 是由 种元素构成的多重集合,每个元素 重复出现 次。也就是说, 中的每个元素 有 个相同的副本。
Footnotes
表示两个集合中所有可能的有序对组成的集合 ↩