centroidWeights — Mathlib

English

Define the centroid weights on a finite set s to be the constant function sending each i to |s|^{-1}. These weights are used for barycentric centroids.

Русский

Задаём центроидные веса на конечном наборе s как константную функцию, отправляющую каждый i в |s|^{-1}. Эти веса используются для барицентрических центроидов.

LaTeX

$$$\\text{centroidWeights } k\\; s\\; i = (#s : k)^{-1}$$$

Lean4

/-- The weights for the centroid of some points. -/
def centroidWeights : ι → k :=
  Function.const ι (#s : k)⁻¹

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