关于凸集、凸函数、凸优化的定义