凸集是指一个非空集，并且其中任意两点连线，线段上的所有点都属于该集合。
可行域是凸集就表示可行域不是空集，有可行解。
另外有个定理：线性规划问题的可行域如果不是空集，就一定是凸集。
那么什么时候会产生空集？就是有约束条件互相矛盾的时候，图解法的话就是存在约束间的有效区域不重叠，画不出可行域。