凸集 - 简介

1. 声音
   观察依据

   主讲人指出本节主题是 ℝⁿ 中一类特殊的集合，称为凸集。

2. 公式
   观察依据

   后续书写表达式中使用 x, y ∈ ℝⁿ 和 C ⊆ ℝⁿ。

$\mathbb{R}^n$

这些集合所处的背景欧几里得空间。

所有 n 维实向量。

1. 公式
   观察依据

   书写内容为：设 x, y ∈ ℝⁿ。

2. 声音
   观察依据

   主讲人说，令 x 和 y 为 ℝⁿ 中的两个元素。

x,y

两个任意选取的点／向量，用于定义线段并检验凸性。

x, y ∈ ℝⁿ；在凸性条件中，它们随后被限定取自 C。

1. 公式
   观察依据

   书写集合构造式中使用 $λ \in [0,1]$。

2. 声音
   观察依据

   主讲人说，λ 可取从零到一之间的任意值（含端点）。

$\lambda$

两点之间进行插值的标量参数。

λ 属于区间0到1。

1. 公式
   观察依据

   书面文字：集合 $C \subseteq \mathbb{R}^n$ 是凸集，当且仅当……

2. 声音
   观察依据

   说话人说：$\mathbb{R}^n$ 的一个子集是凸集，当且仅当对集合中任意两点 x 和 y，C 都包含 x 与 y 之间的线段。

C

一个待检验的凸集候选者，即 $\mathbb{R}^n$ 的一个子集。

C 是 ℝⁿ 的子集。

1. 公式
   观察依据

   书面文字：H := { $x \in \mathbb{R}^n$ : $a^T x \geq \beta$ }。

2. 声音
   观察依据

   说话人说：考虑集合 H，它由所有满足 a 的转置乘以 x 大于或等于 $\beta$ 的 $\mathbb{R}^n$ 中的向量 x 构成。

H

视频片段末尾引入的一个具体示例集合。

H 是 ℝⁿ 的子集。

1. 公式
   观察依据

   书面表达式中含有 $a^T x$。

2. 声音
   观察依据

   说话人说：a 的转置乘以 x。

1. 视频未明确说明向量 a 非零。

a

定义集合 H 所满足线性不等式的向量。

隐含地表示一个属于 ℝⁿ 的向量，使得 aᵀx 有定义。

1. 公式
   观察依据

   写出的不等式以 ≥ β 结尾。

2. 声音
   观察依据

   说话人说‘大于或等于 beta’。

$\beta$

半空间不等式中的标量阈值。

隐含地表示一个实数标量。

1. 公式
   观察依据

   黑板上写出 H := { x ∈ ℝ^n : $a^T x \ge β$ }。

2. 声音
   观察依据

   说话人提到集合 H，随后指出点必须满足定义该集合的条件。

H

所有满足与向量 a 的内积至少为 β 的 ℝ^n 中的向量 x 构成的半空间。

ℝ^n 的子集

1. 公式
   观察依据

   x 出现在定义式 H := { x ∈ ℝ^n : $a^T x \ge β$ } 中，之后又出现在 Take x, $y \in H$ 中。

2. 声音
   观察依据

   说话人说取 x 和 y 属于 H。

x

ℝ^n 中的任意向量；在证明中，它是 H 中被选取的一个点。

n 维实数空间

1. 公式
   观察依据

   黑板上写出其中 a ∈ ℝ^n，$a \ne 0$。

2. 声音
   观察依据

   说话人称 a 是一个 n 维向量，并要求 a 非零。

a

定义半空间不等式的固定非零系数向量。

ℝⁿ 去掉 0

1. 公式
   观察依据

   黑板上写出 β ∈ ℝ。

2. 声音
   观察依据

   说话人说 beta 只是一个实常数。

β

半空间不等式中的一个固定实阈值。

对应的式子为：ℝ

1. 公式
   观察依据

   黑板上写出 取 x, $y \in H$。

2. 声音
   观察依据

   说话人说，我们取 H 中的 x 和 y。

y

H 中选取的第二个点，用于与 x 构成一条线段。

ℝⁿ

1. 声音
   观察依据

   说话人将凸集介绍为 ℝⁿ 中的一类特殊集合，并指出：若从该集合中任取两点，则连接这两点的线段上的所有点也都属于该集合。

