MATHLIBANNEX / PROJECT LFH

Compact hulls and support-face selection

Back to Project mathematical routes

Scope

Compact hulls and support faces provide successive finite refinements and a common generator. The sets need not themselves be convex; nonemptiness and the stated finite-dimensional hypotheses remain in the individual Cards.

4 direct Cards + 0 reused prerequisites = 4 unique Cards. This count is a selected Card closure, not a source-declaration count.

Route reading PDF · Preserved source exploration

Cards in this route

Read this route with prerequisites

Reference index: direct Cards and reused prerequisites

Direct references: SR065 — The convex hull of a compact set in a finite real coordinate space · SR077 — A support face is the convex hull of the maximizing generators · SR081 — Successive maximum refinement by an ordered list of functionals · SR086 — A common generator selected from equal convex hulls

Reused prerequisites: None in this scope.

Dependency-first reading route

Read selected Card prerequisites before their uses. Levels are recomputed from the selected reachability-preserving projection; omitted source helpers remain traceable in the source exploration.

4 Cards

Level 0 (3 Cards)

Level 0

The convex hull of a compact set in a finite real coordinate space

Realizes the ordinary convex hull as a finite union of compact images of bounded-length convex combinations.

MathlibAnnex.isCompact_convexHull_pi

Immediate Card prerequisites: None in this selected scope

Used by in this scope: None in this selected scope

Open Declaration Card Read exact source

Level 1 (1 Card)