跳转到内容

概率/集合论

来自维基教科书,开放的书籍,开放的世界


此处包含的集合论概述采用朴素的观点。对这个概念的严格分析属于数学基础和数理逻辑。虽然我们不会开始研究这些领域,但我们在处理集合时遵循的规则源于它们。

定义。 (集合) 一个集合不同对象(s)的明确定义的集合,这些对象被称为元素(s).

一个集合.

备注。

  • 如果属于(或包含在)一个集合,我们写.
  • 如果属于集合,我们写.
  • 相等,用表示,是表示相同对象的不同的符号。(当不相等,我们写,它们是不同的东西。)
  • 由于术语“明确定义”的模糊性,有些人可能不接受这个“定义”作为集合的定义。有时,集合可能被保留为一个原始概念,即一个未定义的术语。

示例。 (不是“明确定义”的集合)

  • 简单的学校课程的集合不是一个集合,因为“简单”没有明确定义。

我们有不同的方法来描述一个集合,例如

  • 文字描述:例如,一个集合是包含一年中 12 个月的集合;
  • 列举法:集合中的元素列在一对花括号内,例如,
元素的顺序不重要的,也就是说,即使元素以不同的顺序排列,集合仍然是相同的。例如, 仍然指的是同一个集合。
  • 集合生成式:
(右括号也必须写出来)。
例如,.

示例. (空集) 集合 被称为空集,它不包含任何元素。它通常用 表示。

Clipboard

练习。

是一个空集吗?

是。
否。



示例。

  • ;
  • ;
  • .
Clipboard

练习。

选择属于集合 的所有元素。



示例。

  • 是包含掷六面骰子所有结果的集合。然后,我们可以将集合 表示为 .
  • 是包含抛硬币所有结果的集合。然后,我们可以将集合 表示为 其中 代表“正面”, 代表“反面”。
Clipboard

练习. 艾米参加了一个抽奖活动,一等奖是一辆汽车。假设我们说如果艾米获得一等奖,结果为 1,否则为 0,那么包含所有结果的集合是什么?

解答

这个集合是 .

定义. (集合相等) 当两个 集合 相等 时,它们包含 相同 的元素。

备注。

  • 等价地,两个集合 相等 如果 的每个元素也是 的元素 并且 的每个元素也是 的元素。
  • 我们使用 来表示集合 相等 ( 用于表示 不相等)。

示例。

  • .
  • .

示例: 为包含掷六面骰子所有 奇数 结果的集合。同时,令 为包含掷六面骰子所有非偶数结果的集合。那么,

定义: (全集) 全集,用 表示,是指在特定情况下所考虑的所有对象的集合。

备注。

  • 概率 的语境中,全集 通常用 表示,是指包含特定随机实验所有结果的集合,也被称为 样本空间

示例: 掷六面骰子的样本空间为

Clipboard

练习。 抛硬币的样本空间是什么?(使用 代表“正面”结果, 代表“反面”结果。)

解答

样本空间是 .

定义。 (基数)基数 是一个有限 集合中元素的数量

备注。

  • 如果一个集合是空集或包含 个元素( 是包含所有正整数的集合),则称该集合是有限的。
  • 集合 基数 可以用 (或 )表示。
  • 无限集 是一个包含无限 个元素的集合。
  • 我们将在本书中将无限集的基数保持未定义,但它可以 以更复杂的方式定义。

示例。

  • .
  • .
  • (包含每个 整数的集合)是一个无限集。
Clipboard

练习。

计算 .

0
1
2
3
以上都不是。



示例。 是掷六面骰子的样本空间, 是一个集合,包含掷六面骰子时所有奇数 结果。那么, 并且 .

Clipboard

练习. 一名学生被要求证明两个集合 在他的作业问题中是相等的。在该问题中,给定的条件之一是 。然后学生提出了以下论点

由于 ,因此

他的论点正确吗?如果不是,请提供两个集合 的例子,使得

