凸集、凸函数及其充分必要条件