2. 图示
   观察依据

   标题‘凸集’在给出口头定义时可见。

该片段先给出几何直观，再引入形式记号：当集合中任意选取的两点之间的整条连接线段都包含于该集合时，该集合即为凸集。

1. 适用于 ℝⁿ 的子集。

2. 该命题针对集合中**每一对**点，而不仅限于某一对点。

1. 公式
   观察依据

   写出：设 x, y ∈ ℝⁿ。x 与 y 之间的线段是集合 { ($1-λ$)$x + λy$ : $λ \in [0,1]$ }。

2. 声音
   观察依据

   说话人称该集合是线段上所有介于点 x 与点 y 之间的点构成的集合。

对于 $R^n$ 中的两点 x 和 y，连接它们的线段在代数上表示为所有仿射组合 ($1-\lambda$)$x+\lambda y$，其中 $\lambda$ 的取值范围是从 0 到 1（含端点）。

1. x、y 属于 ℝⁿ。

2. λ 属于区间0到1。

1. x,y
2. $\lambda$

1. 公式
   观察依据

   记作：若对任意 x, $y \in C$，集合 C 都包含点 x 与点 y 之间的整个线段，则称集合 C ⊆ $R^n$ 是凸集。

2. 声音
   观察依据

   说话人口头陈述了相同条件，并补充说明：这使得人们可以讨论 n 维空间中的凸集，而不仅限于一维、二维或三维空间。

$R^n$ 的子集 C 是凸集，当且仅当对 C 中任意一对点 x 和 y，点 x 与点 y 之间的整个线段也完全包含于 C 中。

1. C 是 ℝⁿ 的子集。

2. 该条件必须对所有 x, $y \in C$ 成立。

3. 这等价于要求（$1-λ$)$x + λy \in C$ 对所有 λ ∈ [0，1。

1. $R^n$ 中两点之间线段的定义
2. C

1. 公式
   观察依据

   书面形式：考虑集合 H := { x ∈ ℝⁿ : aᵀ$x \ge β$ }。

2. 声音
   观察依据

   主讲人说，让我们考察一个特例，并考虑这个集合。

1. 该片段尚未证明 H 是凸集。

2. 视频未明确将 H 命名为半空间。

在该片段结尾，讲师引入了一个具体的集合 H，它由所有满足线性不等式 aᵀ$x \ge β$ 的点 x ∈ ℝⁿ 构成，为检验凸性设立了一个标准例子。

1. x 属于 R 的 n 次方。

2. 定义条件是 aᵀ$x \ge β$。

1. H
2. a
3. $\beta$

1. 公式
   观察依据

   黑板上显示 H := { x ∈ ℝ^n : $a^T x \ge β$ }，其中 a ∈ ℝ^n，$a \ne 0$，且 β ∈ ℝ。

2. 声音
   观察依据

   说话人指出：a 是一个 n 维向量，β 是一个实常数，且 a 必须是非零向量。

视频将集合 H 引入为所有满足线性不等式 $a^T x \ge β$ 的向量 x ∈ ℝ^n 构成的集合，其中 a 是一个固定的非零向量，β 是一个固定的实常数。这正是接下来要证明其凸性的对象。

1. a 是 ℝ^n 中的一个非零向量

2. β 是一个实常数

3. H 的成员资格通过不等式 $a^T x \ge β$ 来检验

1. 声音
   观察依据

   主讲人说：‘我们将证明该集合是凸的’，并解释道：若从 H 中任取两点，则 H 必包含这两点之间的线段。

2. 公式
   观察依据

   准则本身未单独写出公式，但后续几行用 x, $y \in H$ 和 $z = (1-λ)x + λy$ 对其进行了实例化。

视频中陈述的证明策略是标准的凸集判定准则：任取 H 中两点 x 和 y，并证明连接这两点的线段上任意一点也属于 H。随后对 z 的构造正是对该准则的具体实施。

1. x 和 y 是 H 中的任意两点

2. 目标是证明 x 与 y 之间的整条线段都包含在 H 中

1. 半空间 H 的定义

1. 声音
   观察依据

   主讲人提问：如何检验某个对象是否属于 H？并回答：它必须满足定义该集合的条件，即 a 的转置乘以该点大于或等于 β。

2. 公式
   观察依据

   黑板上已在 H 的定义中显示了 $a^T x \ge β$。

要验证一个候选点是否属于 H，需检验该点是否满足其定义不等式。因此，在本证明中，证明 $z \in H$ 就归结为证明 $a^T z \ge β$。

1. 候选点必须位于 ℝ^n 中

2. 属于集合等价于满足其定义不等式

1. 半空间 H 的定义

1. 声音
   观察依据

   讲师指出：半空间是 ℝ^n 中满足单个线性不等式的所有点组成的集合，且该不等式中变量 x 的系数不全为零。

2. 公式
   观察依据

   黑板上显示 H := { x ∈ ℝ^n : $a^T x \ge β$ }，其中 a ∈ ℝ^n，$a \ne 0$，β ∈ ℝ。

3. 图示
   观察依据

   “Halfspace”一词写在所展示的集合定义上方。

半空间是 ℝ^n 的一个子集，由所有满足某一线性不等式的点组成，且该不等式的系数向量非零。本片段中展示的形式为 ≥ β。

1. a 属于 ℝ 的 n 次方

2. a 不等于 0

3. 对应的式子为：β ∈ ℝ

1. 通过凸组合验证凸性

1. 声音
   观察依据

   讲师指出，若取有限个半空间的交集，所得对象称为多面体。

2. 公式
   观察依据

   黑板上写着：多面体是有限个半空间的交集。

此处将多面体定义为有限个半空间的交集。由于每个半空间都是凸集，且交运算保持凸性，因此多面体必为凸集。

1. 半空间的个数是有限的。

2. 每个 $H_i$ 都是此前定义过的半空间。

1. 半空间
2. 凸集的交集

1. 公式
   观察依据

   黑板上取 x, $y \in H$，构造 $z = (1-λ)x + λy$，其中 $λ \in [0,1]$，然后证明 $a^T z \ge β$。

2. 声音
   观察依据

   讲师指出，这意味着 z 属于 H，因此 H 是凸集。

要证明一个集合是凸集，需任取该集合中任意两点，构造它们的凸组合，并证明所得点仍满足该集合的定义条件。

1. x 和 y 必须是所考虑集合中的任意两点。

2. 结论必须对每个 $λ \in [0,1]$ 成立。

1. 公式
   观察依据

   黑板上写道：事实：两个凸集的交集是凸集。

2. 声音
   观察依据

   讲师陈述了同样的事实，然后指出反复应用该事实可将结论推广至任意多个凸集。

该片段展示了凸集的一个基本闭包性质：凸集的交集仍是凸集。黑板上的表述针对两个集合，而讲师通过反复应用，口头将其推广至任意有限或无限个凸集族。

1. 每个被取交集的集合本身必须已是凸集。

1. 通过凸组合验证凸性

1. 声音
   观察依据

   多面体就是有限个半空间的交集。

2. 公式
   观察依据

   多面体是有限个半空间的交集。

多面体被定义为有限个半空间的交集。

1. 半空间的个数必须是有限的。

1. 声音
   观察依据

   主讲人说，在二维中，圆盘是凸的。

2. 图示
   观察依据

   画出一个实心圆盘，并标注为“凸”。

3. 动画
   观察依据

   圆盘内两个红色点之间连有一条红色线段，且该线段完全落在圆盘内部。

在二维空间中，圆盘是凸集。

1. 所讨论的集合是平面上的一个圆盘。

对圆盘内任意一对点均成立，如直观检验所示。

1. 声音
   观察依据

   说话人说：这里有一个非凸集合的例子，因为所选两点之间的线段上存在不属于该集合的点。

2. 图示
   观察依据

   画出一个肾形区域，并标注为‘非凸’。

3. 动画
   观察依据

   两个位于不同叶瓣上的红色点，由一条穿过阴影区域外部的红色线段连接。

图示的非圆盘区域不是凸集，因为该集合中某些点之间的线段会离开该集合。

1. 该集合即所画的肾形区域。

2. 所选的两个点位于不同的叶瓣上。

存在性：集合中存在两点，其连线段不包含于该集合中。

1. 声音
   观察依据

   说话人说：在一维情况下，凸集恰好就是区间。

1. 本片段未给出证明。

2. 屏幕上未进一步明确所指区间的精确类别。

在一维情形下，凸集 precisely 就是区间。

1. 背景空间是一维的。

对所有一维集合的刻画。

1. 声音
   观察依据

   主讲人说：现在我们可以讨论 n 维空间中的凸集与线段，而不仅限于一维、二维或三维；要判断一个集合是否为凸集，只需验证它是否满足该定义。

一旦在线性空间 $\mathbb{R}^n$ 中代数地定义了线段，一个集合是凸集当且仅当它对其中任意两点均满足所述的包含条件。

1. 两点之间的线段定义为 \{($1-\lambda$)$x+\lambda y$:\lambda\in[0,1]\}。

对集合中所有 x、y 及所有 $\lambda \in [0,1]$ 均成立。

1. 声音
   观察依据

   主讲人说：‘我们将证明该集合是凸的。’

2. 公式
   观察依据

   证明以一连串推导结束，表明对 $z = (1-λ)x + λy$（其中 x,$y \in H$ 且 $λ \in [0,1]$），有 $a^T z \ge β$。

对于 H := { x ∈ ℝ^n : $a^T x \ge β$ }（其中 $a \ne 0$），该集合 H 是凸集：只要 x,$y \in H$ 且 $λ \in [0,1]$，则点 $z = (1-λ)x + λy$ 也属于 H。

1. H 由线性不等式 $a^T x \ge β$ 定义

2. a ∈ ℝ^n 且 $a \ne 0$

3. 对应的式子为：β ∈ ℝ

4. x、y 属于 H

5. 对应的式子为：$λ \in [0,1]$

对于所有 x, $y \in H$ 以及所有 $λ \in [0,1]$，凸组合 $z = (1-λ)x + λy$ 属于 H。

1. 公式
   观察依据

   黑板上的推导以‘因此 $a^T z \ge β$ ⇒ $z \in H$，故 H 是凸集’结束。

2. 声音
   观察依据

   讲师说这意味着 z 属于 H，因此 H 是凸集。

若 H = { x ∈ ℝ^n : $a^T x \ge β$ }，且 $a \ne 0$，则 H 是凸集。

1. a ∈ ℝ^n 且 $a \ne 0$

2. 对应的式子为：β ∈ ℝ

3. x、y 属于 H

4. 对应的式子为：$λ \in [0,1]$

对于所有 x, $y \in H$ 以及所有 $λ \in [0,1]$，点 (1-λ)$x + λy$ 也属于 H。

1. 公式
   观察依据

   黑板上写出：事实——两个凸集的交集是凸集。

2. 声音
   观察依据

   讲师口头陈述了相同的句子。

两个凸集的交集是凸集。

1. 这两个集合都是凸集。

对于任意两个凸集 $C_1$ 和 $C_2$，$C_1$ ∩ $C_2$ 是凸集。

1. 声音
   观察依据

   讲师指出，若反复应用这一事实，便可得出结论：任意多个凸集的交集仍是凸集。

1. 黑板上仅写出两个集合的情形；推广至任意多个集合的部分仅作口头说明，并未完整写出。

任意多个凸集的交集是凸集。

1. 该族中的每个集合都是凸集。

对于任意一族凸集，它们的交集仍是凸集。

1. 声音
   观察依据

   讲师指出，多面体就是线性规划问题可行解的集合，因此，由于上方这一事实，可行解集合必为凸集。

2. 公式
   观察依据

   此前在黑板上，多面体被定义为有限个半空间的交集，而半空间已被证明是凸集。

每个多面体都是凸集。

1. 多面体是有限个半空间的交集。

2. 每个半空间都是凸集。

3. 凸集的交集是凸集。

对任一可表示为有限个半空间交集的集合，该集合是凸集。

1. 声音
   观察依据

   两个凸集的交集仍是凸集。

2. 公式
   观察依据

   事实：两个凸集的交集是凸集。

两个凸集的交集是凸集。

1. 所涉及的集合均为凸集。

对任意两个凸集而言。

1. 声音
   观察依据

   多面体仅仅是有限个半空间的交集，而所有半空间都是凸集。

2. 公式
   观察依据

   示例展示了两个半空间的交集，所得集合同时满足这两个不等式。

多面体是一个凸集。

1. 多面体是有限个半空间的交集。

2. 半空间是凸集。

3. 凸集的交集仍是凸集。

对任意多面体。

1. 动画
   观察依据

   首先展示一个圆盘，其内部两点之间的线段完全位于圆盘内；随后展示一个肾形区域，其内部存在两点，使得连接它们的线段穿出该区域。

2. 声音
   观察依据

   旁白解释道：凸性意味着任意选取两点，连接这两点的线段上所有点都属于该集合；若不满足这一性质，则该集合为非凸集。

1. 公式

   $$$$
   解释

   在候选集合中任取两点。

   步骤依据

   这与音频中所述的非正式定义相吻合。

   视频直接表达
2. 公式

   $$$$
   解释

   画出连接这两点的直线段。

   步骤依据

   该线段代表了所选两点之间的所有中间点。

   视频直接表达
3. 公式

   $$$$
   解释

   若整条线段始终位于集合内部，则图示集合通过凸性检验；若线段的一部分离开集合，则检验失败。

   步骤依据

   这正是口述中描述、随后在黑板上形式化表达的包含条件。

   视频直接表达

动画通过检验两点间线段是否完全保留在集合内部，来区分凸集与非凸集。

1. 公式
   观察依据

   黑板上先写出线段定义，再用 $C \subseteq \mathbb{R}^n$ 和 $\forall x$,$y \in C$ 写出凸集定义。

2. 声音
   观察依据

   说话人首先指出，我们必须先定义 n 维空间中线段的概念，然后陈述凸性条件。

1. 公式

   $$x,y \in \mathbb{R}^n$$
   解释

   在环境空间中引入两个任意点。

   步骤依据

   代数定义线段之前所需的前提。

   视频直接表达
2. 公式

   $$\{(1-\lambda)x+\lambda y : \lambda \in [0,1]\}$$
   解释

   将 x 与 y 之间的线段定义为所有插值点构成的集合。

   步骤依据

   这是黑板上写出的定义。

   视频直接表达
3. 公式

   $$C \subseteq \mathbb{R}^n$$
   解释

   设 C 是同一环境空间的一个子集。

   步骤依据

   这确立了待定义其凸性的对象。

   视频直接表达
4. 公式

   $$\forall x,y \in C,\; C \text{ contains the line segment between } x \text{ 且 } y$$
   解释

   陈述 C 的凸性条件。

   步骤依据

   这是该片段中书写并口述的形式化定义。

   视频直接表达

该片段将先前基于图形的直观理解，转化为适用于任意维数 n 的精确定义。

1. 公式
   观察依据

   黑板上书写：取 x, $y \in H$；考虑 $z = (1-λ)x + λy$，其中 $λ \in [0,1]$；则 $a^T z = a^T((1-λ)x + λy) = (1-λ)a^T x + λ a^T y \ge (1-λ)β + λβ = β$。

2. 声音
   观察依据

   主讲人逐步口头解释：选取 H 中的 x 和 y，在线段上构造点 z，通过计算 $a^T z$ 来检验 z 是否属于 H，利用分配律展开，再结合 $a^T x \ge β$ 与 $a^T y \ge β$，以及系数的非负性。

3. 动画
   观察依据

   红色批注在线性展开式下方标出 $a^T x \ge β$ 和 $a^T y \ge β$，绿色曲线将最终结论回连至隶属条件。

1. 公式

   $$\text{Take } x,y \in H.$$
   解释

   从集合 H 中任取两点出发。

   步骤依据

   这正是视频中所述凸性判据的具体应用：要证明凸性，需任取该集合中的任意两点。

   视频直接表达
2. 公式

   $$z=(1-\lambda)x+\lambda y,\quad \lambda\in[0,1].$$
   解释

   构造 x 与 y 之间线段上的任意一点。

   步骤依据

   主讲人明确指出：z 是 x 与 y 之间线段上的任意一点。

   视频直接表达
3. 公式

   $$a^T z=a^T((1-\lambda)x+\lambda y).$$
   解释

   将 z 的定义代入隶属不等式的左端。

   步骤依据

   这是将 z 直接代入线性泛函 $a^T$(·) 的过程。

   视频直接表达
4. 公式

   $$a^T z=(1-\lambda)a^T x+\lambda a^T y.$$
   解释

   将表达式展开为 $a^T x$ 与 $a^T y$ 的加权和。

   步骤依据

   主讲人指出，这一步是通过应用分配律得出的。

   视频直接表达
5. 公式

   $$a^T x\ge \beta,\quad a^T y\ge \beta.$$
   解释

   利用所选两个端点均属于 H 这一事实。

   步骤依据

   根据 H 的定义，H 中任意一点都满足定义不等式 $a^T(\cdot)\ge\beta$。

   视频直接表达
6. 公式

   $$1-\lambda\ge 0,\quad \lambda\ge 0.$$
   解释

   注意凸组合中的系数均为非负数。

   步骤依据

   这由 $λ \in [0,1]$ 得出，如黑板与音频中所述。

   视频直接表达
7. 公式

   $$(1-\lambda)a^T x\ge (1-\lambda)\beta,\quad \lambda a^T y\ge \lambda\beta.$$
   解释

   将端点处的不等式两边分别乘以对应的非负标量。

   步骤依据

   主讲人明确指出：将 $a^T x \ge β$ 两边同乘非负常数 1-λ 后不等式方向保持不变；对第二项也采用相同推理。

   视频直接表达
8. 公式

   $$a^T z\ge (1-\lambda)\beta+\lambda\beta=\beta.$$
   解释

   将两个下界相加并化简。

   步骤依据

   加法保持不等式方向，且 (1-λ)$β+λβ$ 化简为 β，因为 (1-λ)+$λ=1$。

   视频直接表达
9. 公式

   $$z\in H.$$
   解释

   由此得出：任取的线段上一点 z 属于 H。

   步骤依据

   视频中的隶属性检验指出：当且仅当 $a^T$(点) ≥ β 时，该点属于 H；前一行已证明 z 满足此条件。

   视频直接表达

由于对任意 x,$y\in H$，其凸组合 $z=(1-λ)x+λy$ 均满足 $a^T z\ge β$，故 H 中任意两点间的整条线段都落在 H 内，因此 H 是凸集。

1. 公式
   观察依据

   黑板上显示：$a^T z = a^T((1-λ)x + λy) = (1-λ)a^T x + λ a^T y \ge (1-λ)β + λβ = β$。

2. 声音
   观察依据

   讲师指出，这说明z属于H，因此H是凸集。

1. 公式

   $$H := \{ x \in \mathbb{R}^n : a^T x \ge \beta \},\quad a\neq 0$$
   解释

   从黑板上显示的半空间 H 的定义出发。

   步骤依据

   黑板上给出的定义。

   视频直接表达
2. 公式

   $$x,y\in H,\quad z=(1-\lambda)x+\lambda y,\quad \lambda\in[0,1]$$
   解释

   任取 H 中的两点 x 和 y，并构造它们的凸组合 z。

   步骤依据

   集合凸性的标准检验方法。

   视频直接表达
3. 公式

   $$a^T z = a^T((1-\lambda)x+\lambda y)$$
   解释

   对 z 应用线性泛函 $a^T$(·)。

   步骤依据

   代入 z 的定义。

   视频直接表达
4. 公式

   $$= (1-\lambda)a^T x + \lambda a^T y$$
   解释

   将 $a^T$ 分配到求和式中，并提出标量系数。

   步骤依据

   点积／矩阵-向量乘法的线性性质。

   视频直接表达
5. 公式

   $$\ge (1-\lambda)\beta + \lambda\beta$$
   解释

   利用 x,$y \in H$ 和 $λ \in [0,1]$，将 $a^T x$ 和 $a^T y$ 替换为其下界 β。

   步骤依据

   因为 x,$y \in H$，所以 $a^T x \ge β$ 且 $a^T y \ge β$；乘以非负标量不改变不等号方向。

   视频直接表达
6. 公式

   $$= \beta$$
   解释

   化简右端表达式。

   步骤依据

   对应的式子为：（1－λ）β＋λβ＝β。

   视频直接表达
7. 公式

   $$a^T z \ge \beta \Rightarrow z\in H$$
   解释

   由于 z 满足 H 的定义不等式，因此 z 属于 H。

   步骤依据

   H 的定义。

   视频直接表达
8. 公式

   $$\text{Therefore } H \text{ is convex.}$$
   解释

   H 中任意两点的每一个凸组合仍属于 H。

   步骤依据

   凸性判据的结论。

   视频直接表达

半空间 H＝{x∈ℝⁿ：aᵀ$x\ge β$} 是凸集。

1. 声音
   观察依据

   讲师指出，反复应用两个集合交集的性质，可推出任意多个凸集之交仍是凸集；随后将多面体定义为有限个半空间的交集。

2. 公式
   观察依据

   黑板上写着：事实——两个凸集的交集是凸集；以及：多面体是有限个半空间的交集。

1. 公式

   $$\text{Each halfspace is convex.}$$
   解释

   使用黑板上此前已证明的命题。

   步骤依据

   命题：半空间是凸集。

   视频直接表达
2. 公式

   $$P = \bigcap_{i=1}^{m} H_i$$
   解释

   将多面体表示为有限个半空间 Hᵢ 的交集。

   步骤依据

   视频片段中给出的多面体定义。

   视频直接表达
3. 公式

   $$H_1\cap H_2 \text{ is convex}$$
   解释

   对前两个凸集求交集。

   步骤依据

   两个凸集的交集仍是凸集这一事实。

   视频直接表达
4. 公式

   $$(H_1\cap H_2)\cap H_3,\ldots,\bigcap_{i=1}^{m}H_i \text{ are convex}$$
   解释

   将两集合交集的论证有限次重复进行。

   步骤依据

   对该交集性质进行重复应用。

   依据视频推导

多面体是有限个凸半空间的交集，因此是凸的。

1. 公式
   观察依据

   例如：{ [$x_1$; $x_2$] : $x_1 + 2x_2$ >= 5 } ∩ { [$x_1$; $x_2$] : -2x_1 + $x_2$ >= 0 } = { [$x_1$; $x_2$] : $x_1 + 2x_2$ >= 5, -2x_1 + $x_2$ >= 0 }

1. 公式

   $$\left\{ \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} : x_1 + 2x_2 \ge 5 \right\} \cap \left\{ \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} : -2x_1 + x_2 \ge 0 \right\}$$
   解释

   从两个由线性不等式定义的具体半空间的交集开始。

   步骤依据

   视频示例中已给出。

   视频直接表达
