Extreme value

From Citizendium
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and subject to a disclaimer.

"Minimum" and "Maximum" redirect here. For minimum or maximum of a function, see maxima and minima.

The "largest" and the "smallest" element of a set are called extreme values. In general we need to distinguish various possible meanings of "largest" and "smallest"

Linear order

In a linearly ordered set, such as the real numbers, any two elements x and y are comparable. We suppose for definiteness that , and so we may define the maximum of the set {x,y} to be x and the minimum to be y. By iteration we may define the maximum and minimum of any (non-empty) finite set.

Let S be a subset of a linearly ordered set (X,<). An upper bound for S is an element U of X such that for all elements . A lower bound for S is an element L of X such that for all elements . A set is bounded if it has both lower and upper bounds. In general a set need not have either an upper or a lower bound.

A supremum for S is an upper bound which is less than or equal to any other upper bound for S; an infimum is a lower bound for S which is greater than or equal to any other lower bound for S. In general a set with upper bounds need not have a supremum; a set with lower bounds need not have an infimum. The supremum or infimum of S, if one exists, is unique.

A maximum for S is an upper bound which is in S; a minimum for S is a lower bound which is in S. A maximum is necessarily a supremum, but a supremum for a set need not be a maximum (that is, need not be an element of the set); similarly an infimum need not be a minimum. As noted above, any finite set has a maximum and minimum which are thus its supremum and infimum.

The fundamental axiom for the real numbers is that every non-empty bounded set has a supremum and an infimum.

Algebraic properties

Maximum and minimum are binary operations on a linearly ordered set, sometimes written and respectively, satisfying the following properties:

These are characterising properties of a lattice.

Critical points

For a differentiable function f, if f(x0) is an extreme value for the set of all values f(x), and if f(x0) is in the interior of the domain of f, then x0 is a critical point.

See also