Bauer Maximum Principle¶

A convex upper-semicontinuous function on a nonempty compact convex set attains its maximum at an extreme point.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1354
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Convex Analysis → Mathematics
Aliases: Bauer's maximum principle, Bauer maximum theorem

Core Idea¶

The Bauer maximum principle states that a convex upper-semicontinuous real-valued function on a nonempty compact convex subset of a locally convex Hausdorff topological vector space attains its maximum at an extreme point. A common elementary statement assumes continuity, which is stronger than upper semicontinuity.

The recognition invariant is compact convex feasible set + convex objective + upper-semicontinuity + maximum witnessed at an extreme point.

How would you explain it like I'm…

The Best Spot Is a Corner

Picture a shape with no dents or holes, like a triangle cut from paper, and a score for every spot that curves up like the inside of a bowl. The Bauer maximum principle says you can always find the highest score at one of the shape's outermost corner-like points. So to find the best spot, you only need to look at those points.

Maximums Live at Extreme Points

Some shapes are convex, meaning they have no dents: a straight line between any two points in the shape stays inside. The extreme points of such a shape are the points that are not in the middle of any line segment inside it, like the corners of a triangle or every point on the rim of a circle. A convex function is like a bowl: it never bulges upward in the middle. The Bauer maximum principle says that if you have a bowl-like function on a closed, bounded convex shape, its highest value is reached at one of the extreme points. So to find the maximum, you only need to check those special points.

Convex Maxima at Extreme Points

The Bauer maximum principle is about finding the largest value of a function on a set. The set must be nonempty, compact (closed and bounded, in the right sense), and convex (no dents: the segment between any two points stays inside). An extreme point of such a set is one that is not strictly between two other points of the set, like a corner of a polygon. The function must be convex, meaning its graph never bulges above the straight line connecting two points, and upper semicontinuous, a mild continuity condition. The principle says such a function reaches its maximum at some extreme point. It works even in infinite-dimensional spaces, as long as the space is a locally convex Hausdorff topological vector space. Many textbooks state it assuming full continuity, which is a stronger assumption than needed.

The Bauer maximum principle states that if K is a nonempty compact convex subset of a locally convex Hausdorff topological vector space and f: K → ℝ is convex and upper semicontinuous, then f attains its maximum on K at an extreme point of K. Compactness and upper semicontinuity guarantee that the maximum is attained; convexity then ensures that the set of maximizers contains an extreme point, so the search for a maximum can be restricted to the extreme boundary. A common elementary version assumes f continuous, which is strictly stronger than upper semicontinuity. The principle underlies the familiar fact in linear programming that linear objectives on polytopes are maximized at vertices, and it extends that reasoning to infinite-dimensional compact convex sets. It concerns maxima of convex functions; minima of convex functions behave differently and need not occur at extreme points.

Scope of Application¶

The principle reduces convex maximization over compact convex sets to extreme points in functional analysis, moment problems, probability measures, differential equations, and mathematical economics. For a polytope it recovers the familiar fact that a linear objective has an optimal vertex, while also covering nonpolyhedral and infinite-dimensional settings under the stated hypotheses.

Clarity¶

An extreme point cannot be written as a nontrivial convex combination of two distinct points of \(K\). It need not be topologically isolated. Compactness, convexity, objective convexity, and upper semicontinuity perform different jobs; dropping one requires a separate theorem or counterexample.

Manages Complexity¶

The result replaces a search over every feasible point with an existence claim on the extreme boundary. It does not necessarily make computation finite: a compact convex set can have infinitely many extreme points and identifying them may be difficult.

Abstract Reasoning¶

Fix the ambient locally convex topology.
Verify that the feasible set is nonempty, compact, and convex.
Verify objective convexity and upper semicontinuity.
Establish that a maximum is attained.
If a maximizer is not extreme, decompose it into a nontrivial segment.
Use convexity to move to an endpoint without lowering the objective.
Continue with an extreme-point argument justified by compact convex structure.
Report existence separately from uniqueness or computability.

Knowledge Transfer¶

The portable structure is relocating an optimum from a convex bulk to an indecomposable boundary witness. The proposed immediate parent is Optimization.

Relationships to Other Abstractions¶

Current abstraction Bauer Maximum Principle Domain-specific

Parents (1) — outgoing typed relations

Bauer Maximum Principle is a kind of Optimization Prime

Optimization is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

Bauer Maximum Principle → is a kind of Optimization

Neighborhood in Abstraction Space¶

Bauer Maximum Principle sits in a sparse region of the domain-specific corpus (86^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Optimization Theory & Feasibility (8 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25