space — Mathlib

English

The space of a simplicial complex K is the union, over all its faces, of the convex hulls of those faces.

Русский

Пространство симплициального комплекса K есть объединение по всем его граням выпуклых оболочек соответствующих множеств граней.

LaTeX

$$space(K) = ⋃_{σ ∈ K.faces} conv(σ)$$

Lean4

/-- The underlying space of a simplicial complex is the union of its faces. -/
def space (K : SimplicialComplex 𝕜 E) : Set E :=
  ⋃ s ∈ K.faces, convexHull 𝕜 (s : Set E)

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