2020年09月28日 凸分析笔记
张伦传 明德新闻楼0203
记号:对于线性空间 的非空子集 ,定义
对于 的非空子集 ,若
则 是 的线性子空间,简称子空间(subspace).
的子空间:平凡的零向量空间 ,全空间 ,经过原点的直线.
子空间的平移是仿射集.
记号
直线 ,其中 被称为仿射组合,因此直线关于仿射组合封闭.
定义:对于线性空间 的非空子集,若存在子空间 ,及 使得 ,则称 为仿射集(affine set).
线性空间的非空子集 是仿射集当且仅当
证明: 若 是仿射集,则存在子空间 及 满足 .
,下面证明
不难发现 .
定义 ,则 ,即 .
若 关于仿射组合封闭,即
对于任意 以及任意 ,再次利用对仿射组合的封闭性,
定义 ,整理得 ,即
注意到 均可自由取遍全部实数,故 是线性子空间.
是仿射集,,则 是同一个子空间吗?
分析:对于任意 ,即存在 满足 且 .
下证 ,即存在 满足 且 .
不妨令 ,显然 .
是 的一个仿射组合,则 .
那么,.
得证.
同理可证,.
非空集合 是仿射集当且仅当
分析:取 可知充分性显然成立,下证必要性,即已知 的情况成立,证明一般情形.
显然 和 时成立.
下面采用数学归纳法,假设 的情况成立,即
利用 时的结论有
再利用 时的结论有
整理得
只需定义 (取值任意)即可得证 的情形.
定义:线性空间 的非空子集 是凸集(convex sets)当且仅当
若 均为凸集,则 不一定是凸集, 一定是凸集.
分析:,举反例发现 空间中两个不重合的圆的并不是凸集.
对于 ,凸组合
得证.
. 证明 是一个凸集且绘图.
分析一:由上面的命题知 是一个凸集.
的图为单位圆 的两条切线 之间的全部元素,其中
即
分析二:.
令 ,即
代入单位圆方程得 .
可知 为圆心在 上半径为1的所有圆覆盖的区域.
若 为凸集,则 . 进而 . 反之亦成立.
分析:只证明一般情形.
假设 为凸集.
当 任意一个等于零的时候,显然成立,下面只针对均为正数的情况.
对于任意 ,总存在 ,满足 .
对于正实数 ,不难发现 .
于是凸组合
即 .
对于任意 ,总存在 ,满足 .
下面证明逆命题成立.
假设 不同时为零,则 可取遍 上的全部实数.
则由 知,.
故 是对凸组合封闭的凸集.
定义:线性空间 的非空集合 ,对于给定 ( 可能不是 中的元素). 若 ,满足 ,则称 为以 为顶点的锥. 特别地,,则称之为锥. 下面均默认 .
若 既是凸集,又是锥,则称之为凸锥.
是凸锥当且仅当
分析:若 是凸锥,则 是凸集,因而
又 是锥,
反之,令 ,则
显然 时,也有
因而, 是锥.
将 限制为 可证 也是凸集.
的线性包(仿射包、锥包、凸包)为包含 的最小线性空间(仿射集、锥、凸集)
令 为全体包含 的线性空间:
令 为全体包含 的仿射集:
令 为全体包含 的凸集:
令 为全体包含 的锥:
证明 的凸包为包含 的最小凸集.
首先证明 是一个凸集.
对于任意 ,构造凸组合如下
其中,
因而,
若存在凸集 ,下面证明 .
,满足 .
得证.