Global minimizer (source code)

= Global minimizer

= Minimizer
{synonym}

= Minimiser
{synonym}

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.