2. 公式

   $$= \left\{ \begin{bmatrix} x_1 \\ x_2 \end{bmatrix} : \begin{aligned} x_1 + 2x_2 &\ge 5 \\ -2x_1 + x_2 &\ge 0 \end{aligned} \right\}$$
   解释

   将两个条件合并为一个集合定义，要求两个不等式同时成立。

   步骤依据

   集合交集的定义。

   视频直接表达

这两个半空间的交集构成一个多面体，该多面体由线性不等式组定义。

1. 图示
   观察依据

   画出一个圆形圆盘，将其涂满阴影，并标注为“凸”。

2. 动画
   观察依据

   圆盘内部有两个红色点，用一条完全位于圆盘内的红色线段连接。

3. 声音
   观察依据

   讲解者指出：在二维情形下，圆盘是凸的，并解释道：无论你在圆盘上任取哪两个点，它们之间的线段都落在圆盘内部。

说明为什么二维圆盘是凸集。

1. 平面上的一个实心圆盘。

2. 在圆盘内部任取两点。

证明这两点之间的线段仍完全落在该集合内。

1. 公式

   $$$$
   解释

   在圆盘内部任取两点。

   步骤依据

   这对应于凸性定义中的全称量词。

   视频直接表达
2. 公式

   $$$$
   解释

   画出连接这两点的直线段。

   步骤依据

   该线段代表凸性定义所要求的所有中间点。

   视频直接表达
