Math 2.0

Real functions Definition

Maximum and minimum

Builds on FunctionGreatest elementSupremumLocal maximum and minimumExtreme value theorem

Definition

Let DD be a nonempty set, let f ⁣:D→ℝf \colon D \to \R be a function, and let a∈Da \in D.

  1. The function ff attains its maximum at aa if f(x)≤f(a)f(x) \le f(a) for all x∈Dx \in D. Then f(a)f(a) is the maximum value of ff, written max⁡x∈Df(x)\max_{x \in D} f(x).
  2. The function ff attains its minimum at aa if f(x)≥f(a)f(x) \ge f(a) for all x∈Dx \in D. Then f(a)f(a) is the minimum value of ff, written min⁡x∈Df(x)\min_{x \in D} f(x).
  3. A point aa as in 1 or 2 is a global extremum, or absolute extremum, of ff.

Remarks

The maximum value of ff is the greatest element of the image f(D)f(D), when it exists. Then it equals the supremum of f(D)f(D), and the supremum is attained. The maximum value is unique, but it can be attained at several points. For D⊆ℝnD \subseteq \R^n, every global extremum is a local extremum.

Example: f(x)=x2f(x) = x^2 on D=[−1,2]D = [-1, 2] attains its maximum at a=2a = 2. Indeed, for x∈[−1,2]x \in [-1, 2] one has ∣x∣≤2\abs{x} \le 2, so x2≤4=f(2)x^2 \le 4 = f(2).

Non-example: f(x)=xf(x) = x on D=(0,1)D = (0, 1) has no maximum. For each a∈(0,1)a \in (0, 1), the point x=(a+1)/2x = (a + 1)/2 lies in DD and f(x)>f(a)f(x) > f(a). The supremum of f(D)f(D) is 11, but it is not a value of ff. The extreme value theorem gives a maximum and a minimum for every continuous function on a closed bounded interval.

Reading path

To understand this page from the ground up, read these 42 pages in order. The foundations come first.

  1. Element definition
  2. Euclidean space object
  3. Function concept
  4. Limit point of a set definition
  5. Proposition concept
  6. Sequence definition
  7. Set bounded above definition
  8. Set definition
  9. Function of several variables concept
  10. Limit of a function definition
  11. Implication definition
  12. Predicate definition
  13. Real sequence definition
  14. Subsequence definition
  15. Supremum definition
  16. Ordered pair definition
  17. Local maximum and minimum definition
  18. Continuity at a point definition
  19. Existential quantifier definition
  20. Universal quantifier definition
  21. Bounded sequence definition
  22. Limit of a sequence definition
  23. Monotone sequence definition
  24. Cartesian product definition
  25. Subset definition
  26. Continuous function definition
  27. Uniqueness quantifier definition
  28. Convergent sequence definition
  29. Monotone convergence theorem for sequences statement
  30. Every sequence has a monotone subsequence statement
  31. Binary relation definition
  32. Bolzano–Weierstrass theorem statement
  33. Antisymmetric relation definition
  34. Reflexive relation definition
  35. Transitive relation definition
  36. Boundedness theorem statement
  37. Function definition
  38. Preorder definition
  39. Extreme value theorem statement
  40. Partial order definition
  41. Greatest element definition
  42. Maximum and minimum definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Maximum_and_minimum, Definition
About this page
TagSD649DT8VX
URIm2://SD649DT8VX
Kinddefinition
WritingW1 stated
MSC26A06, 49K05
DefinesMaximum and minimum
UsesFunction, Greatest element, Supremum, Local maximum and minimum, Extreme value theorem
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.