Rockafellar, Part IV: Representation and Inequalities #
R. T. Rockafellar, Convex Analysis (Princeton, 1970), §§17–22. This module imports the six section modules and adds nothing of its own.
| § | module | subject |
|---|---|---|
| 17 | Part4.Section17 | Carathéodory's Theorem |
| 18 | Part4.Section18 | Extreme Points and Faces of Convex Sets |
| 19 | Part4.Section19 | Polyhedral Convex Sets and Functions |
| 20 | Part4.Section20 | Some Applications of Polyhedral Convexity |
| 21 | Part4.Section21 | Helly's Theorem and Systems of Inequalities |
| 22 | Part4.Section22 | Linear Inequalities |
65 of Part IV's 70 numbered results are formalized. The five that are not are §22's elementary-vector development — Lemmas 22.4 and 22.5, Corollary 22.4.1, and Theorems 22.6 and 22.7 — which is combinatorial matroid theory rather than convex analysis.