weightedVSubVSubWeights

Mathlib.LinearAlgebra.AffineSpace.Combination

URI: https://scilib.ai/kg/mathlib#Finset.weightedVSubVSubWeights

← MathLib Explorer

English

If i ≠ j, then weightedVSubVSubWeights k i j i = 1.

Русский

Если i ≠ j, то weightedVSubVSubWeights k i j i = 1.

LaTeX

$$$ weightedVSubVSubWeights\ k i j i = 1 \quad \text{if } i \neq j $$$

Lean4

/-- Weights for expressing the subtraction of two points as a `weightedVSub`. -/
def weightedVSubVSubWeights [DecidableEq ι] (i j : ι) : ι → k :=
  affineCombinationSingleWeights k i - affineCombinationSingleWeights k j

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

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru