凸优化基础

凸优化基础

一、计算几何定义及学习

1、计算几何的定义

计算几何对几何外形信息的计算机表示、分析和综合。这里的几何外形信息是指那些用来确定某些几何外形的离散数据点或特征多边形。按照给定的信息，建立一定的数学模型，再通过计算机进行计算，求得其他所需的信息，这就是计算机表示。之后还需对所建立的数学模型特性及误差等进行分析、综合，以便逼真地反映出几何形体

2、计算几何是研究什么的？

1）、计算几何的研究对象
计算几何研究的对象是几何图形。早期人们对于图像的研究一般都是先建立坐标系，把图形转换成函数，然后用插值和逼近的数学方法，特别是用样条函数作为工具来分析图形，取得了可喜的成功。然而，这些方法过多地依赖于坐标系的选取，缺乏几何不变性，特别是用来解决某些大挠度曲线及曲线的奇异点等问题时，有一定的局限性。

3、计算几何的描述

1）、计算几何理论中过两点的一条直线的表达式，是如何描述的？可以通过以下公式模型进行对计算几何进行形象化的描述：

2）、平面几何理论中过两点的一条直线的表达式，是如何描述的？
可以通过以下公式模型进行对平面几何形象化的描述：
3）、与初中数学中那些直线方程（平面几何）有什么差异？有什么好处？
计算几何与平面几何（初高中学习）的区别就是维度的不一样，计算几何在平面的基础上添加了角度的维度，这意味着计算的复杂性提高了，但是计算的结果更加的广泛，更加的精确，更容易全方位的表达一条直线。

二、平面、超平面的定义及学习

1、平面的定义

1）、什么是平面？
平面，是指面上任意两点的连线整个落在此面上，一种二维零曲率广延，这样一种面，它与同它相似的面的任何交线是一条直线。是由显示生活中（例如镜面、平静的水面等）的实物抽象出来的数学概念，但又与这些实物有根本的区别,既具有无限延展性（也就是说平面没有边界），又没有大小、宽窄、薄厚之分，平面的这种性质与直线的无限延展性又是相通的。
2）、平面的性质

公理1 如果一条直线的两个点在一个平面内，那么这条直线上的所有点都在这个平面内。
公理2 如果两个平面有一个公共点，那么它们还有其他公共点，这些公共点的集合是一条直线。
公理3 经过不在一条直线上的三个点，有且只有一个平面。
推论一：经过一条直线和直线外的一点，有且只有一个平面。
推论二：经过两条相交直线，有且只有一个平面。
推论三：经过两条平行直线，有且只有一个平面。

2、三维空间中的一个平面，如何表达？

1）、三维空间中的平面主要通过建立公式模型来解答，例如
我们假设三维的直线方程为:
Ax+By+Cz+D=0
显而易见，我们需要的求解的便是其中的A、B、C、D的未知参量
那么我们如何求解其中的未知参量呢？便要通过特定的求解方法啦！
2）、求解未知参量A、B、C、D的方法
最原始的解法是根据已知的三个点，建立3个联合方程组,来消元
高斯消元法
克莱姆法则(适用于变量和方程数目相等)

3、超平面的定义及超平面的高维度表达

1）、什么是超平面？
超平面的数学定义是这样的：超平面H是从n维空间到n-1维空间的一个映射子空间，它有一个n维向量和一个实数定义。因为是子空间，所以超平面一定过原点。
2）、高维度超平面的表达
在数学中，超平面（Hyperplane）是n维欧氏空间中余维度等于1的线性子空间。这是平面中的直线、空间中的平面之推广。设F为域其中

三、凸集的定义及学习

1、凸集的定义

1）、什么是凸集？
在凸几何中，凸集(convex set)是在凸组合下闭合的仿射空间的子集。更具体地说，在欧氏空间中，凸集是对于集合内的每一对点，连接该对点的直线段上的每个点也在该集合内。例如，立方体是凸集，但是任何中空的或具有凹痕的例如月牙形都不是凸集。
特别的，凸集，实数R上（或复数C上）的向量空间中，如果集合S中任两点的连线上的点都在S内，则称集合S为凸集。

2、直线是凸集吗？

凸集是单点或一条不间断的线（包括直线、射线、线段）；二、三维空间中的凸集就是直观上凸的图形。（例如：在二维中有扇面、圆、椭圆等，在三维中有实心球体等；多数情况下，两个凸集的交集也是凸集，空集也是凸集）

3、直线是仿射集吗？

直线属于仿射集，且为维数为1的仿射集

四、凸函数的定义及学习

1、凸函数的定义

任意两点的函数值的连线上的点都在曲线的上方，我们称为凸函数

2、Hessen矩阵定义

1）、什么是Hessen矩阵
Hessian Matrix（黑塞矩阵、海森矩阵、海瑟矩阵、海塞矩阵 etc.）,它是一个多元函数的二阶偏导数构成的方阵，用以描述函数的局部曲率。黑塞矩阵最早于19世纪由德国数学家Ludwig Otto Hesse提出，并以其名字命名。

3、如何判别一个函数是凸函数

1）、一元函数的判别
对于一元函数f(x)f(x)，我们可以通过其二阶导数f′′(x)f″(x) 的符号来判断。如果函数的二阶导数总是非负，即f′′(x)≥0f″(x)≥0 ，则f(x)f(x)是凸函数
2）、多元函数的判别
对于多元函数f(X)f(X)，我们可以通过其Hessian矩阵（Hessian矩阵是由多元函数的二阶导数组成的方阵）的正定性来判断。如果Hessian矩阵是半正定矩阵，则是f(X)f(X)凸函数

4、f(x)=x^3是凸函数吗？

1）、当我们用y=1000x的直线去截f(x)=x^3
的模型时，我们可以看到，直线上的所有点，不都在曲线的上方，因此，该公式模型不是凸函数。

四、凸规划的定义

1、凸规划的定义

1）、凸规划的数学定义如下所示：
2）、如何判别一个规划问题是凸规划问题？
与一般的最优化问题标准形式相比，凸规划有三点附加条件：
到此，我的分享就全部结束了！