3. 公式

   $$$$
   解释

   观察到该线段完全位于圆盘内部。

   步骤依据

   这一点由图示直接呈现，并在旁白中予以陈述。

   视频直接表达

因此，该圆盘是凸集。

视觉检验显示，对于所展示的点的选择，连接线段始终位于阴影区域内，这与口述的一般性结论一致。

1. 图示
   观察依据

   绘制了一个肾形区域，已填充阴影，并标注为“非凸”。

2. 动画
   观察依据

   两个位于不同叶瓣中的红色点由一条红色线段连接，该线段穿过区域外部；一段绿色箭头标出了位于外部的部分。

3. 声音
   观察依据

   说话者指出：若选取这两个点，则它们之间的线段上存在不属于该集合的点，因此该集合不是凸集。

说明为何所绘制的非圆盘形区域不是凸集。

1. 一个肾形的平面区域。

2. 在该区域的不同叶瓣中选取的两个点。

找出一对点，使得它们的连接线段不包含于该集合中。

1. 公式

   $$$$
   解释

   在该区域的两个分离叶瓣中各选一个点。

   步骤依据

   这构成对全称凸性条件的一个反例。

   视频直接表达
2. 公式

   $$$$
   解释

   画出它们之间的直线段。

   步骤依据

   该线段是凸性定义所要求的对象。

   视频直接表达