解答

该论点是错误的。例如,我们可以取 。那么,

在本节中,我们介绍集合之间的 关系

定义. (子集) 子集,记为 ,如果集合 的每个元素都是集合 的元素。

备注。

  • 如果 不是 的子集,那么我们写
  • 根据子集和集合相等的定义,我们可以看到 等价于(或当且仅当) .
  • 符号 表示 超集,这意味着 子集.
  • 这种符号和术语很少使用。

定义。 (韦恩图) 一个 韦恩图 是一个图表,它显示了有限个集合之间所有可能的逻辑关系。

备注。

  • 它对于说明集合之间的一些简单关系,并使这些关系变得清晰非常有用。
  • 我们也可以在韦恩图中添加各种注释,例如每个集合的基数,以及每个集合所包含的元素。

使用韦恩图说明 子集:

A ⊆ B (A ≠ B):

*-----------------------*
|                       |
|                       |
|   *----------*        | <---- B
|   |          |        |
|   |    A     |        |
|   |          |        |
|   *----------*        |
*-----------------------*

示例。

  • .

韦恩图:

*--------------------*
|   *----------*  2  | 
|   |    1  3  |     |
|   *----------*     |
*--------------------*
  • ().
  • 可以证明,对于每个集合 ,都有 .

示例。 是掷六面骰子的样本空间,而 是一个包含所有掷六面骰子得到奇数结果的集合。那么, .

Clipboard

练习。 是一个包含所有掷六面骰子得到质数结果的集合。 的子集吗?

解答

不,因为,但


示例:(区间)区间 是常见的子集。如果 是实数,使得,那么 特别地,

我们还有 ,它包含了所有 扩展实数,即 。这种符号偶尔使用。(扩展实数系是通过在实数系中添加 而得到的。)

定义。 (真子集)集合 是集合 真子集,如果 并且 ;。在这种情况下,我们写作

备注。

  • 如果集合 不是 集合 的真子集,那么我们写作 (但我们很少这样写)。
  • 符号 表示 真超集,这意味着 真子集
  • 这种符号和术语很少使用。

示例。

  • 集合 不是 它自身的真子集,即
  • .

定义。 (补集)设 是全集 的子集。 的(绝对)补集,记作 ,是集合

例子。 如果 ,那么

文氏图:

*-----------------------*
|                       |
|    A           4  5   |
|   *----------*        | 
|   |          |        | <---- U
|   |  1 2  3  |        |
|   |          |        |
|   *----------*        |
*-----------------------*
Clipboard

练习。

以上都不是。




集合运算

[编辑 | 编辑源代码]

概率论大量使用了集合运算,本节将对此进行讨论。

定义。 (集合的并集)集合 和集合 并集,记作 ,是集合

并集 由两个集合的红色区域表示。

备注。

  • 读作 'A 并 B'。

示例。

  • .

文氏图:

*----------------*
|                |
|  red   *-------*--------*
|        | orange|        |
*--------*-------*        |
         |       apple    |
         *----------------*

下面介绍并集运算具有的某些基本性质:交换律和结合律。

命题。(集合并集的性质)设 是集合。那么,我们有

(a) (交换律);
(b) (结合律)。

备注。

  • 由于结合律,我们可以毫不含糊地写出三个或更多集合的并集。例如,我们可以直接写 ,因为 .

示例。。那么,

  • .

( 表示 ),而 表示 。)

定义。 (集合的交集) 集合 与集合 交集,记作 ,是集合

交集 两个集合。

备注。

  • 读作 'A 交 B'。

示例。

  • .
  • .

定义。 (不相交集) 集合 不相交 的 (或 互斥 的) 如果

例子。 集合 是不相交的。

备注。

  • 也就是说,不相交 的,如果它们没有共同的元素。
  • 如果多个集合是 成对 不相交的,则称它们是 不相交 的。

文氏图

