凸集分离定理造句怎么写

由凸集分离定理及终端时间阈值函数方程，我们获得了最大值原理及最优控制时间的确定方法。

引进了相对内部，应用凸集分离定理建立了一个广义凸集值映*的择一*定理。