3. 公式

   $$$$
   解释

   注意，该线段的一部分位于阴影区域之外。

   步骤依据

   这一点由图示及绿色箭头明确标出。

   视频直接表达

该区域不是凸的。

集合中存在两点，其连线离开该集合，这直接否定了凸性条件。

1. 公式
   观察依据

   记：设集合 H := { $x \in \mathbb{R}^n$ : $a^T x \geq \beta$ }。

2. 声音
   观察依据

   讲解者说：我们来看一个特例，并朗读集合 H 的定义。

1. 视频片段在对 H 进行任何验证或证明之前即结束。

2. 未给出向量 a 或标量 $\beta$ 的具体数值。

引入一个由线性不等式定义的 $\mathbb{R}^n$ 的具体子集。

1. 向量 a 和标量 $\beta$ 隐含存在。

2. 背景空间是 ℝⁿ。

为后续讨论凸性，定义集合 H。

1. 公式

   $$H := \{x \in \mathbb{R}^n : a^T x \geq \beta\}$$
   解释

   将 H 写作满足该不等式的所有 x 构成的集合。

   步骤依据

   这正是黑板上展示的公式。

   视频直接表达

H 是由所有满足 a 与 x 的内积大于或等于 β 的 n 维实向量 x 构成的集合。

本片段中不进行任何验证，仅展示设定过程。