*-----*       *-----*       *-----*       
|     |       |     |       |     |
|  A  |       |  B  |       |  C  |
*-----*       *-----*       *-----*

(A, B and C are disjoint)
      
*----------------*
|                | <---- D 
| *--*   *-------*--------*               
| |  |   |       |        | 
*-*--*---*-------*        | <--- E
  |  |   |                |
  *--*   *----------------*
   ^
   |
   F

(D, E and F are not disjoint, but E and F are disjoint)

命题。 (集合交集的性质) 令 为集合。则我们有

(a) (交换律);
(b) (结合律);

备注。

  • 类似地,我们将 表示为 ().
  • 此外,我们将 (无限项) 表示为 .
  • 对于 (a),该等式可以解释为将 “分配” 到括号中。
  • 对于 (b),该等式可以解释为将 “分配” 到括号中。

示例。 对于每个正整数 ,定义 。然后,

以下结果将并集运算和交集运算结合在一起。

命题。 (分配律) 令 是集合。则以下陈述成立。

(a) ;
(b) .

示例。。验证这三个集合是否满足分配律 (a),即证明 对这三个集合 成立。

. 首先,。另一方面,.

Clipboard

练习。 验证这三个集合是否满足分配律 (b)。

解答

首先,。另一方面,.


定义。 (相对补集) 集合 在集合 中的 相对补集,记为 ,是集合

图中左侧为 相对补集 ,右侧为 (),红色区域表示该相对补集。

备注。

  • 如果 是全集, 的子集,则 .
  • 读作 "从 B 中减去 A"。

示例。

  • ;
  • ;
  • .

定理。 (德摩根定律) 令 为集合。则,

备注。

  • 特殊情况: 如果 ,则方程变为 .

示例.,并令全集为 。对于这三个集合

(a) 验证 .

(b) 验证 .

解答.

(a) 首先,。另一方面,。因此,我们得到了想要的等式。

(b) 首先,。另一方面,.

Clipboard

练习. 验证 对于这三个集合 .

解答

首先,。另一方面,


定义。 (幂集)集合 幂集,用 表示,是 的所有子集的集合,即

示例。

  • ;
  • (空集的幂集 不是 空集)。

备注。

  • 幂集 包含 个元素的集合包含 个元素。

示例。 是抛硬币的样本空间( 分别代表“正面”和“反面”)。然后,

Clipboard

练习。 假设我们掷硬币两次。 那么,这个随机试验的样本空间是 其中 表示“正面”后接“正面”, 表示“正面”后接“反面”,等等。 注意顺序很重要,因此 不同。

(a) 求幂集 。 (提示: 检查你的幂集是否包含 个元素。)

(b) 定义集合 为包含 子集的集合,该子集包含结果 。 也就是说, 。 求


解答

(a) 幂集是 (b) 通过观察 (a) 中的幂集,我们可以看到 的 8 个子集 (绿色 的) 包含结果 。 所以,

定义。 ( 元笛卡尔积) 关于 个集合 元笛卡尔积,记作 ,是

备注。

  • 可以证明 .
  • 有序 的,也就是说,里面的元素顺序很重要。
  • 时, 被称为 有序对
  • 通常使用 来表示 .

例子。。那么,

  • .
  • .
  • .
Clipboard

练习. 一家餐厅提供套餐午餐,顾客可以从 A、B、C 三组中 选择 一样 食物或饮料

  • A 组:鸡蛋、培根
  • B 组:牛排、三文鱼
  • C 组:茶、牛奶、水

我们定义集合 ,对应于这三个组 A、B、C

(a) 找出集合 ,它包含顾客所有可能的组合选择。

(b) 假设餐厅的茶卖完了,所以顾客现在不能在 C 组选择茶。假设集合 现在包含顾客所有可能的组合选择。集合 应该是什么?集合 的基数是多少?

解答

(a) 集合 由以下给出: (b) 集合 应该是 。 集合 的基数是 .


华夏公益教科书