← Mathematical handbook

Compactness of convex hulls in the coefficient plane

theorem Verification.compact_convexJoin_plane {S T : Set (ℝ × ℝ)} (hS : IsCompact S) (hT : IsCompact T) : IsCompact (convexJoin ℝ S T)

theorem Verification.compact_convexHull_plane {S : Set (ℝ × ℝ)} (hS : IsCompact S) : IsCompact ((convexHull ℝ) S)

Caratheodory reduces the hull to joins of three points, a compact image.