凸函数 一讲.pdfVIP

可微凸函数 设 是一个凸集并且设 在 上可微。 （a ）当且仅当 函数 在 上是凸的。 （b）如果当 时不等式是严格的，那么 在 上是严格 凸的，即，对于所有的 和 ，且 ，有下式成立 二阶可微凸函数 设 是 的一个凸子集并且设 在 上二阶连 续可微。 （a ）如果对于所有的 ， 是半正定的，则 在 上是凸的。 （b）如果对于所有的 ， 是正定的，则 在 上是严格凸的。 （c ）如果 是开集，并且 在 上是凸的，则对于所有的 ， 是半正定的。 证明：（a ）由中值定理，对于所有的 ，并对于某些 ，有 利用 的半正定性，我们得到 从前面的结论知，是凸的。 （b）与（a ）相似，对于所有的 且 ，我 们使用前面的结论，得到 。 凸包和仿射包 给定集合 ： 元素的凸组合是一个形如 的向量，其中 ， 且 。 的凸包，记为 ，是包含 的所有凸集（也是 的所 有凸组合的集合）的交。 的仿射包，记为 ，是包含 的所有仿射集（仿射集 是形如 的集合，其中 是一个子空间）的交。注意 自身是一个仿射集。 元素的非负组合是一个形如 的向量，其中 并且对于所有的 有 。 由 生成的锥，记为 ，是 中所有非负组合的集合： — 它是一个包含原点的凸锥。 — 它不需要是闭的。 — 如果 是一个有限集合，则 是闭的（证明很 难！）。 相对内部 如果 是相对于 的 的一个内部点，则称 是 的相对 内部点。 表示 的相对内部，即， 的所有相对内部点的集合。 线段原理： 如果 是一个凸集，且有 和 则除了可能的 以外，所有位于连接 和 的线段上的点都属 于 。 其他主要结论 设 是一个非空凸集。 （a ） 是一个非空凸集，并且具有和 相同的仿射包。 （b）当且仅当 中的以 为一个端点的每一个线段都可以在 不离开 的情况下延伸到 一侧时，有 。 证明：(a)假定 。我们选出 个线性独立的向量