Global minimizer

A global minimizer is a point attaining the infimum of an objective. For an extended-real functional, it is usual to require a finite objective value; this excludes points outside its effective domain. A convention allowing $+\infty$ as the attained value gives every point as a formal minimizer of the identically infinite function.