定理:给定任何凸集(有限、可数或不可数)的集合,它们的交集本身就是一个凸集。
证明:如果交集为空,或由一个点组成,根据定义定理为真。
否则,取交集中的任意两点 A、B。连接这些点的直线 AB 也必须完全位于集合中的每个点,因此必须完全位于它们的交集内。