数学-上确界与下确界概念

上确界（Supremum）：一个集合的最小上界， 数学符号$sup$
下确界（greatest lower boundinf）：一个集合的最大下界,数学符号$inf$

上确界与最大值：上确界类似于最大值，但是和最大值不同的是，最大值有时候会遇到无法取到的情况。比如$x\in R,x \lt 2$这样的情况下就不存在一个确定的最大值。但是可以确定上确界为2。

下确界与最小值:参考上面

参考
百度百科-上确界
关于拉格朗日乘子法与KKT条件