Definition:Extremum of Mapping

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

Let $\struct {T, \preccurlyeq}$ be a totally ordered set.

Let $f: S \to T$ be a mapping.

Let $x \in S$ be such that $\map f x$ is an extremum of $\struct {T, \preccurlyeq}$.

Then $x$ is known as an extremum of $f$.


Also see

  • Results about extrema of mappings can be found here.


Linguistic Note

The plural form of extremum is extrema.


Sources