最优化模型（仿射集、凸集和凸锥的理解）

最新推荐文章于 2024-07-21 11:20:00 发布

weixin_45179715

最新推荐文章于 2024-07-21 11:20:00 发布

阅读量178

点赞数

分类专栏：最优化理论文章标签：笔记

本文链接：https://blog.csdn.net/weixin_45179715/article/details/132828954

版权

最优化理论专栏收录该内容

1 篇文章 0 订阅

订阅专栏

1、仿射集、凸集和凸锥的理解

注意：常见集合体，如直线、线段、平面、球体、立方体、圆锥等都是凸集合。

1.1直线与线段

设 $x_{1}\neq x_{2}$ 为 $R^{n}$ 空间中的两个点，则具有该形式的点 $y=\theta x_{1}+(1-\theta )x_{2},\theta \epsilon R$ 构成一条过 $x_{1}$ 和 $x_{2}$ 的直线。参数 $\theta =0$ 对应 $y=x_{2}$ , $\theta =1$ 对应 $y=x_{1}$ .

当参数在0和1之间变动，y的轨迹构成了 $x^{1}$ 和 $x^{2}$ 之间的（闭)线段。

若 $y=x_{2}+\theta (x_{1}-x_{2})$ ，则y是基点 $x_{2}$ 和方向 $x_{1}-x_{2}$ 乘以参数 $\theta$ 的和。即 $\theta$ 给出了y在由 $x_{2}$ 向 $x_{1}$ 方向上的位置。

1.2仿射集（可以联系平面特性来理解）

两个点时：设集合 $C\subseteq R^{n}$ ，如果过C中任意两个不同点的直线仍在集合C中，则称集合C是仿射集。 $\Leftrightarrow$ 对 $\forall x_{1},x_{2}\in C$ 及 $\theta \in R$ ，有 $\theta x_{1}+(1-\theta )x_{2}\in C$ ，即仿射集C中任意两点的系数之和为1的线性组合仍包含在C中。

多个点时：若 $\theta _{1}+...+\theta _{k}=1$ ，则称具有 $\theta _{1}x_{1}+...+\theta _{k}x_{k}$ 形式的点为 $x_{1},...,x_{k}$ 的仿射组合。则若C是一个仿射集， $x_{1},...,x_{k}\in C$ 并且 $\theta _{1}+...+\theta _{k}=1$ ，则 $\theta _{1}x_{1}+...+\theta _{k}x_{k}$ 仍在C中。

1.3仿射包、仿射维数、相对内部、相对边界

仿射包：由集合 $C\subseteq R^{n}$ 中的点的所有仿射组合组成的集合称为C，记为aff C

$aff C=\left \{ \theta _{1}x_{1}+...+\theta _{k}x_{k}\right \}\l|x_{1},...,x_{k}\in C,\theta _{1}+...+\theta _{k}=1$

仿射维数：集合C的仿射包的维数

相对内部： $relint C=\left \{ x\in C|\exists r>0 s.t.B(x,r)\bigcap affC\subseteq C \right \}$

相对边界：cl C\relint C，此处cl C为C的闭包。

1.4凸集合

对 $\forall x_{1},x_{2}\in C$ 及 $0\leqslant \theta \leq 1$ ，都有 $\theta x_{1}+(1-\theta )x_{2}\in C$ ，即集合C中任意两点间的线段仍在C中。其中，conv C是集合Cd的凸包。

1.5凸锥

若对 $\forall x\in C$ 和 $\theta \geqslant 0$ 都有 $\theta x\in C$ ，则集合C是锥。若集合C是锥，并且是凸集合，则为凸锥，即对于 $\forall x_{1},x_{2}\in C$ 和 $\theta _{1},\theta _{2}\geq 0$ ,都有 $\theta_{1}x_{1}+\theta_{2}x_{2}\in C$

weixin_45179715

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
1
评论
最优化模型（仿射集、凸集和凸锥的理解）

注意：常见集合体，如直线、线段、平面、球体、立方体、圆锥等都是。，即集合C中任意两点间的线段仍在C中。其中，conv C是集合Cd的凸包。，如果过C中任意两个不同点的直线仍在集合C中，则称集合C是仿射集。，即仿射集C中任意两点的系数之和为1的线性组合仍包含在C中。若集合C是锥，并且是凸集合，则为凸锥，即对于。：cl C\relint C，此处cl C为C的闭包。中的点的所有仿射组合组成的集合称为C，记为aff C。空间中的两个点，则具有该形式的点。则若C是一个仿射集，：集合C的仿射包的维数。
复制链接

扫一扫