ArgMin(f(x), x, P(x)), rendered P(x)argminf(x), gives the set of points r
satisfying P(r)
such that f(r)=P(x)minf(x), if the minimum value exists.
If f(x)
does not attain a minimum value on the set of points defined by P(x), the result is the empty set {}.
The argument x to this operator defines a locally bound variable. The corresponding predicate P(x)
must define the domain of x
unambiguously; that is, it must include a statement such as x∈S
where S
is a known set. More generally, x can be a collection of variables (x,y,…)
all of which become locally bound, with a corresponding predicate P(x,y,…).
Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ArgMin | P(x)argminf(x) | Locations of minimum value |
| Minimum | P(x)minf(x) | Minimum value of a set or function |
Source code for this entry:
Entry(ID("0a3e5a"),
SymbolDefinition(ArgMin, ArgMin(f(x), x, P(x)), "Locations of minimum value"),
Description(SourceForm(ArgMin(f(x), x, P(x))), ", rendered", ArgMin(f(x), x, P(x)), ", gives the set of points", r, "satisfying", P(r), "such that", Equal(f(r), Minimum(f(x), x, P(x))), ", if the minimum value exists."),
Description("If", f(x), "does not attain a minimum value on the set of points defined by", P(x), ", the result is the empty set", Set(), "."),
Description("The argument", SourceForm(x), "to this operator defines a locally bound variable.", "The corresponding predicate", P(x), "must define the domain of", x, "unambiguously; that is, it must include a statement such as", Element(x, S), "where", S, "is a known set.", "More generally,", SourceForm(x), "can be a collection of variables", Tuple(x, y, Ellipsis), "all of which become locally bound, with a corresponding predicate", P(x, y, Ellipsis), "."))