Weierstrass定理:
即定义在紧集的连续函数一定存在最大(最小)值点。
解读:紧集:若一个集合它不仅是闭集还是有界的,则该集合被称作紧集。区间[−2,4] 是紧集,因为它既是闭集又有界。
下水平集函数
强制函数:
但是这个定理中对于条件的要求较为严格,即需要紧的定义域和连续的目标函数,需要将定理推广以保证解的存在性。当函数f(x)的最小值不能在无穷远处取到,即我们可以仅在一个有界的下水平集中考虑f(x)的最小值。
当定义域不是有界闭集时,我们通过例子来进一步解释上面的定理.对 于强制函数 f (x) = x2, x ∈ X = R,其全局最优解一定存在.但对于适当且 闭的函数 f (x) = e−x , x ∈ X = R,它不满足定理4.1三个条件中任意一个,因 此我们不能断言其全局极小值点存在.事实上,其全局极小值点不存在.