Rockafellar, Part III: Duality Correspondences

R. T. Rockafellar, Convex Analysis (Princeton, 1970), §§11–16. This module only imports the six section modules. All 77 numbered results of Part III are formalized. Duality is developed for a dual pair of vector spaces rather than for ℝⁿ or a topological dual.

§	module	subject
11	Part3.Section11	Separation Theorems
12	Part3.Section12	Conjugates of Convex Functions
13	Part3.Section13	Support Functions
14	Part3.Section14	Polars of Convex Sets
15	Part3.Section15	Polars of Convex Functions
16	Part3.Section16	Dual Operations