Rockafellar, Part II: Topological Properties

R. T. Rockafellar, Convex Analysis (Princeton, 1970), §§6–10. This module only imports the five section modules. All 84 numbered results of Part II are formalized. Part II is where the development becomes irreducibly finite-dimensional, resting on Theorem 6.2: a non-empty convex set has a non-empty relative interior.

§	module	subject
6	Part2.Section06	Relative Interiors of Convex Sets
7	Part2.Section07	Closures of Convex Functions
8	Part2.Section08	Recession Cones and Unboundedness
9	Part2.Section09	Some Closedness Criteria
10	Part2.Section10	Continuity of Convex Functions