hull — Mathlib

English

The hull of a set is the smallest convex cone containing that set.

Русский

Оболочка множества — это наименьший выпуклый конус, содержащий данное множество.

LaTeX

$$$\\text{hull}\\;R\\;s = \\bigcap\\{C:\\,\\text{ConvexCone }R M \\mid s \\subseteq C\\}$$$

Lean4

/-- The cone hull of a set. The smallest convex cone containing that set. -/
def hull : ConvexCone R M :=
  sInf {C : ConvexCone R M | s ⊆ C}

Похожие утверждения