凸优化笔记(三)--凸函数

1、若函数$f:R^n\to R$是凸的，有个很重要的前提，$domf$是凸集。
2、函数是凸的，当且仅当其在与其定义域相交的任何直线上都是凸的？
$\to$直线$x+tv$与$domf$相交，且$f(x+tv)$是凸的，为什么能证明$f(x)$是凸的？
3、拓展值延伸，起到自动定义定义域的作用，引出示性函数。
4、一阶条件，$f$可微是由梯度$\nabla f$存在引出。 全局下估计？
　　$f(y)\ge f(x)+\nabla f(x)^T(y-x), f(x)为f在x$附近的泰勒近似。
5、一阶凸性条件的证明中，用到了2的结论。
6、一阶凸性一般情况的证明，为什么要用$g(t)\ge g(\widetilde t)+g'(t)(t-\widetilde t)$来证明？
7、二阶条件，