1. 公式
   观察依据

   黑板上写出例如 { [$x_1$;$x_2$] : $x_1 + 2x_2 \ge 5$ } ∩ { [$x_1$;$x_2$] : -2x_1 + $x_2 \ge 0$ }，然后将其重写为 { [$x_1$;$x_2$] : $x_1 + 2x_2 \ge 5$, -2x_1 + $x_2 \ge 0$ }。

2. 声音
   观察依据

   主讲人指出该集合是一个多面体，并解释紧凑形式表示两个不等式同时成立。

将 ℝ^2 中两个半空间的交集表示为一个多面体，再以紧凑的集合构造器形式写出。

1. 第一个半空间：{ [$x_1$;$x_2$] : $x_1 + 2x_2 \ge 5$ }

2. 第二个半空间：{ [$x_1$;$x_2$] : -2x_1 + $x_2 \ge 0$ }

将该交集识别为一个多面体，并用简洁形式表达。

1. 公式

   $$\left\{ \begin{bmatrix}x_1\\x_2\end{bmatrix} : x_1+2x_2\ge 5 \right\} \cap \left\{ \begin{bmatrix}x_1\\x_2\end{bmatrix} : -2x_1+x_2\ge 0 \right\}$$
   解释

   从所展示的两个半空间的交集开始。

   步骤依据

   直接读取黑板内容。

   视频直接表达
2. 公式

   $$= \left\{ \begin{bmatrix}x_1\\x_2\end{bmatrix} : x_1+2x_2\ge 5,\; -2x_1+x_2\ge 0 \right\}$$
   解释

   将两个条件合并为一个集合构造式描述，要求两个不等式同时成立。

   步骤依据

   集合交集的定义。

   视频直接表达
3. 公式

   $$\text{This set is a polyhedron.}$$
   解释

   它是有限个半空间的交集。

   步骤依据

   本视频片段中此前已给出的多面体定义。

   视频直接表达