ARTICLE
凸集
凸集 (Convex Set) 凸集 (Convex Set) 是数学,特别是几何学、线性代数和泛函分析中的一个基本概念。它在最优化理论、博弈论和经济学等领域有着极为广泛和深刻的应用。一个集合的凸性是一个非常良好且有用的性质,它极大地简化了许多理论分析和计算问题。 定义与几何直观 从几何上看,一个集合是凸的,如果集合中任意两点的连线段完全包含在该集合之内。换
凸集 (Convex Set)
凸集 (Convex Set) 是数学,特别是几何学、线性代数和泛函分析中的一个基本概念。它在最优化理论、博弈论和经济学等领域有着极为广泛和深刻的应用。一个集合的凸性是一个非常良好且有用的性质,它极大地简化了许多理论分析和计算问题。
定义与几何直观
从几何上看,一个集合是凸的,如果集合中任意两点的连线段完全包含在该集合之内。换句话说,从集合中任何一点出发,沿着直线走向另一点,途中不会离开这个集合。
形式化定义
一个位于向量空间 (例如,欧几里得空间 )中的集合 被称为 凸集,如果对于任意两个点 以及任意实数 满足 ,都有:
这里的表达式 表示连接 和 的线段上的任意一点。当 时,该点为 ;当 时,该点为 ;当 时,该点为 和 的中点。这种点被称为 和 的 凸组合 (Convex Combination)。因此,一个集合是凸的,当且仅当它对其任意两点的凸组合是封闭的。
示例
凸集示例:
- 空集:空集是凸集,因为它不包含任何点,因此满足定义的条件(条件被“虚空地”满足)。
- 单点集:只包含一个点的集合是凸集。
- 线段、直线、射线:这些都是典型的凸集。
- 空间:整个欧几里得空间 是凸集。
- 基本几何图形:实心的圆形(磁盘)、实心的正方形、实心的三角形以及任何实心的正多边形都是凸集。
- 超平面 (Hyperplane):在 中,形如 的集合是一个超平面,它是凸的。
- 半空间 (Half-space):在 中,形如 或 的集合是一个闭半空间,它是凸的。
非凸集示例:
- 空心圆环:取圆环内径和外径上的两点,它们的连线可能会穿过中间的空心部分,因此它不是凸集。
- 星形:一个标准的五角星形状不是凸集,因为连接两个不相邻顶点的线段会穿过星形外部。
- 两个不相交的圆盘的并集:从一个圆盘中取一点,从另一个圆盘中取一点,连接它们的线段必然有一部分不属于这两个圆盘中的任何一个。
凸集的基本性质
凸集具有一些非常稳定和有用的代数性质,这些性质使其在分析中易于处理。
- 交集
一个关键的性质是:任意多个(有限或无限个)凸集的交集仍然是凸集。 证明思路:令 是一族凸集,令 是它们的交集。取任意两点 。根据交集的定义,对于所有的 ,都有 和 。由于每个 都是凸集,连接 和 的线段上的所有点都必须属于 。因为这对所有的 都成立,所以该线段上的所有点也都属于它们的交集 。因此, 是一个凸集。 这个性质非常重要,例如,它构成了定义凸包的基础。
- 并集
与交集不同,两个凸集的并集通常不是凸集。前面提到的 "两个不相交的圆盘的并集" 就是一个典型的例子。
- 仿射变换下的封闭性
凸性在仿射变换 (Affine Transformation) 下是保持不变的。一个仿射变换是线性变换后加一个平移,形式为 。
- 如果 是一个凸集,并且 是一个仿射变换,那么像集 也是一个凸集。
- 反之,如果 是一个凸集,那么其在仿射变换 下的原像 也是一个凸集。
相关重要概念
- 凸组合 (Convex Combination)
给定点集 ,这些点的一个凸组合是形如 的点,其中系数 满足 且 。一个集合是凸的,当且仅当它包含了其所有点的所有凸组合。
- 凸包 (Convex Hull)
对于任意一个集合 (不必是凸的),其凸包(记作 )是包含 的 最小 凸集。它可以被等价地定义为 中所有点的所有可能凸组合的集合。直观上,可以想象用一根橡皮筋包裹住集合 的所有点,橡皮筋所围成的区域就是 的凸包。
- 凸锥 (Convex Cone)
一个集合 如果对于任意 和标量 都有 ,则称之为锥。如果一个锥同时还是一个凸集,则称之为 凸锥。这等价于,对于任意 和任意非负标量 ,点 仍然在 中。这种组合被称为锥组合 (Conic Combination)。
在经济与金融中的应用
凸集之所以在经济学和金融学中至关重要,是因为它与最优化问题、均衡理论以及对理性行为的建模紧密相关。
- 最优化理论:凸性是凸优化 (Convex Optimization) 的基石。一个典型的优化问题是最小化一个函数 ,约束条件是 。如果约束集 是一个凸集,且目标函数 是一个凸函数,那么这个问题就是一个凸优化问题。这类问题有一个极好的性质:任何局部最优解都是全局最优解。这使得寻找最优解的过程变得非常可靠和高效。